GNATcheck Reference Manual: Adding the Results of Compiler Checks to gnatcheck Output

[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 5. Adding the Results of Compiler Checks to `gnatcheck` Output

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:

``Restrictions'`
  To record restrictions violations (which are performed by the compiler if the pragma `Restrictions` or `Restriction_Warnings` are given), use the `Restrictions` rule with the same parameters as pragma `Restrictions` or `Restriction_Warnings`.

``Style_Checks'`
  To record compiler style checks (see Style Checking section in GNAT Pro User's Guide), use the `Style_Checks` rule. This rule takes a parameter in one of the following forms:
  - `All_Checks`, which enables the standard style checks corresponding to the ``-gnatyy'` GNAT style check option, or

  - a string with the same structure and semantics as the `string_LITERAL` parameter of the GNAT pragma `Style_Checks` (for further information about this pragma, see section `Pragma Style_Checks' in GNAT Reference Manual).

  For example, the `+RStyle_Checks:O` rule option activates the compiler style check that corresponds to `-gnatyO` style check option.

``Warnings'`
  To record compiler warnings (see Warning Message Control section in GNAT Pro User's Guide), use the `Warnings` rule with a parameter that is a valid static_string_expression argument of the GNAT pragma `Warnings` (for further information about this pragma, see section `Pragma Warnings' in GNAT Reference Manual). 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 `-RRestrictions` gnatcheck option with the corresponding restriction name as a parameter. `-R` is not available for `Style_Checks` and `Warnings` options, to disable warnings and style checks, use the corresponding warning and style options.

Note that if `Warnings` or `Warnings` rule is activated, this also activates a default compiler warnings that do not correspond to any specific parameter of warning control option, and the corresponding diagnoses are included in the `gnatcheck` report file. You may disable these diagnoses by using rule exemption mechanism (to do this, you should create the corresponding exemption sections for `Warnings` rule).

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by GNAT Mailserver on November, 5 2011 using texi2html