Re: [PATCH] ARM: Make ARMv8-M attribute cmse_nonsecure_call work in Ada

[Eric Botcazou <botcazou@adacore.com>]

[-- Attachment #1: Type: text/plain, Size: 214 bytes --]

> Ok if no regressions, perhaps the test needs to be in the ada test suite ?

Thanks.  Sure, testcase added to gnat.dg like so:

	* gnat.dg/machine_attr2.ads, gnat.dg/machine_attr2.adb: New test.

-- 
Eric Botcazou

[-- Attachment #2: machine_attr2.ads --]
[-- Type: text/x-adasrc, Size: 188 bytes --]

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;

[-- Attachment #3: machine_attr2.adb --]
[-- Type: text/x-adasrc, Size: 354 bytes --]

-- { dg-do compile { target arm*-*-* } }
-- { dg-options "-mcpu=cortex-m33 -mcmse" }

package body Machine_Attr2 is
  
  procedure Call (Proc : Non_Secure) is
  begin
    Proc.all;
  end;

  procedure Foo; -- { dg-warning "only applies to base type" }
  pragma Machine_Attribute (Foo, "cmse_nonsecure_call");
  procedure Foo is null;

end Machine_Attr2;