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;