Fix MakeTransitionCaptureState() to return a consistent result
authorMichael Paquier <michael@paquier.xyz>
Thu, 13 Feb 2025 07:31:08 +0000 (16:31 +0900)
committerMichael Paquier <michael@paquier.xyz>
Thu, 13 Feb 2025 07:31:08 +0000 (16:31 +0900)
commit139beb0355c2a3c96df8c629a424eb38cba238b5
tree1a8bd5df0149e15f12fbb548caeb548aa05459e2
parent01cdb98e446aadd10132574d7e9fa4470d17b45e
Fix MakeTransitionCaptureState() to return a consistent result

When an UPDATE trigger referencing a new table and a DELETE trigger
referencing an old table are both present, MakeTransitionCaptureState()
returns an inconsistent result for UPDATE commands in its set of flags
and tuplestores holding the TransitionCaptureState for transition
tables.

As proved by the test added here, this issue causes a crash in v14 and
earlier versions (down to 11, actually, older versions do not support
triggers on partitioned tables) during cross-partition updates on a
partitioned table.  v15 and newer versions are safe thanks to
7103ebb7aae8.

This commit fixes the function so that it returns a consistent state
by using portions of the changes made in commit 7103ebb7aae8 for v13 and
v14.  v15 and newer versions are slightly tweaked to match with the
older versions, mainly for consistency across branches.

Author: Kyotaro Horiguchi
Discussion: https://postgr.es/m/20250207.150238.968446820828052276.horikyota.ntt@gmail.com
Backpatch-through: 13
src/backend/commands/trigger.c
src/test/regress/expected/triggers.out
src/test/regress/sql/triggers.sql