LEAVE label

このステートメントは、特定のラベルを持つフロー制御構造構文を終了するために使用されます。 そのラベルがもっとも外側のストアドプログラムブロックのものである場合、LEAVE はプログラムを終了します。

LEAVE は、BEGIN ... END またはループ構造構文 (LOOP、REPEAT、WHILE) 内で使用できます。

例については、セクション13.6.5.5「LOOP ステートメント」を参照してください。