Searched refs:nullState (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/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 | 256 ProgramStateRef notNullState, nullState; in checkLocation() local
257 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
259 if (nullState) { in checkLocation()
265 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
273 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
|
| H A D | MallocChecker.cpp | 1908 ProgramStateRef notNullState, nullState; in FreeMemAux() local
1909 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()
1910 if (nullState && !notNullState) in FreeMemAux()
|