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 --- include/klee/KDAlloc/allocator.h | 4 ++-- include/klee/KDAlloc/suballocators/sized_regions.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'include') 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(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; -- cgit 1.4.1