gcc/testsuite/gnat.dg/opt43.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatws" }
   3
   4 procedure Opt43 is
   5
   6   function Func return Integer is
   7   begin
   8     if False then
   9        return 0;
  10     end if;
  11   end;
  12
  13 begin
  14
  15   if Func = Func then
  16     raise Program_Error;
  17   end if;
  18
  19 exception
  20   when Program_Error => null;
  21 end;