gcc/testsuite/gnat.dg/specs/loop_optimization1.ads

   1 -- { dg-do compile }
   2 -- { dg-options "-O3" }
   3
   4 with Loop_Optimization1_Pkg;
   5
   6 package Loop_Optimization1 is
   7
   8   type Kind_Type is (One, Two, Three, Four);
   9   type Array_Type is array (Kind_Type) of Boolean;
  10   pragma Pack (Array_Type);
  11
  12   package Q is new Loop_Optimization1_Pkg (Boolean, Kind_Type, Array_Type);
  13
  14 end Loop_Optimization1;