HomeSort by relevance Sort by last modified time
    Searched refs:isFeasible (Results 1 - 6 of 6) 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 110 bool isFeasible = b ? Assumption : !Assumption;
111 return isFeasible ? state : NULL;
195 bool isFeasible = b ? Assumption : !Assumption;
196 return isFeasible ? state : NULL;
ExprEngine.cpp     [all...]
CoreEngine.cpp 573 if (!isFeasible(branch))
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 406 bool isFeasible(bool branch) {
  /external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp     [all...]

Completed in 122 milliseconds