https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79671
--- Comment #47 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Bernd Edlinger from comment #46) > Yes, it seems, the __attribute__((may_alias)) does not propagate from > structure members to enclosing structure: What enclosing structure? You're apparently agreeing with me, but saying something different. In the real code, and the example above, _there_ _is_ _no_ _enclosing_ _structure_. I understand that it doesn't propagate to enclosing structures, that's fine. But if a type X has the attribute then it doesn't need to propagate anywhere, it should affect X. But it doesn't fix the original bug that started all this.