[Bug bootstrap/36853] New: Compiling gcc 4.3.1 with Ada fails with Gnat bug detection

["bitti at iki dot fi" <gcc-bugzilla at gcc dot gnu dot org>]

Compiling gcc 4.3.1 on my machine fails with the following error message:

----------------------
make profiledbootstrap

...

/tmp/bitti/gccobj/./prev-gcc/xgcc -B/tmp/bitti/gccobj/./prev-gcc/
-B/share/gcc/gcc-4.3.1/i686-pc-linux-gnu/bin/ -c -g -O2 -fomit-frame-pointer
-fprofile-generate      -gnatpg -gnata -g -O1 -fno-inline \
 -nostdinc -I- -I. -Iada -I../../gcc-4.3.1/gcc/ada
../../gcc-4.3.1/gcc/ada/a-except.adb -o ada/a-except.o
../../gcc-4.3.1/gcc/ada/a-except.adb: In function
'Ada.Exceptions.Raise_From_Controlled_Operation':
../../gcc-4.3.1/gcc/ada/a-except.adb:1305: error: control flow in the middle of
basic block 20
../../gcc-4.3.1/gcc/ada/a-except.adb:1305: error: control flow in the middle of
basic block 20
../../gcc-4.3.1/gcc/ada/a-except.adb:1305: error: control flow in the middle of
basic block 20
../../gcc-4.3.1/gcc/ada/a-except.adb:1305: error: control flow in the middle of
basic block 20
../../gcc-4.3.1/gcc/ada/a-except.adb:1305: error: control flow in the middle of
basic block 20
+===========================GNAT BUG DETECTED==============================+
| 4.3.1 (i686-pc-linux-gnu) verify_flow_info failed                        |
| Error detected around ../../gcc-4.3.1/gcc/ada/a-except.adb:1305          |
| 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).                   |
+==========================================================================+

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.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398
make[3]: *** [ada/a-except.o] Error 1
make[3]: Leaving directory `/tmp/bitti/gccobj/gcc'
make[2]: *** [all-stageprofile-gcc] Error 2
make[2]: Leaving directory `/tmp/bitti/gccobj'
make[1]: *** [stageprofile-bubble] Error 2
make[1]: Leaving directory `/tmp/bitti/gccobj'
------------------------

The compiler was configured like this:

../gcc-4.3.1/configure --prefix=/share/gcc/gcc-4.3.1 --with-arch=i686
--enable-languages=c,c++,java,ada,fortran --enable-__cxa_atexit
--enable-java-awt=gtk --with-mpfr=/share/gcc/mpfr-2.3.1

(Where /share/gcc/mpfr-2.3.1 contains a freshly compiled static mpfr libraries
and includes)


-- 
           Summary: Compiling gcc 4.3.1 with Ada fails with Gnat bug
                    detection
           Product: gcc
           Version: 4.3.1
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bitti at iki dot fi
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36853