This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: wrong alias-analysis and strange x86-code
- To: Volker Barthelmann <vb at compilers dot de>
- Subject: Re: wrong alias-analysis and strange x86-code
- From: Geoff Keating <geoffk at cygnus dot com>
- Date: 24 Oct 2000 13:23:46 -0700
- CC: gcc-bugs at gcc dot gnu dot org
- References: <00102421135600.00901@vb.franken.de>
Volker Barthelmann <vb@compilers.de> writes:
> First, gcc 2.95 seems to do overly optimistic type-based alias-analysis. In
> the example attached to this mail it apparently assumes that an expression
> p[x] cannot alias certain objects and generates wrong code. I've verified
> this problem also with the PPC-backend and -O or -O2. p[0] and *p seem to
> be handled better.
This appears to be fixed in the current development compiler, so it
should be fixed in the next release.
--
- Geoffrey Keating <geoffk@cygnus.com>