Merge pull request diffblue#349 from diffblue/owen-jones-diffblue/fix-compilation-for-release

owen-jones-diffblue · web-flow · commit 906aeb389082 · 2018-03-09T13:45:25.000Z
Replace assert(X) by UNREACHABLE/INVARIANT(X)
diff --git a/src/solvers/flattening/boolbv_get.cpp b/src/solvers/flattening/boolbv_get.cpp
@@ -233,7 +233,7 @@ exprt boolbvt::bv_get_rec(
        case tvt::tv_enumt::TV_FALSE: ch='0'; break;
        case tvt::tv_enumt::TV_TRUE:  ch='1'; break;
        case tvt::tv_enumt::TV_UNKNOWN: ch='0'; break;
-       default: assert(false);
+       default: UNREACHABLE;
       }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -233,7 +233,7 @@ exprt boolbvt::bv_get_rec(`
`233`	`233`	`case tvt::tv_enumt::TV_FALSE: ch='0'; break;`
`234`	`234`	`case tvt::tv_enumt::TV_TRUE: ch='1'; break;`
`235`	`235`	`case tvt::tv_enumt::TV_UNKNOWN: ch='0'; break;`
`236`		`- default: assert(false);`
	`236`	`+ default: UNREACHABLE;`
`237`	`237`	`}`
`238`	`238`	`}`
`239`	`239`