Avoid redundant do_simplify

romainbrenguier · romainbrenguier · commit 4a39dfda3751 · 2019-01-11T14:04:36.000Z
diff --git a/src/goto-symex/symex_goto.cpp b/src/goto-symex/symex_goto.cpp
@@ -106,7 +106,6 @@ void goto_symext::symex_goto(statet &state)
   }
 
   exprt simpl_state_guard = state.guard.as_expr();
-  do_simplify(simpl_state_guard);
 
   // No point executing both branches of an unconditional goto.
   if(

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,6 @@ void goto_symext::symex_goto(statet &state)`
`106`	`106`	`}`
`107`	`107`
`108`	`108`	`exprt simpl_state_guard = state.guard.as_expr();`
`109`		`- do_simplify(simpl_state_guard);`
`110`	`109`
`111`	`110`	`// No point executing both branches of an unconditional goto.`
`112`	`111`	`if(`