pgsql: Fix indexable-row-comparison logic to account for covering index

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Fix indexable-row-comparison logic to account for covering index
Date: 2019-02-11 03:51:48
Message-ID: E1gt2dI-0004tv-KT@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Fix indexable-row-comparison logic to account for covering indexes.

indxpath.c needs a good deal more attention for covering indexes than
it's gotten. But so far as I can tell, the only really awful breakage
is in expand_indexqual_rowcompare (nee adjust_rowcompare_for_index),
which was only half fixed in c266ed31a. The other problems aren't
bad enough to take the risk of a just-before-wrap fix.

The problem here is that if the leading column of a row comparison
matches an index (allowing this code to be reached), and some later
column doesn't match the index, it'll nonetheless believe that that
column matches the first included index column. Typically that'll
lead to an error like "operator M is not a member of opfamily N" as
a result of fetching a garbage opfamily OID. But with enough bad
luck, maybe a broken plan would be generated.

Discussion: https://postgr.es/m/25526.1549847928@sss.pgh.pa.us

Branch
------
REL_11_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/eb68d71f99e945c89bbb1190086237be65ad784c

Modified Files
--------------
src/backend/optimizer/path/indxpath.c | 4 ++--
src/test/regress/expected/index_including.out | 17 +++++++++++++++++
src/test/regress/sql/index_including.sql | 3 +++
3 files changed, 22 insertions(+), 2 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Thomas Munro 2019-02-11 07:41:03 Re: pgsql: Use better comment marker in Autoconf input
Previous Message Tom Lane 2019-02-10 21:54:38 pgsql: Add per-test-script runtime display to pg_regress.