Home
last modified time | relevance | path

Searched refs:isFeasible (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h476 bool isFeasible(bool branch) { in isFeasible() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp655 if (!isFeasible(branch)) in generateNode()
H A DExprEngine.cpp2809 if (builder.isFeasible(true)) { in processBranch()
2817 if (builder.isFeasible(false)) { in processBranch()