diff options
| author | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-12 00:46:56 +0000 |
|---|---|---|
| committer | bosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-10-12 00:46:56 +0000 |
| commit | c2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6 (patch) | |
| tree | 825d30076a5df9ac747f93106998bfc27df3cf33 /gcc | |
| parent | 1beb4fb80cae66742c8d24a6e7eb628a984e91e9 (diff) | |
| download | gcc-c2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6.tar.gz | |
* 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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/ada/gnatcmd.adb | 44 | ||||
| -rw-r--r-- | gcc/ada/usage.adb | 22 |
3 files changed, 65 insertions, 8 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index bf4395902e6..ae5b996e463 100644 --- 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 ac4e302f252..8e45f3c25a0 100644 --- 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 f6fffeaedc2..645743bee69 100644 --- 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 |