diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-05-13 16:38:08 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-05-13 16:38:08 +0000 |
commit | ecc31c93c2a847f54db8fa978800fb4c8287b853 (patch) | |
tree | 94a1745d6fdb00d88b013036f44be8d9c8030d1b /clang/lib/Analysis/CFG.cpp | |
parent | d321413e3de506a0e24ef36d4685e520457511a8 (diff) | |
download | bcm5719-llvm-ecc31c93c2a847f54db8fa978800fb4c8287b853.tar.gz bcm5719-llvm-ecc31c93c2a847f54db8fa978800fb4c8287b853.zip |
Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty.
Fixes <rdar://problem/7979430>.
llvm-svn: 103717
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
-rw-r--r-- | clang/lib/Analysis/CFG.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index 7f71e0acf7a..c7eb53d3613 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -1223,10 +1223,9 @@ CFGBlock* CFGBuilder::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt* S) { return 0; Block = 0; + Succ = SyncBlock; } - Succ = SyncBlock; - // Inline the sync expression. return addStmt(S->getSynchExpr()); } |