Fix for compilers (notably: g++ running on travis-ci) reporting spurious missing return values

tautschnig · tautschnig · commit 66769708d2a1 · 2016-06-20T00:38:35.000+01:00
diff --git 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(

Original file line number	Diff line number	Diff line change
`@@ -70,6 +70,10 @@ class bmc_all_propertiest:`
`70`	`70`	`case SUCCESS: return "SUCCESS";`
`71`	`71`	`case ERROR: return "ERROR";`
`72`	`72`	`}`
	`73`	`+`
	`74`	`+ // make some poor compilers happy`
	`75`	`+ assert(false);`
	`76`	`+ return "";`
`73`	`77`	`}`
`74`	`78`
`75`	`79`	`explicit goalt(`