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.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
