Grzegorz Jaskiewicz <gj@pointblue.com.pl> writes:
> for the record, here's patch that marks elog, etc as dead ends:
That does not look like the right thing at all, since now the checker
will believe that elog(NOTICE) and such don't return. I think you
need to use Martijn's suggestion instead.
regards, tom lane