PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / inline2.adb
blob1c15d98065e9d74258ec0c5c3dcff28c9318f0e0
1 -- { dg-do compile }
2 -- { dg-options "-O -gnatn -Winline" }
4 with Inline2_Pkg; use Inline2_Pkg;
6 procedure Inline2 is
7 F : Float := Invalid_Real;
8 begin
9 if Valid_Real (F) then
10 F := F + 1.0;
11 end if;
12 end;