Searched refs:setStreamState (Results 1 – 1 of 1) sorted by relevance
679 ProgramStateRef setStreamState(ProgramStateRef State, in setStreamState() function1026 State = E.setStreamState(State, StreamState::getClosed(Desc)); in evalFclose()1194 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFreadFwrite()1217 StateFailed = E.setStreamState( in evalFreadFwrite()1260 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFgetx()1276 StateFailed = E.setStreamState( in evalFgetx()1299 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()1311 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()1321 StateFailed = E.setStreamState( in evalFputx()1350 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFprintf()[all …]