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/ada/usage.adb | |
| parent | 1beb4fb80cae66742c8d24a6e7eb628a984e91e9 (diff) | |
| download | ppe42-gcc-c2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6.tar.gz ppe42-gcc-c2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6.zip | |
* 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/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 22 |
1 files changed, 19 insertions, 3 deletions
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 |
