Searched refs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
1152 ProgramStateRef StateNotFailed = in evalFreadFwrite() local1154 StateNotFailed = in evalFreadFwrite()1155 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFreadFwrite()1156 C.addTransition(StateNotFailed); in evalFreadFwrite()1200 ProgramStateRef StateNotFailed = in evalFgetx() local1204 StateNotFailed = StateNotFailed->assumeInclusiveRange( in evalFgetx()1209 if (!StateNotFailed) in evalFgetx()1211 C.addTransition(StateNotFailed); in evalFgetx()1218 ProgramStateRef StateNotFailed = in evalFgetx() local1220 StateNotFailed = in evalFgetx()[all …]