gcc/testsuite/gnat.dg/loop_optimization1.ads

   1 package Loop_Optimization1 is
   2
   3    type Number is range 0 .. 127;
   4
   5    type Group_List is array (Positive range <>) of Number;
   6
   7    subtype Index is Natural range 1 .. 5;
   8
   9    function Groups (T : Integer) return Group_List;
  10    pragma Import (Ada, Groups);
  11
  12    type Group_Chain (Length : Index := 1) is record
  13       Groups : Group_List(1 .. Length);
  14    end record;
  15
  16    type Group_Chain_List is array (Positive range <>) of Group_Chain;
  17
  18    function Group_Chains (T : Integer) return Group_Chain_List;
  19    pragma Import (Ada, Group_Chains);
  20
  21    type R (I : Boolean) is null record;
  22
  23    type R_Access is access R;
  24
  25    type R_List is array (Positive range <>) of R_Access;
  26
  27    type R_List_Access is access R_List;
  28
  29    type D is record
  30       L : R_List_Access;
  31    end record;
  32
  33    procedure Create (A : in out D; Val : Integer);
  34
  35 end Loop_Optimization1;