OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, -gnatet and -gnateV. 

2013-01-02  Vincent Celier  <celier@adacore.com>

	* gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
	-gnateO=, -gnatet and -gnateV.
	* ug_words: Add qualifiers equivalent to -gnateA, -gnated,
	-gnatet and -gnateV.
	* usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
	* vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
	(-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
	/PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
	(-gnatet).

From-SVN: r194789
This commit is contained in:
Vincent Celier 2013-01-02 10:12:16 +00:00 committed by Arnaud Charlet
parent 347c766a00
commit 33decf816e
5 changed files with 91 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/ada/ChangeLog
View File

@ -1,3 +1,15 @@
2013-01-02 Vincent Celier <celier@adacore.com>
* gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
-gnateO=, -gnatet and -gnateV.
* ug_words: Add qualifiers equivalent to -gnateA, -gnated,
-gnatet and -gnateV.
* usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
* vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
(-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
/PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
(-gnatet).
2013-01-02 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.

20
gcc/ada/gnat_ugn.texi
View File

@ -4178,6 +4178,10 @@ Create expanded source files for source level debugging. This switch
also suppress generation of cross-reference information
(see @option{-gnatx}).
@item ^-gnateA^/ALIASING_CHECK^
@cindex @option{-gnateA} (@command{gcc})
Check that there is no aliasing between two parameters of the same subprogram.
@item -gnatec=@var{path}
@cindex @option{-gnatec} (@command{gcc})
Specify a configuration pragma file
@ -4186,6 +4190,10 @@ Specify a configuration pragma file
@end ifclear
(@pxref{The Configuration Pragmas Files}).
@item ^-gnated^/DISABLE_ATOMIC_SYNCHRONIZATION^
@cindex @option{-gnated} (@command{gcc})
Disable atomic synchronization
@item ^-gnateD^/DATA_PREPROCESSING=^symbol@r{[}=@var{value}@r{]}
@cindex @option{-gnateD} (@command{gcc})
Defines a symbol, associated with @var{value}, for preprocessing.
@ -4228,6 +4236,10 @@ Specify a mapping file
@end ifclear
(@pxref{Units to Sources Mapping Files}).
@item -gnateO=@var{path}
@cindex @option{-gnateO} (@command{gcc})
Specify a path for the object files.
@item -gnatep=@var{file}
@cindex @option{-gnatep} (@command{gcc})
Specify a preprocessing data file
@ -4249,6 +4261,14 @@ temporary use of special test software.
@cindex @option{-gnateS} (@command{gcc})
Synonym of @option{-fdump-scos}, kept for backards compatibility.
@item ^-gnatet^/TARGET_DEPENDENT_INFO^
@cindex @option{-gnatet} (@command{gcc})
Generate target dependent information.
@item ^-gnateV^/PARAMETER_VALIDITY_CHECK^
@cindex @option{-gnateV} (@command{gcc})
Check validity of subprogram parameters.
@item -gnatE
@cindex @option{-gnatE} (@command{gcc})
Full dynamic elaboration checks.

6
gcc/ada/ug_words
View File

@ -58,9 +58,11 @@ gcc -c ^ GNAT COMPILE
-gnatC ^ /COMPRESS_NAMES
-gnatDG ^ /XDEBUG /EXPAND_SOURCEA
-gnatD ^ /XDEBUG
-gnateA ^ /ALIASING_CHECK
-gnatec ^ /CONFIGURATION_PRAGMAS_FILE
-gnateE ^ /EXTRA_EXCEPTION_INFORMATION
-gnated ^ /DISABLE_ATOMIC_SYNCHRONIZATION
-gnateD ^ /SYMBOL_PREPROCESSING
-gnateE ^ /EXTRA_EXCEPTION_INFORMATION
-gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
-gnateG ^ /GENERATE_PROCESSED_SOURCE
-gnatei ^ /MAX_INSTANTIATIONS=
@ -69,6 +71,8 @@ gcc -c ^ GNAT COMPILE
-gnatep ^ /DATA_PREPROCESSING
-gnateP ^ /CATEGORIZATION_WARNINGS
-gnateS ^ /SCO_OUTPUT
-gnatet ^ /TARGET_DEPENDENT_INFO
-gnateV ^ /PARAMETER_VALIDITY_CHECK
-gnatE ^ /CHECKS=ELABORATION
-gnatf ^ /REPORT_ERRORS=FULL
-gnatF ^ /UPPERCASE_EXTERNALS

13
gcc/ada/usage.adb
View File

@ -167,6 +167,11 @@ begin
Write_Switch_Char ("Dnn");
Write_Line ("Debug expanded generated code (max line length = nn)");
-- Line for -gnatea switch
Write_Switch_Char ("ea");
Write_Line ("Delimiter for automatically added switches (internal switch");
-- Line for -gnateA switch
Write_Switch_Char ("eA");
@ -217,6 +222,11 @@ begin
Write_Switch_Char ("em=?");
Write_Line ("Specify mapping file, e.g. -gnatem=mapping");
-- Line for -gnateO=?
Write_Switch_Char ("eO=?");
Write_Line ("Specify an object path file");
-- Line for -gnatep switch
Write_Switch_Char ("ep=?");
@ -242,6 +252,9 @@ begin
Write_Switch_Char ("eV");
Write_Line ("Validity checks on subprogram parameters");
Write_Switch_Char ("ez");
Write_Line ("Delimiter for automatically added switches (internal switch");
-- Line for -gnatE switch
Write_Switch_Char ("E");

43
gcc/ada/vms_data.ads
View File

@ -1274,6 +1274,13 @@ 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*";
-- /ADD_PROJECT_SEARCH_PATH=(directory[,...])
@ -1395,11 +1402,17 @@ package VMS_Data is
-- source.
S_GCC_ChecksX : aliased constant S := "/NOCHECKS " &
"-gnatp,!-gnato,!-gnatE";
"-gnatp,!-gnato,!-gnatE ";
-- 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).
S_GCC_Compres : aliased constant S := "/COMPRESS_NAMES " &
"-gnatC";
"-gnatC ";
-- /NOCOMPRESS_NAMES (D)
-- /COMPRESS_NAMES
--
@ -1534,6 +1547,13 @@ package VMS_Data is
"!-g";
-- NODOC (see /Debug)
S_GCC_Dis_Atomic : aliased constant S :=
"/DISABLE_ATOMIC_SYNCHRONIZATION " &
"-gnated";
-- /NODISABLE_ATOMIC_SYNCHRONIZATION (D)
-- /DISABLE_ATOMIC_SYNCHRONIZATION
-- Disable synchronization of atomic variables.
S_GCC_Dist : aliased constant S := "/DISTRIBUTION_STUBS=" &
"RECEIVER " &
"-gnatzr " &
@ -2126,6 +2146,13 @@ 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";
-- /NOPARAMETER_VALIDITY_CHECK (D)
-- /PARAMETER_VALIDITY_CHECK
--
-- Check validity of subprogram parameters.
S_GCC_Pointer : aliased constant S := "/POINTER_SIZE=" &
"64 " &
"-mmalloc64 " &
@ -2837,6 +2864,13 @@ package VMS_Data is
--
-- All compiler tables start at nnn times usual starting size.
S_GCC_Target : aliased constant S := "/TARGET_DEPENDENT_INFO " &
"-gnatet";
-- /NOTARGET_DEPENDENT_INFO (D)
-- /TARGET_DEPENDENT_INFO
--
-- Generate target dependent information.
S_GCC_Trace : aliased constant S := "/TRACE_UNITS " &
"-gnatdc";
-- /TRACE_UNITS
@ -3592,10 +3626,12 @@ 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_Asm 'Access,
S_GCC_AValid 'Access,
S_GCC_CategW 'Access,
S_GCC_Checks 'Access,
S_GCC_Chflov 'Access,
S_GCC_ChecksX 'Access,
S_GCC_Compres 'Access,
S_GCC_Config 'Access,
@ -3603,6 +3639,7 @@ package VMS_Data is
S_GCC_Debug 'Access,
S_GCC_DebugX 'Access,
S_GCC_Data 'Access,
S_GCC_Dis_Atomic'Access,
S_GCC_Dist 'Access,
S_GCC_DistX 'Access,
S_GCC_Error 'Access,
@ -3645,6 +3682,7 @@ package VMS_Data is
S_GCC_Opt 'Access,
S_GCC_OptX 'Access,
S_GCC_Overflo 'Access,
S_GCC_Param_Valid'Access,
S_GCC_Pointer 'Access,
S_GCC_Polling 'Access,
S_GCC_Project 'Access,
@ -3663,6 +3701,7 @@ package VMS_Data is
S_GCC_Symbol 'Access,
S_GCC_Syntax 'Access,
S_GCC_Table 'Access,
S_GCC_Target 'Access,
S_GCC_Trace 'Access,
S_GCC_Tree 'Access,
S_GCC_Trys 'Access,