gcc/testsuite/gnat.dg/noinline2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -fdump-tree-optimized" }
   3
   4 package body Noinline2 is
   5
   6   function Inner (A, B : Integer) return Integer;
   7   pragma No_Inline (Inner);
   8
   9   function Inner (A, B : Integer) return Integer is
  10   begin
  11     return A + B;
  12   end;
  13
  14   function F (A, B : Integer) return Integer is
  15   begin
  16     return Inner (A, B) + Inner (A, -B);
  17   end;
  18
  19 end Noinline2;
  20
  21 -- { dg-final { scan-tree-dump-times "noinline2.inner" 2 "optimized"  } }