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/types.ads | |
| 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/types.ads')
| -rw-r--r-- | gcc/ada/types.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index 9744f2c..655a28e 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; |