From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2066) id 9C1053972028; Wed, 10 Jun 2020 03:44:22 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9C1053972028 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1591760662; bh=wbpcrj1WyqWPhqrguwTSOfTtbCzlyu7ijv+cE7wDuJU=; h=From:To:Subject:Date:From; b=QGn2SHY7WpYgzX7ACLD5ytbHSj0NSzqq9Hvw3baVqZdhpAd3SBbggmkdmXSfCgZmd keu52ndbNF6JtX13ySJIbAc0UrqPdi99qEOdCFFBVtFmCR8QMyt9dPIxuqRkYduKSa w3zjPQgqUuWQYqQ6oRgpJUIRrNfabQsDt8GzNAUY= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Jiu Fu Guo To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] AI12-0309 Missing checks for pragma Suppress X-Act-Checkin: gcc X-Git-Author: Arnaud Charlet X-Git-Refname: refs/users/guojiufu/heads/personal-branch X-Git-Oldrev: 53d461e4e0fbc6d2ef7385509e8c3785e9b205fd X-Git-Newrev: 9490fd58a82b80a7048d5e1a82f749da438b4306 Message-Id: <20200610034422.9C1053972028@sourceware.org> Date: Wed, 10 Jun 2020 03:44:22 +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: Wed, 10 Jun 2020 03:44:22 -0000 https://gcc.gnu.org/g:9490fd58a82b80a7048d5e1a82f749da438b4306 commit 9490fd58a82b80a7048d5e1a82f749da438b4306 Author: Arnaud Charlet Date: Fri Jan 31 11:09:11 2020 -0500 [Ada] AI12-0309 Missing checks for pragma Suppress 2020-06-08 Arnaud Charlet gcc/ada/ * snames.ads-tmpl (Name_Program_Error_Check, Name_Tasking_Check): New constants. * types.ads (Program_Error_Check, Tasking_Check): New constants. (All_Checks): Update accordingly. Diff: --- gcc/ada/snames.ads-tmpl | 2 ++ gcc/ada/types.ads | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 968f80ef819..e5494ae73ab 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -1199,6 +1199,8 @@ package Snames is Name_Validity_Check : constant Name_Id := N + $; -- GNAT Name_Container_Checks : constant Name_Id := N + $; -- GNAT Name_Tampering_Check : constant Name_Id := N + $; -- GNAT + Name_Program_Error_Check : constant Name_Id := N + $; + Name_Tasking_Check : constant Name_Id := N + $; Name_All_Checks : constant Name_Id := N + $; Last_Check_Name : constant Name_Id := N + $; diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index 9744f2cc101..655a28e9741 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -687,11 +687,13 @@ package Types is Validity_Check : constant := 17; Container_Checks : constant := 18; Tampering_Check : constant := 19; + Program_Error_Check : constant := 20; + Tasking_Check : constant := 21; -- Values used to represent individual predefined checks (including the -- setting of Atomic_Synchronization, which is implemented internally using -- a "check" whose name is Atomic_Synchronization). - All_Checks : constant := 20; + All_Checks : constant := 22; -- Value used to represent All_Checks value subtype Predefined_Check_Id is Check_Id range 1 .. All_Checks;