[Bug ada/52873] New: A.18.2 Vectors To_Index (C) = 0 though C /= No_Element

[nicolas.boulenguez at free dot fr]

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

             Bug #: 52873
           Summary: A.18.2 Vectors To_Index (C) = 0 though C /= No_Element
    Classification: Unclassified
           Product: gcc
           Version: 4.6.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: nicolas.bouleng...@free.fr


--  Last line raises Constraint_Error.
--  To_Index (C) = 0 though C /= No_Element.

with Ada.Containers.Vectors; --  A.18.2
procedure Bug is
   package V1s is new Ada.Containers.Vectors (Positive, Integer);
   V1 : constant V1s.Vector := V1s.To_Vector (0, 1);
   package V2s is new Ada.Containers.Vectors (Positive, V1s.Vector, V1s."=");
   V2 : constant V2s.Vector := V2s.To_Vector (V1, 1);
   C  : constant V1s.Cursor := V1s.First (V2s.First_Element (V2));
   I  : constant Integer := V1s.Element (C);
begin
   null;
end Bug;