Searched refs:nullState (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCAtSyncChecker.cpp | 61 ProgramStateRef notNullState, nullState; in checkPreStmt() local
62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
64 if (nullState) { in checkPreStmt()
68 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) { in checkPreStmt()
|
| H A D | DereferenceChecker.cpp | 225 ProgramStateRef notNullState, nullState; in checkLocation() local
226 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
228 if (nullState) { in checkLocation()
234 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
242 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
|
| H A D | MallocChecker.cpp | 1707 ProgramStateRef notNullState, nullState; in FreeMemAux() local
1708 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()
1709 if (nullState && !notNullState) in FreeMemAux()
|