Searched refs:nullState (Results 1 – 2 of 2) sorted by relevance
263 ProgramStateRef notNullState, nullState; in checkLocation() local264 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()266 if (nullState) { in checkLocation()272 reportBug(DerefKind::NullPointer, nullState, expr, C); in checkLocation()280 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
1964 ProgramStateRef notNullState, nullState; in FreeMemAux() local1965 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()1966 if (nullState && !notNullState) in FreeMemAux()