426 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
439   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
445     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
499       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
501       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
541   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
557       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
559       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
573   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
582   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
603   if (Sym && State->get<StreamMap>(Sym)) {  in preFread()
604     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()
649   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
676         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
703   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
740   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
756       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
761   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
777   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
784   State = State->set<StreamMap>(  in evalClearerr()
802   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
813     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
823     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
853   State = State->set<StreamMap>(  in evalSetFeofFerror()
892   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
942   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
959       return State->set<StreamMap>(  in ensureNoFilePositionIndeterminate()
1059   const StreamMapTy &Map = State->get<StreamMap>();  in checkDeadSymbols()
1067     State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
1094     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()