gcc/testsuite/gnat.dg/machine_attr2.adb

   1 -- { dg-do compile { target arm*-*-* } }
   2 -- { dg-options "-mcpu=cortex-m33 -mcmse" }
   3
   4 package body Machine_Attr2 is
   5
   6   procedure Call (Proc : Non_Secure) is
   7   begin
   8     Proc.all;
   9   end;
  10
  11   procedure Foo; -- { dg-warning "only applies to base type" }
  12   pragma Machine_Attribute (Foo, "cmse_nonsecure_call");
  13   procedure Foo is null;
  14
  15 end Machine_Attr2;