778   ProgramStateRef StateFailed =  in evalFreadFwrite()  local
786   StateFailed = StateFailed->assume(*Cond, true);  in evalFreadFwrite()
787   if (!StateFailed)  in evalFreadFwrite()
799   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
801     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
803     C.addTransition(StateFailed);  in evalFreadFwrite()
872   ProgramStateRef StateFailed;  in evalFgetx()  local
874     StateFailed = bindInt(*EofVal, State, C, CE);  in evalFgetx()
876     StateFailed =  in evalFgetx()
885   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFgetx()
887     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFgetx()
889     C.addTransition(StateFailed);  in evalFgetx()
944   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);  in evalFputx()  local
946   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFputx()
947   C.addTransition(StateFailed);  in evalFputx()
979   ProgramStateRef StateNotFailed, StateFailed;  in evalFprintf()  local
980   std::tie(StateNotFailed, StateFailed) = State->assume(*Cond);  in evalFprintf()
988   StateFailed = StateFailed->set<StreamMap>(  in evalFprintf()
990   C.addTransition(StateFailed);  in evalFprintf()
1044   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);  in evalFscanf()  local
1049   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFscanf()
1051     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFscanf()
1053     C.addTransition(StateFailed);  in evalFscanf()
1089   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);  in evalUngetc()  local
1090   StateFailed =  in evalUngetc()
1091       StateFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1092   C.addTransition(StateFailed);  in evalUngetc()
1140   ProgramStateRef StateFailed = bindInt(-1, State, C, CE);  in evalGetdelim()  local
1144   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalGetdelim()
1146     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalGetdelim()
1148     C.addTransition(StateFailed);  in evalGetdelim()
1196   ProgramStateRef StateNotFailed, StateFailed;  in evalFseek()  local
1197   std::tie(StateFailed, StateNotFailed) =  in evalFseek()
1211   StateFailed = StateFailed->set<StreamMap>(  in evalFseek()
1215   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
1236   ProgramStateRef StateNotFailed, StateFailed;  in evalFgetpos()  local
1237   std::tie(StateFailed, StateNotFailed) =  in evalFgetpos()
1244   C.addTransition(StateFailed);  in evalFgetpos()
1267   ProgramStateRef StateNotFailed, StateFailed;  in evalFsetpos()  local
1268   std::tie(StateFailed, StateNotFailed) =  in evalFsetpos()
1278   StateFailed = StateFailed->set<StreamMap>(  in evalFsetpos()
1282   C.addTransition(StateFailed);  in evalFsetpos()
1313   ProgramStateRef StateFailed = State->BindExpr(  in evalFtell()  local
1320   C.addTransition(StateFailed);  in evalFtell()
1474   ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE);  in evalFflush()  local
1510   C.addTransition(StateFailed);  in evalFflush()