https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65892
--- Comment #14 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- That C++ wording doesn't have any obvious bearing on what "it is permitted" is intended to be an exception to - the general implementation-defined nature of type punning (which I think was the original intent in C90), or the aliasing rules.