gcc/testsuite/gnat.dg/inline5.adb

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