out parameters that are not assigned, and
identifies the contexts in which the assignments are missing.
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.
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
This rule does not have any parameters.