Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp49 RegionChangesCheckers, PointerEscapeCheckers, EvalAssumeCheckers, in hasPathSensitiveCheckers()
641 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume()
891 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h689 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable