Home
last modified time | relevance | path

Searched refs:EvalAssumeCheckers (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp48 EvalAssumeCheckers, EvalCallCheckers, EndOfTranslationUnitCheckers); in hasPathSensitiveCheckers()
709 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume()
961 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h696 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable