From 076c1a91574d5abcd32898ec1a1a5975254c32a3 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Fri, 21 May 2021 04:04:55 -0400 Subject: [PATCH] [Ada] Add No_Tasking restriction is system.ads for bootstrap gcc/ada/ * gcc-interface/system.ads: Add No_Tasking restriction. --- gcc/ada/gcc-interface/system.ads | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gcc/ada/gcc-interface/system.ads b/gcc/ada/gcc-interface/system.ads index a468ae70a75f..cfd9bb9e871d 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 -- 2.43.5