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

  /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 75 llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
AttrNonNullChecker.cpp 90 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
StreamChecker.cpp 233 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
358 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 37 assumeDual(ProgramStateRef state, DefinedSVal Cond)
ProgramState.h 627 return getStateManager().ConstraintMgr->assumeDual(this,

Completed in 50 milliseconds