Flag constructs leading to the possibility of propagating an exception out of the scope in which the exception is declared. Two cases are detected:
raisestatement in an exception handler of a subprogram body, task body or block statement is flagged if it (re)raises a locally declared exception. This may occur under the following circumstances:
raise;) and the enclosing handler contains a locally declared exception in its exception choices.
Renamings of local exceptions are not flagged.
This rule has no parameters.