Searched refs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
1191 ProgramStateRef StateNotFailed = in evalFreadFwrite() local1193 StateNotFailed = in evalFreadFwrite()1194 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFreadFwrite()1195 C.addTransition(StateNotFailed); in evalFreadFwrite()1239 ProgramStateRef StateNotFailed = in evalFgetx() local1243 StateNotFailed = StateNotFailed->assumeInclusiveRange( in evalFgetx()1248 if (!StateNotFailed) in evalFgetx()1250 C.addTransition(StateNotFailed); in evalFgetx()1257 ProgramStateRef StateNotFailed = in evalFgetx() local1259 StateNotFailed = in evalFgetx()[all …]