Yes I see this new form of failure on x86_64-linux too as of
LAST_UPDATED Tue Jul 5 21:38:08 UTC 2005
I don't use the wrapv patch, just the following patch on gnattools:
Index: Makefile.in
===================================================================
RCS file: /cvs/gcc/gcc/gnattools/Makefile.in,v
retrieving revision 1.4
diff -u -r1.4 Makefile.in
--- Makefile.in 30 Mar 2005 08:56:55 -0000 1.4
+++ Makefile.in 6 Jul 2005 09:41:45 -0000
@@ -83,7 +83,7 @@
"CC=../../xgcc -B../../" \
"CFLAGS=$(CFLAGS) $(WARN_CFLAGS)" \
"LDFLAGS=$(LDFLAGS)" \
- "ADAFLAGS=$(ADAFLAGS)" \
+ "ADAFLAGS=$(ADAFLAGS) -O0" \
"INCLUDES=$(INCLUDES_FOR_SUBDIR)" \
"ADA_INCLUDES=-I- -I../rts $(ADA_INCLUDES_FOR_SUBDIR)"\
"exeext=$(exeext)" \
@@ -112,7 +112,7 @@
TOOLS_FLAGS_TO_PASS_NATIVE= \
"CC=../../xgcc -B../../" \
"CFLAGS=$(CFLAGS)" \
- "ADAFLAGS=$(ADAFLAGS)" \
+ "ADAFLAGS=$(ADAFLAGS) -O0" \
"INCLUDES=$(INCLUDES_FOR_SUBDIR)" \
"ADA_INCLUDES=-I../rts $(ADA_INCLUDES_FOR_SUBDIR)" \
"exeext=$(exeext)" \
Laurent
On Wed, 2005-07-06 at 09:49 +0200, Andreas Jaeger wrote:
> Building ada with the patch for flag_wrapv fails now with a new error:
>
> +===========================GNAT BUG DETECTED==============================+
> | 4.1.0 20050706 (experimental) (x86_64-suse-linux-gnu) GCC error: |
> | tree check: expected integer_cst, have cond_expr in |
> | do_structure_copy, at tree-ssa-structalias.c:2410 |
> | Error detected at g-socket.adb:2246:1 |
> | Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
> | Use a subject line meaningful to you and us to track the bug. |
> | 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). |
> +==========================================================================+
>
> Andreas
