81 struct StreamState {  struct
107   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,  in StreamState()  argument
121   bool operator==(const StreamState &X) const {  in operator ==()  argument
129   static StreamState getOpened(const FnDescription *L,  in getOpened()  argument
132     return StreamState{L, Opened, ES, IsFilePositionIndeterminate};  in getOpened()
134   static StreamState getClosed(const FnDescription *L) {  in getClosed()  argument
135     return StreamState{L, Closed, {}, false};  in getClosed()
137   static StreamState getOpenFailed(const FnDescription *L) {  in getOpenFailed()  argument
138     return StreamState{L, OpenFailed, {}, false};  in getOpenFailed()
393 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
395 inline void assertStreamStateOpened(const StreamState *SS) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
462       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
464       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
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()
564     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()
608   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
636           StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
665   StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFreadFwrite()
715       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
722       StreamState::getOpened(Desc, ErrorNone | ErrorFEof | ErrorFError, true));  in evalFseek()
736   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
745       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));  in evalClearerr()
761   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
773         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
784         StreamState::getOpened(  in evalFeofFerror()
809   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
812       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
846   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
896   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
914           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));  in ensureNoFilePositionIndeterminate()
1014     const StreamState &SS = I.second;  in checkDeadSymbols()