John Naylor <johncnaylorls@gmail.com> writes:
> Hmm, before 30e144287 this code only ran in a test module, is it
> possible Coverity would not find it there?
That could indeed explain why Coverity didn't see it. I'm not
sure how our community run is set up, but it may not build the
test modules.
regards, tom lane
