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
