Searched defs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
718 ProgramStateRef StateNotFailed = in evalFreadFwrite() local795 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local832 ProgramStateRef StateNotFailed, StateFailed; in evalFgetpos() local863 ProgramStateRef StateNotFailed, StateFailed; in evalFsetpos() local897 ProgramStateRef StateNotFailed = in evalFtell() local