From e8cabdc6202b616062804e89a431a06ff61577f3 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Mon, 21 May 2018 17:42:56 -0700 Subject: [PATCH] Uninitialized variable --- src/muz/spacer/spacer_context.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 044c0f091..df945d9bb 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -2082,7 +2082,7 @@ void context::init_rules(datalog::rule_set& rules, decl2rel& rels) // for (auto it = rels.begin(), end = rels.end(); it != end; ++it) { for (auto &entry : rels) { func_decl* pred = entry.m_key; - pred_transformer* pt = entry.m_value, *pt_user; + pred_transformer* pt = entry.m_value, *pt_user = nullptr; for (auto dep : rules.get_dependencies().get_deps(pred)) { TRACE("spacer", tout << mk_pp(pred, m) << " " << mk_pp(dep, m) << "\n";); rels.find(dep, pt_user);