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 /gcc/ada/usage.adb | |
| 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
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 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 |