gcc/testsuite/gnat.dg/lto9_pkg2.ads

   1 generic
   2
   3    Size : in Positive;
   4    type Element_Type (<>) is private;
   5    type Element_Ptr       is access all Element_Type;
   6
   7 package Lto9_Pkg2 is
   8
   9    subtype Index is Positive range 1 .. (Size + 1);
  10
  11    type List_Array is array (Index) of Element_Ptr;
  12
  13    type List_Type is record
  14       Elements : List_Array;
  15    end record;
  16
  17    procedure Put (List     : in out List_Type;
  18                   Elem_Ptr : in     Element_Ptr;
  19                   Location : in     Index);
  20
  21 end Lto9_Pkg2;