gcc/testsuite/gnat.dg/inline2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatn -Winline" }
   3
   4 with Inline2_Pkg; use Inline2_Pkg;
   5
   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;