From: Robert Dewar Date: Wed, 2 Jan 2013 10:14:19 +0000 (+0000) Subject: vms_data.ads: Add entry for Float_Check_Valid (-gnateF). X-Git-Tag: releases/gcc-4.8.0~1198 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2dbdd821d6a7d75afdc640b6fd7207545b520430;p=thirdparty%2Fgcc.git vms_data.ads: Add entry for Float_Check_Valid (-gnateF). 2013-01-02 Robert Dewar * vms_data.ads: Add entry for Float_Check_Valid (-gnateF). * ug_words: Add entry for Float_Check_Overflow. * usage.adb: Minor reformatting. * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow). From-SVN: r194790 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4f869429909e..0b7932b5c692 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2013-01-02 Robert Dewar + + * vms_data.ads: Add entry for Float_Check_Valid (-gnateF). + * ug_words: Add entry for Float_Check_Overflow. + * usage.adb: Minor reformatting. + * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow). + 2013-01-02 Vincent Celier * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 6006eeac2fae..8b983257be3c 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -4212,6 +4212,12 @@ produced at run time. @cindex @option{-gnatef} (@command{gcc}) Display full source path name in brief error messages. +@item -gnateF +@cindex @option{-gnateF} (@command{gcc}) +Check for overflow on all floating-point operations, including those +for unconstrained predefined types. See description of pragma +@code{Check_Float_Overflow} in GNAT RM. + @item -gnateG @cindex @option{-gnateG} (@command{gcc}) Save result of preprocessing in a text file. diff --git a/gcc/ada/ug_words b/gcc/ada/ug_words index 302525fd0cb5..10f03f5c6f30 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -64,6 +64,7 @@ gcc -c ^ GNAT COMPILE -gnateD ^ /SYMBOL_PREPROCESSING -gnateE ^ /EXTRA_EXCEPTION_INFORMATION -gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES +-gnateF ^ /FLOAT_OVERFLOW_CHECK -gnateG ^ /GENERATE_PROCESSED_SOURCE -gnatei ^ /MAX_INSTANTIATIONS= -gnateI ^ /MULTI_UNIT_INDEX= diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 9c0486599bca..3e55e647011d 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -252,6 +252,8 @@ begin Write_Switch_Char ("eV"); Write_Line ("Validity checks on subprogram parameters"); + -- Line for -gnatez switch + Write_Switch_Char ("ez"); Write_Line ("Delimiter for automatically added switches (internal switch"); diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 212f47c9b295..cf5817738520 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -1274,19 +1274,19 @@ package VMS_Data is -- extensions. See features file for list of implemented features. -- Equivalent to /12 (/2012 is the preferred usage). - S_GCC_Aliasing_Check : aliased constant S := "/ALIASING_CHECK " & - "-gnateA"; - -- /NOALIASING_CHECK (D) - -- /ALIASING_CHECK - -- - -- Check that there are no aliased parameters in subprogram calls. - S_GCC_Add : aliased constant S := "/ADD_PROJECT_SEARCH_DIR=*" & - "-aP*"; + "-aP*"; -- /ADD_PROJECT_SEARCH_PATH=(directory[,...]) -- -- Add directories to the project search path. + S_GCC_AlCheck : aliased constant S := "/ALIASING_CHECK " & + "-gnateA"; + -- /NOALIASING_CHECK (D) + -- /ALIASING_CHECK + -- + -- Check that there are no aliased parameters in subprogram calls. + S_GCC_Asm : aliased constant S := "/ASM " & "-S,!-c"; -- /NOASM (D) @@ -1406,10 +1406,12 @@ package VMS_Data is -- NODOC (see /CHECKS) S_GCC_Chflov : aliased constant S := "/FLOAT_OVERFLOW_CHECK " & - "-gnateF "; - - -- Set mode to check overflow for all floating-point operations including - -- those using an unconstrained predefined type (i.e. no infinities). + "-gnateF "; + -- /NOFLOAT_OVERFLOW_CHECK (D) + -- /FLOAT_OVERFLOW_CHECK + -- + -- Set mode to check overflow for all floating-point operations including + -- those using an unconstrained predefined type (i.e. no infinities). S_GCC_Compres : aliased constant S := "/COMPRESS_NAMES " & "-gnatC "; @@ -1427,7 +1429,8 @@ package VMS_Data is "-gnatec>"; -- /CONFIGURATION_PRAGMAS_FILE=file -- - -- Specify a configuration pragmas file that need to be taken into account + -- Specify a configuration pragmas file that need to be taken into + -- account. S_GCC_Current : aliased constant S := "/CURRENT_DIRECTORY " & "!-I-"; @@ -1547,8 +1550,7 @@ package VMS_Data is "!-g"; -- NODOC (see /Debug) - S_GCC_Dis_Atomic : aliased constant S := - "/DISABLE_ATOMIC_SYNCHRONIZATION " & + S_GCC_DisAtom : aliased constant S := "/DISABLE_ATOMIC_SYNCHRONIZATION " & "-gnated"; -- /NODISABLE_ATOMIC_SYNCHRONIZATION (D) -- /DISABLE_ATOMIC_SYNCHRONIZATION @@ -2146,8 +2148,8 @@ package VMS_Data is -- assertion, and the second digit sets the mode for expressions within -- an assertion. - S_GCC_Param_Valid : aliased constant S := "/PARAMETER_VALIDITY_CHECK " & - "-gnateV"; + S_GCC_PValid : aliased constant S := "/PARAMETER_VALIDITY_CHECK " & + "-gnateV"; -- /NOPARAMETER_VALIDITY_CHECK (D) -- /PARAMETER_VALIDITY_CHECK -- @@ -3626,7 +3628,7 @@ package VMS_Data is S_GCC_Ada_12 'Access, S_GCC_Ada_2012'Access, S_GCC_Add 'Access, - S_GCC_Aliasing_Check'Access, + S_GCC_AlCheck 'Access, S_GCC_Asm 'Access, S_GCC_AValid 'Access, S_GCC_CategW 'Access, @@ -3639,7 +3641,7 @@ package VMS_Data is S_GCC_Debug 'Access, S_GCC_DebugX 'Access, S_GCC_Data 'Access, - S_GCC_Dis_Atomic'Access, + S_GCC_DisAtom 'Access, S_GCC_Dist 'Access, S_GCC_DistX 'Access, S_GCC_Error 'Access, @@ -3682,7 +3684,7 @@ package VMS_Data is S_GCC_Opt 'Access, S_GCC_OptX 'Access, S_GCC_Overflo 'Access, - S_GCC_Param_Valid'Access, + S_GCC_PValid 'Access, S_GCC_Pointer 'Access, S_GCC_Polling 'Access, S_GCC_Project 'Access, @@ -6136,6 +6138,7 @@ package VMS_Data is -- By default, the form of the line terminator depends on the platforms. -- On Unix and VMS, it is a Line Feed (LF) character. On Windows (DOS), -- It is a Carriage Return (CR) followed by a Line Feed. + -- The Options DOS and CRLF are equivalent. The options UNIX and LF are -- also equivalent.