From 66769708d2a1bf1a9ee0d00a090805f044cfcc20 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Mon, 20 Jun 2016 00:38:35 +0100
Subject: [PATCH] Fix for compilers (notably: g++ running on travis-ci)
 reporting spurious missing return values

---
 src/cbmc/all_properties.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/cbmc/all_properties.cpp b/src/cbmc/all_properties.cpp
index b1e0e3a8ab9..e7c0e8274cb 100644
--- a/src/cbmc/all_properties.cpp
+++ b/src/cbmc/all_properties.cpp
@@ -70,6 +70,10 @@ class bmc_all_propertiest:
       case SUCCESS: return "SUCCESS";
       case ERROR: return "ERROR";
       }
+
+      // make some poor compilers happy
+      assert(false);
+      return "";
     }
     
     explicit goalt(