457 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
469   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
475     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
531       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
533       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
573   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
589       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
591       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
605   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
618   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
648   if (Sym && State->get<StreamMap>(Sym)) {  in preFread()
649     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()
694   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
721         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
748   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
785   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
801       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
806   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
823   if (!State->get<StreamMap>(Sym))  in evalFgetpos()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()
867   StateNotFailed = StateNotFailed->set<StreamMap>(  in evalFsetpos()
874   StateFailed = StateFailed->set<StreamMap>(  in evalFsetpos()
888   if (!State->get<StreamMap>(Sym))  in evalFtell()
923   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()
933   State = State->set<StreamMap>(StreamSym,  in evalRewind()
947   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
954   State = State->set<StreamMap>(  in evalClearerr()
972   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
983     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
993     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
1021   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
1023   State = State->set<StreamMap>(  in evalSetFeofFerror()
1060   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
1110   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
1127       return State->set<StreamMap>(  in ensureNoFilePositionIndeterminate()
1228   const StreamMapTy &Map = State->get<StreamMap>();  in checkDeadSymbols()
1236     State = State->remove<StreamMap>(Sym);  in checkDeadSymbols()
1263     State = State->remove<StreamMap>(Sym);  in checkPointerEscape()