diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-06-29 01:00:01 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-07-06 23:35:46 +0200 |
| commit | b374f04f313f65915df7017b5260654aa49c19b0 (patch) | |
| tree | 4e454603b4a13a30f874b4666d2c1db174414c59 /lib | |
| parent | c699cc56365d828388b082ff0f64bc4d6f7496c7 (diff) | |
| download | klee-b374f04f313f65915df7017b5260654aa49c19b0.tar.gz | |
rename Allocator::location_info to Allocator::locationInfo for
consistency
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/Executor.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
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<void *>(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. |