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

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 107 bool isFeasible = b ? Assumption : !Assumption;
108 return isFeasible ? state : NULL;
207 bool isFeasible = b ? Assumption : !Assumption;
208 return isFeasible ? state : NULL;
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 438 bool isFeasible(bool branch) {

Completed in 27 milliseconds