Make it explicit that tasking is not used in the compiler, which also
allows generating simpler and more efficient code.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* gcc-interface/system.ads: Add No_Tasking restriction.diff --git a/gcc/ada/gcc-interface/system.ads b/gcc/ada/gcc-interface/system.ads
--- a/gcc/ada/gcc-interface/system.ads
+++ b/gcc/ada/gcc-interface/system.ads
@@ -50,6 +50,10 @@ pragma Restrictions (No_Finalization);
-- access type on incomplete type Perm_Tree_Wrapper (which is required for
-- defining a recursive type).
+pragma Restrictions (No_Tasking);
+-- Make it explicit that tasking is not used in the compiler, which also
+-- allows generating simpler and more efficient code.
+
package System is
pragma Pure;
-- Note that we take advantage of the implementation permission to make
