[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;