Searched refs:nullState (Results 1 – 3 of 3) sorted by relevance
62 ProgramStateRef notNullState, nullState; in checkPreStmt() local63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()65 if (nullState) { in checkPreStmt()69 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) { in checkPreStmt()
220 ProgramStateRef notNullState, nullState; in checkLocation() local221 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()224 if (nullState) { in checkLocation()228 reportBug(nullState, expr, C); in checkLocation()236 if (ExplodedNode *N = C.generateSink(nullState, C.getPredecessor())) { in checkLocation()
1501 ProgramStateRef notNullState, nullState; in FreeMemAux() local1502 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()1503 if (nullState && !notNullState) in FreeMemAux()