This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: gcc3 vs 176.gcc
- From: "Hartmut Schirmer" <hartmut dot schirmer at arcormail dot de>
- To: "Dale Johannesen" <dalej at apple dot com>
- Cc: <dewar at gnat dot com>,<jsm28 at cam dot ac dot uk>,<gcc at gcc dot gnu dot org>
- Date: Wed, 9 Jan 2002 19:52:46 +0100
- Subject: Re: gcc3 vs 176.gcc
- References: <0AADEBCC-052C-11D6-94EE-003065C86F94@apple.com>
On Wednesday, January 09, 2002 7:09 PM, Dale Johannesen wrote
[...]
> Having thought about it more, I now think gcc3's behavior in this
> case is clearly wrong, at least as a quality-of-implementation issue.
> The aliasing rules are there to permit compilers to make aggressive
> assumptions when they can't tell whether two memrefs alias or not.
> They are not there to permit compilers to do stupid things when they
> can easily tell that two memrefs do alias. The examples in the
> Rationale make this clear.
True. And it's not fair to tell the Linux folks the compiler will
look through cast in one case abd doesn't do so in other cases ...
GCC should behave a little more predictable here.
Hartmut