* usage.adb: Add lines for V switch.

	* gnatcmd.adb (COMPILE): Revise translations for -gnatV
	(/VALIDITY_CHECKING).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46219 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bf43959..ae5b996 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,10 @@
+2001-10-11  Robert Dewar <dewar@gnat.com>
+       
+       * usage.adb: Add lines for V switch.
+
+       * gnatcmd.adb (COMPILE): Revise translations for -gnatV 
+       (/VALIDITY_CHECKING).
+
 2001-10-11  Ed Schonberg <schonber@gnat.com>
 
        * sem_type.adb (Add_One_Interp): an operator for a type declared in 

diff --git a/gcc/ada/gnatcmd.adb b/gcc/ada/gnatcmd.adb
index ac4e302..8e45f3c 100644 (file)
--- a/gcc/ada/gnatcmd.adb
+++ b/gcc/ada/gnatcmd.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---                            $Revision: 1.84 $
+--                            $Revision$
 --                                                                          --
 --          Copyright (C) 1996-2001 Free Software Foundation, Inc.          --
 --                                                                          --
@@ -609,12 +609,46 @@ procedure GNATCmd is
                                             "-gnatF";
 
    S_GCC_Valid   : aliased constant S := "/VALIDITY_CHECKING="             &
-                                            "RM "                          &
+                                            "DEFAULT "                     &
                                             "-gnatVd "                     &
+                                            "NODEFAULT "                   &
+                                            "-gnatVD "                     &
+                                            "COPIES "                      &
+                                            "-gnatVc "                     &
+                                            "NOCOPIES "                    &
+                                            "-gnatVC "                     &
+                                            "FLOATS "                      &
+                                            "-gnatVf "                     &
+                                            "NOFLOATS "                    &
+                                            "-gnatVF "                     &
+                                            "IN_PARAMS "                   &
+                                            "-gnatVi "                     &
+                                            "NOIN_PARAMS "                 &
+                                            "-gnatVI "                     &
+                                            "MOD_PARAMS "                  &
+                                            "-gnatVm "                     &
+                                            "NOMOD_PARAMS "                &
+                                            "-gnatVM "                     &
+                                            "OPERANDS "                    &
+                                            "-gnatVo "                     &
+                                            "NOOPERANDS "                  &
+                                            "-gnatVO "                     &
+                                            "RETURNS "                     &
+                                            "-gnatVr "                     &
+                                            "NORETURNS "                   &
+                                            "-gnatVR "                     &
+                                            "SUBSCRIPTS "                  &
+                                            "-gnatVs "                     &
+                                            "NOSUBSCRIPTS "                &
+                                            "-gnatVS "                     &
+                                            "TESTS "                       &
+                                            "-gnatVt "                     &
+                                            "NOTESTS "                     &
+                                            "-gnatVT "                     &
+                                            "ALL "                         &
+                                            "-gnatVa "                     &
                                             "NONE "                        &
-                                            "-gnatV0 "                     &
-                                            "FULL "                        &
-                                            "-gnatVf";
+                                            "-gnatVn";
 
    S_GCC_Verbose : aliased constant S := "/VERBOSE "                       &
                                             "-v";

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index f6fffea..645743b 100644 (file)
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                B o d y                                   --
 --                                                                          --
---                           $Revision: 1.116 $
+--                           $Revision$
 --                                                                          --
 --          Copyright (C) 1992-2001, Free Software Foundation, Inc.         --
 --                                                                          --
@@ -287,9 +287,25 @@ begin
 
    --  Line for -gnatV switch
 
-   Write_Switch_Char ("V?");
+   Write_Switch_Char ("Vxx");
    Write_Line
-     ("Validity checking (?=ndcte or 0-4 None/Default/Copy/Test/Exprs)");
+     ("Enable selected validity checking mode, xx = list of parameters:");
+   Write_Line ("        a    turn on all validity checking options");
+   Write_Line ("        c    turn on validity checking for copies");
+   Write_Line ("        C    turn off validity checking for copies");
+   Write_Line ("        f    turn on validity checking for floating-point");
+   Write_Line ("        F    turn off validity checking for floating-point");
+   Write_Line ("        i    turn on validity checking for in params");
+   Write_Line ("        I    turn off validity checking for in params");
+   Write_Line ("        m    turn on validity checking for in out params");
+   Write_Line ("        M    turn off validity checking for in out params");
+   Write_Line ("        r    turn on validity checking for returns");
+   Write_Line ("        R    turn off validity checking for returns");
+   Write_Line ("        s    turn on validity checking for subscripts");
+   Write_Line ("        S    turn off validity checking for subscripts");
+   Write_Line ("        t    turn on validity checking for tests");
+   Write_Line ("        T    turn off validity checking for tests");
+   Write_Line ("        n    turn off all validity checks (including RM)");
 
    --  Lines for -gnatw switch