Copyright Digital Equipment Corp. All rights reserved.

POINTERINTCAST

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.