diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-03-11 07:56:34 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:35:02 -0400 |
| commit | 2db262f29a4b1495885b1f23335b6dc363bf1143 (patch) | |
| tree | 3d381feca9d32e614254a4bcaa1ba12a3512b3a7 /gcc/ada/snames.ads-tmpl | |
| parent | 8439cae845f2148c2df5aefa120b968ec73dd07e (diff) | |
| download | gcc-2db262f29a4b1495885b1f23335b6dc363bf1143.zip gcc-2db262f29a4b1495885b1f23335b6dc363bf1143.tar.gz gcc-2db262f29a4b1495885b1f23335b6dc363bf1143.tar.bz2 | |
[Ada] AI12-0311 New checks for language-defined units
2020-06-10 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* snames.ads-tmpl (Name_Characters_Assertion_Check,
Name_Containers_Assertion_Check,
Name_Interfaces_Assertion_Check, Name_IO_Assertion_Check,
Name_Numerics_Assertion_Check, Name_Strings_Assertion_Check,
Name_System_Assertion_Check): New constants.
* types.ads (Characters_Assertion_Check,
Containers_Assertion_Check, Interfaces_Assertion_Check,
IO_Assertion_Check, Numerics_Assertion_Check,
Strings_Assertion_Check, System_Assertion_Check): New constants.
(All_Checks): Update accordingly.
Diffstat (limited to 'gcc/ada/snames.ads-tmpl')
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 0f39a97..a1a7bf7 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -1206,21 +1206,28 @@ package Snames is Name_Alignment_Check : constant Name_Id := N + $; -- GNAT Name_Allocation_Check : constant Name_Id := N + $; Name_Atomic_Synchronization : constant Name_Id := N + $; -- GNAT + Name_Characters_Assertion_Check : constant Name_Id := N + $; + Name_Containers_Assertion_Check : constant Name_Id := N + $; Name_Discriminant_Check : constant Name_Id := N + $; Name_Division_Check : constant Name_Id := N + $; Name_Duplicated_Tag_Check : constant Name_Id := N + $; -- GNAT Name_Elaboration_Check : constant Name_Id := N + $; Name_Index_Check : constant Name_Id := N + $; + Name_Interfaces_Assertion_Check : constant Name_Id := N + $; + Name_IO_Assertion_Check : constant Name_Id := N + $; Name_Length_Check : constant Name_Id := N + $; + Name_Numerics_Assertion_Check : constant Name_Id := N + $; Name_Overflow_Check : constant Name_Id := N + $; Name_Predicate_Check : constant Name_Id := N + $; -- GNAT + Name_Program_Error_Check : constant Name_Id := N + $; Name_Range_Check : constant Name_Id := N + $; Name_Storage_Check : constant Name_Id := N + $; + Name_Strings_Assertion_Check : constant Name_Id := N + $; + Name_System_Assertion_Check : constant Name_Id := N + $; Name_Tag_Check : constant Name_Id := N + $; 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 + $; |