Searched refs:stateNull (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | NonNullParamChecker.cpp | 174 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local
175 std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV); in checkPreCall()
179 if (stateNull && !stateNotNull) { in checkPreCall()
180 if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) { in checkPreCall()
199 if (stateNull) { in checkPreCall()
200 if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) { in checkPreCall()
|
| H A D | BasicObjCFoundationChecks.cpp | 565 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local
566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
569 ExplodedNode *N = C.generateErrorNode(stateNull); in checkPreCall()
|
| H A D | CStringChecker.cpp | 301 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local
302 std::tie(stateNull, stateNonNull) = in checkNonNull()
305 if (stateNull && !stateNonNull) { in checkNonNull()
314 emitNullArgBug(C, stateNull, Arg.Expression, OS.str()); in checkNonNull()
|