Searched refs:nullState (Results 1 – 3 of 3) sorted by relevance
| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| HD | ObjCAtSyncChecker.cpp | 60 ProgramStateRef notNullState, nullState; in checkPreStmt() local
61 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
63 if (nullState) { in checkPreStmt()
67 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) { in checkPreStmt()
|
| HD | DereferenceChecker.cpp | 263 ProgramStateRef notNullState, nullState; in checkLocation() local
264 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
266 if (nullState) { in checkLocation()
272 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()
280 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
|
| HD | MallocChecker.cpp | 1964 ProgramStateRef notNullState, nullState; in FreeMemAux() local
1965 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()
1966 if (nullState && !notNullState) in FreeMemAux()
|