This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: bug in aliasing
- To: reza at apple dot com
- Subject: Re: bug in aliasing
- From: Richard Henderson <rth at redhat dot com>
- Date: Wed, 10 Oct 2001 17:06:05 -0700
- Cc: gcc at gcc dot gnu dot org
- References: <200110102256.PAA13681@scv1.apple.com>
On Wed, Oct 10, 2001 at 03:57:56PM -0700, reza@apple.com wrote:
> I went through the interference analysis
> routines and it seems it assumes a store
> into any stack variable (m1 array in this case) will interfere with all
> variables allocated on stack,
Not quite. It assumes that a _varying_ store to a stack varaible
may interfere with another stack variable. This is because we
don't track individual stack objects this far into compilation,
so we can't tell that these two references are to different arrays.
Thus this is not a bug, but rather something that the current code
is not expected to handle.
Richard Kenner is doing work that will allow us to get at the
original VAR_DECL from within these optimization passes. At which
point we can notice that "m1" != "str". I don't recall how far
along he is with this work.
r~