RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-25 05:57:44 +00:00
Code Issues Activity Actions

Kernel: Hoist VERIFY from a loop in RangeAllocator::allocate_specific()

Browse source
This commit is contained in:
Andreas Kling 2021-07-15 00:06:04 +02:00
parent 7ff14fecba
commit b0d9b88c49
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Kernel/VM/RangeAllocator.cpp
View file

@ -136,11 +136,12 @@ Optional<Range> RangeAllocator::allocate_specific(VirtualAddress base, size_t si
VERIFY(base.is_page_aligned()); VERIFY(base.is_page_aligned());
VERIFY((size % PAGE_SIZE) == 0); 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); ScopedSpinLock lock(m_lock);
for (size_t i = 0; i < m_available_ranges.size(); ++i) { for (size_t i = 0; i < m_available_ranges.size(); ++i) {
auto& available_range = m_available_ranges[i]; auto& available_range = m_available_ranges[i];
VERIFY(m_total_range.contains(allocated_range));
if (!available_range.contains(base, size)) if (!available_range.contains(base, size))
continue; continue;
if (available_range == allocated_range) { if (available_range == allocated_range) {