view gcc/testsuite/gnat.dg/inline10.adb @ 118:fd00160c1b76

ifdef TARGET_64BIT
author mir3636
date Tue, 27 Feb 2018 15:01:35 +0900
parents 04ced10e8804
children
line wrap: on
line source

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

with Inline10_Pkg; use Inline10_Pkg;

procedure Inline10 is
begin
  Test (0);
end;