aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-09-14 01:13:32 +0000
committerTed Kremenek <kremenek@apple.com>2010-09-14 01:13:32 +0000
commit44f8ef13a3af125eecd408d0fad79a4a1eda5366 (patch)
tree25067f59635493eb7f23f487b5e1dc7bfe1d7178 /lib
parent4ada2ca7d82dab68d3646f3eb6dcdfee072e8ea4 (diff)
Fix CFGBuilder crash reported in PR 8141.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113826 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r--lib/Analysis/CFG.cpp8
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/Analysis/CFG.cpp b/lib/Analysis/CFG.cpp
index 02ff218851..15699dbca4 100644
--- a/lib/Analysis/CFG.cpp
+++ b/lib/Analysis/CFG.cpp
@@ -525,8 +525,12 @@ CFGBlock *CFGBuilder::VisitBinaryOperator(BinaryOperator *B,
AppendStmt(Block, B, asc);
}
- Visit(B->getRHS());
- return Visit(B->getLHS(), AddStmtChoice::AsLValueNotAlwaysAdd);
+ // If visiting RHS causes us to finish 'Block' and the LHS doesn't
+ // create a new block, then we should return RBlock. Otherwise
+ // we'll incorrectly return NULL.
+ CFGBlock *RBlock = Visit(B->getRHS());
+ CFGBlock *LBlock = Visit(B->getLHS(), AddStmtChoice::AsLValueNotAlwaysAdd);
+ return LBlock ? LBlock : RBlock;
}
return VisitStmt(B, asc);