Next: , Previous: Too_Many_Parents, Up: Predefined Rules


23.7.62 Unassigned_OUT_Parameters

Flags procedures' out parameters that are not assigned, and identifies the contexts in which the assignments are missing.

An out parameter is flagged in the statements in the procedure body's handled sequence of statements (before the procedure body's exception part, if any) if this sequence of statements contains no assignments to the parameter.

An out parameter is flagged in an exception handler in the exception part of the procedure body's handled sequence of statements if the handler contains no assignment to the parameter.

Bodies of generic procedures are also considered.

The following are treated as assignments to an out parameter:

This rule does not have any parameters.