http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120
Bug #: 52120
Summary: [Ada] Compiler assertion in iterator
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
Created attachment 26570
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26570
bug sources in gnatchop format
gcc-4.6 -c -gnat12 heap_sieve.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.2 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:1072 |
| Error detected at heap_sieve.adb:83:30 |
| 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). |
+==========================================================================+
Code is attached. Seems to be provoked by the for Step of ... construct. The
commented out code after it works as a workaround.
apt-cache show gnat-4.6
Package: gnat-4.6
Version: 4.6.2-3
(Debian Testing, amd64)
