Merge pull request #3790 from tautschnig/deprecation-implies_exprt

Daniel Kroening · web-flow · commit abb78df0dabf · 2019-01-13T14:14:31.000Z
Construct implies_exprt in a non-deprecated way
diff --git a/src/util/guard.cpp b/src/util/guard.cpp
@@ -32,9 +32,7 @@ void guardt::guard_expr(exprt &dest) const
     }
     else
     {
-      implies_exprt tmp;
-      tmp.op0()=as_expr();
-      tmp.op1().swap(dest);
+      implies_exprt tmp(as_expr(), dest);
       dest.swap(tmp);
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -32,9 +32,7 @@ void guardt::guard_expr(exprt &dest) const`
`32`	`32`	`}`
`33`	`33`	`else`
`34`	`34`	`{`
`35`		`- implies_exprt tmp;`
`36`		`- tmp.op0()=as_expr();`
`37`		`- tmp.op1().swap(dest);`
	`35`	`+ implies_exprt tmp(as_expr(), dest);`
`38`	`36`	`dest.swap(tmp);`
`39`	`37`	`}`
`40`	`38`	`}`