Searched refs:StateRetNull (Results 1 – 1 of 1) sorted by relevance
1002 ProgramStateRef StateRetNull = in evalFreopen() local1008 StateRetNull = in evalFreopen()1009 StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc)); in evalFreopen()1013 C.addTransition(StateRetNull); in evalFreopen()