[Ada] Patch needed to boostrap Ada on x86_64 as of 20050628

[Ada] Patch needed to boostrap Ada on x86_64 as of 20050628

[Laurent GUERBY]

Ada bootstraps fine without patch on x86-linux, however
on x86_64 bootstrap fail because of:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212

The following patch is a workaround for it, it enables
a full bootstrap and only 2 additional FAIL in ACATS,
results here:

http://gcc.gnu.org/ml/gcc-testresults/2005-06/msg01693.html

Laurent

Index: gnattools/Makefile.in
===================================================================
RCS file: /cvs/gcc/gcc/gnattools/Makefile.in,v
retrieving revision 1.4
diff -u -r1.4 Makefile.in
--- gnattools/Makefile.in       30 Mar 2005 08:56:55 -0000      1.4
+++ gnattools/Makefile.in       28 Jun 2005 20:45:29 -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)" \
Index: gcc/ada/Makefile.in
===================================================================
RCS file: /cvs/gcc/gcc/gcc/ada/Makefile.in,v
retrieving revision 1.118
diff -u -r1.118 Makefile.in
--- gcc/ada/Makefile.in 16 Jun 2005 09:00:01 -0000      1.118
+++ gcc/ada/Makefile.in 28 Jun 2005 20:45:30 -0000
@@ -1994,6 +1994,10 @@
        $(CC) -c $(ALL_ADAFLAGS) $(FORCE_DEBUG_ADAFLAGS) -O1 -fno-inline
\
              $(ADA_INCLUDES) $< $(OUTPUT_OPTION)

+a-strfix.o  : a-strfix.adb a-strfix.ads
+       $(CC) -c $(ALL_ADAFLAGS) $(FORCE_DEBUG_ADAFLAGS) -O0 \
+             $(ADA_INCLUDES) $< $(OUTPUT_OPTION)
+
 # force debugging information on s-assert.o so that it is always
 # possible to set breakpoint on assert failures.

Re: [Ada] Patch needed to boostrap Ada on x86_64 as of 20050628

[Laurent GUERBY]

flag_wrapv=1 also restores bootstrap on x86_64-linux without
needing -O0 in Makefiles.

Laurent

Index: misc.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/ada/misc.c,v
retrieving revision 1.104
diff -u -r1.104 misc.c
--- misc.c      28 Jun 2005 19:51:26 -0000      1.104
+++ misc.c      29 Jun 2005 06:12:29 -0000
@@ -339,6 +339,8 @@
   /* Uninitialized really means uninitialized in Ada.  */
   flag_zero_initialized_in_bss = 0;

+  flag_wrapv = 1;
+
   return CL_Ada;
 }



On Tue, 2005-06-28 at 22:50 +0200, Laurent GUERBY wrote:
> Ada bootstraps fine without patch on x86-linux, however
> on x86_64 bootstrap fail because of:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22212
> 
> The following patch is a workaround for it, it enables
> a full bootstrap and only 2 additional FAIL in ACATS,
> results here:
> 
> http://gcc.gnu.org/ml/gcc-testresults/2005-06/msg01693.html
> 
> Laurent
> 
> Index: gnattools/Makefile.in
> ===================================================================
> RCS file: /cvs/gcc/gcc/gnattools/Makefile.in,v
> retrieving revision 1.4
> diff -u -r1.4 Makefile.in
> --- gnattools/Makefile.in       30 Mar 2005 08:56:55 -0000      1.4
> +++ gnattools/Makefile.in       28 Jun 2005 20:45:29 -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)" \
> Index: gcc/ada/Makefile.in
> ===================================================================
> RCS file: /cvs/gcc/gcc/gcc/ada/Makefile.in,v
> retrieving revision 1.118
> diff -u -r1.118 Makefile.in
> --- gcc/ada/Makefile.in 16 Jun 2005 09:00:01 -0000      1.118
> +++ gcc/ada/Makefile.in 28 Jun 2005 20:45:30 -0000
> @@ -1994,6 +1994,10 @@
>         $(CC) -c $(ALL_ADAFLAGS) $(FORCE_DEBUG_ADAFLAGS) -O1 -fno-inline
> \
>               $(ADA_INCLUDES) $< $(OUTPUT_OPTION)
> 
> +a-strfix.o  : a-strfix.adb a-strfix.ads
> +       $(CC) -c $(ALL_ADAFLAGS) $(FORCE_DEBUG_ADAFLAGS) -O0 \
> +             $(ADA_INCLUDES) $< $(OUTPUT_OPTION)
> +
>  # force debugging information on s-assert.o so that it is always
>  # possible to set breakpoint on assert failures.
> 
> 
> 
>