From 45efdda3ff6c92f948881298031779f81aad0886 Mon Sep 17 00:00:00 2001 From: Steve Baird Date: Fri, 27 Jan 2023 16:31:49 -0800 Subject: [PATCH] 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). --- gcc/ada/usage.adb | 4 ++++ 1 file changed, 4 insertions(+) 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"); -- 2.47.2