pgsql: Remove bogus Assert and dead code in remove_useless_results_recu

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Remove bogus Assert and dead code in remove_useless_results_recu
Date: 2022-11-29 15:52:59
Message-ID: E1p02uo-001JPu-Fw@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Remove bogus Assert and dead code in remove_useless_results_recurse().

The JOIN_SEMI case Assert'ed that there are no PlaceHolderVars that
need to be evaluated at the semijoin's RHS, which is wrong because
there could be some in the semijoin's qual condition. However, there
could not be any references further up than that, and within the qual
there is not any way that such a PHV could have gone to null yet, so
we don't really need the PHV and there is no need to avoid making the
RHS-removal optimization. The upshot is that there's no actual bug
in production code, and we ought to just remove this misguided Assert.

While we're here, also drop the JOIN_RIGHT case, which is dead code
because reduce_outer_joins() already got rid of JOIN_RIGHT.

Per bug #17700 from Xin Wen. Uselessness of the JOIN_RIGHT case
pointed out by Richard Guo. Back-patch to v12 where this code
was added.

Discussion: https://postgr.es/m/17700-2b5c10d917c30687@postgresql.org

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/51dfaa0b010c1efba8a4137cfccd5fbb7f5d4afd

Modified Files
--------------
src/backend/optimizer/prep/prepjointree.c | 24 +++++++++---------------
src/test/regress/expected/join.out | 20 ++++++++++++++++++++
src/test/regress/sql/join.sql | 10 ++++++++++
3 files changed, 39 insertions(+), 15 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Tom Lane 2022-11-29 16:46:47 pgsql: Prevent clobbering of utility statements in SQL function caches.
Previous Message Alvaro Herrera 2022-11-29 08:41:56 pgsql: Add 'missing_ok' argument to build_attrmap_by_name