From 65dff93e935f3b76537645f0afa1825ebc3f6f68 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 3 Apr 2013 17:11:33 -0700 Subject: [PATCH] fix more compiler warnings Signed-off-by: Nikolaj Bjorner --- src/muz_qe/dl_mk_karr_invariants.cpp | 1 - src/muz_qe/fdd.cpp | 7 +++---- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/src/muz_qe/dl_mk_karr_invariants.cpp b/src/muz_qe/dl_mk_karr_invariants.cpp index 7932735fe..c4a6a3cdb 100644 --- a/src/muz_qe/dl_mk_karr_invariants.cpp +++ b/src/muz_qe/dl_mk_karr_invariants.cpp @@ -1015,7 +1015,6 @@ namespace datalog { virtual void operator()(relation_base & _r) { karr_relation & r = get(_r); - karr_relation_plugin & p = r.get_plugin(); if (m_value.is_int()) { r.get_ineqs(); vector row; diff --git a/src/muz_qe/fdd.cpp b/src/muz_qe/fdd.cpp index 6c3bc0974..6b23f3a3f 100644 --- a/src/muz_qe/fdd.cpp +++ b/src/muz_qe/fdd.cpp @@ -42,11 +42,11 @@ bool node::operator==(node const& other) const { // ------------------------------------------ // manager -manager::manager() : +manager::manager() : + m_alloc_node(2), m_false(0), m_true(1), - m_root(m_false), - m_alloc_node(2) + m_root(m_false) { m_nodes.push_back(node()); // false m_nodes.push_back(node()); // true @@ -183,7 +183,6 @@ node_id manager::insert(unsigned idx, node_id n) { node nd = m_nodes[n]; SASSERT(idx >= nd.var()); - unsigned idx0 = idx; while (idx > nd.var()) { if (idx2bit(idx) && !is_dont_care(idx2key(idx))) { return mk_node(idx, n, insert(idx, n));