14.12.3 Abrupt Completion

Abrupt completion of the contained Statement is handled in the following manner:

• If execution of the Statement completes abruptly because of a break with no label, no further action is taken and the for statement completes normally.
• If execution of the Statement completes abruptly because of a continue with no label, then the following two steps are performed in sequence:
  • First, if the ForUpdate part is present, the expressions are evaluated in sequence from left to right; their values, if any, are discarded. If the ForUpdate part is not present, no action is taken.
  • Second, another for iteration step is performed.
• If execution of the Statement completes abruptly because of a continue with label L, then there is a choice:
  • If the for statement has label L, then the following two steps are performed in sequence:
    • First, if the ForUpdate part is present, the expressions are evaluated in sequence from left to right; their values, if any, are discarded. If the ForUpdate is not present, no action is taken.
    • Second, another for iteration step is performed.
  • If the for statement does not have label L, the for statement completes abruptly because of a continue with label L.
• If execution of the Statement completes abruptly for any other reason, the for statement completes abruptly for the same reason. Note that the case of abrupt completion because of a break with a label is handled by the general rule for labeled statements (§14.6).