From b0d9b88c490298f85e7588a84b5ec4c8942fab65 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Thu, 15 Jul 2021 00:06:04 +0200 Subject: [PATCH] Kernel: Hoist VERIFY from a loop in RangeAllocator::allocate_specific() --- Kernel/VM/RangeAllocator.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Kernel/VM/RangeAllocator.cpp b/Kernel/VM/RangeAllocator.cpp index fc136f12ac..411597ce24 100644 --- a/Kernel/VM/RangeAllocator.cpp +++ b/Kernel/VM/RangeAllocator.cpp @@ -136,11 +136,12 @@ Optional RangeAllocator::allocate_specific(VirtualAddress base, size_t si VERIFY(base.is_page_aligned()); VERIFY((size % PAGE_SIZE) == 0); - Range allocated_range(base, size); + Range const allocated_range(base, size); + VERIFY(m_total_range.contains(allocated_range)); + ScopedSpinLock lock(m_lock); for (size_t i = 0; i < m_available_ranges.size(); ++i) { auto& available_range = m_available_ranges[i]; - VERIFY(m_total_range.contains(allocated_range)); if (!available_range.contains(base, size)) continue; if (available_range == allocated_range) {