Searched refs:StateRetNull (Results 1 – 1 of 1) sorted by relevance
551 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(), in evalFreopen() local556 StateRetNull = in evalFreopen()557 StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc)); in evalFreopen()561 C.addTransition(StateRetNull); in evalFreopen()