gcc/testsuite/gnat.dg/inline1_pkg.ads

   1 package Inline1_Pkg is
   2
   3    function Valid_Real (Number : Float) return Boolean;
   4    pragma Inline_Always (Valid_Real);
   5
   6    function Invalid_Real return Float;
   7    pragma Inline_Always (Invalid_Real);
   8
   9 end Inline1_Pkg;