[Bug ada/54843] New: [4.8 Regression] ada bootstrap failure on arm-linux-gnueabi

[Bug ada/54843] New: [4.8 Regression] ada bootstrap failure on arm-linux-gnueabi

[doko at gcc dot gnu.org]

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

             Bug #: 54843
           Summary: [4.8 Regression] ada bootstrap failure on
                    arm-linux-gnueabi
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: doko@gcc.gnu.org


seen on trunk on arm-linux-gnueabi,with 20120820, 20120915, and current trunk
builds. earlier trunk builds after the 4.7 branch show different builds
failures, last succeeding trunk build was 20120314.

configured with
     --enable-linker-build-id
     --enable-gnu-unique-object
     --enable-plugin
     --disable-sjlj-exceptions
     --with-arch=armv5t
     --with-float=soft

/build/buildd/gcc-snapshot-20121006/build/./gcc/xgcc
-B/build/buildd/gcc-snapshot-20121006/build/./gcc/
-B/usr/lib/gcc-snapshot/arm-linux-gnueabi/bin/
-B/usr/lib/gcc-snapshot/arm-linux-gnueabi/lib/ -isystem
/usr/lib/gcc-snapshot/arm-linux-gnueabi/include -isystem
/usr/lib/gcc-snapshot/arm-linux-gnueabi/sys-include    -c -g -O2  -fPIC  -W
-Wall -gnatpg -nostdinc   s-stposu.adb -o s-stposu.o
s-stposu.ads: In function
'System.Storage_Pools.Subpools.Root_Storage_Pool_With_Subpoolsdf':
s-stposu.ads:198:9: warning: 'A40s' may be used uninitialized in this function
[-Wmaybe-uninitialized]
s-stposu.ads: In function 'System.Storage_Pools.Subpools.Root_Subpooldf':
s-stposu.ads:240:9: warning: 'A69s' may be used uninitialized in this function
[-Wmaybe-uninitialized]
s-stposu.adb: In function 'System.Storage_Pools.Subpools.Finalize_Pool':
s-stposu.adb:565:8: error: loop 1's latch does not belong directly to it
+===========================GNAT BUG DETECTED==============================+
| 4.8.0 20121006 (experimental) [trunk revision 192164] (arm-linux-gnueabi) GCC
error:|
| in verify_loop_structure, at cfgloop.c:1582                              |
| Error detected around s-stposu.adb:565:8                                 |
| 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.
Consider also -gnatd.n switch (see debug.adb).

system.ads
s-stposu.adb
s-stposu.ads
s-stopoo.ads
ada.ads
a-finali.ads
s-finroo.ads
s-stoele.ads
s-finmas.ads
a-except.ads
s-parame.ads
s-stalib.ads
a-unccon.ads
s-traent.ads
s-addima.ads
s-io.ads
s-soflin.ads
s-stache.ads
s-spsufi.ads
a-tags.ads
s-stoele.adb
s-exctab.ads
a-stream.ads
s-imgboo.ads
s-secsta.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:432
make[9]: *** [s-stposu.o] Error 1

[Bug ada/54843] [4.8 Regression] ada bootstrap failure on arm-linux-gnueabi

[mikpe at it dot uu.se]

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

Mikael Pettersson <mikpe at it dot uu.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpe at it dot uu.se

--- Comment #1 from Mikael Pettersson <mikpe at it dot uu.se> 2012-10-07 10:36:26 UTC ---
Strange, I've done weekly bootstraps of the trunk/4.8 gcc series with Ada
enabled on armv5tel-linux-gnueabi with only 3 failures (20120429, 20120506,
20120729).  See e.g.
http://gcc.gnu.org/ml/gcc-testresults/2012-10/msg00245.html.

[Bug middle-end/54843] [4.8 Regression] ada bootstrap failure on arm-linux-gnueabi

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
                 CC|                            |rguenth at gcc dot gnu.org
          Component|ada                         |middle-end
   Target Milestone|---                         |4.8.0

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-10-08 12:03:41 UTC ---
You need checking enabled.

[Bug middle-end/54843] [4.8 Regression] ada bootstrap failure on arm-linux-gnueabi

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-21 12:12:49 UTC ---
I suppose this is fixed.  If not please make it reproducible with a cross.