diff options
author | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-05-03 15:48:34 +0000 |
---|---|---|
committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2013-05-03 15:48:34 +0000 |
commit | a7ddc9820693e6f71f1d469ee938dd3c7c80d6f3 (patch) | |
tree | 192893f2983d223e09e2d2480c8883350c14c472 /llvm/lib/Analysis/RegionInfo.cpp | |
parent | 5b5a6e016262d1adf444757a5846095e943a71c7 (diff) | |
download | bcm5719-llvm-a7ddc9820693e6f71f1d469ee938dd3c7c80d6f3.tar.gz bcm5719-llvm-a7ddc9820693e6f71f1d469ee938dd3c7c80d6f3.zip |
RegionInfo: Do not crash if unreachable block is found
llvm-svn: 181025
Diffstat (limited to 'llvm/lib/Analysis/RegionInfo.cpp')
-rw-r--r-- | llvm/lib/Analysis/RegionInfo.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/RegionInfo.cpp b/llvm/lib/Analysis/RegionInfo.cpp index 81ef6505e61..857702570f2 100644 --- a/llvm/lib/Analysis/RegionInfo.cpp +++ b/llvm/lib/Analysis/RegionInfo.cpp @@ -114,7 +114,8 @@ void Region::replaceExitRecursive(BasicBlock *NewExit) { bool Region::contains(const BasicBlock *B) const { BasicBlock *BB = const_cast<BasicBlock*>(B); - assert(DT->getNode(BB) && "BB not part of the dominance tree"); + if (!DT->getNode(BB)) + return false; BasicBlock *entry = getEntry(), *exit = getExit(); |