Searched refs:stateNotNull (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 222 ProgramStateRef stateNotNull, stateNull; in OpenFileAux() local
223 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); in OpenFileAux()
227 stateNotNull = in OpenFileAux()
228 stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE)); in OpenFileAux()
232 C.addTransition(stateNotNull); in OpenFileAux()
336 ProgramStateRef stateNotNull, stateNull; in CheckNullStream() local
337 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in CheckNullStream()
339 if (!stateNotNull && stateNull) { in CheckNullStream()
349 return stateNotNull; in CheckNullStream()
|
| H A D | NonNullParamChecker.cpp | 137 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local
138 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()
142 if (stateNull && !stateNotNull) { in checkPreCall()
173 state = stateNotNull; in checkPreCall()
|