Fix predicate-proving logic to cope with binary-compatibility cases when
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 24 Jul 2007 17:22:13 +0000 (17:22 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 24 Jul 2007 17:22:13 +0000 (17:22 +0000)
commitb90841989fedfa046e5bc048d6701aea45eef90b
tree6b11221e46770785ab610cf55eba90e935e087d2
parentdd730d38658ca28f8c785a482062fd051c54d996
Fix predicate-proving logic to cope with binary-compatibility cases when
checking whether an IS NULL/IS NOT NULL clause is implied or refuted by
a strict function.  Per example from Dawid Kuroczko.
Backpatch to 8.2 since this is arguably a performance bug.
src/backend/optimizer/util/predtest.c