Skip to content

R
riscv-gcc-1
Commit 2dbdd821 by Robert Dewar Committed by Arnaud Charlet
Options

vms_data.ads: Add entry for Float_Check_Valid (-gnateF). 

2013-01-02  Robert Dewar  <dewar@adacore.com>

	* 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
parent 33decf81
Showing with 39 additions and 20 deletions
gcc/ada/ChangeLog
2013-01-02 Robert Dewar <dewar@adacore.com>
* 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 <celier@adacore.com>
* gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
......
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.
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=
......
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");
......
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.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment