diff options
Diffstat (limited to 'include/klee/KDAlloc/suballocators/loh.h')
| -rw-r--r-- | include/klee/KDAlloc/suballocators/loh.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/klee/KDAlloc/suballocators/loh.h b/include/klee/KDAlloc/suballocators/loh.h index 62386182..4b99942b 100644 --- a/include/klee/KDAlloc/suballocators/loh.h +++ b/include/klee/KDAlloc/suballocators/loh.h @@ -193,7 +193,9 @@ public: LargeObjectAllocator(LargeObjectAllocator &&rhs) noexcept : data(std::exchange(rhs.data, nullptr)) { - assert(data->referenceCount > 0); + if (data) { + assert(data->referenceCount > 0); + } } LargeObjectAllocator &operator=(LargeObjectAllocator &&rhs) noexcept { |