[analyzer] Add checker callback for beginning of function.
authorDevin Coughlin <dcoughlin@apple.com>
Fri, 19 Feb 2016 01:35:10 +0000 (01:35 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Fri, 19 Feb 2016 01:35:10 +0000 (01:35 +0000)
commit8d922aa746a1cdf951dc12f43b86139c68f23e57
treeff80bda6a69d3002abbdfd870422c1f117b58d88
parentbde5ede5261062a838d57651ace09c35d3ebcdc8
[analyzer] Add checker callback for beginning of function.

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.

Differential Revision: http://reviews.llvm.org/D17418

llvm-svn: 261293
14 files changed:
clang/include/clang/Analysis/ProgramPoint.h
clang/include/clang/StaticAnalyzer/Core/Checker.h
clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp
clang/lib/StaticAnalyzer/Checkers/TraversalChecker.cpp
clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
clang/test/Analysis/traversal-begin-end-function.c [new file with mode: 0644]
clang/test/Analysis/traversal-path-unification.c