1-- { dg-do compile }
2-- { dg-options "-O -gnatn -Winline" }
3
4with Inline11_Pkg; use Inline11_Pkg;
5
6procedure Inline11 is
7begin
8  Trace (0);
9end;
10