[gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] AI12-0309 Missing checks for pragma Suppress

[gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] AI12-0309 Missing checks for pragma Suppress

[Jiu Fu Guo]

https://gcc.gnu.org/g:9490fd58a82b80a7048d5e1a82f749da438b4306

commit 9490fd58a82b80a7048d5e1a82f749da438b4306
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Fri Jan 31 11:09:11 2020 -0500

    [Ada] AI12-0309 Missing checks for pragma Suppress
    
    2020-06-08  Arnaud Charlet  <charlet@adacore.com>
    
    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;