diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/KDAlloc/allocator.h | 4 | ||||
| -rw-r--r-- | include/klee/KDAlloc/suballocators/sized_regions.h | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/include/klee/KDAlloc/allocator.h b/include/klee/KDAlloc/allocator.h index a0c2f162..5588d1d1 100644 --- a/include/klee/KDAlloc/allocator.h +++ b/include/klee/KDAlloc/allocator.h @@ -348,8 +348,8 @@ public: } } - LocationInfo location_info(void const *const ptr, - std::size_t const size) const noexcept { + LocationInfo locationInfo(void const *const ptr, + std::size_t const size) const noexcept { assert(*this && "Invalid allocator"); if (!ptr || reinterpret_cast<std::uintptr_t>(ptr) < 4096) { diff --git a/include/klee/KDAlloc/suballocators/sized_regions.h b/include/klee/KDAlloc/suballocators/sized_regions.h index 2fb12bf5..bb2a0b69 100644 --- a/include/klee/KDAlloc/suballocators/sized_regions.h +++ b/include/klee/KDAlloc/suballocators/sized_regions.h @@ -193,7 +193,7 @@ public: /// the beginning and end and in between any two allocations. inline LocationInfo getLocationInfo(char const *const address, std::size_t const size) const noexcept { - assert(root && "Cannot compute location_info for an empty treap"); + assert(root && "Cannot compute location info for an empty treap"); Node const *currentNode = &*root; Node const *closestPredecessor = nullptr; |