Lines Matching defs:StateNotFailed
1152 ProgramStateRef StateNotFailed = in evalFreadFwrite() local
1200 ProgramStateRef StateNotFailed = in evalFgetx() local
1218 ProgramStateRef StateNotFailed = in evalFgetx() local
1257 ProgramStateRef StateNotFailed = in evalFputx() local
1265 ProgramStateRef StateNotFailed = in evalFputx() local
1307 ProgramStateRef StateNotFailed, StateFailed; in evalFprintf() local
1344 ProgramStateRef StateNotFailed = in evalFscanf() local
1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc() local
1425 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal); in evalGetdelim() local
1490 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0); in evalFseek() local
1519 ProgramStateRef StateNotFailed, StateFailed; in evalFgetpos() local
1538 ProgramStateRef StateNotFailed, StateFailed; in evalFsetpos() local
1566 ProgramStateRef StateNotFailed = in evalFtell() local
1634 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush() local