gcc/testsuite/gnat.dg/specs/noinline3_pkg.adb

   1 package body Noinline3_Pkg is
   2
   3   function Inner (A, B : Integer) return Integer;
   4   pragma No_Inline (Inner);
   5
   6   function Inner (A, B : Integer) return Integer is
   7   begin
   8     return A + B;
   9   end;
  10
  11   function F (A, B : Integer) return Integer is
  12   begin
  13     return Inner (A, B) + Inner (A, -B);
  14   end;
  15
  16 end Noinline3_Pkg;