Lines Matching refs:StateNull
589 ProgramStateRef StateNotNull, StateNull; in evalFopen() local
590 std::tie(StateNotNull, StateNull) = in evalFopen()
595 StateNull = in evalFopen()
596 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
600 C.addTransition(StateNull); in evalFopen()
1443 ProgramStateRef StateNotNull, StateNull; in preFflush() local
1444 std::tie(StateNotNull, StateNull) = in preFflush()
1446 if (StateNotNull && !StateNull) in preFflush()
1459 ProgramStateRef StateNotNull, StateNull; in evalFflush() local
1460 std::tie(StateNotNull, StateNull) = in evalFflush()
1462 if (StateNotNull && StateNull) in evalFflush()
1464 if (StateNotNull && !StateNull) in evalFflush()
1467 State = StateNull; in evalFflush()
1488 if (StateNotNull && !StateNull) { in evalFflush()
1523 ProgramStateRef StateNotNull, StateNull; in ensureStreamNonNull() local
1524 std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream); in ensureStreamNonNull()
1526 if (!StateNotNull && StateNull) { in ensureStreamNonNull()
1527 if (ExplodedNode *N = C.generateErrorNode(StateNull)) { in ensureStreamNonNull()