From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id F06F6398B884; Thu, 8 Jul 2021 13:36:23 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F06F6398B884 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-2146] [Ada] Add No_Tasking restriction is system.ads for bootstrap X-Act-Checkin: gcc X-Git-Author: Arnaud Charlet X-Git-Refname: refs/heads/master X-Git-Oldrev: b927d936e339ddd47779b522b80552306ebb5604 X-Git-Newrev: 076c1a91574d5abcd32898ec1a1a5975254c32a3 Message-Id: <20210708133623.F06F6398B884@sourceware.org> Date: Thu, 8 Jul 2021 13:36:23 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Jul 2021 13:36:24 -0000 https://gcc.gnu.org/g:076c1a91574d5abcd32898ec1a1a5975254c32a3 commit r12-2146-g076c1a91574d5abcd32898ec1a1a5975254c32a3 Author: Arnaud Charlet Date: Fri May 21 04:04:55 2021 -0400 [Ada] Add No_Tasking restriction is system.ads for bootstrap gcc/ada/ * gcc-interface/system.ads: Add No_Tasking restriction. Diff: --- 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 a468ae70a75..cfd9bb9e871 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