425 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
438   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
444     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
498       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
500       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
540   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
555       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
557       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
571   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
580   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
601   if (Sym && State->get<StreamMap>(Sym)) {  in preFread()
602     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()
647   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
674       StateNotFailed = StateNotFailed->set<StreamMap>(  in evalFreadFwrite()
706   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
743   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
759       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
764   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
780   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
787   State = State->set<StreamMap>(  in evalClearerr()
805   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
816     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
826     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
854   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
856   State = State->set<StreamMap>(  in evalSetFeofFerror()
895   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
945   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
962       return State->set<StreamMap>(  in ensureNoFilePositionIndeterminate()
1062   const StreamMapTy &Map = State->get<StreamMap>();  in checkDeadSymbols()
1070     State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
1097     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()