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