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

-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }
-- { dg-warning "not marked 'Inline'" "" { target *-*-* } 0 }
-- { dg-warning "cannot be inlined" "" { target *-*-* } 0 }

with Inline9_Pkg; use Inline9_Pkg;

procedure Inline9 is
begin
  Test (0);
end;
Commit	Line	Data
a1d896bb	1	-- { dg-do compile }
a1d896bb	2	-- { dg-options "-O -gnatn -Winline" }
85b9be9b	3	-- { dg-warning "not marked 'Inline'" "" { target --* } 0 }
a1d896bb	4	-- { dg-warning "cannot be inlined" "" { target --* } 0 }
	5
	6	with Inline9_Pkg; use Inline9_Pkg;
	7
	8	procedure Inline9 is
	9	begin
	10	Test (0);
	11	end;