Searched refs:setStreamState (Results 1 – 1 of 1) sorted by relevance
672 ProgramStateRef setStreamState(ProgramStateRef State, in setStreamState() function987 State = E.setStreamState(State, StreamState::getClosed(Desc)); in evalFclose()1155 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFreadFwrite()1178 StateFailed = E.setStreamState( in evalFreadFwrite()1221 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFgetx()1237 StateFailed = E.setStreamState( in evalFgetx()1260 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()1272 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()1282 StateFailed = E.setStreamState( in evalFputx()1311 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFprintf()[all …]