Home
last modified time | relevance | path

Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp38 !EvalAssumeCheckers.empty() || in hasPathSensitiveCheckers()
573 for (unsigned i = 0, e = EvalAssumeCheckers.size(); i != e; ++i) { in runCheckersForEvalAssume()
578 state = EvalAssumeCheckers[i](state, Cond, Assumption); in runCheckersForEvalAssume()
745 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h622 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable