Searched defs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
1191 ProgramStateRef StateNotFailed = in evalFreadFwrite() local1239 ProgramStateRef StateNotFailed = in evalFgetx() local1257 ProgramStateRef StateNotFailed = in evalFgetx() local1296 ProgramStateRef StateNotFailed = in evalFputx() local1304 ProgramStateRef StateNotFailed = in evalFputx() local1346 ProgramStateRef StateNotFailed, StateFailed; in evalFprintf() local1383 ProgramStateRef StateNotFailed = in evalFscanf() local1427 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc() local1464 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal); in evalGetdelim() local1529 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0); in evalFseek() local[all …]