Next: Library_Level_Subprograms, Previous: Improperly_Located_Instantiations, Up: Predefined Rules
Improper_Returns
Flag each explicit return statement in procedures, and
multiple return statements in functions.
Diagnostic messages are generated for all return statements
in a procedure (thus each procedure must be written so that it
returns implicitly at the end of its statement part),
and for all return statements in a function after the first one.
This rule supports the stylistic convention that each subprogram
should have no more than one point of normal return.
This rule has no parameters.