Teach nulltestsel() that system columns are never NULL.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 25 Jan 2019 16:44:26 +0000 (11:44 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 25 Jan 2019 16:44:26 +0000 (11:44 -0500)
commitff750ce2d82979e9588c629955e161a9379b05f3
tree006efc81e0cc0fb590cbd2d95e69f5800c5fe2bc
parent6119060d01ab2dfb9e2c1c101595f2de7890965d
Teach nulltestsel() that system columns are never NULL.

While it's perhaps unlikely that users would write an explicit test
like "ctid IS NULL", this function is also used in range estimation,
and an incorrect answer can throw off the results for tight ranges.
Anyway it's not much code so we might as well do it.

Edmund Horner

Discussion: https://postgr.es/m/CAMyN-kCa3BFUFrCTtQeprxTU1anCd3Pua7zXstGCKq4pXgjukw@mail.gmail.com
src/backend/utils/adt/selfuncs.c