diff mbox series

[COMMITTED] ada: Add "gnat --help-ada" text for new switches.

Message ID 20230516084146.1502587-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: Add "gnat --help-ada" text for new switches. |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès May 16, 2023, 8:41 a.m. UTC 
  From: Steve Baird <baird@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 mbox series

Patch

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");