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:17 +0000 (20:45 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 4 Oct 2007 20:45:17 +0000 (20:45 +0000)
commite8835af9210a256f9d5498fdca8034d4a397beba
treec319093fd3edc1fbbac152eb64b89edb6f2944c6
parent452db9dac78b4cb1519bf02330ef20e338fb692d
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