Searched refs:notNullState (Results 1 – 3 of 3) sorted by relevance
60 ProgramStateRef notNullState, nullState; in checkPreStmt() local61 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()64 if (!notNullState) { in checkPreStmt()81 if (notNullState) in checkPreStmt()82 C.addTransition(notNullState); in checkPreStmt()
263 ProgramStateRef notNullState, nullState; in checkLocation() local264 std::tie(notNullState, nullState) = state->assume(location); in checkLocation()267 if (!notNullState) { in checkLocation()288 C.addTransition(notNullState); in checkLocation()
1964 ProgramStateRef notNullState, nullState; in FreeMemAux() local1965 std::tie(notNullState, nullState) = State->assume(location); in FreeMemAux()1966 if (nullState && !notNullState) in FreeMemAux()