https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61502
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Just because two pointers print the same and have the same bit-pattern doesn't mean they need to compare equal (see the response to DR#260, which may be presumed to apply to C11 in the absence of relevant textual changes to make it not apply).