Merge pull request #815 from smowton/smowton/fix/c_bool_is_zero

forejtv · web-flow · commit 827519db9e9b · 2017-04-12T15:14:48.000+01:00
Support ID_C_bool in exprt::is_zero
diff --git a/src/util/expr.cpp b/src/util/expr.cpp
@@ -449,7 +449,9 @@ bool exprt::is_zero() const
         assert(false);
       return rat_value.is_zero();
     }
-    else if(type_id==ID_unsignedbv || type_id==ID_signedbv)
+    else if(type_id==ID_unsignedbv ||
+            type_id==ID_signedbv ||
+            type_id==ID_c_bool)
     {
       return constant.value_is_zero_string();
     }

Original file line number	Diff line number	Diff line change
`@@ -449,7 +449,9 @@ bool exprt::is_zero() const`
`449`	`449`	`assert(false);`
`450`	`450`	`return rat_value.is_zero();`
`451`	`451`	`}`
`452`		`- else if(type_id==ID_unsignedbv \|\| type_id==ID_signedbv)`
	`452`	`+ else if(type_id==ID_unsignedbv \|\|`
	`453`	`+ type_id==ID_signedbv \|\|`
	`454`	`+ type_id==ID_c_bool)`
`453`	`455`	`{`
`454`	`456`	`return constant.value_is_zero_string();`
`455`	`457`	`}`