gcc/testsuite/gnat.dg/inline9.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 Inline9_Pkg; use Inline9_Pkg;
   7
   8 procedure Inline9 is
   9 begin
  10   Test (0);
  11 end;