gcc/testsuite/gnat.dg/opt36.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O2" }
   3
   4 with Opt35_Pkg; use Opt35_Pkg;
   5
   6 procedure Opt36 is
   7   I : Integer := -1;
   8   N : Natural := 0;
   9 begin
  10   loop
  11      begin
  12        I := I + 1;
  13        I := I + F(0);
  14      exception
  15        when E => N := N + 1;
  16      end;
  17      exit when I = 1;
  18   end loop;
  19
  20   if N /= 2 or I = 0 then
  21     raise Program_Error;
  22   end if;
  23 end;