diff --git a/src/backend/optimizer/plan/initsplan.c b/src/backend/optimizer/plan/initsplan.c
index 66f5dc9d3d6..7b59c6dde9f 100644
--- a/src/backend/optimizer/plan/initsplan.c
+++ b/src/backend/optimizer/plan/initsplan.c
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *	  $PostgreSQL: pgsql/src/backend/optimizer/plan/initsplan.c,v 1.110.2.2 2005/11/22 18:23:11 momjian Exp $
+ *	  $PostgreSQL: pgsql/src/backend/optimizer/plan/initsplan.c,v 1.110.2.3 2007/10/04 20:45:02 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -126,6 +126,40 @@ build_base_rel_tlists(PlannerInfo *root, List *final_tlist)
 	}
 }
 
+/*
+ * add_IN_vars_to_tlists
+ *	  Add targetlist entries for each var needed in InClauseInfo entries
+ *	  to the appropriate base relations.
+ *
+ * Normally this is a waste of time because scanning of the WHERE clause
+ * will have added them.  But it is possible that eval_const_expressions()
+ * simplified away all references to the vars after the InClauseInfos were
+ * made.  We need the IN's righthand-side vars to be available at the join
+ * anyway, in case we try to unique-ify the subselect's outputs.  (The only
+ * known case that provokes this is "WHERE false AND foo IN (SELECT ...)".
+ * We don't try to be very smart about such cases, just correct.)
+ */
+void
+add_IN_vars_to_tlists(PlannerInfo *root)
+{
+	ListCell   *l;
+
+	foreach(l, root->in_info_list)
+	{
+		InClauseInfo *ininfo = (InClauseInfo *) lfirst(l);
+		List	   *in_vars;
+
+		in_vars = pull_var_clause((Node *) ininfo->sub_targetlist, false);
+		if (in_vars != NIL)
+		{
+			add_vars_to_targetlist(root, in_vars,
+								   bms_union(ininfo->lefthand,
+											 ininfo->righthand));
+			list_free(in_vars);
+		}
+	}
+}
+
 /*
  * add_vars_to_targetlist
  *	  For each variable appearing in the list, add it to the owning
diff --git a/src/backend/optimizer/plan/planmain.c b/src/backend/optimizer/plan/planmain.c
index fc46c7aaf44..da374c8bd60 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.89.2.1 2005/11/22 18:23:11 momjian Exp $
+ *	  $PostgreSQL: pgsql/src/backend/optimizer/plan/planmain.c,v 1.89.2.2 2007/10/04 20:45:02 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -156,6 +156,13 @@ query_planner(PlannerInfo *root, List *tlist, double tuple_fraction,
 
 	(void) distribute_quals_to_rels(root, (Node *) parse->jointree, false);
 
+	/*
+	 * 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).
diff --git a/src/include/optimizer/planmain.h b/src/include/optimizer/planmain.h
index 0e78933f792..759c6b59e80 100644
--- a/src/include/optimizer/planmain.h
+++ b/src/include/optimizer/planmain.h
@@ -7,7 +7,7 @@
  * Portions Copyright (c) 1996-2005, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
  *
- * $PostgreSQL: pgsql/src/include/optimizer/planmain.h,v 1.90 2005/10/15 02:49:45 momjian Exp $
+ * $PostgreSQL: pgsql/src/include/optimizer/planmain.h,v 1.90.2.1 2007/10/04 20:45:02 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -67,6 +67,7 @@ extern bool is_projection_capable_plan(Plan *plan);
  */
 extern void add_base_rels_to_query(PlannerInfo *root, Node *jtnode);
 extern void build_base_rel_tlists(PlannerInfo *root, List *final_tlist);
+extern void add_IN_vars_to_tlists(PlannerInfo *root);
 extern Relids distribute_quals_to_rels(PlannerInfo *root, Node *jtnode,
 						 bool below_outer_join);
 extern void process_implied_equality(PlannerInfo *root,