diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-05-21 04:04:55 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-08 13:34:17 +0000 |
| commit | 076c1a91574d5abcd32898ec1a1a5975254c32a3 (patch) | |
| tree | dbdd1ffc7ec2d1542fde2417642d7e75dee46dac | |
| parent | b927d936e339ddd47779b522b80552306ebb5604 (diff) | |
| download | gcc-076c1a91574d5abcd32898ec1a1a5975254c32a3.zip gcc-076c1a91574d5abcd32898ec1a1a5975254c32a3.tar.gz gcc-076c1a91574d5abcd32898ec1a1a5975254c32a3.tar.bz2 | |
[Ada] Add No_Tasking restriction is system.ads for bootstrap
gcc/ada/
* gcc-interface/system.ads: Add No_Tasking restriction.
| -rw-r--r-- | gcc/ada/gcc-interface/system.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/system.ads b/gcc/ada/gcc-interface/system.ads index a468ae7..cfd9bb9 100644 --- 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 |