clang-format fixups

chrisr-diffblue · chrisr-diffblue · commit 54cc8187f6bd · 2018-07-25T17:18:40.000+01:00
diff --git a/src/util/expr.cpp b/src/util/expr.cpp
@@ -176,10 +176,9 @@ bool exprt::is_zero() const
         CHECK_RETURN(false);
       return rat_value.is_zero();
     }
-    else if(type_id==ID_unsignedbv ||
-            type_id==ID_signedbv ||
-            type_id==ID_c_bool ||
-            type_id==ID_c_bit_field)
+    else if(
+      type_id == ID_unsignedbv || type_id == ID_signedbv ||
+      type_id == ID_c_bool || type_id == ID_c_bit_field)
     {
       return constant.value_is_zero_string();
     }

Original file line number	Diff line number	Diff line change
`@@ -176,10 +176,9 @@ bool exprt::is_zero() const`
`176`	`176`	`CHECK_RETURN(false);`
`177`	`177`	`return rat_value.is_zero();`
`178`	`178`	`}`
`179`		`- else if(type_id==ID_unsignedbv \|\|`
`180`		`- type_id==ID_signedbv \|\|`
`181`		`- type_id==ID_c_bool \|\|`
`182`		`- type_id==ID_c_bit_field)`
	`179`	`+ else if(`
	`180`	`+ type_id == ID_unsignedbv \|\| type_id == ID_signedbv \|\|`
	`181`	`+ type_id == ID_c_bool \|\| type_id == ID_c_bit_field)`
`183`	`182`	`{`
`184`	`183`	`return constant.value_is_zero_string();`
`185`	`184`	`}`