xref: /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/loop_optimization6.ads

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