[gcc r15-4915] ada: Update documentation for -gnatVxx switches

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:420b9b99d67bb99efd1e23dabe1ed5e23737989d

commit r15-4915-g420b9b99d67bb99efd1e23dabe1ed5e23737989d
Author: Viljar Indus <in...@adacore.com>
Date:   Tue Oct 15 13:49:07 2024 +0300

    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:
---
 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 38a82beb615b..d2857c922b1c 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");