(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
specs/
loop_optimization1.ads
-- { dg-do compile }
-- { dg-options "-O3" }

with Loop_Optimization1_Pkg;

package Loop_Optimization1 is

  type Kind_Type is (One, Two, Three, Four);
  type Array_Type is array (Kind_Type) of Boolean;
  pragma Pack (Array_Type);

  package Q is new Loop_Optimization1_Pkg (Boolean, Kind_Type, Array_Type);

end Loop_Optimization1;