gcc/testsuite/gnat.dg/loop_optimization6.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -gnatp -fdump-tree-optimized" }
   3
   4 package body Loop_Optimization6 is
   5   procedure Foo is
   6   begin
   7     for I in 1 .. 1_000_000 loop
   8       A := A + 1;
   9     end loop;
  10   end Foo;
  11
  12   procedure Bar is
  13   begin
  14     for J in 1 .. 1_000 loop
  15       Foo;
  16     end loop;
  17   end Bar;
  18
  19   procedure Main is
  20   begin
  21     Bar;
  22   end;
  23 end Loop_Optimization6;
  24
  25 -- { dg-final { scan-tree-dump-not "goto" "optimized"} }