https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63645
--- Comment #18 from M Welinder <terra at gnome dot org> --- The example at strict-aliasing in the gcc man page covers a different situation: you don't get to access a double via an int. I get it. But the standard says that in certain circumstances you really do get to access one structure via the fields of another. I quoted that part for you. So if undefined behaviour is going on, it's something else. It is possible, I guess, but hand waving doesn't establish it.