mirror of https://github.com/postgres/postgres
Spotted by Coverity and reported by Michael Paquier. Per discussion, we don't necessarily care about making Coverity happy in all such instances, but we can go ahead and change them where it otherwise seems to improve the code.pull/14/head
parent
31c018ecda
commit
8a8c581a8c
Loading…
Reference in new issue