diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-07-30 20:22:09 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-07-30 20:22:09 +0000 |
| commit | fcd016e57ec6b1a24df7999e062ec2d2198fb69f (patch) | |
| tree | 9979f2bc8aab87c8283769f1955610314051d266 /clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | |
| parent | 01c0a2768f905d9d1a67eab789c7dba7ae5ab74b (diff) | |
| download | bcm5719-llvm-fcd016e57ec6b1a24df7999e062ec2d2198fb69f.tar.gz bcm5719-llvm-fcd016e57ec6b1a24df7999e062ec2d2198fb69f.zip | |
[analyzer] Only allow CallEvents to be created by CallEventManager.
This ensures that it is valid to reference-count any CallEvents, and we
won't accidentally try to reclaim a CallEvent that lives on the stack.
It also hides an ugly switch statement for handling CallExprs!
There should be no functionality change here.
llvm-svn: 160986
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CheckerManager.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/CheckerManager.cpp | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp index 5e3ce7a72dc..e1d6a261932 100644 --- a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp @@ -192,15 +192,10 @@ namespace { void runChecker(CheckerManager::CheckObjCMessageFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) { - ProgramPoint::Kind K = IsPreVisit ? ProgramPoint::PreStmtKind : - ProgramPoint::PostStmtKind; - const ProgramPoint &L = - ProgramPoint::getProgramPoint(Msg.getOriginExpr(), - K, Pred->getLocationContext(), - checkFn.Checker); + const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker); CheckerContext C(Bldr, Eng, Pred, L); - checkFn(Msg, C); + checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); } }; } @@ -237,10 +232,10 @@ namespace { void runChecker(CheckerManager::CheckCallFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) { - const ProgramPoint &L = Call.getProgramPoint(IsPreVisit, checkFn.Checker); + const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker); CheckerContext C(Bldr, Eng, Pred, L); - checkFn(Call, C); + checkFn(*Call.cloneWithState(Pred->getState()), C); } }; } |

