John Naylor <johncnaylo...@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