From: Steve Baird Date: Sat, 28 Jan 2023 00:31:49 +0000 (-0800) Subject: ada: Add "gnat --help-ada" text for new switches. X-Git-Tag: basepoints/gcc-15~9235 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=45efdda3ff6c92f948881298031779f81aad0886;p=thirdparty%2Fgcc.git ada: Add "gnat --help-ada" text for new switches. 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). --- diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 97cedbb9a2de..9e2aa019573b 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");