Aliasing: look through pointer's def stmt

Jeff Law law@redhat.com
Fri Oct 25 05:39:00 GMT 2013


On 10/24/13 23:23, Marc Glisse wrote:
> Hello,
>
> I noticed that in some cases we were failing to find aliasing
> information because we were only looking at an SSA_NAME variable,
> missing the fact that it was really an ADDR_EXPR. The attached patch
> passes bootstrap+testsuite, does it make sense? (I am a bit afraid of
> losing some type information for instance)
>
> I didn't investigate the 2 tests where I had to remove dg-bogus, because
> removing dg-bogus sounds like a bonus...
>
> 2013-10-25  Marc Glisse  <marc.glisse@inria.fr>
>
> gcc/
>      * tree-ssa-alias.c (ao_ref_init_from_ptr_and_size): Look for an
>      ADDR_EXPR in the defining statement.
Shouldn't the ADDR_EXPR have been propagated into the use?

Jeff



More information about the Gcc-patches mailing list