aboutsummaryrefslogtreecommitdiff
path: root/src/backend/optimizer/plan/planmain.c
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2007-10-04 20:44:55 +0000
committerTom Lane <tgl@sss.pgh.pa.us>2007-10-04 20:44:55 +0000
commit0969e9cc0e47c141a0075cdbc2a0369113d206db (patch)
treeabeea0ff19ce32a6141ab1945829024b422f57f9 /src/backend/optimizer/plan/planmain.c
parentf3c6d3daf901b69226fa7c930d655bc5ce6adca0 (diff)
downloadpostgresql-0969e9cc0e47c141a0075cdbc2a0369113d206db.tar.gz
postgresql-0969e9cc0e47c141a0075cdbc2a0369113d206db.zip
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.
Diffstat (limited to 'src/backend/optimizer/plan/planmain.c')
-rw-r--r--src/backend/optimizer/plan/planmain.c9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/backend/optimizer/plan/planmain.c b/src/backend/optimizer/plan/planmain.c
index e01379e8e3f..1dc9e97fdb6 100644
--- a/src/backend/optimizer/plan/planmain.c
+++ b/src/backend/optimizer/plan/planmain.c
@@ -14,7 +14,7 @@
*
*
* IDENTIFICATION
- * $PostgreSQL: pgsql/src/backend/optimizer/plan/planmain.c,v 1.97 2006/10/04 00:29:54 momjian Exp $
+ * $PostgreSQL: pgsql/src/backend/optimizer/plan/planmain.c,v 1.97.2.1 2007/10/04 20:44:55 tgl Exp $
*
*-------------------------------------------------------------------------
*/
@@ -179,6 +179,13 @@ query_planner(PlannerInfo *root, List *tlist, double tuple_fraction,
joinlist = deconstruct_jointree(root);
/*
+ * Vars mentioned in InClauseInfo items also have to be added to baserel
+ * targetlists. Nearly always, they'd have got there from the original
+ * WHERE qual, but in corner cases maybe not.
+ */
+ add_IN_vars_to_tlists(root);
+
+ /*
* Use the completed lists of equijoined keys to deduce any implied but
* unstated equalities (for example, A=B and B=C imply A=C).
*/