r188574 - Need summary info. about arguments to
Fariborz Jahanian
fjahanian at apple.com
Fri Aug 16 13:23:36 PDT 2013
Author: fjahanian
Date: Fri Aug 16 15:23:36 2013
New Revision: 188574
URL: http://llvm.org/viewvc/llvm-project?rev=188574&view=rev
Log:
Need summary info. about arguments to
CF functions coming from static analyzer API.
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp?rev=188574&r1=188573&r2=188574&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp Fri Aug 16 15:23:36 2013
@@ -3701,6 +3701,7 @@ namespace clang { namespace ento { names
const RetainSummary *S = M.get ## KIND ## Summary(D);\
CallEffects CE(S->getRetEffect());\
CE.Receiver = S->getReceiverEffect();\
+ M.updateSummaryFromAnnotations(S, D);\
unsigned N = S->getNumArgs();\
for (unsigned i = 0; i < N; ++i) {\
CE.Args.push_back(S->getArg(i));\
More information about the cfe-commits
mailing list