This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

[Ada] Update usage info of V switch


Update usage info of V switch. Checked in for Robert.

  -Geert

2001-10-11  Robert Dewar <dewar@gnat.com>
	
	* usage.adb: Add lines for V switch.

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

*** usage.adb	2001/07/23 11:10:11	1.116
--- usage.adb	2001/09/28 11:23:28	1.117
***************
*** 287,295 ****
  
     --  Line for -gnatV switch
  
!    Write_Switch_Char ("V?");
     Write_Line
!      ("Validity checking (?=ndcte or 0-4 None/Default/Copy/Test/Exprs)");
  
     --  Lines for -gnatw switch
  
--- 287,311 ----
  
     --  Line for -gnatV switch
  
!    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 ("        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
  

*** gnatcmd.adb	2001/10/03 13:44:47	1.86
--- gnatcmd.adb	2001/10/03 20:42:33	1.87
***************
*** 633,644 ****
                                              "-gnatF";
  
     S_GCC_Valid   : aliased constant S := "/VALIDITY_CHECKING="             &
!                                             "RM "                          &
                                              "-gnatVd "                     &
                                              "NONE "                        &
!                                             "-gnatV0 "                     &
!                                             "FULL "                        &
!                                             "-gnatVf";
  
     S_GCC_Verbose : aliased constant S := "/VERBOSE "                       &
                                              "-v";
--- 633,678 ----
                                              "-gnatF";
  
     S_GCC_Valid   : aliased constant S := "/VALIDITY_CHECKING="             &
!                                             "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 "                        &
!                                             "-gnatVn";
  
     S_GCC_Verbose : aliased constant S := "/VERBOSE "                       &
                                              "-v";




Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]