PR debug/66535
[official-gcc.git] / gcc / testsuite / gnat.dg / inline11.adb
blobcf8e1335f1214aede894e314eb944591541e16d7
1 -- { dg-do compile }
2 -- { dg-options "-O -gnatn -Winline" }
4 with Inline11_Pkg; use Inline11_Pkg;
6 procedure Inline11 is
7 begin
8 Trace (0);
9 end;