Searched refs:stateNull (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 223 ProgramStateRef stateNotNull, stateNull; in OpenFileAux() local
224 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); in OpenFileAux()
230 stateNull = in OpenFileAux()
231 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE)); in OpenFileAux()
234 C.addTransition(stateNull); in OpenFileAux()
349 ProgramStateRef stateNotNull, stateNull; in CheckNullStream() local
350 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in CheckNullStream()
352 if (!stateNotNull && stateNull) { in CheckNullStream()
353 if (ExplodedNode *N = C.generateSink(stateNull)) { in CheckNullStream()
|
| D | NonNullParamChecker.cpp | 138 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local
139 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()
141 if (stateNull && !stateNotNull) { in checkPreCall()
144 if (ExplodedNode *errorNode = C.generateSink(stateNull)) { in checkPreCall()
|
| D | CStringChecker.cpp | 225 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local
226 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()
228 if (stateNull && !stateNonNull) { in checkNonNull()
232 ExplodedNode *N = C.generateSink(stateNull); in checkNonNull()
|