* Add warnings on secondary stack usage

For OpenAADL/ocarina#141
OpenAADL · Apr 12, 2018 · a2e90c7 · a2e90c7
1 parent 277b3ce
commit a2e90c7
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/src/gnat_runtime.adc b/src/gnat_runtime.adc
@@ -1,6 +1,11 @@
 --  Ada restrictions to be supported by PolyORB-HI/Ada, for GNAT
 --  Runtime targets, e.g. ARM driver libraries
 
+--------------------------------------------------------------------------------
+-- Warnings on constructs that rely on the secondary stack
+
+pragma Restriction_Warnings (No_Secondary_Stack);        -- 13.12 (2)
+
 --------------------------------------------------------------------------------
 --  Enforce Ravenscar profile.
 

diff --git a/src/hi-e.adc b/src/hi-e.adc
@@ -1,5 +1,10 @@
 --  Ada restrictions to be supported by PolyORB-HI/Ada, for HI targets
 
+--------------------------------------------------------------------------------
+-- Warnings on constructs that rely on the secondary stack
+
+pragma Restriction_Warnings (No_Secondary_Stack);        -- 13.12 (2)
+
 --------------------------------------------------------------------------------
 --  Enforce Ravenscar profile.
 

diff --git a/src/native.adc b/src/native.adc
@@ -1,6 +1,10 @@
 --  Ada restrictions to be supported by PolyORB-HI/Ada, for NATIVE targets
 
-pragma Restriction_Warnings (No_Secondary_Stack);   -- 13.12 (2)
+--------------------------------------------------------------------------------
+-- Warnings on constructs that rely on the secondary stack
+
+pragma Restriction_Warnings (No_Secondary_Stack);        -- 13.12 (2)
+
 --------------------------------------------------------------------------------
 --  Enforce Ravenscar profile.
 --