From 3a700c5fef18b2f339e464eec5e12a3b9956edd3 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Tue, 2 Feb 2021 12:31:04 +0100 Subject: [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. --- gcc/ada/usage.adb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/ada/usage.adb') 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"); -- cgit v1.1