From 5c289b18c7bf80d562ee60c91c0de6b5d42614c0 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Wed, 12 Apr 2017 14:33:08 +0100
Subject: [PATCH] Support ID_C_bool in exprt::is_zero

---
 src/util/expr.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/util/expr.cpp b/src/util/expr.cpp
index 963def60b12..3b480e4bfe2 100644
--- 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();
     }