This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/71255] Implement #pragma may_alias
- From: "fw at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 27 May 2016 11:28:21 +0000
- Subject: [Bug c/71255] Implement #pragma may_alias
- Auto-submitted: auto-generated
- References: <bug-71255-4 at http dot gcc dot gnu dot org/bugzilla/>
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?