mysql中leave语句的用法

delimiter $

CREATE PROCEDURE pro_test11(n int)

BEGIN

  declare total int default 0;

  ins: LOOP

    IF n <= 0 then

      leave ins;

    END IF;

    set total = total + n;

    set n = n - 1;

  END LOOP ins;

  select total;

END$

delimiter ;