Searched refs:assumeDual (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BoolAssignmentChecker.cpp | 99 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero); in checkBind()
135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne); in checkBind()
|
| D | DivZeroChecker.cpp | 71 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV); in checkPreStmt()
|
| D | VLASizeChecker.cpp | 145 std::tie(StateNeg, StatePos) = CM.assumeDual(state, *LessThanZeroDVal); in checkPreStmt()
|
| D | NonNullParamChecker.cpp | 140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()
|
| D | StreamChecker.cpp | 224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); in OpenFileAux()
349 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in CheckNullStream()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ConstraintManager.cpp | 33 const ProgramStatePair &P = assumeDual(State, V); in checkNull()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual() function
|
| D | ProgramState.h | 658 ->assumeDual(this, Cond.castAs<DefinedSVal>()); in assume()
|