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