xref: /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gnat.dg/loop_optimization6.ads

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