gcc/testsuite/gnat.dg/loop_optimization6.ads

package Loop_Optimization6 is
  A : Integer := 0;
  procedure Main;
end Loop_Optimization6;