Searched refs:nullState (Results 1 – 2 of 2) sorted by relevance
290 ProgramStateRef notNullState, nullState; in checkLocation() local291 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()293 if (nullState) { in checkLocation()299 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()307 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
2217 ProgramStateRef notNullState, nullState; in FreeMemAux() local2218 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()2219 if (nullState && !notNullState) in FreeMemAux()