diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 00:16:07 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-23 00:16:07 +0000 |
| commit | 3f8212787d9bd620930817177fbba5f32659377f (patch) | |
| tree | bf4da2710509de7bbecc8b8ad994c8dc1fad8db1 /lib/StaticAnalyzer/Core/CheckerManager.cpp | |
| parent | fc26107870e0e450d863541179234bf9063a4da7 (diff) | |
[analyzer] Fix CheckerManager::runCheckersForObjCMessage.
It would run PostObjCMessage checkers even for PreObjCMessage checking.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126274 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CheckerManager.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CheckerManager.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/CheckerManager.cpp b/lib/StaticAnalyzer/Core/CheckerManager.cpp index 92e97e1bed..cb7c0ecdb4 100644 --- a/lib/StaticAnalyzer/Core/CheckerManager.cpp +++ b/lib/StaticAnalyzer/Core/CheckerManager.cpp @@ -156,7 +156,10 @@ void CheckerManager::runCheckersForObjCMessage(bool isPreVisit, ExplodedNodeSet &Src, const ObjCMessage &msg, ExprEngine &Eng) { - CheckObjCMessageContext C(isPreVisit, PostObjCMessageCheckers, msg, Eng); + CheckObjCMessageContext C(isPreVisit, + isPreVisit ? PreObjCMessageCheckers + : PostObjCMessageCheckers, + msg, Eng); runPathSensitiveCheckers(C, Dst, Src); } |