598   C.addTransition(StateNotNull,  in evalFopen()
600   C.addTransition(StateNull);  in evalFopen()
612   C.addTransition(State);  in preFreopen()
656   C.addTransition(StateRetNotNull,  in evalFreopen()
658   C.addTransition(StateRetNull);  in evalFreopen()
691   C.addTransition(StateSuccess);  in evalFclose()
692   C.addTransition(StateFailure);  in evalFclose()
712     C.addTransition(State);  in preReadWrite()
722     C.addTransition(State);  in preReadWrite()
762     C.addTransition(State);  in evalFreadFwrite()
773     C.addTransition(StateNotFailed);  in evalFreadFwrite()
801     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
803     C.addTransition(StateFailed);  in evalFreadFwrite()
856       C.addTransition(StateNotFailed);  in evalFgetx()
867       C.addTransition(StateNotFailed);  in evalFgetx()
887     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFgetx()
889     C.addTransition(StateFailed);  in evalFgetx()
921     C.addTransition(StateNotFailed);  in evalFputx()
939     C.addTransition(StateNotFailed);  in evalFputx()
947   C.addTransition(StateFailed);  in evalFputx()
984   C.addTransition(StateNotFailed);  in evalFprintf()
990   C.addTransition(StateFailed);  in evalFprintf()
1035     C.addTransition(StateNotFailed);  in evalFscanf()
1051     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFscanf()
1053     C.addTransition(StateFailed);  in evalFscanf()
1081   C.addTransition(StateNotFailed);  in evalUngetc()
1092   C.addTransition(StateFailed);  in evalUngetc()
1134     C.addTransition(StateNotFailed);  in evalGetdelim()
1146     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalGetdelim()
1148     C.addTransition(StateFailed);  in evalGetdelim()
1166   C.addTransition(State);  in preFseek()
1214   C.addTransition(StateNotFailed);  in evalFseek()
1215   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
1243   C.addTransition(StateNotFailed);  in evalFgetpos()
1244   C.addTransition(StateFailed);  in evalFgetpos()
1281   C.addTransition(StateNotFailed);  in evalFsetpos()
1282   C.addTransition(StateFailed);  in evalFsetpos()
1319   C.addTransition(StateNotFailed);  in evalFtell()
1320   C.addTransition(StateFailed);  in evalFtell()
1343   C.addTransition(State);  in evalRewind()
1364   C.addTransition(State);  in evalClearerr()
1390     C.addTransition(TrueState->set<StreamMap>(  in evalFeofFerror()
1400     C.addTransition(FalseState->set<StreamMap>(  in evalFeofFerror()
1419   C.addTransition(State);  in preDefault()
1432   C.addTransition(State);  in evalSetFeofFerror()
1509   C.addTransition(StateNotFailed);  in evalFflush()
1510   C.addTransition(StateFailed);  in evalFflush()
1666   C.addTransition(State);  in reportFEofWarning()
1731   C.addTransition(State, N);  in checkDeadSymbols()