http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57725 --- Comment #4 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I'd say that in the presence of those extensions, it should be considered unspecified whether pointers to distinct objects at the same address compare equal or not.