blob: 1c15d98065e9d74258ec0c5c3dcff28c9318f0e0 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }
with Inline2_Pkg; use Inline2_Pkg;
procedure Inline2 is
F : Float := Invalid_Real;
begin
if Valid_Real (F) then
F := F + 1.0;
end if;
end;