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 114 bool isFeasible = (*X != Adjusted);
115 return isFeasible ? state : NULL;
134 bool isFeasible = (*X == Adjusted);
135 return isFeasible ? state : NULL;
182 bool isFeasible = (*X >= V-Adjustment);
183 return isFeasible ? state : NULL;
193 bool isFeasible = !isNotEqual(state, sym, Adjusted);
198 return isFeasible ? AddEQ(state, sym, Adjusted) : NULL;
210 bool isFeasible = (*X <= V-Adjustment);
211 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;
CoreEngine.cpp 626 if (!isFeasible(branch))
ExprEngine.cpp 948 if (!builder.isFeasible(true) && !builder.isFeasible(false))
    [all...]
CFRefCount.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 325 bool isFeasible(bool branch) {

Completed in 132 milliseconds