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

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp108 bool isFeasible = b ? Assumption : !Assumption; local
109 return isFeasible ? state : NULL;
206 bool isFeasible = b ? Assumption : !Assumption; local
207 return isFeasible ? state : NULL;
H A DCoreEngine.cpp619 if (!isFeasible(branch))
H A DExprEngine.cpp1217 if (builder.isFeasible(true)) {
1225 if (builder.isFeasible(false)) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h440 bool isFeasible(bool branch) { function in class:clang::ento::BranchNodeBuilder

Completed in 79 milliseconds