PR33092: [4.3 Regression] Using -O1 -fno-tree-salias results in ICE

[Richard Guenther]

On Jan 22, 2008 6:37 AM, Manuel López-Ibáñez <lopezibanez@gmail.com> wrote:
> On 18/01/2008, Richard Guenther <richard.guenther@gmail.com> wrote:
> > > >
> > > > Your original patch is ok then.  Did you check whether -fno-tree-salias
> > > > results in a working compiler, that is, we don't start miscompiling random
> > > > functions?  (I know I was arguing to simply remove the -ftree-salias option)
> >
> > I would suggest running regression tests with -fno-tree-salias as extra flag.
> > You can do so via
> >
> > make check RUNTESTFLAGS="--target_board=unix/-fno-tree-salias"
> >
>
> I performed a full bootstrap with BOOT_CFLAGS='-g -O2
> -fno-tree-salias' and, using this compiler, a full regression test
> with the above command. The only failures seem to be related to the
> lack of alias info for structured variables, which is expected.
>
> unix/-fno-tree-salias: gcc.dg/tree-ssa/alias-10.c scan-tree-dump
> optimized "return 3;"
> unix/-fno-tree-salias: gcc.dg/tree-ssa/alias-3.c scan-tree-dump
> optimized "return 1;"
> unix/-fno-tree-salias: gcc.dg/tree-ssa/alias-4.c scan-tree-dump
> optimized "return 1;"
> unix/-fno-tree-salias: gcc.dg/tree-ssa/alias-5.c scan-tree-dump
> optimized "return 1;"
> unix/-fno-tree-salias: gcc.dg/tree-ssa/loadpre8.c scan-tree-dump-times
> pre "Eliminated: 1" 1
> unix/-fno-tree-salias: gcc.dg/tree-ssa/structopt-1.c
> scan-tree-dump-times lim "Executing store motion of global.y" 1
> unix/-fno-tree-salias: gcc.dg/tree-ssa/structopt-2.c
> scan-tree-dump-times optimized "a.e" 0
> unix/-fno-tree-salias: gcc.dg/tree-ssa/structopt-2.c
> scan-tree-dump-times optimized "a.f" 0
> unix/-fno-tree-salias: gcc.dg/tree-ssa/structopt-2.c
> scan-tree-dump-times optimized "a.g" 0
> unix/-fno-tree-salias: gcc.dg/tree-ssa/structopt-3.c
> scan-tree-dump-times optimized "return 11" 1
>
> So, I would say that the patch works as expected and it seems
> unnecessary to remove -fno-tree-salias at this moment. I will commit
> it soon.

Thanks, that's fine.

Richard.