gcc/testsuite/gnat.dg/inline2_pkg.ads


1
2
3
4
5
6
7
8
9

package Inline2_Pkg is

   function Valid_Real (Number : Float) return Boolean;
   pragma Inline (Valid_Real);

   function Invalid_Real return Float;
   pragma Inline (Invalid_Real);

end Inline2_Pkg;