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.

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 38a82beb615b74b0f64e0b2ec04e64a6c787e44f..d2857c922b1cdfc923d6b60dd0627419f9b5cf77 100644 (file)
--- 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");