1-- { dg-do run }
2-- { dg-options "-O -fno-inline" }
3
4with Opt77_Pkg; use Opt77_Pkg;
5
6procedure Opt77 is
7  N : Natural := 0;
8  To_Add : Boolean;
9begin
10  Proc ("One", N, To_Add);
11  if To_Add then
12    raise Program_Error;
13  end if;
14end;
15