367     SymbolRef StreamSym;  member
371       if (BR.isInteresting(StreamSym) &&  in operator ()()
379   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()  argument
381     return C.getNoteTag(NoteFn{getCheckerName(), StreamSym, Message});  in constructNoteTag()
387                                                 SymbolRef StreamSym,
401                                                       SymbolRef StreamSym,  in getAcquisitionSite()  argument
406   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
412     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
496   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()  local
499   if (!StreamSym)  in evalFreopen()
503   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
518       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
520       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
523                   constructNoteTag(C, StreamSym, "Stream reopened here"));  in evalFreopen()
593   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFreadFwrite()  local
594   if (!StreamSym)  in evalFreadFwrite()
608   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
636           StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
666   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewState);  in evalFreadFwrite()
690   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFseek()  local
691   if (!StreamSym)  in evalFseek()
699   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
715       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
721       StreamSym,  in evalFseek()
732   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalClearerr()  local
733   if (!StreamSym)  in evalClearerr()
736   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
744       StreamSym,  in evalClearerr()
753   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFeofFerror()  local
754   if (!StreamSym)  in evalFeofFerror()
761   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
773         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
783         StreamSym,  in evalFeofFerror()
807   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalSetFeofFerror()  local
808   assert(StreamSym && "Operation not permitted on non-symbolic stream value.");  in evalSetFeofFerror()
809   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
812       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()