From d121d031e9d311717246f4b70e35d966c757fb1b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 6 Sep 2015 14:15:08 -0700 Subject: [PATCH] fix unintialized memory read exposed by nightly build Signed-off-by: Nikolaj Bjorner --- src/qe/qe_sat_tactic.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/qe/qe_sat_tactic.cpp b/src/qe/qe_sat_tactic.cpp index 7e1642872..35be20660 100644 --- a/src/qe/qe_sat_tactic.cpp +++ b/src/qe/qe_sat_tactic.cpp @@ -323,9 +323,11 @@ namespace qe { void init_Ms() { for (unsigned i = 0; i <= num_alternations(); ++i) { - m_Ms.push_back(m.mk_true()); m_fparamv.push_back(m_fparams); - m_solvers.push_back(alloc(smt::kernel, m, m_fparamv.back(), m_params)); + } + for (unsigned i = 0; i <= num_alternations(); ++i) { + m_Ms.push_back(m.mk_true()); + m_solvers.push_back(alloc(smt::kernel, m, m_fparamv[i], m_params)); } m_Ms[m_Ms.size()-1] = m_fml; m_solvers.back()->assert_expr(m_fml);