FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
gcc/ada/

	* gcc-interface/system.ads: Add No_Tasking restriction.
This commit is contained in:
Arnaud Charlet 2021-05-21 04:04:55 -04:00 • committed by Pierre-Marie de Rodat
parent b927d936e3
commit 076c1a9157
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/gcc-interface/system.ads
View file

@ -50,6 +50,10 @@ pragma Restrictions (No_Finalization);
-- access type on incomplete type Perm_Tree_Wrapper (which is required for -- access type on incomplete type Perm_Tree_Wrapper (which is required for
-- defining a recursive type). -- 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 package System is
pragma Pure; pragma Pure;
-- Note that we take advantage of the implementation permission to make -- Note that we take advantage of the implementation permission to make