798   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFreadFwrite()  local
799   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
884   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFgetx()  local
885   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFgetx()
945   StreamState NewSS = StreamState::getOpened(Desc, ErrorFError, true);  in evalFputx()  local
946   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFputx()
1048   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalFscanf()  local
1049   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFscanf()
1143   StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof());  in evalGetdelim()  local
1144   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalGetdelim()
1483       StreamState NewSS = StreamState::getOpened(Desc, NewES, false);  in evalFflush()  local
1484       StateNotFailed = StateNotFailed->set<StreamMap>(Sym, NewSS);  in evalFflush()