HomeSort by: relevance | last modified time | path
    Searched refs:assumeDual (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 37 const ProgramStatePair &P = assumeDual(State, V);
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
ProgramState.h 681 ->assumeDual(this, Cond.castAs<DefinedSVal>());
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
NonNullParamChecker.cpp 175 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
VLASizeChecker.cpp 200 std::tie(StateNeg, StatePos) = CM.assumeDual(State, *LessThanZeroDVal);
StreamChecker.cpp 459 C.getConstraintManager().assumeDual(State, RetVal);
711 C.getConstraintManager().assumeDual(State, RetVal);
826 std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);

Completed in 20 milliseconds