Serpent <serpent7776(at)gmail(dot)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