Ada test failures at -O2

[Laurent GUERBY]

On Fri, 2003-11-28 at 17:20, Richard Kenner wrote:
>     FYI, I did a run of ACATS at -O2 to compare with results of the
>     current run at -O0 on x86-linux on CVS HEAD and did get a few more
>     failures:
> 
>     c34005O GNAT BUG DETECTED set_mem_alias_set, at emit-rtl.c:2059
> 
> I can't reproduce this.  Can you give the full set of compilation options?

My configure flags are: 
--enable-languages=ada,c --enable-threads --disable-nls

My only diff in ACATS is:

--- run_all.sh	14 Nov 2003 10:04:31 -0000	1.10
+++ run_all.sh	28 Nov 2003 17:20:57 -0000
@@ -9,7 +9,7 @@
 # gccflags="-O3 -fomit-frame-pointer -funroll-all-loops -finline-functions"
 # gnatflags="-gnatN"
 
-gccflags=""
+gccflags="-O2"
 gnatflags="-q -gnatws"
 
 target_run () {

(I assume ENABLE_CHECKING is on by default on CVS HEAD.)

Laurent


splitting /home/guerby/work/gcc/build/build-20031127T121543/gcc/testsuite/ada/acats/tests/c3/c34005o.ada into:
   c34005o.adb
BUILD c34005o.adb
+===========================GNAT BUG DETECTED==============================+
| 3.4 20031127 (experimental) (i686-pc-linux-gnu) GCC error:               |
| in set_mem_alias_set, at emit-rtl.c:2059                                 |
| Error detected at c34005o.adb:138:35                                     |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.

c34005o.adb
/home/guerby/work/gcc/build/build-20031127T121543/gcc/testsuite/ada/acats/support/report.ads

compilation abandoned
gnatmake: "c34005o.adb" compilation error
FAIL:	c34005o