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 | 4beaa9f51b2da57c64740cef2bd1c2fdb0c325d5 (patch) | |
| tree | 0a9084d0cf99378e9fc85db7b414b9834bb000e6 /lib/Analysis/CFG.cpp | |
| parent | 383329eef5564ac24a7703574f181d55ccedbab4 (diff) | |
Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113572 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CFG.cpp')
| -rw-r--r-- | lib/Analysis/CFG.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Analysis/CFG.cpp b/lib/Analysis/CFG.cpp index 5977de6090..804476013e 100644 --- a/lib/Analysis/CFG.cpp +++ b/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()); } |