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