From 5663aa0b16a43601f5b07456cdecb568612cb899 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 12 Jun 2019 09:13:22 -0700 Subject: [PATCH] double free Signed-off-by: Nikolaj Bjorner --- src/util/prime_generator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp index d0b2cf6cf..f6ef57c26 100644 --- a/src/util/prime_generator.cpp +++ b/src/util/prime_generator.cpp @@ -83,6 +83,7 @@ void prime_generator::process_next_k_numbers(uint64_t k) { void prime_generator::finalize() { m_primes.finalize(); dealloc(m_mux); + m_mux = nullptr; } uint64_t prime_generator::operator()(unsigned idx) { @@ -129,5 +130,4 @@ uint64_t prime_iterator::next() { void prime_iterator::finalize() { g_prime_generator.finalize(); - dealloc(g_prime_generator.m_mux); }