Message        <Context> the 64-bit pointer "<expression>" is being
                cast to an integer type that is only <size> bits in
                size.  This behavior is undefined.

 Description    Casting a 64-bit pointer to a shorter integer type is
                undefined behavior.  This also could indicate code
                that relies on pointers and integers being the same
                size.  The code will cause an unexpected loss of data
                on 64-bit platforms.

 User Action    If this is the intended behavior, first cast the
                pointer to a 64-bit integer, then cast the result to
                the desired integer type.