Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance
48 RegionChangesCheckers, PointerEscapeCheckers, EvalAssumeCheckers, in hasPathSensitiveCheckers()640 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume()874 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
690 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable