Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance
48 EvalAssumeCheckers, EvalCallCheckers, EndOfTranslationUnitCheckers); in hasPathSensitiveCheckers()709 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume()961 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
696 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable