[cfe-commits] r126274 - /cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp
Argyrios Kyrtzidis
akyrtzi at gmail.com
Tue Feb 22 16:16:07 PST 2011
Author: akirtzidis
Date: Tue Feb 22 18:16:07 2011
New Revision: 126274
URL: http://llvm.org/viewvc/llvm-project?rev=126274&view=rev
Log:
[analyzer] Fix CheckerManager::runCheckersForObjCMessage.
It would run PostObjCMessage checkers even for PreObjCMessage checking.
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp?rev=126274&r1=126273&r2=126274&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CheckerManager.cpp Tue Feb 22 18:16:07 2011
@@ -156,7 +156,10 @@
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);
}
More information about the cfe-commits
mailing list