https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255
--- Comment #18 from Florian Weimer <fw at gcc dot gnu.org> --- (In reply to rguent...@suse.de from comment #17) > On Fri, 27 May 2016, fw at gcc dot gnu.org wrote: > > I think the real question is whether it matters anywhere if a pointer to an > > incomplete struct has the may_alias attribute or not. > > As we can't dereference it it doesn't matter I think. Does a cast discard the may_alias status from a pointer? What about LTO? Could the lack of the may_alias attribute propagate across a TU boundary to code which has a complete definition of the struct?