Searched refs:StateNotNull (Results 1 – 1 of 1) sorted by relevance
493 ProgramStateRef StateNotNull, StateNull; in evalFopen() local494 std::tie(StateNotNull, StateNull) = in evalFopen()497 StateNotNull = in evalFopen()498 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()502 C.addTransition(StateNotNull, in evalFopen()871 ProgramStateRef StateNotNull, StateNull; in ensureStreamNonNull() local872 std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream); in ensureStreamNonNull()874 if (!StateNotNull && StateNull) { in ensureStreamNonNull()885 return StateNotNull; in ensureStreamNonNull()