Fix edge-case crashes and misestimation in range containment selectivity.
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 12 Jan 2020 19:37:00 +0000 (14:37 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 12 Jan 2020 19:37:00 +0000 (14:37 -0500)
commit784c58da1957cecdea037428ce08953b852be85b
tree6a64c47d8a7d0ae672b88d3ecea67e6dd6035465
parent8d55879f089563cf1d62266d921c0a00d2b9fff8
Fix edge-case crashes and misestimation in range containment selectivity.

When estimating the selectivity of "range_var <@ range_constant" or
"range_var @> range_constant", if the upper (or respectively lower)
bound of the range_constant was above the last bin of the range_var's
histogram, the code would access uninitialized memory and potentially
crash (though it seems the probability of a crash is quite low).
Handle the endpoint cases explicitly to fix that.

While at it, be more paranoid about the possibility of getting NaN
or other silly results from the range type's subdiff function.
And improve some comments.

Ordinarily we'd probably add a regression test case demonstrating
the bug in unpatched code.  But it's too hard to get it to crash
reliably because of the uninitialized-memory dependence, so skip that.

Per bug #16122 from Adam Scott.  It's been broken from the beginning,
apparently, so backpatch to all supported branches.

Diagnosis by Michael Paquier, patch by Andrey Borodin and Tom Lane.

Discussion: https://postgr.es/m/16122-eb35bc248c806c15@postgresql.org
src/backend/utils/adt/rangetypes_selfuncs.c