diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-31 11:09:11 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:50:51 -0400 |
| commit | 9490fd58a82b80a7048d5e1a82f749da438b4306 (patch) | |
| tree | d80d8579f14ba34d72102d953c213887dadb53ca /gcc/ada/snames.ads-tmpl | |
| parent | 53d461e4e0fbc6d2ef7385509e8c3785e9b205fd (diff) | |
| download | gcc-9490fd58a82b80a7048d5e1a82f749da438b4306.zip gcc-9490fd58a82b80a7048d5e1a82f749da438b4306.tar.gz gcc-9490fd58a82b80a7048d5e1a82f749da438b4306.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/snames.ads-tmpl')
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 968f80e..e5494ae 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 + $; |