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