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