https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65892
--- Comment #50 from Andrew Haley <aph at gcc dot gnu.org> --- (In reply to Andrew Haley from comment #49) > > Perhaps so, yes, but in practice it'd be pretty hard to do that. > Functions can only be defined in the other scope, Should be "the outer scope" > and there's no way > to undefine a union type. I guess you could be clever and put all of > the functions which needed to know about the aliasing at the end of a > translation unit.