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

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp183 bool isFeasible = b ? Assumption : !Assumption; local
184 return isFeasible ? state : nullptr;
H A DCoreEngine.cpp659 if (!isFeasible(branch))
H A DExprEngine.cpp1595 if (builder.isFeasible(true)) {
1603 if (builder.isFeasible(false)) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h439 bool isFeasible(bool branch) { function in class:clang::ento::BranchNodeBuilder

Completed in 126 milliseconds