aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/machine_attr2.ads
blob: 4eda09e0f9791cb46cdd8dde221e3a5bd219093c (plain)
1
2
3
4
5
6
7
8
package Machine_Attr2 is

  type Non_Secure is access procedure;
  pragma Machine_Attribute (Non_Secure, "cmse_nonsecure_call");

  procedure Call (Proc : Non_Secure);

end Machine_Attr2;