HomeSort by relevance Sort by last modified time
    Searched refs:isFeasible (Results 1 - 4 of 4) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 112 bool isFeasible = b ? Assumption : !Assumption;
113 return isFeasible ? state : NULL;
214 bool isFeasible = b ? Assumption : !Assumption;
215 return isFeasible ? state : NULL;
CoreEngine.cpp 637 if (!isFeasible(branch))
ExprEngine.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 442 bool isFeasible(bool branch) {

Completed in 42 milliseconds