PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / inline10.adb
blob084533009072d9a685400292f653f3f098e6858f
1 -- { dg-do compile }
2 -- { dg-options "-O -gnatn -Winline" }
4 with Inline10_Pkg; use Inline10_Pkg;
6 procedure Inline10 is
7 begin
8 Test (0);
9 end;