//===----------------------------------------------------------------------===//
template <typename CHECK_CTX>
-static void runPathSensitiveCheckers(CHECK_CTX checkCtx,
- ExplodedNodeSet &Dst,
- ExplodedNodeSet &Src) {
+static void expandGraphWithCheckers(CHECK_CTX checkCtx,
+ ExplodedNodeSet &Dst,
+ ExplodedNodeSet &Src) {
typename CHECK_CTX::CheckersTy::const_iterator
I = checkCtx.checkers_begin(), E = checkCtx.checkers_end();
ExprEngine &Eng) {
CheckStmtContext C(isPreVisit, *getCachedStmtCheckersFor(S, isPreVisit),
S, Eng);
- runPathSensitiveCheckers(C, Dst, Src);
+ expandGraphWithCheckers(C, Dst, Src);
}
namespace {
isPreVisit ? PreObjCMessageCheckers
: PostObjCMessageCheckers,
msg, Eng);
- runPathSensitiveCheckers(C, Dst, Src);
+ expandGraphWithCheckers(C, Dst, Src);
}
namespace {
const GRState *state,
ExprEngine &Eng) {
CheckLocationContext C(LocationCheckers, location, isLoad, S, state, Eng);
- runPathSensitiveCheckers(C, Dst, Src);
+ expandGraphWithCheckers(C, Dst, Src);
}
void CheckerManager::runCheckersForEndAnalysis(ExplodedGraph &G,