gcc/testsuite/gnat.dg/loop_optimization12.ads

   1 package Loop_Optimization12 is
   2
   3   type Enum1 is (A, B, C, D, E, F, G, H, I, J);
   4
   5   type Enum2 is (A, B, C);
   6
   7   type Enum3 is (A, B, C, D, E, F);
   8
   9   type Enum4 is (A, B, C, D);
  10
  11   type Enum5 is (A, B, C, D, E);
  12
  13   type Arr is array (Enum3, Enum4, Enum4, Enum5, Enum5, Enum3,
  14                      Enum2, Enum3, Enum5, Enum3) of Natural;
  15
  16   type Arr_Ptr is access Arr;
  17   type Ext_Arr is array (Enum1) of Arr_Ptr;
  18
  19   type Rec is record
  20     F : Ext_Arr;
  21   end record;
  22
  23   type Rec_Ptr is access Rec;
  24
  25   procedure Reset (S : Rec_Ptr);
  26
  27 end Loop_Optimization12;