blob: 390d627b2f5d8972aba36914f9272d308fc2d2a4 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-O -gnatn -Winline" }
-- { dg-warning "not marked 'Inline'" "" { target *-*-* } 0 }
-- { dg-warning "cannot be inlined" "" { target *-*-* } 0 }
with Inline7_Pkg1; use Inline7_Pkg1;
procedure Inline7 is
begin
Test (0);
end;