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)
commit2dd10477cbfcf4d54725e9fd2cb3af84aa644fe5
treeab277e3ae0f77d7a7d22296646763bdd4320a664
parent24d559db92faf8695cb285364c7cf6fe5c576681
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