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