23.7.11 Deeply_Nested_Inlining

Flags a subprogram (or generic subprogram) if pragma Inline has been applied to the subprogram but the subprogram calls to another inlined subprogram that results in nested inlining with nesting depth exceeding the value specified by the N rule parameter.

This rule requires the global analysis of all the compilation units that are gnatcheck arguments; such analysis may affect the tool's performance.

This rule has the following (mandatory) parameter for the +R option:

N

Positive integer specifying the maximal allowed level of nested inlining.