From 4c09b7d792d229669ddd539cc1b6a9d0397bc0c1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 6 Jan 2020 04:58:28 -0800 Subject: [PATCH] build warnings Signed-off-by: Nikolaj Bjorner --- src/math/dd/dd_pdd.cpp | 2 ++ src/sat/sat_cutset.h | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp index fdaf1347d..91d967e76 100644 --- a/src/math/dd/dd_pdd.cpp +++ b/src/math/dd/dd_pdd.cpp @@ -332,7 +332,9 @@ namespace dd { npop = 3; break; default: + r = null_pdd; UNREACHABLE(); + break; } pop(npop); e1->m_result = r; diff --git a/src/sat/sat_cutset.h b/src/sat/sat_cutset.h index 9dd9981df..1ed343f64 100644 --- a/src/sat/sat_cutset.h +++ b/src/sat/sat_cutset.h @@ -22,7 +22,7 @@ namespace sat { unsigned m_size; unsigned m_elems[6]; uint64_t m_table; - cut(): m_filter(0), m_size(0), m_table(0), max_cut_size(6) {} + cut(): max_cut_size(6), m_filter(0), m_size(0), m_table(0) {} cut(unsigned id): m_filter(1u << (id & 0x1F)), m_size(1), m_table(2) { m_elems[0] = id; }