pg.ddx.io  pgsql-committers@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Richard Guo <rguo@postgresql.org>
To: pgsql-committers@lists.postgresql.org
Subject: pgsql: Fix const-simplification for constraints and stats
Date: Sun, 31 Aug 2025 00:00:40 +0000
Message-ID: <E1usVUt-002TAd-2i@gemulon.postgresql.org> (raw)

Fix const-simplification for constraints and stats

Constraint expressions and statistics expressions loaded from the
system catalogs need to be run through const-simplification, because
the planner will be comparing them to similarly-processed qual
clauses.  Without this step, the planner may fail to detect valid
matches.

Currently, NullTest clauses in these expressions may not be reduced
correctly during const-simplification.  This happens because their Var
nodes do not yet have the correct varno when eval_const_expressions is
applied.  Since eval_const_expressions relies on varno to reduce
NullTest quals, incorrect varno can cause problems.

Additionally, for statistics expressions, eval_const_expressions is
called with root set to NULL, which also inhibits NullTest reduction.

This patch fixes the issue by ensuring that Vars are updated to have
the correct varno before const-simplification, and that a valid root
is passed to eval_const_expressions when needed.

Author: Richard Guo <guofenglinux@gmail.com>
Discussion: https://postgr.es/m/19007-4cc6e252ed8aa54a@postgresql.org

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/317c117d6d23cff98c1259701495422bc952a7dd

Modified Files
--------------
src/backend/optimizer/util/plancat.c    | 46 ++++++++++++++++++++-------------
src/test/regress/expected/predicate.out | 27 +++++++++++++++++++
src/test/regress/sql/predicate.sql      | 20 ++++++++++++++
3 files changed, 75 insertions(+), 18 deletions(-)



Message-ID: <E1usVUt-002TAd-2i@gemulon.postgresql.org>
Permalink:  ../E1usVUt-002TAd-2i@gemulon.postgresql.org/
Also on:    postgresql.org/message-id/E1usVUt-002TAd-2i@gemulon.postgresql.org

 · 

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: pgsql-committers@postgresql.org
  Cc: rguo@postgresql.org, pgsql-committers@lists.postgresql.org
  Subject: Re: pgsql: Fix const-simplification for constraints and stats
  In-Reply-To: <E1usVUt-002TAd-2i@gemulon.postgresql.org>

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

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