Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp290 ProgramStateRef notNullState, nullState; in checkLocation() local
291 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()
294 if (!notNullState) { in checkLocation()
317 reportBug(DerefKind::FixedAddress, notNullState, DerefExpr, C); in checkLocation()
322 C.addTransition(notNullState); in checkLocation()
H A DMallocChecker.cpp2217 ProgramStateRef notNullState, nullState; in FreeMemAux() local
2218 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()
2219 if (nullState && !notNullState) in FreeMemAux()