Searched refs:StateRetNotNull (Results 1 – 1 of 1) sorted by relevance
998 ProgramStateRef StateRetNotNull = in evalFreopen() local1006 StateRetNotNull = in evalFreopen()1007 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFreopen()1011 C.addTransition(StateRetNotNull, in evalFreopen()