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

with Inline5_Pkg; use Inline5_Pkg;

procedure Inline5 is
begin
  Test (0);
end;