r188574 - Need summary info. about arguments to

Jordan Rose jordan_rose at apple.com
Fri Aug 16 13:37:34 PDT 2013


This isn't correct -- getMethodSummary and getFunctionSummary already do this where allowed, and they handle the special cases where the analyzer hardcodes better effects than what the annotations say. What problem were you seeing?

Jordan

On Aug 16, 2013, at 13:23 , Fariborz Jahanian <fjahanian at apple.com> wrote:

> 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));\
> 
> 
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits




More information about the cfe-commits mailing list