diff options
| -rw-r--r-- | lib/Module/PhiCleaner.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/Module/PhiCleaner.cpp b/lib/Module/PhiCleaner.cpp index 3d8d7867..eff3d495 100644 --- a/lib/Module/PhiCleaner.cpp +++ b/lib/Module/PhiCleaner.cpp @@ -40,13 +40,9 @@ bool klee::PhiCleanerPass::runOnFunction(Function &f) { break; if (i!=numBlocks) { - std::vector<Value*> values; - values.reserve(numBlocks); - for (unsigned i=0; i<numBlocks; i++) - values[i] = pi->getIncomingValueForBlock(reference->getIncomingBlock(i)); for (unsigned i=0; i<numBlocks; i++) { pi->setIncomingBlock(i, reference->getIncomingBlock(i)); - pi->setIncomingValue(i, values[i]); + pi->setIncomingValue(i, pi->getIncomingValueForBlock(reference->getIncomingBlock(i))); } changed = true; } |