From 20598e3bd2745da2e6d79863e6e6c737a01321d5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Nov 2019 07:16:46 -0800 Subject: [PATCH] address clang warnings Signed-off-by: Nikolaj Bjorner --- src/tactic/fd_solver/smtfd_solver.cpp | 3 +-- src/test/lp/lp.cpp | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/fd_solver/smtfd_solver.cpp b/src/tactic/fd_solver/smtfd_solver.cpp index 7a71b8829..f7aa3d307 100644 --- a/src/tactic/fd_solver/smtfd_solver.cpp +++ b/src/tactic/fd_solver/smtfd_solver.cpp @@ -1531,7 +1531,6 @@ namespace smtfd { unsigned_vector m_toggles_lim; model_ref m_model; std::string m_reason_unknown; - unsigned m_max_lemmas; stats m_stats; unsigned m_max_conflicts; obj_hashtable m_enforced_quantifier; @@ -1644,7 +1643,7 @@ namespace smtfd { expr_ref_vector terms(core); terms.append(m_axioms); - for (unsigned round = 0; !m_context.at_max() && m_context.add_theory_axioms(terms, round); ++round); + for (unsigned round = 0; !m_context.at_max() && m_context.add_theory_axioms(terms, round); ++round) {} TRACE("smtfd", m_context.display(tout);); for (expr* f : m_context) { diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp index 0c243c9c8..d9aee35b0 100644 --- a/src/test/lp/lp.cpp +++ b/src/test/lp/lp.cpp @@ -1776,6 +1776,7 @@ void solve_rational() { solver.find_maximal_solution(); lp_assert(solver.get_status() == lp_status::OPTIMAL); for (const auto & it : expected_sol) { + (void)it; lp_assert(it.second == solver.get_column_value_by_name(it.first)); } }