From cceb06eebe931a5d933a45e70519aa61b90eddc1 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 15 Jul 2010 04:48:22 +0000 Subject: Reduce variable shadowing. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108405 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Searcher.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'lib') diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp index 6fa75a26..d08cd1b1 100644 --- a/lib/Core/Searcher.cpp +++ b/lib/Core/Searcher.cpp @@ -440,9 +440,9 @@ void MergingSearcher::update(ExecutionState *current, for (std::set::const_iterator it = removedStates.begin(), ie = removedStates.end(); it != ie; ++it) { ExecutionState *es = *it; - std::set::const_iterator it = statesAtMerge.find(es); - if (it!=statesAtMerge.end()) { - statesAtMerge.erase(it); + std::set::const_iterator it2 = statesAtMerge.find(es); + if (it2 != statesAtMerge.end()) { + statesAtMerge.erase(it2); alt.erase(alt.find(es)); } } @@ -523,8 +523,8 @@ void IterativeDeepeningTimeSearcher::update(ExecutionState *current, for (std::set::const_iterator it = removedStates.begin(), ie = removedStates.end(); it != ie; ++it) { ExecutionState *es = *it; - std::set::const_iterator it = pausedStates.find(es); - if (it!=pausedStates.end()) { + std::set::const_iterator it2 = pausedStates.find(es); + if (it2 != pausedStates.end()) { pausedStates.erase(it); alt.erase(alt.find(es)); } -- cgit 1.4.1