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