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

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 110 bool isFeasible = b ? Assumption : !Assumption;
111 return isFeasible ? state : NULL;
195 bool isFeasible = b ? Assumption : !Assumption;
196 return isFeasible ? state : NULL;
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...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 406 bool isFeasible(bool branch) {

Completed in 905 milliseconds