Fix incorrect non-strict join recheck in MERGE WHEN NOT MATCHED BY SOURCE.
authorDean Rasheed
Thu, 3 Oct 2024 11:50:38 +0000 (12:50 +0100)
committerDean Rasheed
Thu, 3 Oct 2024 11:50:38 +0000 (12:50 +0100)
commitd7d297f8449641bfd71750d04c302572a350052c
tree964be585baaf53d0d9faaccf53b739727392ce33
parentc7a201053e3f7d322782e57879b43d1fd8b7bf32
Fix incorrect non-strict join recheck in MERGE WHEN NOT MATCHED BY SOURCE.

If a MERGE command contains WHEN NOT MATCHED BY SOURCE actions, the
merge join condition is used by the executor to distinguish MATCHED
from NOT MATCHED BY SOURCE cases. However, this qual is executed using
the output from the join subplan node, which nulls the output from the
source relation in the not matched case, and so the result may be
incorrect if the join condition is "non-strict" -- for example,
something like "src.col IS NOT DISTINCT FROM tgt.col".

Fix this by enhancing the join recheck condition with an additional
"src IS NOT NULL" check, so that it does the right thing when
evaluated using the output from the join subplan.

Noted by Tom Lane while investigating bug #18634 from Alexander
Lakhin.

Back-patch to v17, where WHEN NOT MATCHED BY SOURCE support was added
to MERGE.

Discussion: https://postgr.es/m/18634-db5299c937877f2b%40postgresql.org
src/backend/optimizer/prep/prepjointree.c
src/test/regress/expected/merge.out
src/test/regress/sql/merge.sql