From: Arnaud Charlet Date: Fri, 31 Jan 2020 16:09:11 +0000 (-0500) Subject: [Ada] AI12-0309 Missing checks for pragma Suppress X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9490fd58a82b80a7048d5e1a82f749da438b4306;p=gcc.git [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 --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;