This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug c/71255] Implement #pragma may_alias


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255

--- Comment #18 from Florian Weimer <fw at gcc dot gnu.org> ---
(In reply to rguenther@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?

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]