The gnatcheck tool can include in the generated diagnostic messages and in the report file the results of the checks performed by the compiler. Though disabled by default, this effect may be obtained by using +R with the following rule identifiers and parameters:
Restriction_Warningsare given), use the rule named
Restrictionswith the same parameters as pragma
Style_Checks. A parameter of this rule can be either
All_Checks, which enables all the standard style checks that corresponds to -gnatyy GNAT style check option, or a string that has exactly the same structure and semantics as the
string_LITERALparameter of GNAT pragma
Style_Checks(for further information about this pragma, see Pragma Style_Checks).
Warningswith a parameter that is a valid static_string_expression argument of GNAT pragma
Warnings(for further information about this pragma, see Pragma Warnings). Note, that in case of gnatcheck 's' parameter, that corresponds to the GNAT -gnatws option, disables all the specific warnings, but not suppresses the warning mode, and 'e' parameter, corresponding to -gnatwe that means "treat warnings as errors", does not have any effect.
To disable a specific restriction check, use
option with the corresponding restriction name as a parameter.
not available for
Warnings options, to disable
warnings and style checks, use the corresponding warning and style options.