http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52121
Bug #: 52121
Summary: [Ada] Compiler assertion on precondition
Classification: Unclassified
Product: gcc
Version: 4.6.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: g...@davidb.org
% gnatchop -gnat12 gnata.gnatchop
% gcc-4.6 -c -gnat12 -gnata heap_sieve.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (x86_64-pc-linux-gnu) GCC error: |
| in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:353 |
| Error detected at heap.ads:18:22 [heap_sieve.ads:39:4] |
| 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). |
+==========================================================================+
Source is attached
% apt-cache show gnat-4.6
Package: gnat-4.6
Version: 4.6.2-3
(Debian Testing, amd64)
