George Baah <georgebaah at gmail.com> writes: > I am wondering whether the values of the casts are guaranteed to be unique > for every instruction. Of course! Otherwise two different pointers would point to the same object. Just be sure you cast to a integer type wide enough to not truncate the pointer.