[Bug ada/60864] New: Compilation Library GNATColl: gnatcoll-scripts.adb under Debian armhf

[smartinezo at fcirce dot es]

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

            Bug ID: 60864
           Summary: Compilation Library GNATColl: gnatcoll-scripts.adb
                    under Debian armhf
           Product: gcc
           Version: 4.6.3
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: smartinezo at fcirce dot es

OS: Debian 7 (Wheezy)
Architecture: armhf / Target: arm-linux-gnueabihf
GCC Version: 4.6.3 (Debian 4.6.3-14)
Doing "make" of AdaCore GNATcoll GPL library shows this bug.

gcc-4.6 -c -O2 -gnatn -gnatws -gnat05 gnatcoll-scripts.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.3 (arm-unknown-linux-gnueabihf) GCC error:                           |
| in update_ssa_across_abnormal_edges, at tree-inline.c:1853               |
| Error detected around
/home/debian/gnatcoll-gpl-2013-src/src/gnatcoll-scripts.adb:192:19|
| 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-4.6 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).