[Ada] AI12-0309 Missing checks for pragma Suppress

Message ID 20200608080040.GA90223@adacore.com
State New
Headers show
Series
  • [Ada] AI12-0309 Missing checks for pragma Suppress
Related show

Commit Message

Pierre-Marie de Rodat June 8, 2020, 8 a.m.
Recognize (no-ops for now) new check names Program_Error_Check,
Tasking_Check.

Tested on x86_64-pc-linux-gnu, committed on trunk

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.

Patch

--- gcc/ada/snames.ads-tmpl
+++ 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 + $;
 

--- gcc/ada/types.ads
+++ 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;