This is an archive of the discontinued LLVM Phabricator instance.

[analyzer] Add checker callback for beginning of function.
ClosedPublic

Authored by dcoughlin on Feb 18 2016, 2:39 PM.

Details

Summary

Add a checker callback that is called when the analyzer starts analyzing a
function either at the top level or when inlined. This will be used by a
follow-on patch making the DeallocChecker path sensitive.

Diff Detail

Event Timeline

dcoughlin updated this revision to Diff 48406.Feb 18 2016, 2:39 PM
dcoughlin retitled this revision from to [analyzer] Add checker callback for beginning of function..
dcoughlin updated this object.
dcoughlin added a reviewer: zaks.anna.
dcoughlin added a subscriber: cfe-commits.
zaks.anna accepted this revision.Feb 18 2016, 5:06 PM
zaks.anna edited edge metadata.

LGTM with a request for a tiny other improvement in the documentation.
Thanks!

include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
111

Is this called for non-inlined functions? It would be worth updating the comments for this one as well.

This revision is now accepted and ready to land.Feb 18 2016, 5:06 PM
dcoughlin marked an inline comment as done.Feb 18 2016, 5:27 PM
This revision was automatically updated to reflect the committed changes.