[thirdparty/gcc.git] / gcc / testsuite / gnat.dg / inline3.adb

-- { dg-do compile }
-- { dg-error "not marked 'Inline_Always'" "" { target *-*-* } 0 }
-- { dg-error "cannot be inlined" "" { target *-*-* } 0 }

with Inline3_Pkg; use Inline3_Pkg;

procedure Inline3 is
begin
  Test (0);
end;
Commit	Line	Data
87411e95	1	-- { dg-do compile }
a9c697b8	2	-- { dg-error "not marked 'Inline_Always'" "" { target --* } 0 }
87411e95 EB	3	-- { dg-error "cannot be inlined" "" { target --* } 0 }
	4
	5	with Inline3_Pkg; use Inline3_Pkg;
	6
	7	procedure Inline3 is
	8	begin
	9	Test (0);
	10	end;