Fix testing of partial-index predicates to work correctly in cases where

varno of index's relation is not 1.  This embarrassing oversight pointed
out by Dmitry Tkach 12-Jul-02.

diff --git a/src/backend/optimizer/path/indxpath.c b/src/backend/optimizer/path/indxpath.c
index baeed1f..bce39f1 100644 (file)
--- a/src/backend/optimizer/path/indxpath.c
+++ b/src/backend/optimizer/path/indxpath.c
@@ -9,7 +9,7 @@
  *
  *
  * IDENTIFICATION
- *       $Header: /cvsroot/pgsql/src/backend/optimizer/path/indxpath.c,v 1.119 2002/06/20 20:29:29 momjian Exp $
+ *       $Header: /cvsroot/pgsql/src/backend/optimizer/path/indxpath.c,v 1.120 2002/07/13 19:20:34 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -35,6 +35,7 @@
 #include "parser/parse_coerce.h"
 #include "parser/parse_expr.h"
 #include "parser/parse_oper.h"
+#include "rewrite/rewriteManip.h"
 #include "utils/builtins.h"
 #include "utils/fmgroids.h"
 #include "utils/lsyscache.h"
@@ -79,7 +80,7 @@ static bool match_clause_to_indexkey(RelOptInfo *rel, IndexOptInfo *index,
                                                 int indexkey, Oid opclass,
                                                 Expr *clause, bool join);
 static bool pred_test(List *predicate_list, List *restrictinfo_list,
-                 List *joininfo_list);
+                 List *joininfo_list, int relvarno);
 static bool pred_test_restrict_list(Expr *predicate, List *restrictinfo_list);
 static bool pred_test_recurse_clause(Expr *predicate, Node *clause);
 static bool pred_test_recurse_pred(Expr *predicate, Node *clause);
@@ -153,7 +154,8 @@ create_index_paths(Query *root, RelOptInfo *rel)
                 * predicate test.
                 */
                if (index->indpred != NIL)
-                       if (!pred_test(index->indpred, restrictinfo_list, joininfo_list))
+                       if (!pred_test(index->indpred, restrictinfo_list, joininfo_list,
+                                                  lfirsti(rel->relids)))
                                continue;
 
                /*
@@ -957,7 +959,8 @@ indexable_operator(Expr *clause, Oid opclass, bool indexkey_on_left)
  *       to CNF format). --Nels, Jan '93
  */
 static bool
-pred_test(List *predicate_list, List *restrictinfo_list, List *joininfo_list)
+pred_test(List *predicate_list, List *restrictinfo_list, List *joininfo_list,
+                 int relvarno)
 {
        List       *pred;
 
@@ -980,6 +983,18 @@ pred_test(List *predicate_list, List *restrictinfo_list, List *joininfo_list)
                return false;                   /* no restriction clauses: the test must
                                                                 * fail */
 
+       /*
+        * The predicate as stored in the index definition will use varno 1
+        * for its Vars referencing the indexed relation.  If the indexed
+        * relation isn't varno 1 in the query, we must adjust the predicate
+        * to make the Vars match, else equal() won't work.
+        */
+       if (relvarno != 1)
+       {
+               predicate_list = copyObject(predicate_list);
+               ChangeVarNodes((Node *) predicate_list, 1, relvarno, 0);
+       }
+
        foreach(pred, predicate_list)
        {
                /*