diff options
| -rw-r--r-- | src/page_heap.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/page_heap.cc b/src/page_heap.cc index 651a93a..c6ecbb9 100644 --- a/src/page_heap.cc +++ b/src/page_heap.cc @@ -271,12 +271,14 @@ Span* PageHeap::Carve(Span* span, Length n) { // The previous span of |leftover| was just splitted -- no need to // coalesce them. The next span of |leftover| was not previously coalesced // with |span|, i.e. is NULL or has got location other than |old_location|. +#ifndef NDEBUG const PageID p = leftover->start; const Length len = leftover->length; Span* next = GetDescriptor(p+len); ASSERT (next == NULL || next->location == Span::IN_USE || next->location != leftover->location); +#endif PrependToFreeList(leftover); // Skip coalescing - no candidates possible span->length = n; |