23.7.7 Complex_Inlined_Subprograms

Flags a subprogram (or generic subprogram) if pragma Inline is applied to the subprogram and at least one of the following conditions is met:

• it contains at least one complex declaration such as a subprogram body, package, task, protected declaration, or a generic instantiation (except instantiation of Ada.Unchecked_Conversion);
• it contains at least one complex statement such as a loop, a case or a if statement, or a short circuit control form;
• the number of statements exceeds a value specified by the N rule parameter;

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

N

Positive integer specifying the maximum allowed total number of statements in the subprogram body.