Some ramifications of the EXIT statement in loop control

Abstract

EXIT statements support a style of programming that distinguishes between the control operations and the actions in a loop. Readability suggests that multiple EXIT statements are preferable to a single EXIT statement in a loop with multiple invariants. This is particularly true if implementational considerations have confused the neatness of the loop termination condition.