Update src/util/simplify_expr_pointer.cpp

owen-jones-diffblue · tautschnig · web-flow · commit 3c9f1b10cf68 · 2019-05-08T18:27:53.000+03:00
Co-Authored-By: tautschnig &lt;mt@debian.org&gt;
diff --git a/src/util/simplify_expr_pointer.cpp b/src/util/simplify_expr_pointer.cpp
@@ -459,7 +459,7 @@ bool simplify_exprt::simplify_inequality_address_of(exprt &expr)
     return false;
   }
   else if(
-    (tmp0.op0().id() == ID_symbol && tmp1.op0().id() == ID_dynamic_object) &&
+    (tmp0.op0().id() == ID_symbol && tmp1.op0().id() == ID_dynamic_object) ||
     (tmp0.op0().id() == ID_dynamic_object && tmp1.op0().id() == ID_symbol))
   {
     expr.make_bool(expr.id() != ID_equal);

Original file line number	Diff line number	Diff line change
`@@ -459,7 +459,7 @@ bool simplify_exprt::simplify_inequality_address_of(exprt &expr)`
`459`	`459`	`return false;`
`460`	`460`	`}`
`461`	`461`	`else if(`
`462`		`- (tmp0.op0().id() == ID_symbol && tmp1.op0().id() == ID_dynamic_object) &&`
	`462`	`+ (tmp0.op0().id() == ID_symbol && tmp1.op0().id() == ID_dynamic_object) \|\|`
`463`	`463`	`(tmp0.op0().id() == ID_dynamic_object && tmp1.op0().id() == ID_symbol))`
`464`	`464`	`{`
`465`	`465`	`expr.make_bool(expr.id() != ID_equal);`