Fix 'missing return statement' errors in miniBDD_new

smowton · Dec 6, 2017 · 6388940 · 6388940
1 parent c99c2e4
commit 6388940
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp
@@ -64,6 +64,7 @@ class bdd_propt:public propt
   literalt lor(literalt a, literalt b) override
   {
     UNREACHABLE;
+    return {};
   }
 
   literalt land(const bvt &bv) override
@@ -94,16 +95,19 @@ class bdd_propt:public propt
   literalt lxor(const bvt &bv) override
   {
     UNREACHABLE;
+    return {};
   }
 
   literalt lnand(literalt a, literalt b) override
   {
     UNREACHABLE;
+    return {};
   }
 
   literalt lnor(literalt a, literalt b) override
   {
     UNREACHABLE;
+    return {};
   }
 
   literalt lequal(literalt a, literalt b) override
@@ -114,11 +118,13 @@ class bdd_propt:public propt
   literalt limplies(literalt a, literalt b) override
   {
     UNREACHABLE;
+    return {};
   }
 
   literalt lselect(literalt a, literalt b, literalt c) override
   {
     UNREACHABLE;
+    return {};
   }
 
   void lcnf(const bvt &bv) override
@@ -144,11 +150,13 @@ class bdd_propt:public propt
   resultt prop_solve() override
   {
     UNREACHABLE;
+    return {};
   }
 
   tvt l_get(literalt a) const override
   {
     UNREACHABLE;
+    return {};
   }
 
   expanding_vectort<mini_bddt> bdd_map;