23.6.41 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 has 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 specified or if it is not a positive integer, +R option is ignored.

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