From ee2f54ccd435af13286d6cd6f2e1643493c7d393 Mon Sep 17 00:00:00 2001 From: Owen Date: Wed, 27 Feb 2019 16:53:03 +0000 Subject: [PATCH] Minor refactoring in symex_goto Create one fewer exprt - old_guard isn't used later --- src/goto-symex/symex_goto.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/goto-symex/symex_goto.cpp b/src/goto-symex/symex_goto.cpp index 50a1b9c71a9..5e2b967d819 100644 --- a/src/goto-symex/symex_goto.cpp +++ b/src/goto-symex/symex_goto.cpp @@ -34,10 +34,10 @@ void goto_symext::symex_goto(statet &state) return; // nothing to do } - exprt old_guard = instruction.get_condition(); - clean_expr(old_guard, state, false); + exprt new_guard = instruction.get_condition(); + clean_expr(new_guard, state, false); - exprt new_guard = state.rename(old_guard, ns); + new_guard = state.rename(std::move(new_guard), ns); do_simplify(new_guard); if(new_guard.is_false())