Hi,
What about this wording:
The code that might throw ereport(ERROR) cannot contain any non local control flow other than ereport(ERROR) e.g.: return, goto, break, continue.
In other words once PG_TRY() is executed, either PG_CATCH() or PG_FINALLY() must be executed as well.
I used 'code that might throw ereport(ERROR)' for XXX since this is what's used earlier in the comment.
Serpent <serpent7776@gmail.com> writes:
> I'm talking about this part:
> PG_TRY();
> {
> ... code that might throw ereport(ERROR) ...
> }
Ah. Your phrasing needs work for clarity then. Also, "return"
is hardly the only way to break it; break, continue, or goto
leading out of the PG_TRY are other possibilities. Maybe more
like "The XXX code must exit normally (by control reaching
the end) if it does not throw ereport(ERROR)." Not quite sure
what to use for XXX.
regards, tom lane