Searched refs:stateNull (Results 1 – 4 of 4) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
143 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
162 if (stateNull) { in checkPreCall()
163 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| H A D | StreamChecker.cpp | 222 ProgramStateRef stateNotNull, stateNull; in OpenFileAux() local
223 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal); in OpenFileAux()
229 stateNull = in OpenFileAux()
230 stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE)); in OpenFileAux()
233 C.addTransition(stateNull); 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()
340 if (ExplodedNode *N = C.generateErrorNode(stateNull)) { in CheckNullStream()
|
| H A D | BasicObjCFoundationChecks.cpp | 566 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local
567 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
570 ExplodedNode *N = C.generateErrorNode(stateNull); in checkPreCall()
|
| H A D | CStringChecker.cpp | 254 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local
255 std::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType()); in checkNonNull()
257 if (stateNull && !stateNonNull) { in checkNonNull()
264 emitNullArgBug(C, stateNull, S, os.str()); in checkNonNull()
|