428 inline void assertStreamStateOpened(const StreamState *SS) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
429   assert(SS->isOpened() &&  in REGISTER_MAP_WITH_PROGRAMSTATE()
573   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()  local
574   if (!SS)  in evalFclose()
577   assertStreamStateOpened(SS);  in evalFclose()
604     const StreamState *SS = State->get<StreamMap>(Sym);  in preFread()  local
605     if (SS->ErrorState & ErrorFEof)  in preFread()
777   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()  local
778   if (!SS)  in evalClearerr()
781   assertStreamStateOpened(SS);  in evalClearerr()
786       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));  in evalClearerr()
802   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()  local
803   if (!SS)  in evalFeofFerror()
806   assertStreamStateOpened(SS);  in evalFeofFerror()
808   if (SS->ErrorState & ErrorKind) {  in evalFeofFerror()
815                                           SS->FilePositionIndeterminate &&  in evalFeofFerror()
818   if (StreamErrorState NewES = SS->ErrorState & (~ErrorKind)) {  in evalFeofFerror()
826             Desc, NewES, SS->FilePositionIndeterminate && !NewES.isFEof())));  in evalFeofFerror()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()  local
852   assert(SS && "Stream should be tracked by the checker.");  in evalSetFeofFerror()
854       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
892   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()  local
893   if (!SS)  in ensureStreamOpened()
896   if (SS->isClosed()) {  in ensureStreamOpened()
910   if (SS->isOpenFailed()) {  in ensureStreamOpened()
942   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()  local
943   if (!SS)  in ensureNoFilePositionIndeterminate()
946   assert(SS->isOpened() && "First ensure that stream is opened.");  in ensureNoFilePositionIndeterminate()
948   if (SS->FilePositionIndeterminate) {  in ensureNoFilePositionIndeterminate()
949     if (SS->ErrorState & ErrorFEof) {  in ensureNoFilePositionIndeterminate()
960           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));  in ensureNoFilePositionIndeterminate()
1062     const StreamState &SS = I.second;  in checkDeadSymbols()  local
1065     if (SS.isOpened())  in checkDeadSymbols()