393 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
406   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
412     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
462       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
464       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
503   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
518       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
520       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
534   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
543   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
563   if (Sym && State->get<StreamMap>(Sym)) {  in preFread()
564     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()
608   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
635       StateNotFailed = StateNotFailed->set<StreamMap>(  in evalFreadFwrite()
666   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState);  in evalFreadFwrite()
699   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
715       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
720   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
736   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
743   State = State->set<StreamMap>(  in evalClearerr()
761   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
772     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
782     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
809   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
811   State = State->set<StreamMap>(  in evalSetFeofFerror()
846   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
896   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
913       return State->set<StreamMap>(  in ensureNoFilePositionIndeterminate()
1011   const StreamMapTy &Map = State->get<StreamMap>();  in checkDeadSymbols()
1019     State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
1046     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()