diff options
| author | Yannick Moy <moy@adacore.com> | 2021-02-02 12:31:04 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-07 05:29:03 -0400 |
| commit | 3a700c5fef18b2f339e464eec5e12a3b9956edd3 (patch) | |
| tree | a2943ec837b9eaa5194cf0eb9947fb62ca9ae3d8 /gcc/ada/usage.adb | |
| parent | bf62c9012ce7edbc55a62a4ef34a988209ff81a2 (diff) | |
| download | gcc-3a700c5fef18b2f339e464eec5e12a3b9956edd3.zip gcc-3a700c5fef18b2f339e464eec5e12a3b9956edd3.tar.gz gcc-3a700c5fef18b2f339e464eec5e12a3b9956edd3.tar.bz2 | |
[Ada] Generate warning for negative literal of a modular type
gcc/ada/
* opt.ads: Update comment for Warn_On_Suspicious_Modulus_Value.
* sem_res.adb (Resolve_Unary_Op): Generate warning.
* usage.adb: Refine doc for -gnatw.m/M switch.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Update doc on -gnatw.m switch.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index e5bc62e..c85d610 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -532,8 +532,10 @@ begin "but not read"); Write_Line (" M* turn off warnings for variable assigned " & "but not read"); - Write_Line (" .m*+ turn on warnings for suspicious modulus value"); - Write_Line (" .M turn off warnings for suspicious modulus value"); + Write_Line (" .m*+ turn on warnings for suspicious usage " & + "of modular type"); + Write_Line (" .M turn off warnings for suspicious usage " & + "of modular type"); Write_Line (" n* normal warning mode (cancels -gnatws/-gnatwe)"); Write_Line (" .n turn on info messages for atomic " & "synchronization"); |