diff options
Diffstat (limited to 'src/third_party/wiredtiger/src/btree/bt_vrfy.c')
-rw-r--r-- | src/third_party/wiredtiger/src/btree/bt_vrfy.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/src/btree/bt_vrfy.c b/src/third_party/wiredtiger/src/btree/bt_vrfy.c index 938d8bea88c..d2d95584c73 100644 --- a/src/third_party/wiredtiger/src/btree/bt_vrfy.c +++ b/src/third_party/wiredtiger/src/btree/bt_vrfy.c @@ -189,6 +189,9 @@ __wt_verify(WT_SESSION_IMPL *session, const char *cfg[]) const char *name; bool bm_start, quit, skip_hs; + WT_ASSERT_SPINLOCK_OWNED(session, &S2C(session)->checkpoint_lock); + WT_ASSERT_SPINLOCK_OWNED(session, &S2C(session)->schema_lock); + btree = S2BT(session); bm = btree->bm; ckptbase = NULL; |