diff options
author | Vincent Celier <celier@adacore.com> | 2013-01-02 10:12:16 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:12:16 +0100 |
commit | 33decf816ebea16a53b4e5b7665bbeb6bbc26a44 (patch) | |
tree | c0006e713a9fb19970ae4e668f94ef4bb4303280 | |
parent | 347c766a006ceda2e65ff5edb17c5a9fc7bfab6e (diff) | |
download | gcc-33decf816ebea16a53b4e5b7665bbeb6bbc26a44.zip gcc-33decf816ebea16a53b4e5b7665bbeb6bbc26a44.tar.gz gcc-33decf816ebea16a53b4e5b7665bbeb6bbc26a44.tar.bz2 |
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
-rw-r--r-- | gcc/ada/ChangeLog | 12 | ||||
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 20 | ||||
-rw-r--r-- | gcc/ada/ug_words | 6 | ||||
-rw-r--r-- | gcc/ada/usage.adb | 13 | ||||
-rw-r--r-- | gcc/ada/vms_data.ads | 43 |
5 files changed, 91 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3a3de0d..4f86942 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -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. diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 176c01d..6006eea 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -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. diff --git a/gcc/ada/ug_words b/gcc/ada/ug_words index b1b45c4..302525f 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -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 diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 6b6605d..9c04865 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -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"); diff --git a/gcc/ada/vms_data.ads b/gcc/ada/vms_data.ads index 69fe509..212f47c 100644 --- a/gcc/ada/vms_data.ads +++ b/gcc/ada/vms_data.ads @@ -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, |