Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance
38 !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()
622 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable