86 struct StreamState {  struct
112   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,  in StreamState()  argument
126   bool operator==(const StreamState &X) const {  in operator ==()  argument
134   static StreamState getOpened(const FnDescription *L,  in getOpened()  argument
137     return StreamState{L, Opened, ES, IsFilePositionIndeterminate};  in getOpened()
139   static StreamState getClosed(const FnDescription *L) {  in getClosed()  argument
140     return StreamState{L, Closed, {}, false};  in getClosed()
142   static StreamState getOpenFailed(const FnDescription *L) {  in getOpenFailed()  argument
143     return StreamState{L, OpenFailed, {}, false};  in getOpenFailed()
426 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
428 inline void assertStreamStateOpened(const StreamState *SS) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
499       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
501       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
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()
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()
702   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFreadFwrite()
756       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
763       StreamState::getOpened(Desc, ErrorNone | ErrorFEof | ErrorFError, true));  in evalFseek()
777   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
786       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));  in evalClearerr()
802   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
814         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
825         StreamState::getOpened(  in evalFeofFerror()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
854       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
892   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
942   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
960           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));  in ensureNoFilePositionIndeterminate()
1062     const StreamState &SS = I.second;  in checkDeadSymbols()