Merge pull request #3253 from tautschnig/no-move_to_operands

smowton · web-flow · commit 7a4545c8b8b1 · 2018-11-01T14:05:42.000Z
Do not use exprt::move_to_operands as it is marked as deprecated
diff --git a/src/util/expr.cpp b/src/util/expr.cpp
@@ -104,8 +104,7 @@ void exprt::make_not()
   }
   else
   {
-    new_expr=exprt(ID_not, type());
-    new_expr.move_to_operands(*this);
+    new_expr = not_exprt(*this);
   }
 
   swap(new_expr);

Original file line number	Diff line number	Diff line change
`@@ -104,8 +104,7 @@ void exprt::make_not()`
`104`	`104`	`}`
`105`	`105`	`else`
`106`	`106`	`{`
`107`		`- new_expr=exprt(ID_not, type());`
`108`		`- new_expr.move_to_operands(*this);`
	`107`	`+ new_expr = not_exprt(*this);`
`109`	`108`	`}`
`110`	`109`
`111`	`110`	`swap(new_expr);`