From bf5b7c32d8435dedd9f80029c454e472b3e16f4b Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Thu, 30 Jan 2020 21:50:23 +0100 Subject: [PATCH] Kernel: Add some sanity assertions in RangeAllocator::deallocate() We should never end up deallocating an empty range, or a range that ends before it begins. --- Kernel/VM/RangeAllocator.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Kernel/VM/RangeAllocator.cpp b/Kernel/VM/RangeAllocator.cpp index dd8dbb4db9..d28faa6c06 100644 --- a/Kernel/VM/RangeAllocator.cpp +++ b/Kernel/VM/RangeAllocator.cpp @@ -151,6 +151,8 @@ Range RangeAllocator::allocate_specific(VirtualAddress base, size_t size) void RangeAllocator::deallocate(Range range) { ASSERT(m_total_range.contains(range)); + ASSERT(range.size()); + ASSERT(range.base() < range.end()); #ifdef VRA_DEBUG dbgprintf("VRA: Deallocate: %x(%u)\n", range.base().get(), range.size());