blob: 2c2a46a22fd3fee3a0c424d7926b0a7557e76308 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-- { 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;
|
