88 struct StreamState {  struct
114   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,  in StreamState()  function
128   bool operator==(const StreamState &X) const {  in operator ==()  argument
136   static StreamState getOpened(const FnDescription *L,  in getOpened()  argument
139     return StreamState{L, Opened, ES, IsFilePositionIndeterminate};  in getOpened()
141   static StreamState getClosed(const FnDescription *L) {  in getClosed()  argument
142     return StreamState{L, Closed, {}, false};  in getClosed()
144   static StreamState getOpenFailed(const FnDescription *L) {  in getOpenFailed()  argument
145     return StreamState{L, OpenFailed, {}, false};  in getOpenFailed()
520 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
522 inline void assertStreamStateOpened(const StreamState *SS) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
594       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
596       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));  in evalFopen()
652       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
654       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
668   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()
681   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));  in evalFclose()
718     const StreamState *SS = State->get<StreamMap>(Sym);  in preReadWrite()
745   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
772         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
798   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFreadFwrite()
817   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFgetx()
866           StreamSym, StreamState::getOpened(Desc));  in evalFgetx()
884   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFgetx()
903   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFputx()
920         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
938         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
945   StreamState NewSS = StreamState::getOpened(Desc, ErrorFError, true);  in evalFputx()
964   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFprintf()
983       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFprintf()
989       StreamSym, StreamState::getOpened(Desc, ErrorFError, true));  in evalFprintf()
1006   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFscanf()
1048   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFscanf()
1067   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalUngetc()
1080       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1091       StateFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1107   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalGetdelim()
1143   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalGetdelim()
1202       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
1212       StreamSym, StreamState::getOpened(Desc, NewErrS, true));  in evalFseek()
1255   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()
1272       StreamSym, StreamState::getOpened(Desc, ErrorNone, false));  in evalFsetpos()
1279       StreamSym, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));  in evalFsetpos()
1330   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()
1341                                 StreamState::getOpened(Desc, ErrorNone, false));  in evalRewind()
1354   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
1363       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));  in evalClearerr()
1379   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
1391         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
1402         StreamState::getOpened(  in evalFeofFerror()
1428   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
1431       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
1479                                                        const StreamState *SS) {  in evalFflush()
1483       StreamState NewSS = StreamState::getOpened(Desc, NewES, false);  in evalFflush()
1491       const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFflush()
1503       const StreamState &SS = I.second;  in evalFflush()
1547   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()
1596   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()
1614           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));  in ensureNoFilePositionIndeterminate()
1719     const StreamState &SS = I.second;  in checkDeadSymbols()