Home
last modified time | relevance | path

Searched refs:notNullState (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp61 ProgramStateRef notNullState, nullState; in checkPreStmt() local
62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
65 if (!notNullState) { in checkPreStmt()
86 if (notNullState) in checkPreStmt()
87 C.addTransition(notNullState); in checkPreStmt()
H A DDereferenceChecker.cpp256 ProgramStateRef notNullState, nullState; in checkLocation() local
257 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
260 if (!notNullState) { in checkLocation()
281 C.addTransition(notNullState); in checkLocation()
H A DMallocChecker.cpp1919 ProgramStateRef notNullState, nullState; in FreeMemAux() local
1920 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()
1921 if (nullState && !notNullState) in FreeMemAux()