Searched refs:notNullState (Results 1 – 3 of 3) sorted by relevance
62 const GRState *notNullState, *nullState; in checkPreStmt() local63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V)); in checkPreStmt()66 if (!notNullState) { in checkPreStmt()87 if (notNullState) in checkPreStmt()88 C.addTransition(notNullState); in checkPreStmt()
284 const GRState *notNullState, *nullState; in FreeMemAux() local285 llvm::tie(notNullState, nullState) = state->assume(location); in FreeMemAux()288 if (nullState && !notNullState) in FreeMemAux()291 assert(notNullState); in FreeMemAux()296 return notNullState; in FreeMemAux()335 return notNullState; in FreeMemAux()344 return notNullState; in FreeMemAux()363 return notNullState->set<RegionState>(Sym, RefState::getRelinquished(CE)); in FreeMemAux()364 return notNullState->set<RegionState>(Sym, RefState::getReleased(CE)); in FreeMemAux()697 const GRState *notNullState, *nullState; in checkBind() local[all …]
93 const GRState *notNullState, *nullState; in checkLocation() local94 llvm::tie(notNullState, nullState) = state->assume(location); in checkLocation()98 if (!notNullState) { in checkLocation()187 C.addTransition(notNullState); in checkLocation()