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

/external/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp38 !EvalAssumeCheckers.empty() ||
512 for (unsigned i = 0, e = EvalAssumeCheckers.size(); i != e; ++i) {
517 state = EvalAssumeCheckers[i](state, Cond, Assumption);
675 EvalAssumeCheckers.push_back(checkfn);
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h642 std::vector<EvalAssumeFunc> EvalAssumeCheckers; member in class:clang::ento::CheckerManager

Completed in 389 milliseconds