522 inline void assertStreamStateOpened(const StreamState *SS) {  in REGISTER_MAP_WITH_PROGRAMSTATE()
523   assert(SS->isOpened() && "Stream is expected to be opened");  in REGISTER_MAP_WITH_PROGRAMSTATE()
668   const StreamState *SS = State->get<StreamMap>(Sym);  in evalFclose()  local
669   if (!SS)  in evalFclose()
676   assertStreamStateOpened(SS);  in evalFclose()
718     const StreamState *SS = State->get<StreamMap>(Sym);  in preReadWrite()  local
719     if (SS->ErrorState & ErrorFEof)  in preReadWrite()
1255   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()  local
1256   if (!SS)  in evalFsetpos()
1263   assertStreamStateOpened(SS);  in evalFsetpos()
1330   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()  local
1331   if (!SS)  in evalRewind()
1338   assertStreamStateOpened(SS);  in evalRewind()
1354   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()  local
1355   if (!SS)  in evalClearerr()
1358   assertStreamStateOpened(SS);  in evalClearerr()
1363       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));  in evalClearerr()
1379   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()  local
1380   if (!SS)  in evalFeofFerror()
1383   assertStreamStateOpened(SS);  in evalFeofFerror()
1385   if (SS->ErrorState & ErrorKind) {  in evalFeofFerror()
1392                                           SS->FilePositionIndeterminate &&  in evalFeofFerror()
1395   if (StreamErrorState NewES = SS->ErrorState & (~ErrorKind)) {  in evalFeofFerror()
1403             Desc, NewES, SS->FilePositionIndeterminate && !NewES.isFEof())));  in evalFeofFerror()
1428   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()  local
1429   assert(SS && "Stream should be tracked by the checker.");  in evalSetFeofFerror()
1431       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
1479                                                        const StreamState *SS) {  in evalFflush()  argument
1480     if (SS->ErrorState & ErrorFError) {  in evalFflush()
1482           (SS->ErrorState & ErrorFEof) ? ErrorFEof : ErrorNone;  in evalFflush()
1491       const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFflush()  local
1492       if (SS) {  in evalFflush()
1493         assert(SS->isOpened() && "Stream is expected to be opened");  in evalFflush()
1494         ClearErrorInNotFailed(StreamSym, SS);  in evalFflush()
1503       const StreamState &SS = I.second;  in evalFflush()  local
1504       if (SS.isOpened())  in evalFflush()
1505         ClearErrorInNotFailed(Sym, &SS);  in evalFflush()
1547   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureStreamOpened()  local
1548   if (!SS)  in ensureStreamOpened()
1551   if (SS->isClosed()) {  in ensureStreamOpened()
1565   if (SS->isOpenFailed()) {  in ensureStreamOpened()
1596   const StreamState *SS = State->get<StreamMap>(Sym);  in ensureNoFilePositionIndeterminate()  local
1597   if (!SS)  in ensureNoFilePositionIndeterminate()
1600   assert(SS->isOpened() && "First ensure that stream is opened.");  in ensureNoFilePositionIndeterminate()
1602   if (SS->FilePositionIndeterminate) {  in ensureNoFilePositionIndeterminate()
1603     if (SS->ErrorState & ErrorFEof) {  in ensureNoFilePositionIndeterminate()
1614           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));  in ensureNoFilePositionIndeterminate()
1719     const StreamState &SS = I.second;  in checkDeadSymbols()  local
1722     if (SS.isOpened())  in checkDeadSymbols()