GNATcheck Reference ManualΒΆ
GNAT, The GNU Ada Development Environment
The GNAT Ada Compiler
Version 2018
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being ‘GNU Free Documentation License’, with the Front-Cover Texts being ‘GNATcheck Reference Manual’, and with no Back-Cover Texts. A copy of the license is included in the section entitled ‘GNU Free Documentation License’.
- 1. About This Manual
- 2. Introduction
- 3. Format of the Report File
- 4. General gnatcheck Switches
- 5. gnatcheck Rule Options
- 6. Adding the Results of Compiler Checks to gnatcheck Output
- 7. Mapping gnatcheck Rules Onto Coding Standards
- 8. Rule exemption
- 9. Predefined Rules
- 9.1. Style-Related Rules
- 9.2. Feature Usage Rules
- 9.2.1.
Abstract_Type_Declarations - 9.2.2.
Anonymous_Subtypes - 9.2.3.
Blocks - 9.2.4.
Complex_Inlined_Subprograms - 9.2.5.
Conditional_Expressions - 9.2.6.
Controlled_Type_Declarations - 9.2.7.
Declarations_In_Blocks - 9.2.8.
Deeply_Nested_Inlining - 9.2.9.
Default_Parameters - 9.2.10.
Discriminated_Records - 9.2.11.
Explicit_Full_Discrete_Ranges - 9.2.12.
Expression_Functions - 9.2.13.
Fixed_Equality_Checks - 9.2.14.
Float_Equality_Checks - 9.2.15.
Function_Style_Procedures - 9.2.16.
Generics_In_Subprograms - 9.2.17.
Implicit_IN_Mode_Parameters - 9.2.18.
Improperly_Located_Instantiations - 9.2.19.
Library_Level_Subprograms - 9.2.20.
Membership_Tests - 9.2.21.
Non_Qualified_Aggregates - 9.2.22.
Numeric_Indexing - 9.2.23.
Numeric_Literals - 9.2.24.
Parameters_Out_Of_Order - 9.2.25.
Predicate_Testing - 9.2.26.
Representation_Specifications - 9.2.27.
Quantified_Expressions - 9.2.28.
Raising_Predefined_Exceptions - 9.2.29.
Subprogram_Access - 9.2.30.
Too_Many_Dependencies - 9.2.31.
Unassigned_OUT_Parameters - 9.2.32.
Unconstrained_Array_Returns
- 9.2.1.
- 9.3. Metrics-Related Rules
- 9.4. SPARK Ada Rules
- 10. Example of gnatcheck Usage
- 11. List of Rules