Horton

Fix assertions with RI triggers in heap_update and heap_delete.

Heikki Linnakangas <heikki.linnakangas@iki.fi>

View on postgr.es
Commit: 9fee3232a1d3661981c3cbf87227bfd02ee36c7b
Author: Heikki Linnakangas <heikki.linnakangas@iki.fi>
Date: 2023-11-28T09:59:45Z
Releases: 16.2 
Fix assertions with RI triggers in heap_update and heap_delete.

If the tuple being updated is not visible to the crosscheck snapshot,
we return TM_Updated but the assertions would not hold in that case.
Move them to before the cross-check.

Fixes bug #17893. Backpatch to all supported versions.

Author: Alexander Lakhin
Backpatch-through: 12
Discussion: https://www.postgresql.org/message-id/17893-35847009eec517b5%40postgresql.org

Files

PathChange+/−
src/backend/access/heap/heapam.c modified +24 −17
src/include/access/tableam.h modified +2 −2
src/test/isolation/expected/fk-snapshot.out modified +22 −0
src/test/isolation/specs/fk-snapshot.spec modified +16 −1

Discussion