HomeSort by relevance Sort by last modified time
    Searched refs:assumeDual (Results 1 - 8 of 8) 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 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
DivZeroChecker.cpp 71 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
VLASizeChecker.cpp 145 std::tie(StateNeg, StatePos) = CM.assumeDual(state, *LessThanZeroDVal);
NonNullParamChecker.cpp 140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
StreamChecker.cpp 224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
349 std::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 658 ->assumeDual(this, Cond.castAs<DefinedSVal>());

Completed in 588 milliseconds