Do ScalarArrayOp estimation correctly when array is a stable expression.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 21 Feb 2014 22:10:46 +0000 (17:10 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 21 Feb 2014 22:10:46 +0000 (17:10 -0500)
commit77585bce03042e8fee62d8df0dde9c008a904699
treea379fbf445a39b335d999714f46d794837cf634d
parent0c5783ff301ae3e470000c918bfc2395129de4c5
Do ScalarArrayOp estimation correctly when array is a stable expression.

Most estimation functions apply estimate_expression_value to see if they
can reduce an expression to a constant; the key difference is that it
allows evaluation of stable as well as immutable functions in hopes of
ending up with a simple Const node.  scalararraysel didn't get the memo
though, and neither did gincost_opexpr/gincost_scalararrayopexpr.  Fix
that, and remove a now-unnecessary estimate_expression_value step in the
subsidiary function scalararraysel_containment.

Per complaint from Alexey Klyukin.  Back-patch to 9.3.  The problem
goes back further, but I'm hesitant to change estimation behavior in
long-stable release branches.
src/backend/utils/adt/array_selfuncs.c
src/backend/utils/adt/selfuncs.c