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