[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 --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl
index 968f80ef81904d62f2f9fd8c7ddb642a28dd17a2..e5494ae73abc9ab0a3097ac5775f75fd3779e012 100644 (file)
--- 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 9744f2cc101bf6ba0cbb74bfd9f45d3d3cf351d9..655a28e9741fa15f63bce8820b3c5b66ab6cb588 100644 (file)
--- 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;