inline11.adb\gnat.dg\testsuite\gcc - delta/gcc.git - gcc.gnu.org: git/gcc.git

index : delta/gcc.git

gcc.gnu.org: git/gcc.git

summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/inline11.adb

blob: cf8e1335f1214aede894e314eb944591541e16d7 (plain)

-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }

with Inline11_Pkg; use Inline11_Pkg;

procedure Inline11 is
begin
  Trace (0);
end;