]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add "gnat --help-ada" text for new switches.
authorSteve Baird <baird@adacore.com>
Sat, 28 Jan 2023 00:31:49 +0000 (16:31 -0800)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:59 +0000 (10:30 +0200)
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

index 97cedbb9a2de1f29f1c6e28f64c9132a8a16cad7..9e2aa019573b6f88e8c85bb552ba2689aeb6fe39 100644 (file)
@@ -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");