Incorporate any changes in the successor blocks into the result of

MarkAliveBlocks.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32375 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/SimplifyCFG.cpp b/lib/Transforms/Scalar/SimplifyCFG.cpp
index 0da53a3aab203f78c318b3bdbe881e1d704c6a31..175dd3b3bf60615cf21e29e31458b4af93df9e14 100644 (file)
--- a/lib/Transforms/Scalar/SimplifyCFG.cpp
+++ b/lib/Transforms/Scalar/SimplifyCFG.cpp
@@ -73,7 +73,7 @@ static bool MarkAliveBlocks(BasicBlock *BB, std::set<BasicBlock*> &Reachable) {
 
   bool Changed = ConstantFoldTerminator(BB);
   for (succ_iterator SI = succ_begin(BB), SE = succ_end(BB); SI != SE; ++SI)
-    MarkAliveBlocks(*SI, Reachable);
+    Changed |= MarkAliveBlocks(*SI, Reachable);
 
   return Changed;
 }