Searched refs:nullState (Results 1 - 3 of 3) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCAtSyncChecker.cpp | 60 ProgramStateRef notNullState, nullState;
61 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
63 if (nullState) {
67 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) {
76 // Don't add a transition for 'nullState'. If the value is
|
| H A D | DereferenceChecker.cpp | 256 ProgramStateRef notNullState, nullState; local
257 std::tie(notNullState, nullState) = state->assume(location);
259 if (nullState) {
265 reportBug(DerefKind::NullPointer, nullState, expr, C);
273 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) {
|
| H A D | MallocChecker.cpp | 1916 ProgramStateRef notNullState, nullState;
1917 std::tie(notNullState, nullState) = State->assume(location);
1918 if (nullState && !notNullState)
|
Completed in 188 milliseconds