projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aadc94) | patch
errout.adb (Initialize): Remove trick to add dummy entry in Warnings table.
authorYannick Moy <moy@adacore.com>
Wed, 22 Jan 2014 16:40:30 +0000 (16:40 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 22 Jan 2014 16:40:30 +0000 (17:40 +0100)
commitb6f36bf8c74b6341566254227d2ac425bf4a54fc
treee4e358524c0e589fd68c4c477f70eef63aed11c4tree | snapshot
parent6aadc94289c763ea858dc511908279ab3af0f43ecommit | diff
errout.adb (Initialize): Remove trick to add dummy entry in Warnings table.

2014-01-22  Yannick Moy  <moy@adacore.com>

* errout.adb (Initialize): Remove trick to add dummy entry
in Warnings table.
* erroutc.adb (Set_Warnings_Mode_Off,
Set_Warnings_Mode_On): Do nothing if warnings are suppressed by
command line switch.
* opt.ads (Warning_Mode): Document behavior
wrt pragma Warnings, in normal mode and in GNATprove_Mode.

From-SVN: r206927
gcc/ada/ChangeLog diff | blob | history
gcc/ada/errout.adb diff | blob | history
gcc/ada/erroutc.adb diff | blob | history
gcc/ada/opt.ads diff | blob | history
Domain: System / Toolchain;