diff options
| author | Keith Bostic <keith@wiredtiger.com> | 2013-09-12 06:49:01 -0400 |
|---|---|---|
| committer | Keith Bostic <keith@wiredtiger.com> | 2013-09-12 06:49:43 -0400 |
| commit | 453c0c148921a79e47f1854dbc6acca8f63fb75d (patch) | |
| tree | 53bd4e0144609202d5e4c68837b55dda742a4bd2 /src/btree/bt_discard.c | |
| parent | 0eceed435e1d82461c71d1e9356c970470da7489 (diff) | |
| download | mongo-453c0c148921a79e47f1854dbc6acca8f63fb75d.tar.gz | |
If we're discrading a page with a hazard pointer, assert failure in
DIAGNOSTIC mode.
Diffstat (limited to 'src/btree/bt_discard.c')
| -rw-r--r-- | src/btree/bt_discard.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/btree/bt_discard.c b/src/btree/bt_discard.c index 04b30c2cc16..7a123b6f0a1 100644 --- a/src/btree/bt_discard.c +++ b/src/btree/bt_discard.c @@ -51,6 +51,7 @@ __wt_page_out(WT_SESSION_IMPL *session, WT_PAGE **pagep) __wt_errx(session, "discarded page has hazard pointer: (%p: %s, line %d)", hp->page, hp->file, hp->line); + WT_ASSERT(session, hp == NULL); } #endif /* Update the cache's information. */ |