Implementation Dependency - Arrays and Pointers (F.3.7)

The type of the integer required to hold the maximum size of an array (the type of the sizeof operator, size_t) is unsigned long. (3.3.3.4 and 4.1.1)

For a pointer to be converted to an integral type, the size of integer required is 32 or 64 bits. (3.3.4)

The type of the integer required to hold the difference between two pointers to elements of the same array (ptrdiff_t) is long. (3.3.6 and 4.1.1)

When a pointer is cast to an integer, or an integer is cast to a pointer, the bit patterns are preserved. (3.3.4)

Implementation-Defined Behavior
Implementation Dependencies