diff options
author | Devang Patel <dpatel@apple.com> | 2007-07-24 01:02:25 +0000 |
---|---|---|
committer | Devang Patel <dpatel@apple.com> | 2007-07-24 01:02:25 +0000 |
commit | 62e279bbdb235e247fa43223ba920f97ae27e4ac (patch) | |
tree | 6cfa14dc1f5be3e697d74494b99053f1771648b3 /lib/Analysis/PostDominators.cpp | |
parent | a7f98e2919c2e1ac39e6b82b11fd9e3a7aef00a0 (diff) |
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/PostDominators.cpp')
-rw-r--r-- | lib/Analysis/PostDominators.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/Analysis/PostDominators.cpp b/lib/Analysis/PostDominators.cpp index 48f7b30866..1188cff030 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); |