gcc/testsuite/gnat.dg/specs/noinline1.ads

   1 -- { dg-do compile }
   2
   3 package Noinline1 is
   4
   5   procedure Proc1;
   6   pragma Inline (Proc1);
   7   pragma No_Inline (Proc1); -- { dg-warning "both specified" }
   8
   9   procedure Proc2;
  10   pragma No_Inline (Proc2);
  11   pragma Inline (Proc2); -- { dg-warning "both specified" }
  12
  13   procedure Proc3;
  14   pragma Inline_Always (Proc3);
  15   pragma No_Inline (Proc3); -- { dg-error "mutually exclusive" }
  16
  17   procedure Proc4;
  18   pragma No_Inline (Proc4);
  19   pragma Inline_Always (Proc4); -- { dg-error "mutually exclusive" }
  20
  21 end Noinline1;