From c2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6 Mon Sep 17 00:00:00 2001 From: bosch Date: Fri, 12 Oct 2001 00:46:56 +0000 Subject: [PATCH] * 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 --- gcc/ada/ChangeLog | 7 +++++++ gcc/ada/gnatcmd.adb | 44 +++++++++++++++++++++++++++++++++++++++----- 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 + + * usage.adb: Add lines for V switch. + + * gnatcmd.adb (COMPILE): Revise translations for -gnatV + (/VALIDITY_CHECKING). + 2001-10-11 Ed Schonberg * 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 -- 2.7.4