Remove now-unnecessary simplify after object_descriptor_exprt::build

smowton · smowton · commit 7d0ce455edb1 · 2019-02-14T08:54:58.000Z
diff --git a/src/goto-symex/symex_clean_expr.cpp b/src/goto-symex/symex_clean_expr.cpp
@@ -72,8 +72,6 @@ process_array_expr(exprt &expr, bool do_simplify, const namespacet &ns)
   {
     object_descriptor_exprt ode;
     ode.build(expr, ns);
-    if(do_simplify)
-      simplify(ode.offset(), ns);
 
     expr = ode.root_object();
 

Original file line number	Diff line number	Diff line change
`@@ -72,8 +72,6 @@ process_array_expr(exprt &expr, bool do_simplify, const namespacet &ns)`
`72`	`72`	`{`
`73`	`73`	`object_descriptor_exprt ode;`
`74`	`74`	`ode.build(expr, ns);`
`75`		`- if(do_simplify)`
`76`		`- simplify(ode.offset(), ns);`
`77`	`75`
`78`	`76`	`expr = ode.root_object();`
`79`	`77`