mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

double free

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-06-12 09:13:22 -07:00
parent cd3e977991
commit 5663aa0b16
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/prime_generator.cpp
View file

@ -83,6 +83,7 @@ void prime_generator::process_next_k_numbers(uint64_t k) {
void prime_generator::finalize() { void prime_generator::finalize() {
m_primes.finalize(); m_primes.finalize();
dealloc(m_mux); dealloc(m_mux);
m_mux = nullptr;
} }
uint64_t prime_generator::operator()(unsigned idx) { uint64_t prime_generator::operator()(unsigned idx) {
@ -129,5 +130,4 @@ uint64_t prime_iterator::next() {
void prime_iterator::finalize() { void prime_iterator::finalize() {
g_prime_generator.finalize(); g_prime_generator.finalize();
dealloc(g_prime_generator.m_mux);
} }