[MySQL] Generated invalid PLPGSQL using LOOP label syntax

[ssherwood]

Running Voyager to migrate a set of stored procedures from MySQL (MariaDB 10.5) and identified a syntax issue using loop labels:

Original:

...
push_foo:LOOP
  If (int_id > intCount) then
     Set var_Comma = "";
     LEAVE push_foo;
  END IF;
  ...
END LOOP push_foo;
...

Result:

...
push_foo:LOOP
  If (int_id > intCount) then
    var_Comma := '';
    EXIT push_foo;
  END IF;
  ...
END LOOP push_foo;
...

The actual syntax in Postgres should have been something more like:

<<push_foo>>
LOOP
  If (int_id > intCount) then
    var_Comma := '';
    EXIT push_foo;
  END IF;
  ...
END LOOP push_foo;