diff options
| -rw-r--r-- | include/klee/KDAlloc/suballocators/slot_allocator.h | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/include/klee/KDAlloc/suballocators/slot_allocator.h b/include/klee/KDAlloc/suballocators/slot_allocator.h index 1d0d42a8..9be5d2df 100644 --- a/include/klee/KDAlloc/suballocators/slot_allocator.h +++ b/include/klee/KDAlloc/suballocators/slot_allocator.h @@ -25,8 +25,7 @@ namespace klee::kdalloc::suballocators { namespace slotallocator { -template<bool UnlimitedQuarantine> -class SlotAllocator; +template <bool UnlimitedQuarantine> class SlotAllocator; struct Data final { /// The reference count. @@ -51,8 +50,7 @@ struct Data final { }; class Control final : public TaggedLogger<Control> { - template<bool UnlimitedQuarantine> - friend class SlotAllocator; + template <bool UnlimitedQuarantine> friend class SlotAllocator; /// pointer to the start of the range managed by this allocator char *baseAddress = nullptr; @@ -161,12 +159,14 @@ public: } }; -template<> +template <> class SlotAllocator<false> final : public TaggedLogger<SlotAllocator<false>> { static_assert(static_cast<std::size_t>(-1) == ~static_cast<std::size_t>(0), "-1 must be ~0 for size_t"); - static_assert(std::is_pod<Data>::value, "Data must be POD"); + static_assert(std::is_trivial<Data>::value && + std::is_standard_layout<Data>::value, + "Data must be POD"); Data *data = nullptr; @@ -533,8 +533,7 @@ public: } }; - -template<> +template <> class SlotAllocator<true> final : public TaggedLogger<SlotAllocator<true>> { std::size_t next; |