https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255
--- Comment #20 from Florian Weimer <fw at gcc dot gnu.org> --- (In reply to rguent...@suse.de from comment #19) > 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. Thanks for your answers. Then I agree there shouldn't be a problem with just fixing the warnings and compilation failures, so that we can apply attribute may_alias to the struct definition.