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

Aemon Cannon aemoncannon at gmail.com
Tue Sep 3 12:13:04 PDT 2013


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/20130903/900b8919/attachment.html>


More information about the cfe-dev mailing list