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; }