diff options
| author | Steve Baird <baird@adacore.com> | 2023-01-27 16:31:49 -0800 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:59 +0200 |
| commit | 45efdda3ff6c92f948881298031779f81aad0886 (patch) | |
| tree | 1877cb7e50e35a41303069218e641d71b8dbabc1 | |
| parent | 9a70dce278846340ca1a7adc3e5eb9a3b0012d8b (diff) | |
| download | gcc-45efdda3ff6c92f948881298031779f81aad0886.zip gcc-45efdda3ff6c92f948881298031779f81aad0886.tar.gz gcc-45efdda3ff6c92f948881298031779f81aad0886.tar.bz2 | |
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).
| -rw-r--r-- | gcc/ada/usage.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 97cedbb..9e2aa019 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"); |