https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255
--- Comment #19 from rguenther at suse dot de <rguenther at suse dot de> --- On Fri, 27 May 2016, fw at gcc dot gnu.org wrote: > 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? Yes. > 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? No.
