diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-09-15 07:01:20 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-09-15 07:01:20 +0000 |
| commit | 7b31a61d10851a23664afbd57e51b4ec2c3afd17 (patch) | |
| tree | a38d3c8c6d3b84d1fe24539840057ea1f4d81854 /clang/lib/Analysis/CFG.cpp | |
| parent | 7d9edf670b518e80af18a39366a316f1288280f5 (diff) | |
| download | bcm5719-llvm-7b31a61d10851a23664afbd57e51b4ec2c3afd17.tar.gz bcm5719-llvm-7b31a61d10851a23664afbd57e51b4ec2c3afd17.zip | |
Relax assertion in CFG builder when processing ForStmts. This fixes an assertion failure
on code containing GNU statement expressions reported in PR 8141.
llvm-svn: 113953
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFG.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index e297ec4856c..cc3a3888626 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -991,7 +991,8 @@ CFGBlock* CFGBuilder::VisitForStmt(ForStmt* F) { if (Stmt* C = F->getCond()) { Block = ExitConditionBlock; EntryConditionBlock = addStmt(C); - assert(Block == EntryConditionBlock); + assert(Block == EntryConditionBlock || + (Block == 0 && EntryConditionBlock == Succ)); // If this block contains a condition variable, add both the condition // variable and initializer to the CFG. |
