diff mbox series

[Ada] Add No_Tasking restriction is system.ads for bootstrap

Message ID 20210708135002.GA2465582@adacore.com
State New
Headers show
Series [Ada] Add No_Tasking restriction is system.ads for bootstrap | expand

Commit Message

Pierre-Marie de Rodat July 8, 2021, 1:50 p.m. UTC 
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 mbox series

Patch

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