The LEAVE statement stops the current iteration of the containing WHILE, REPEAT, LOOP, or BEGIN statement identified by Label.
The containing statement's evaluation of its loop condition (if any) is bypassed and looping stops.
DECLARE i INTEGER; SET i = 1; X : REPEAT ... IF i>= 4 THEN LEAVE X; END IF; SET i = i + 1; UNTIL FALSE END REPEAT;
DECLARE i INTEGER; SET i = 0; X : REPEAT -- Outer loop ... DECLARE j INTEGER; SET j = 0; REPEAT -- Inner loop ... IF i>= 2 AND j = 1 THEN LEAVE X; -- Outer loop left from within inner loop END IF; ... SET j = j + 1; UNTIL j>= 3 END REPEAT; SET i = i + 1; UNTIL i>= 3 END REPEAT X; -- Execution resumes here after the leave