Home
last modified time | relevance | path

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

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp47 RegionChangesCheckers, PointerEscapeCheckers, EvalAssumeCheckers, in hasPathSensitiveCheckers()
639 for (const auto &EvalAssumeChecker : EvalAssumeCheckers) { in runCheckersForEvalAssume()
889 EvalAssumeCheckers.push_back(checkfn); in _registerForEvalAssume()
/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h689 std::vector<EvalAssumeFunc> EvalAssumeCheckers; variable