Horton

Fix EXIT out of outermost block in plpgsql.

Tom Lane <tgl@sss.pgh.pa.us>

View on postgr.es
Commit: 745abdd951ab31f3276adbbbf67bbc3b7dac0923
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2021-09-13T16:42:03Z
Releases: 13.5 
Fix EXIT out of outermost block in plpgsql.

Ordinarily, using EXIT this way would draw "control reached end of
function without RETURN".  However, if the function is one where we
don't require an explicit RETURN (such as a DO block), that should
not happen.  It did anyway, because add_dummy_return() neglected to
account for the case.

Per report from Herwig Goemans.  Back-patch to all supported branches.

Discussion: https://postgr.es/m/868ae948-e3ca-c7ec-95a6-83cfc08ef750@gmail.com

Files

PathChange+/−
src/pl/plpgsql/src/expected/plpgsql_control.out modified +11 −0
src/pl/plpgsql/src/pl_comp.c modified +4 −2
src/pl/plpgsql/src/sql/plpgsql_control.sql modified +12 −0

Discussion