diff options
| author | Robert Dewar <dewar@gnat.com> | 2001-10-12 00:46:56 +0000 |
|---|---|---|
| committer | Geert Bosch <bosch@gcc.gnu.org> | 2001-10-12 02:46:56 +0200 |
| commit | 9a5621d73cab1e74d8be70401357d9ac443e70e7 (patch) | |
| tree | 825d30076a5df9ac747f93106998bfc27df3cf33 | |
| parent | bcb913fb9796b760eaee86cd2b5175392b022f6c (diff) | |
| download | gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.zip gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.tar.gz gcc-9a5621d73cab1e74d8be70401357d9ac443e70e7.tar.bz2 | |
usage.adb: Add lines for V switch.
* usage.adb: Add lines for V switch.
* gnatcmd.adb (COMPILE): Revise translations for -gnatV
(/VALIDITY_CHECKING).
From-SVN: r46219
| -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 bf43959..ae5b996 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 ac4e302..8e45f3c 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 f6fffea..645743b 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 |