[Bug ada/52120] New: [Ada] Compiler assertion in iterator

[Bug ada/52120] New: [Ada] Compiler assertion in iterator

[gcc at davidb dot org]

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: unassigned@gcc.gnu.org
        ReportedBy: gcc@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)

[Bug ada/52120] [Ada] Compiler assertion in iterator

[nicolas.boulenguez at free dot fr]

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

nicolas.boulenguez at free dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicolas.boulenguez at free
                   |                            |dot fr

--- Comment #1 from nicolas.boulenguez at free dot fr 2012-02-12 23:11:32 UTC ---
I had the same arch/gnat/cargs/failure with a shorter example.

with Ada.Containers.Vectors;
procedure Proc is
   package Vect is new Ada.Containers.Vectors (Positive, Integer);
   type Reco is record
      V : Vect.Vector;
   end record;
   R : Reco;
begin
   for E of R.V loop
      null;
   end loop;
end Proc;

[Bug ada/52120] [Ada] Compiler assertion in iterator

[nicolas.boulenguez at free dot fr]

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

--- Comment #2 from nicolas.boulenguez at free dot fr ---
4.8.2-1 produces the expected output for the last trigger
gcc-4.8 -c proc.adb
proc.adb:9:10: iterator is an Ada 2012 feature
gnatmake: "proc.adb" compilation error

[Bug ada/52120] [Ada] Compiler assertion in iterator

[aoliva at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52120

Alexandre Oliva <aoliva at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |aoliva at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #3 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
This problem is fixed in GCC 4.8 and newer.  heap_sieve.adb compiles
successfully with the given command line in 4.8, 4.9 and trunk, whereas
proc.adb compiles successfully in 4.9 and trunk, but it requires explicit
-gnat12 in 4.8.