Searched refs:stateNull (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | NonNullParamChecker.cpp | 139 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local
140 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()
142 if (stateNull) { in checkPreCall()
146 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
164 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| 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()
348 ProgramStateRef stateNotNull, stateNull; in CheckNullStream() local
349 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in CheckNullStream()
351 if (!stateNotNull && stateNull) { in CheckNullStream()
352 if (ExplodedNode *N = C.generateErrorNode(stateNull)) { in CheckNullStream()
|
| D | CStringChecker.cpp | 238 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local
239 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()
241 if (stateNull && !stateNonNull) { in checkNonNull()
245 ExplodedNode *N = C.generateErrorNode(stateNull); in checkNonNull()
|