From 4a07639476dbf2256f9999ed3b303559d3faac06 Mon Sep 17 00:00:00 2001 From: Peter Geoghegan Date: Tue, 15 Mar 2022 23:27:07 -0700 Subject: [PATCH v1 1/2] Add visibilitymap.c assertions. --- src/backend/access/heap/visibilitymap.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/backend/access/heap/visibilitymap.c b/src/backend/access/heap/visibilitymap.c index e09f25a68..f4d6aa9d8 100644 --- a/src/backend/access/heap/visibilitymap.c +++ b/src/backend/access/heap/visibilitymap.c @@ -146,7 +146,8 @@ visibilitymap_clear(Relation rel, BlockNumber heapBlk, Buffer buf, uint8 flags) char *map; bool cleared = false; - Assert(flags & VISIBILITYMAP_VALID_BITS); + Assert(flags == VISIBILITYMAP_ALL_FROZEN || + flags == VISIBILITYMAP_VALID_BITS); #ifdef TRACE_VISIBILITYMAP elog(DEBUG1, "vm_clear %s %d", RelationGetRelationName(rel), heapBlk); @@ -258,6 +259,7 @@ visibilitymap_set(Relation rel, BlockNumber heapBlk, Buffer heapBuf, Assert(InRecovery || XLogRecPtrIsInvalid(recptr)); Assert(InRecovery || BufferIsValid(heapBuf)); Assert(flags & VISIBILITYMAP_VALID_BITS); + Assert((flags & ~VISIBILITYMAP_ALL_FROZEN) == VISIBILITYMAP_ALL_VISIBLE); /* Check that we have the right heap page pinned, if present */ if (BufferIsValid(heapBuf) && BufferGetBlockNumber(heapBuf) != heapBlk) -- 2.30.2