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/tree-vect-patterns.c | |
| 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/tree-vect-patterns.c')
0 files changed, 0 insertions, 0 deletions