diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-09-10 03:05:33 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-09-10 03:05:33 +0000 |
| commit | ed12f1b9f9d689fceae4c704019fb41837bc2375 (patch) | |
| tree | 92e2396ba5bf17904df96865f0f641bb5be9d368 /clang/lib/Analysis/CFG.cpp | |
| parent | c9800667e406820f0633a5085220d133c1ae93d4 (diff) | |
| download | bcm5719-llvm-ed12f1b9f9d689fceae4c704019fb41837bc2375.tar.gz bcm5719-llvm-ed12f1b9f9d689fceae4c704019fb41837bc2375.zip | |
Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers).
llvm-svn: 113572
Diffstat (limited to 'clang/lib/Analysis/CFG.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFG.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFG.cpp b/clang/lib/Analysis/CFG.cpp index 5977de60906..804476013ef 100644 --- a/clang/lib/Analysis/CFG.cpp +++ b/clang/lib/Analysis/CFG.cpp @@ -1244,6 +1244,10 @@ CFGBlock* CFGBuilder::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt* S) { Succ = SyncBlock; } + // Add the @synchronized to the CFG. + autoCreateBlock(); + AppendStmt(Block, S, AddStmtChoice::AlwaysAdd); + // Inline the sync expression. return addStmt(S->getSynchExpr()); } |
