Searched defs:StateFailed (Results 1 – 1 of 1) sorted by relevance
644 ProgramStateRef StateFailed = in evalFreadFwrite() local709 ProgramStateRef StateNotFailed, StateFailed; in evalFseek() local