Searched refs:assumeDual (Results 1 - 7 of 7) sorted by relevance
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 33 const ProgramStatePair &P = assumeDual(State, V);
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BoolAssignmentChecker.cpp | 99 llvm::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
135 llvm::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
|
| H A D | DivZeroChecker.cpp | 71 llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
|
| H A D | NonNullParamChecker.cpp | 117 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
|
| H A D | StreamChecker.cpp | 221 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
346 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { function in class:clang::ento::ConstraintManager
|
| H A D | ProgramState.h | 649 ->assumeDual(this, Cond.castAs<DefinedSVal>());
|
Completed in 117 milliseconds