Searched refs:EvalCallCheckers (Results 1 – 2 of 2) sorted by relevance
48 EvalAssumeCheckers, EvalCallCheckers, EndOfTranslationUnitCheckers); in hasPathSensitiveCheckers()733 for (const auto &EvalCallChecker : EvalCallCheckers) { in runCheckersForEvalCall()965 EvalCallCheckers.push_back(checkfn); in _registerForEvalCall()
698 std::vector<EvalCallFunc> EvalCallCheckers; variable