aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis
diff options
context:
space:
mode:
authorDevang Patel <dpatel@apple.com>2007-07-24 01:02:25 +0000
committerDevang Patel <dpatel@apple.com>2007-07-24 01:02:25 +0000
commit62e279bbdb235e247fa43223ba920f97ae27e4ac (patch)
tree6cfa14dc1f5be3e697d74494b99053f1771648b3 /lib/Analysis
parenta7f98e2919c2e1ac39e6b82b11fd9e3a7aef00a0 (diff)
downloadexternal_llvm-62e279bbdb235e247fa43223ba920f97ae27e4ac.zip
external_llvm-62e279bbdb235e247fa43223ba920f97ae27e4ac.tar.gz
external_llvm-62e279bbdb235e247fa43223ba920f97ae27e4ac.tar.bz2
Unreachable block is not a root node in post dominator tree.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40458 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
-rw-r--r--lib/Analysis/PostDominators.cpp8
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/Analysis/PostDominators.cpp b/lib/Analysis/PostDominators.cpp
index 48f7b30..1188cff 100644
--- a/lib/Analysis/PostDominators.cpp
+++ b/lib/Analysis/PostDominators.cpp
@@ -112,8 +112,12 @@ void PostDominatorTree::calculate(Function &F) {
// relationships. These blocks, which have no successors, end with return and
// unwind instructions.
for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
- if (succ_begin(I) == succ_end(I))
- Roots.push_back(I);
+ if (succ_begin(I) == succ_end(I)) {
+ Instruction *Insn = I->getTerminator();
+ // Unreachable block is not a root node.
+ if (!isa<UnreachableInst>(Insn))
+ Roots.push_back(I);
+ }
Vertex.push_back(0);