gcc/testsuite/gnat.dg/inline3.adb

   1 -- { dg-do compile }
   2 -- { dg-error "not marked Inline_Always" "" { target *-*-* } 0 }
   3 -- { dg-error "cannot be inlined" "" { target *-*-* } 0 }
   4
   5 with Inline3_Pkg; use Inline3_Pkg;
   6
   7 procedure Inline3 is
   8 begin
   9   Test (0);
  10 end;