Searched refs:StateRetNotNull (Results 1 – 1 of 1) sorted by relevance
959 ProgramStateRef StateRetNotNull = in evalFreopen() local967 StateRetNotNull = in evalFreopen()968 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFreopen()972 C.addTransition(StateRetNotNull, in evalFreopen()