HomeSort by relevance Sort by last modified time
    Searched refs:assumeDual (Results 1 - 7 of 7) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 33 const ProgramStatePair &P = assumeDual(State, V);
  /external/clang/lib/StaticAnalyzer/Checkers/
BoolAssignmentChecker.cpp 99 llvm::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
135 llvm::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
DivZeroChecker.cpp 71 llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
NonNullParamChecker.cpp 117 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
StreamChecker.cpp 221 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
346 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
ProgramState.h 645 ->assumeDual(this, Cond.castAs<DefinedSVal>());

Completed in 131 milliseconds