Keep the planner from failing on "WHERE false AND something IN (SELECT ...)".
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 4 Oct 2007 20:45:02 +0000 (20:45 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 4 Oct 2007 20:45:02 +0000 (20:45 +0000)
commitfb3fcbba2ed9150c0c0a8e08e52c77754a018efd
tree6916f5e40279c6f93171297a0076679686035900
parent74f0e23952c62a68c574efa0ec70cbc1873e312a
Keep the planner from failing on "WHERE false AND something IN (SELECT ...)".
eval_const_expressions simplifies this to just "WHERE false", but we have
already done pull_up_IN_clauses so the IN join will be done, or at least
planned, anyway.  The trouble case comes when the sub-SELECT is itself a join
and we decide to implement the IN by unique-ifying the sub-SELECT outputs:
with no remaining reference to the output Vars in WHERE, we won't have
propagated the Vars up to the upper join point, leading to "variable not found
in subplan target lists" error.  Fix by adding an extra scan of in_info_list
and forcing all Vars mentioned therein to be propagated up to the IN join
point.  Per bug report from Miroslav Sulc.
src/backend/optimizer/plan/initsplan.c
src/backend/optimizer/plan/planmain.c
src/include/optimizer/planmain.h