23.6.40 Overly_Nested_Control_Structures

Flag each control structure whose nesting level exceeds the value provided in the rule parameter.

The control structures checked are the following:

• if statement
• case statement
• loop statement
• Selective accept statement
• Timed entry call statement
• Conditional entry call
• Asynchronous select statement

The rule may have the following parameter for the +R option:

N

Positive integer specifying the maximal control structure nesting level that is not flagged

If the parameter for the +R option is not a positive integer, the parameter is ignored and the rule is turned ON with the most recently specified maximal non-flagged nesting level.

If more then one option is specified for the gnatcheck call, the later option and new parameter override the previous one(s).

A +R option with no parameter turns the rule ON using the maximal non-flagged nesting level specified by the most recent +R option with a parameter, or the value 4 if there is no such previous +R option.