This is the mail archive of the gcc-patches@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]

Re: Aliasing: look through pointer's def stmt


On Thu, 24 Oct 2013, Jeff Law wrote:

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?

Maybe when the address is a constant, but here it comes from malloc.

--
Marc Glisse


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