gcc/testsuite/gnat.dg/opt43.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

-- { dg-do compile }
-- { dg-options "-O -gnatws" }

procedure Opt43 is

  function Func return Integer is
  begin
    if False then
       return 0;
    end if;
  end;

begin

  if Func = Func then
    raise Program_Error;
  end if;

exception
  when Program_Error => null;
end;