aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/noinline2.adb
blob: 121aee3de910c4059d944a5d3289a377b6c67043 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
-- { dg-do compile }
-- { dg-options "-O2 -fdump-tree-optimized" }

package body Noinline2 is

  function Inner (A, B : Integer) return Integer;
  pragma No_Inline (Inner);

  function Inner (A, B : Integer) return Integer is
  begin
    return A + B;
  end;

  function F (A, B : Integer) return Integer is
  begin
    return Inner (A, B) + Inner (A, -B);
  end;

end Noinline2;

-- { dg-final { scan-tree-dump-times "noinline2.inner" 4 "optimized"  } }