public inbox for [email protected]  

help / color / mirror / Atom feed

From: Richard Guo <[email protected]>
To: David Rowley <[email protected]>
Cc: [email protected]
Cc: [email protected]
Cc: Tom Lane <[email protected]>
Subject: Re: BUG #19412: Wrong query result with not null constraint
Date: Wed, 18 Feb 2026 10:51:40 +0900
Message-ID: <CAMbWs49kVgb_wS4VFuQpfZ+Re4tWVn7vmheR6HqKppnNuEaH-g@mail.gmail.com> (raw)
In-Reply-To: <CAApHDvpXarz-D6tP-7y4ZrtnhXtdbRY0kQxRDQTVc3Z9DckYVw@mail.gmail.com>
References: <[email protected]>
	<CAApHDvpXarz-D6tP-7y4ZrtnhXtdbRY0kQxRDQTVc3Z9DckYVw@mail.gmail.com>

On Wed, Feb 18, 2026 at 7:54 AM David Rowley <[email protected]> wrote:
> On Wed, 18 Feb 2026 at 00:31, PG Bug reporting form
> <[email protected]> wrote:
> > create table a (id int, x_id int, y_id int);
> > insert into a values (1, 1, 1), (1, 2, 2), (1, 3, 3);
> > create table x (id int, nm text, constraint pk_x_id primary key (id));
> > insert into x values (1, 'x1'), (2, 'x2'), (3, 'x3');
> > create table y (id int, nm text, constraint pk_y_id primary key (id));
> > insert into y values (1, 'y1'), (3, 'y3'), (4, 'y4');
> >
> > select a.id, z.id
> > from a
> > join x on x.id = a.x_id
> > left join y on y.id = a.y_id
> > join lateral(select x.id
> >              union all
> >              select y.id) z on z.id is not null;

> Thanks for the reproducer.
>
> I'd say that y.id Var in the lateral join should be getting marked as
> nullable by the left join, but it's not being marked as nullable by
> anything.

Exactly.  I think this is because when adjust_appendrel_attrs_mutator
propagates the nullingrel bits from the parent rel's Var into the
translated Var, it loses the translated Var's original bits.  Instead
of overwriting the translated Var's nullingrels, I think we should
merge them.

--- a/src/backend/optimizer/util/appendinfo.c
+++ b/src/backend/optimizer/util/appendinfo.c
@@ -291,8 +291,11 @@ adjust_appendrel_attrs_mutator(Node *node,
                 var->varattno, get_rel_name(appinfo->parent_reloid));
        if (IsA(newnode, Var))
        {
-           ((Var *) newnode)->varreturningtype = var->varreturningtype;
-           ((Var *) newnode)->varnullingrels = var->varnullingrels;
+           Var    *newvar = (Var *) newnode;
+
+           newvar->varreturningtype = var->varreturningtype;
+           newvar->varnullingrels = bms_add_members(newvar->varnullingrels,
+                                                    var->varnullingrels);
        }

- Richard

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected], [email protected]
  Subject: Re: BUG #19412: Wrong query result with not null constraint
  In-Reply-To: <CAMbWs49kVgb_wS4VFuQpfZ+Re4tWVn7vmheR6HqKppnNuEaH-g@mail.gmail.com>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox