gcc/testsuite/gnat.dg/loop_optimization22.ads

package Loop_Optimization22 is

  type Discrim_Type (Count : Positive) is null record;

  procedure Foo (X : Discrim_Type);

end Loop_Optimization22;