mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-30 10:54:50 +08:00
Code Issues Packages Projects Releases Wiki Activity

usage.adb: Add lines for V switch.

Browse Source 
* usage.adb: Add lines for V switch.

	* gnatcmd.adb (COMPILE): Revise translations for -gnatV
	(/VALIDITY_CHECKING).

From-SVN: r46219
This commit is contained in:
Robert Dewar 2001-10-12 00:46:56 +00:00 committed by Geert Bosch
parent bcb913fb97
commit 9a5621d73c
3 changed files with 65 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/ChangeLog
View File

@ -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

44
gcc/ada/gnatcmd.adb
View File

@ -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";

22
gcc/ada/usage.adb
View File

@ -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