Fix infer_arbiter_indexes() to not assume resultRelation is 1.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 11 Jun 2024 21:57:46 +0000 (17:57 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 11 Jun 2024 21:57:46 +0000 (17:57 -0400)
commit5e8aa32a9ce78abcfea3ed157d7b66fb3bff5f58
treed1f34516e0ae3d1d4f6f8474ad514d28c7447196
parentd8062ead3d8382febf15194383199ac9ace94038
Fix infer_arbiter_indexes() to not assume resultRelation is 1.

infer_arbiter_indexes failed to renumber varnos in index expressions
or predicates that it got from the catalogs.  This escaped detection
up to now because the stored varnos in such trees will be 1, and an
INSERT's result relation is usually the first rangetable entry,
so that that was fine.  However, in cases such as inserting through
an updatable view, it's not fine, leading to failure to match the
expressions to the query with ensuing "there is no unique or exclusion
constraint matching the ON CONFLICT specification" errors.

Fix by copy-and-paste from get_relation_info().

Per bug #18502 from Michael Wang.  Back-patch to all supported
versions.

Discussion: https://postgr.es/m/18502-545b53f5b81e54e0@postgresql.org
src/backend/optimizer/util/plancat.c
src/test/regress/expected/insert_conflict.out
src/test/regress/sql/insert_conflict.sql