Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp183 bool isFeasible = b ? Assumption : !Assumption; in assumeAux() local
184 return isFeasible ? state : nullptr; in assumeAux()
223 bool isFeasible = (IsInRange == InRange); in assumeWithinInclusiveRange() local
224 return isFeasible ? State : nullptr; in assumeWithinInclusiveRange()
DCoreEngine.cpp676 if (!isFeasible(branch)) in generateNode()
DExprEngine.cpp1657 if (builder.isFeasible(true)) { in processBranch()
1665 if (builder.isFeasible(false)) { in processBranch()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h442 bool isFeasible(bool branch) { in isFeasible() function