Fix handling of bare boolean expressions in mcv_get_match_bitmap.
authorTom Lane <[email protected]>
Fri, 5 Aug 2022 19:00:03 +0000 (15:00 -0400)
committerTom Lane <[email protected]>
Fri, 5 Aug 2022 19:00:03 +0000 (15:00 -0400)
commite33ae53ddec80c15d297a31713212c05ea7341db
tree2a2d6559b032f5a1d37fbf14ed3138be7d8895e3
parent94da73281ed93c86d2f286996bcd61d8bfac4ffd
Fix handling of bare boolean expressions in mcv_get_match_bitmap.

Since v14, the extended stats machinery will try to estimate for
otherwise-unsupported boolean expressions if they match an expression
available from an extended stats object.  mcv.c did not get the memo
about this, and would spit up with "unknown clause type".  Fortunately
the case is easy to handle, since we can expect the expression yields
boolean.

While here, replace some not-terribly-on-point assertions with
simpler runtime tests for lookup failure.  That seems appropriate
so that we get an elog not a crash if we somehow get to the new
it-should-be-a-bool-expression code with a subexpression that
doesn't match any stats column.

Per report from Danny Shemesh.  Thanks to Justin Pryzby for
preliminary investigation.

Discussion: https://postgr.es/m/CAFZC=QqD6=27wQPOW1pbRa98KPyuyn+7cL_Ay_Ck-roZV84vHg@mail.gmail.com
src/backend/statistics/mcv.c
src/test/regress/expected/stats_ext.out
src/test/regress/sql/stats_ext.sql