This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/13146] inheritance for nonoverlapping_component_refs_p
- From: "dnovillo at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 28 Oct 2004 20:23:53 -0000
- Subject: [Bug c++/13146] inheritance for nonoverlapping_component_refs_p
- References: <20031120222428.13146.dann@godzilla.ics.uci.edu>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From dnovillo at gcc dot gnu dot org 2004-10-28 20:23 -------
The tree alias analyzer depends on the type information given to it by alias.c.
In this case, the types of the pointers passed to the two routines have
conflicting alias sets, so they are given the same memory tag.
Without context sensitive information, we cannot tell where these arguments are
really pointing to, so we have to base the analysis exclusively on types.
Notice, however, that the analysis DTRT when the calls are inlined.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13146