[cfe-commits] r150112 - in /cfe/trunk: lib/StaticAnalyzer/Checkers/MallocChecker.cpp test/Analysis/malloc.c

[Ted Kremenek]

On Feb 8, 2012, at 4:08 PM, Anna Zaks wrote:

> So when a function is inlined, the checker is going to see  something like this :
> 
> check::PreStmt<CallExpr>
>   // All the callbacks corresponding to the inlined body evaluation:
>   check::PreStmt<Stmt>
>   ...
> check::PostStmt<CallExpr>

Yes.

> 
> When the function is not inlined:
> 
> check::PreStmt<CallExpr>
>   // The special summary callback or EscapedSymbol callback for every parameter.
>   check::CallSummary
>   ...
> check::PostStmt<CallExpr>
> 
> Anna.

Yes.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20120208/1ea19d27/attachment.html>