This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix to -O3 aliasing problems
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Subject: Re: Fix to -O3 aliasing problems
- From: Graham Stott <grahams at redhat dot com>
- Date: Mon, 12 Mar 2001 20:21:28 +0000
- Cc: gcc-patches at gcc dot gnu dot org
- References: <10103121939.AA19031@vlsi1.ultra.nyu.edu>
Richard
Richard Kenner wrote:
>
> As discussed in the GCC list, there were two problems. This fixes both.
> I applied these to both the branch and mainline and tested on the mainline
> on alphaev56 and on the branch with a bootstrap on ia32.
>
>[snip]
> else
> *** alias.c 2001/01/26 22:32:51 1.115
> --- alias.c 2001/03/12 19:02:22
> *************** objects_must_conflict_p (t1, t2)
> *** 310,313 ****
> --- 310,319 ----
> tree t1, t2;
> {
> + /* If neither has a type specified, we don't know if they'll conflict
> + because we may be using them to store objects of various types, for
> + example the argument and local variables areas of inlined functions. */
> + if (t1 == 0 && t1 == 0)
^^ ^^
Looks like a typo ?
> + return 0;
> +
> /* If one or the other has readonly fields or is readonly,
> then they may not conflict. */
Graham