diff options
| author | Yannick Moy <moy@adacore.com> | 2011-09-02 09:29:53 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-02 11:29:53 +0200 |
| commit | 029b67bac325590fb9557b5964aea6bb2aac0cba (patch) | |
| tree | 4feffc2f8bdb999d495ef5f7492284f228391a8b /gcc/ada/usage.adb | |
| parent | dc36a7e3bc7b19abb8df8d5d8f5835c074e07834 (diff) | |
| download | gcc-029b67bac325590fb9557b5964aea6bb2aac0cba.zip gcc-029b67bac325590fb9557b5964aea6bb2aac0cba.tar.gz gcc-029b67bac325590fb9557b5964aea6bb2aac0cba.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 1d79f66..146b0c0 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -484,8 +484,8 @@ begin Write_Line (" .S* turn off warnings for overridden size clause"); Write_Line (" t turn on warnings for tracking deleted code"); Write_Line (" T* turn off warnings for tracking deleted code"); - Write_Line (" .t* turn on warnings for suspicious contract"); - Write_Line (" .T turn off warnings for suspicious contract"); + Write_Line (" .t+ turn on warnings for suspicious contract"); + Write_Line (" .T* turn off warnings for suspicious contract"); Write_Line (" u+ turn on warnings for unused entity"); Write_Line (" U* turn off warnings for unused entity"); Write_Line (" .u turn on warnings for unordered enumeration"); |