gcc/testsuite/gnat.dg/opt15.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatn -fdump-tree-optimized" }
   3
   4 with Opt15_Pkg; use Opt15_Pkg;
   5
   6 procedure Opt15 is
   7 begin
   8   Trace_Inlined;
   9 end;
  10
  11 -- { dg-final { scan-tree-dump-not "trace_inlined" "optimized" } }
  12 -- { dg-final { cleanup-tree-dump "optimized" } }