[cfe-dev] Clang checker: 'beginning of function' hook?

[Aemon Cannon]

I'm working on my first Clang checker, and I would would like to setup
initial state for the symbols referred to by a function's parameters. This
is an* *intraprodedural analysis, and I want a clean slate for the analysis
of each function body, with some initial conditions determined by
annotations in the comments.

I'm not sure which Checker callback is appropriate for this.
checkASTDecl<FunctionDecl> seems promising, but I don't get a
CheckerContext in that callback.

Any thoughts?

Thanks,
Aemon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130902/826e061d/attachment.html>