diff options
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 40 |
1 files changed, 24 insertions, 16 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index d777f6dd099..19304a75f40 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -5268,6 +5268,19 @@ This warning can also be turned on using @option{-gnatwa}. This switch disables warnings for a @code{with} of an internal GNAT implementation unit. +@item -gnatw.i +@emph{Activate warnings on overlapping actuals.} +@cindex @option{-gnatw.i} (@command{gcc}) +This switch enables a warning on statically detectable overlapping actuals in +a subprogram call, when one of the actuals is an in-out parameter, and the +types of the actuals are not by-copy types. The warning is off by default, +and is not included under -gnatwa. + +@item -gnatw.I +@emph{Disable warnings on overlapping actuals.} +@cindex @option{-gnatw.I} (@command{gcc}) +This switch disables warnings on overlapping actuals in a call.. + @item -gnatwj @emph{Activate warnings on obsolescent features (Annex J).} @cindex @option{-gnatwj} (@command{gcc}) @@ -6434,6 +6447,10 @@ If the token preceding a left parenthesis ends with a letter or digit, then a space must separate the two tokens. @item +if the token following a right parenthesis starts with a letter or digit, then +a space must separate the two tokens. + +@item A right parenthesis must either be the first non-blank character on a line, or it must be preceded by a non-blank character. @@ -6524,8 +6541,6 @@ the exception of ORDERED_SUBPROGRAMS, UNNECESSARY_BLANK_LINES, XTRA_PARENS, and DOS_LINE_ENDINGS. In addition @end ifset - - The switch @ifclear vms @option{-gnatyN} @@ -20659,7 +20674,7 @@ Invoking @command{gnatcheck} on the command line has the form: @smallexample $ gnatcheck @ovar{switches} @{@var{filename}@} @r{[}^-files^/FILES^=@{@var{arg_list_filename}@}@r{]} - @r{[}-cargs @var{gcc_switches}@r{]} @r{[}-rules @var{rule_options}@r{]} + @r{[}-cargs @var{gcc_switches}@r{]} -rules @var{rule_options} @end smallexample @noindent @@ -20785,18 +20800,9 @@ Quiet mode. All the diagnostics about rule violations are placed in the Short format of the report file (no version information, no list of applied rules, no list of checked sources is included) -@cindex @option{^-s1^/COMPILER_STYLE^} (@command{gnatcheck}) -@item ^-s1^/COMPILER_STYLE^ -Include the compiler-style section in the report file - -@cindex @option{^-s2^/BY_RULES^} (@command{gnatcheck}) -@item ^-s2^/BY_RULES^ -Include the section containing diagnostics ordered by rules in the report file - -@cindex @option{^-s3^/BY_FILES_BY_RULES^} (@command{gnatcheck}) -@item ^-s3^/BY_FILES_BY_RULES^ -Include the section containing diagnostics ordered by files and then by rules -in the report file +@cindex @option{^--include-file=@var{file}^/INCLUDE_FILE=@var{file}^} (@command{gnatcheck}) +@item ^--include-file^/INCLUDE_FILE^ +Append the content of the specified text file to the report file @cindex @option{^-t^/TIME^} (@command{gnatcheck}) @item ^-t^/TIME^ @@ -21226,7 +21232,9 @@ This rule has no parameters. @cindex @code{Anonymous_Subtypes} rule (for @command{gnatcheck}) @noindent -Flag all uses of anonymous subtypes. A use of an anonymous subtype is +Flag all uses of anonymous subtypes (except cases when subtype indication +is a part of a record component definition, and this subtype indication +depends on a discriminant). A use of an anonymous subtype is any instance of a subtype indication with a constraint, other than one that occurs immediately within a subtype declaration. Any use of a range other than as a constraint used immediately within a subtype declaration |