Horton

Fix off-by-one Asserts in FreePageBtreeInsertInternal/Leaf.

Tom Lane <tgl@sss.pgh.pa.us>

View on postgr.es
Commit: 05d8a0869ea491ff9e989750dd23e190e77698c4
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2025-10-23T16:32:35Z
Releases: 15.15 
Fix off-by-one Asserts in FreePageBtreeInsertInternal/Leaf.

These two functions expect there to be room to insert another item
in the FreePageBtree's array, but their assertions were too weak
to guarantee that.  This has little practical effect granting that
the callers are not buggy, but it seems to be misleading late-model
Coverity into complaining about possible array overrun.

Author: Tom Lane <tgl@sss.pgh.pa.us>
Discussion: https://postgr.es/m/799984.1761150474@sss.pgh.pa.us
Backpatch-through: 13

Files

PathChange+/−
src/backend/utils/mmgr/freepage.c modified +4 −4

Discussion