projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53d461e) | patch
[Ada] AI12-0309 Missing checks for pragma Suppress
authorArnaud Charlet <charlet@adacore.com>
Fri, 31 Jan 2020 16:09:11 +0000 (11:09 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:51 +0000 (03:50 -0400)
commit9490fd58a82b80a7048d5e1a82f749da438b4306
treed80d8579f14ba34d72102d953c213887dadb53catree
parent53d461e4e0fbc6d2ef7385509e8c3785e9b205fdcommit | diff
[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.
gcc/ada/snames.ads-tmpl diff | blob | history
gcc/ada/types.ads diff | blob | history