We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d6b0120 commit 3968a2dCopy full SHA for 3968a2d
src/goto-symex/symex_goto.cpp
@@ -34,10 +34,10 @@ void goto_symext::symex_goto(statet &state)
34
return; // nothing to do
35
}
36
37
- exprt old_guard = instruction.get_condition();
38
- clean_expr(old_guard, state, false);
+ exprt new_guard = instruction.get_condition();
+ clean_expr(new_guard, state, false);
39
40
- exprt new_guard = state.rename(old_guard, ns);
+ new_guard = state.rename(std::move(new_guard), ns);
41
do_simplify(new_guard);
42
43
if(new_guard.is_false())
0 commit comments