This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/25140] aliases, including weakref, break alias analysis
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 26 Sep 2009 11:29:09 -0000
- Subject: [Bug middle-end/25140] aliases, including weakref, break alias analysis
- References: <bug-25140-638@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #6 from rguenth at gcc dot gnu dot org 2009-09-26 11:29 -------
Whoever designed this feature should be beaten with a cluebat for not asking
people on how this will interact with aliasing.
IMHO the testcase should be declared invalid and it should be documented that
an aliased or weakreffed var may be only accessed via its original declaration
(x in this case).
Case closed for me. Any other way not only breaks points-to analysis but
also trivial alias checks throughout the compiler.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25140