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 <char...@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.--- 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;
