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

  /external/clang/lib/StaticAnalyzer/Core/
BasicConstraintManager.cpp 133 bool isFeasible = (*X != Adjusted);
134 return isFeasible ? state : NULL;
154 bool isFeasible = (*X == Adjusted);
155 return isFeasible ? state : NULL;
205 bool isFeasible = (*X >= V-Adjustment);
206 return isFeasible ? state : NULL;
216 bool isFeasible = !isNotEqual(state, sym, Adjusted);
221 return isFeasible ? AddEQ(state, sym, Adjusted) : NULL;
234 bool isFeasible = (*X <= V-Adjustment);
235 return isFeasible ? state : NULL
    [all...]
SimpleConstraintManager.cpp 108 bool isFeasible = b ? Assumption : !Assumption;
109 return isFeasible ? state : NULL;
202 bool isFeasible = b ? Assumption : !Assumption;
203 return isFeasible ? state : NULL;
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 433 bool isFeasible(bool branch) {

Completed in 33 milliseconds