]> granicus.if.org Git - clang/commit
[analyze] Convert EndOfPath callback to use CheckerContext
authorAnna Zaks <ganna@apple.com>
Tue, 25 Oct 2011 19:56:48 +0000 (19:56 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 25 Oct 2011 19:56:48 +0000 (19:56 +0000)
commitaf498a28797c075c48d7e943df5f5a8e78ed8eb0
tree49186d578c20198b3b26cad2a5a743e037db8aa0
parent7fe3878a36750515fb9772414ecb2489cf149d19
[analyze] Convert EndOfPath callback to use CheckerContext

Get rid of the EndOfPathBuilder completely.
Use the generic NodeBuilder to generate nodes.
Enqueue the end of path frontier explicitly.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142943 91177308-0d34-0410-b5e6-96231b3b80d8
13 files changed:
include/clang/StaticAnalyzer/Core/Checker.h
include/clang/StaticAnalyzer/Core/CheckerManager.h
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
lib/StaticAnalyzer/Checkers/MallocChecker.cpp
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
lib/StaticAnalyzer/Checkers/StreamChecker.cpp
lib/StaticAnalyzer/Core/CheckerManager.cpp
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp