672   ProgramStateRef setStreamState(ProgramStateRef State,  in setStreamState()  function
987   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()
1319   StateFailed = E.setStreamState(  in evalFprintf()
1372   StateFailed = E.setStreamState(  in evalFscanf()
1390       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));  in evalUngetc()
1400   StateFailed = E.setStreamState(StateFailed, StreamState::getOpened(Desc));  in evalUngetc()
1455   StateFailed = E.setStreamState(  in evalGetdelim()
1493       E.setStreamState(StateNotFailed, StreamState::getOpened(Desc));  in evalFseek()
1506   StateFailed = E.setStreamState(  in evalFseek()
1541   StateNotFailed = E.setStreamState(  in evalFsetpos()
1552   StateFailed = E.setStreamState(  in evalFsetpos()
1590       E.setStreamState(State, StreamState::getOpened(Desc, ErrorNone, false));  in evalRewind()
1681   State = E.setStreamState(  in evalClearerr()
1700     C.addTransition(E.setStreamState(  in evalFeofFerror()
1710     C.addTransition(E.setStreamState(  in evalFeofFerror()