aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNAKAMURA Takumi <geek4civic@gmail.com>2011-08-09 23:13:05 +0000
committerNAKAMURA Takumi <geek4civic@gmail.com>2011-08-09 23:13:05 +0000
commit77c714027ce4188be0af75b05cbbd493221fc22f (patch)
tree92d6aa5466c5f82ffbc35e43a5f9aedb6b7d5654
parent8fc9b3db536f1523263e8b380899fb4d7df23ce1 (diff)
downloadexternal_llvm-77c714027ce4188be0af75b05cbbd493221fc22f.zip
external_llvm-77c714027ce4188be0af75b05cbbd493221fc22f.tar.gz
external_llvm-77c714027ce4188be0af75b05cbbd493221fc22f.tar.bz2
VMCore/BasicBlock.cpp: Don't assume BasicBlock::iterator might end with a non-PHInode Instruction in successors.
Frontends(eg. clang) might pass incomplete form of IR, to step off the way beyond iterator end. In the case I had met, it took infinite loop due to meeting bogus PHInode. Thanks to Jay Foad and John McCall. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137175 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/VMCore/BasicBlock.cpp8
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/VMCore/BasicBlock.cpp b/lib/VMCore/BasicBlock.cpp
index df6d1f4..5fab1d3 100644
--- a/lib/VMCore/BasicBlock.cpp
+++ b/lib/VMCore/BasicBlock.cpp
@@ -336,8 +336,12 @@ void BasicBlock::replaceSuccessorsPhiUsesWith(BasicBlock *New) {
return;
for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i) {
BasicBlock *Succ = TI->getSuccessor(i);
- for (iterator II = Succ->begin(); PHINode *PN = dyn_cast<PHINode>(II);
- ++II) {
+ // N.B. Succ might not be a complete BasicBlock, so don't assume
+ // that it ends with a non-phi instruction.
+ for (iterator II = Succ->begin(), IE = Succ->end(); II != IE; ++II) {
+ PHINode *PN = dyn_cast<PHINode>(II);
+ if (!PN)
+ break;
int i;
while ((i = PN->getBasicBlockIndex(this)) >= 0)
PN->setIncomingBlock(i, New);