C.1.7 Arrays and Pointers (J.3.7)

• The result of converting a pointer to an integer or -Xarch=v9 vice versa (6.3.2.3).

  The bit pattern does not change when converting pointers and integers. Except when the results cannot be represented in the integer or pointer type, and then the results are undefined.

• The size of the result of subtracting two pointers to elements of the same array (6.5.6).

  int as defined in stddef.h. long for -Xarch=v9