projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc36a7e) | patch
usage.adb, [...]: Disable by default warnings on suspicious contracts, and enable...
authorYannick Moy <moy@adacore.com>
Fri, 2 Sep 2011 09:29:53 +0000 (09:29 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 2 Sep 2011 09:29:53 +0000 (11:29 +0200)
commit029b67bac325590fb9557b5964aea6bb2aac0cba
tree4feffc2f8bdb999d495ef5f7492284f228391a8btree
parentdc36a7e3bc7b19abb8df8d5d8f5835c074e07834commit | diff
usage.adb, [...]: Disable by default warnings on suspicious contracts, and enable them with -gnatwa.

2011-09-02  Yannick Moy  <moy@adacore.com>

* usage.adb, warnsw.adb, sem_ch6.adb, opt.ads: Disable by default
warnings on suspicious contracts, and enable them with -gnatwa.

From-SVN: r178452
gcc/ada/ChangeLog diff | blob | history
gcc/ada/opt.ads diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/usage.adb diff | blob | history
gcc/ada/warnsw.adb diff | blob | history