This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Fix problems with void * and GIMPLE typecasts[patch]
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Jeff Sturm <jsturm at one-point dot com>
- Cc: Richard Henderson <rth at redhat dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Andrew Haley <aph at redhat dot com>, Jason Merrill <jason at redhat dot com>
- Date: Sun, 21 Sep 2003 12:45:38 -0400
- Subject: Re: [tree-ssa] Fix problems with void * and GIMPLE typecasts[patch]
- Organization: Red Hat Canada
- References: <Pine.LNX.4.44.0309211111010.13337-100000@ops2.one-point.com>
On Sun, 2003-09-21 at 12:28, Jeff Sturm wrote:
> Diego, the types in your example (ZipFile.java) are clearly conflicting,
> so how can we tell where the alias analyzer goes wrong? Was this with our
> without Andersen PTA?
>
Yes, they may be conflicting, but the call to alias_sets_conflict_p ()
for the alias sets of the two structures returns false. That's what
causes the alias analyzer to assign two different memory tags for each
pointer.
Diego.