[Bug ada/39160] New: Assert_Failure in sinfo.adb

[Bug ada/39160] New: Assert_Failure in sinfo.adb

[wilsons at start dot ca]

Note that the test code is not semantically correct.  Correct code compiles
just fine. For me, the bug manifests in both 4.3.2 and the 4.4-20090206
snapshot.

Configure options:
  --disable-multilib --enable-languages=c,ada

System type:
  $ uname -ro
  2.6.27.12-170.2.5.fc10.x86_64 GNU/Linux

Output:
  $ gcc -c bug.adb
  +===========================GNAT BUG DETECTED==============================+
  | 4.4.0 20090206 (experimental) (x86_64-unknown-linux-gnu) Assert_Failure
sinfo.adb:1987|
  | Error detected at bug.adb:17:26                                          |
  | 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).                   |
  +==========================================================================+


-- 
           Summary: Assert_Failure in sinfo.adb
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wilsons at start dot ca
  GCC host triplet: x86_64-unknown-linux-gnu


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

[Bug ada/39160] Assert_Failure in sinfo.adb

[wilsons at start dot ca]

------- Comment #1 from wilsons at start dot ca  2009-02-12 00:56 -------
Created an attachment (id=17282)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17282&action=view)
Test case


-- 


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