Serpent <serpent7776(at)gmail(dot)com> writes:
> I created a tiny patch that documents that the code block following
> PG_TRY() cannot have any return statement.
AFAIK, this is wrong. The actual requirement is already stated
in the comment:
* ... The error recovery code
* can either do PG_RE_THROW to propagate the error outwards, or do a
* (sub)transaction abort.
regards, tom lane