From 6388940391f7563b0b367468e18da7dda8c4bfa7 Mon Sep 17 00:00:00 2001
From: reuk <reuk@users.noreply.github.com>
Date: Wed, 29 Nov 2017 14:20:45 +0000
Subject: [PATCH] Fix 'missing return statement' errors in miniBDD_new

---
 unit/miniBDD_new.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/unit/miniBDD_new.cpp b/unit/miniBDD_new.cpp
index b61b0e54093..14ae84e668e 100644
--- 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;