diff options
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 176c01db3b7..d96a724df6d 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. @@ -4204,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. @@ -4249,6 +4263,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. |