From: Viljar Indus <in...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/usage.adb | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 38a82beb615..d2857c922b1 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");
--
2.43.0
