Searched defs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
1152 ProgramStateRef StateNotFailed = in evalFreadFwrite() local1200 ProgramStateRef StateNotFailed = in evalFgetx() local1218 ProgramStateRef StateNotFailed = in evalFgetx() local1257 ProgramStateRef StateNotFailed = in evalFputx() local1265 ProgramStateRef StateNotFailed = in evalFputx() local1307 ProgramStateRef StateNotFailed, StateFailed; in evalFprintf() local1344 ProgramStateRef StateNotFailed = in evalFscanf() local1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc() local1425 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal); in evalGetdelim() local1490 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0); in evalFseek() local[all …]