diff options
| author | Viljar Indus <indus@adacore.com> | 2024-10-15 13:49:07 +0300 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:57:58 +0100 |
| commit | 420b9b99d67bb99efd1e23dabe1ed5e23737989d (patch) | |
| tree | bada39acfa25f9c775f3d72385a02014a8f05a25 | |
| parent | f0f7beae693e6f6d0206c57a3be23fdc6598fcfd (diff) | |
| download | gcc-420b9b99d67bb99efd1e23dabe1ed5e23737989d.zip gcc-420b9b99d67bb99efd1e23dabe1ed5e23737989d.tar.gz gcc-420b9b99d67bb99efd1e23dabe1ed5e23737989d.tar.bz2 | |
ada: Update documentation for -gnatVxx switches
Imporve the wording to explicitly state which options are turned on
by -gnatVa and that -gnatVd is enabled by default.
It can be somewhat hard to decifer that information from the old
wording. Especially when compared to -gnatWxx switches where there
is an elaborate scheme for describing those properties.
gcc/ada/ChangeLog:
* usage.adb: Update the wording for -gnatVa and -gnatVd.
| -rw-r--r-- | gcc/ada/usage.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 38a82be..d2857c9 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -443,10 +443,12 @@ begin Write_Switch_Char ("Vxx"); Write_Line ("Enable selected validity checking mode, xx = list of parameters:"); - Write_Line (" a turn on all validity checking options"); + Write_Line (" a turn on all of the following validity checking" + & " options"); Write_Line (" c turn on checking for copies"); Write_Line (" C turn off checking for copies"); - Write_Line (" d turn on default (RM) checking"); + Write_Line (" d turn on default (RM) checking" + & " (enabled by default)"); Write_Line (" D turn off default (RM) checking"); Write_Line (" e turn on checking for elementary components"); Write_Line (" E turn off checking for elementary components"); |