Searched refs:assumeDual (Results 1 - 8 of 8) sorted by relevance
| /openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 38 const ProgramStatePair &P = assumeDual(State, V);
77 // assume in therms of assumeDual, we can keep our API contract there as
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) { function in class:ConstraintManager
112 ConstraintManager::ProgramStatePair R = assumeDual(State, Cond);
|
| H A D | ProgramState.cpp | 358 return CM.assumeDual(this, inBound.castAs<DefinedSVal>());
|
| /openbsd-current/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 87 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond);
|
| H A D | ProgramState.h | 91 // In the sense of `assumeDual`, a state can have two children by adding a
721 ->assumeDual(this, Cond.castAs<DefinedSVal>());
|
| /openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 81 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
|
| H A D | NonNullParamChecker.cpp | 175 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
|
| H A D | StreamChecker.cpp | 528 C.getConstraintManager().assumeDual(State, RetVal);
797 C.getConstraintManager().assumeDual(State, RetVal);
834 C.getConstraintManager().assumeDual(State, RetVal);
865 C.getConstraintManager().assumeDual(State, RetVal);
1039 std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);
|
| H A D | VLASizeChecker.cpp | 201 std::tie(StateNeg, StatePos) = CM.assumeDual(State, *LessThanZeroDVal);
|
Completed in 205 milliseconds