On Wed, Jun 30, 2021 at 07:00:31PM -0400, Tom Lane wrote:
> If this code were new in v14, I'd be +1, but it looks like it was
> there in 13 too. So maybe there's somebody external depending on
> it, which would make it a bit unfriendly to remove it post-beta.
> Let's just add the #ifndef in HEAD.
Right, I needed more caffeine at this point in time. I have cleaned
up that on HEAD, adding an assert at the end of report_parse_error()
as you suggested.
--
Michael