Searched refs:StateNull (Results 1 – 1 of 1) sorted by relevance
526 ProgramStateRef StateNotNull, StateNull; in evalFopen() local527 std::tie(StateNotNull, StateNull) = in evalFopen()532 StateNull = in evalFopen()533 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()537 C.addTransition(StateNull); in evalFopen()1038 ProgramStateRef StateNotNull, StateNull; in ensureStreamNonNull() local1039 std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream); in ensureStreamNonNull()1041 if (!StateNotNull && StateNull) { in ensureStreamNonNull()1046 C.generateSink(StateNull, C.getPredecessor()); in ensureStreamNonNull()