GNATcheck Reference ManualΒΆ
GNAT, The GNU Ada Development Environment
The GNAT Ada Compiler
Version 2019
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.
Abort_Statements
- 9.2.2.
Abstract_Type_Declarations
- 9.2.3.
Anonymous_Subtypes
- 9.2.4.
Blocks
- 9.2.5.
Complex_Inlined_Subprograms
- 9.2.6.
Conditional_Expressions
- 9.2.7.
Controlled_Type_Declarations
- 9.2.8.
Declarations_In_Blocks
- 9.2.9.
Deeply_Nested_Inlining
- 9.2.10.
Default_Parameters
- 9.2.11.
Discriminated_Records
- 9.2.12.
Explicit_Full_Discrete_Ranges
- 9.2.13.
Expression_Functions
- 9.2.14.
Fixed_Equality_Checks
- 9.2.15.
Float_Equality_Checks
- 9.2.16.
Function_Style_Procedures
- 9.2.17.
Generics_In_Subprograms
- 9.2.18.
Implicit_IN_Mode_Parameters
- 9.2.19.
Improperly_Located_Instantiations
- 9.2.20.
Library_Level_Subprograms
- 9.2.21.
Membership_Tests
- 9.2.22.
Non_Qualified_Aggregates
- 9.2.23.
Number_Declarations
- 9.2.24.
Numeric_Indexing
- 9.2.25.
Numeric_Literals
- 9.2.26.
Parameters_Out_Of_Order
- 9.2.27.
Predicate_Testing
- 9.2.28.
Relative_Delay_Statements
- 9.2.29.
Representation_Specifications
- 9.2.30.
Quantified_Expressions
- 9.2.31.
Raising_Predefined_Exceptions
- 9.2.32.
Subprogram_Access
- 9.2.33.
Too_Many_Dependencies
- 9.2.34.
Unassigned_OUT_Parameters
- 9.2.35.
Unconstrained_Array_Returns
- 9.2.36.
Unconstrained_Arrays
- 9.2.1.
- 9.3. Metrics-Related Rules
- 9.4. SPARK Ada Rules
- 10. Example of gnatcheck Usage
- 11. List of Rules