1package 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
16end Noinline3_Pkg;
17