commit | 747797f0b494ab4c708c22f787c5e3c56895bc3d | [log] [tgz] |
---|---|---|
author | Fariborz Jahanian <fjahanian@apple.com> | Fri Aug 16 20:23:36 2013 +0000 |
committer | Fariborz Jahanian <fjahanian@apple.com> | Fri Aug 16 20:23:36 2013 +0000 |
tree | 5fa3b76be38de58fb7c5b0b18bf59ae6123d8dfa | |
parent | 6b725d120b6b068d9ec3a224133b21c55b5e8bef [diff] |
Need summary info. about arguments to CF functions coming from static analyzer API. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@188574 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp index 1a1fa4e..b85d58b 100644 --- a/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
@@ -3701,6 +3701,7 @@ 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));\