From adfca64fdbcfd75d42b7a069d27ddbb0228e9eff Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Sat, 1 Apr 2023 13:22:38 +0200 Subject: change some obsolete KDAlloc comments - mappings were only shared in a former version of KDAlloc - `AllocationFactory(std::size_t, std::uint32_t)`'s second parameter is used for quarantine size, not the location of the mapping --- include/klee/KDAlloc/allocator.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/klee/KDAlloc/allocator.h b/include/klee/KDAlloc/allocator.h index f59223ed..c4461b79 100644 --- a/include/klee/KDAlloc/allocator.h +++ b/include/klee/KDAlloc/allocator.h @@ -29,7 +29,8 @@ #include namespace klee::kdalloc { -/// Wraps a mapping that is shared with other allocators. +/// Wraps a mapping and delegates allocation to one of 8 sized-bin slot +/// allocators (size < 4096) or a large object allocator (size >= 4096). class Allocator final : public TaggedLogger { public: class Control final { -- cgit 1.4.1