Lines Matching refs:StateNotNull
589 ProgramStateRef StateNotNull, StateNull; in evalFopen() local
590 std::tie(StateNotNull, StateNull) = in evalFopen()
593 StateNotNull = in evalFopen()
594 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
598 C.addTransition(StateNotNull, in evalFopen()
1443 ProgramStateRef StateNotNull, StateNull; in preFflush() local
1444 std::tie(StateNotNull, StateNull) = in preFflush()
1446 if (StateNotNull && !StateNull) in preFflush()
1447 ensureStreamOpened(StreamVal, C, StateNotNull); 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()
1465 State = StateNotNull; 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()
1537 return StateNotNull; in ensureStreamNonNull()