From b374f04f313f65915df7017b5260654aa49c19b0 Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Thu, 29 Jun 2023 01:00:01 +0000 Subject: rename Allocator::location_info to Allocator::locationInfo for consistency --- lib/Core/Executor.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lib') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 361a4e2e..906484c6 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -4255,9 +4255,9 @@ void Executor::resolveExact(ExecutionState &state, if (MemoryManager::isDeterministic && CE) { using kdalloc::LocationInfo; auto ptr = reinterpret_cast(CE->getZExtValue()); - auto locinfo = unbound->heapAllocator.location_info(ptr, 1); - if (locinfo == LocationInfo::LI_AllocatedOrQuarantined && - locinfo.getBaseAddress() == ptr && name == "free") { + auto li = unbound->heapAllocator.locationInfo(ptr, 1); + if (li == LocationInfo::LI_AllocatedOrQuarantined && + li.getBaseAddress() == ptr && name == "free") { terminateStateOnProgramError(*unbound, "memory error: double free", StateTerminationType::Ptr, getAddressInfo(*unbound, p)); @@ -4400,7 +4400,7 @@ void Executor::executeMemoryOperation(ExecutionState &state, return; } else if (MemoryManager::isDeterministic) { using kdalloc::LocationInfo; - auto li = unbound->heapAllocator.location_info(ptr, bytes); + auto li = unbound->heapAllocator.locationInfo(ptr, bytes); if (li == LocationInfo::LI_AllocatedOrQuarantined) { // In case there is no size mismatch (checked by resolving for base // address), the object is quarantined. -- cgit 1.4.1