]> granicus.if.org Git - clang/commit
[analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do...
authorTed Kremenek <kremenek@apple.com>
Sat, 7 Jan 2012 00:00:59 +0000 (00:00 +0000)
committerTed Kremenek <kremenek@apple.com>
Sat, 7 Jan 2012 00:00:59 +0000 (00:00 +0000)
commit894212e9510299abb203801e014fec76b7926a05
treee9065e0c758417708b1d0ebc5605bc6aa3e6b862
parentd87a0cd2b3e1c9e9f01212875f4cbe5b7bb7ab57
[analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do the work manually.  This is a nice simplification.

Along the way, fix Exprengine::processCallExit() to also perform the postStmt callback for checkers for CallExprs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@147697 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp