From: Steve Baird <ba...@adacore.com>
The output generated by "gnat --help-ada" should include descriptions for
the newly added -gnatw_s and -gnatw_S switches".
gcc/ada/
* usage.adb: Generate output text describing the -gnatw_s switch
(and the corresponding -gnatw_S switch).
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/usage.adb | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 97cedbb9a2d..9e2aa019573 100644
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -580,6 +580,10 @@ begin
Write_Line (" s suppress all info/warnings");
Write_Line (" .s turn on warnings for overridden size clause");
Write_Line (" .S* turn off warnings for overridden size clause");
+ Write_Line (" _s+ turn on warnings for ineffective predicate " &
+ "tests");
+ Write_Line (" _S* turn off warnings for ineffective predicate " &
+ "tests");
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");
--
2.40.0
