Put back plan-time check for trying to apply SELECT FOR UPDATE/SHARE

to a relation on the nullable side of an outer join.  I had removed
this during the outer join planning rewrite a few months ago ... I think
I intended to put it somewhere else, but forgot ...

diff --git a/src/backend/optimizer/plan/initsplan.c b/src/backend/optimizer/plan/initsplan.c
index 2f1fc953d1c56e982e0935d1413249b4c978c78f..c2a1d3e080bcd0319dcc3f7ea60bc129766be957 100644 (file)
--- 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.120 2006/07/14 14:52:20 momjian Exp $
+ *       $PostgreSQL: pgsql/src/backend/optimizer/plan/initsplan.c,v 1.121 2006/09/08 17:49:13 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -446,6 +446,29 @@ make_outerjoininfo(PlannerInfo *root,
        Relids          strict_relids;
        ListCell   *l;
 
+       /*
+        * Presently the executor cannot support FOR UPDATE/SHARE marking of rels
+        * appearing on the nullable side of an outer join. (It's somewhat unclear
+        * what that would mean, anyway: what should we mark when a result row is
+        * generated from no element of the nullable relation?)  So, complain if
+        * any nullable rel is FOR UPDATE/SHARE.
+        *
+        * You might be wondering why this test isn't made far upstream in the
+        * parser.  It's because the parser hasn't got enough info --- consider
+        * FOR UPDATE applied to a view.  Only after rewriting and flattening
+        * do we know whether the view contains an outer join.
+        */
+       foreach(l, root->parse->rowMarks)
+       {
+               RowMarkClause *rc = (RowMarkClause *) lfirst(l);
+
+               if (bms_is_member(rc->rti, right_rels) ||
+                       (is_full_join && bms_is_member(rc->rti, left_rels)))
+                       ereport(ERROR,
+                                       (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
+                                        errmsg("SELECT FOR UPDATE/SHARE cannot be applied to the nullable side of an outer join")));
+       }
+
        /* If it's a full join, no need to be very smart */
        ojinfo->is_full_join = is_full_join;
        if (is_full_join)