354   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
384     SymbolRef StreamSym;  member
388       if (BR.isInteresting(StreamSym) && &BR.getBugType() == BT_ResourceLeak)  in operator ()()
395   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()  argument
397     return C.getNoteTag(NoteFn{&BT_ResourceLeak, StreamSym, Message});  in constructNoteTag()
401                                         SymbolRef StreamSym) const {  in constructSetEofNoteTag()
402     return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {  in constructSetEofNoteTag()
403       if (!BR.isInteresting(StreamSym) ||  in constructSetEofNoteTag()
407       BR.markNotInteresting(StreamSym);  in constructSetEofNoteTag()
416                                                 SymbolRef StreamSym,
433                                                       SymbolRef StreamSym,  in getAcquisitionSite()  argument
438   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
444     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
533   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()  local
536   if (!StreamSym)  in evalFreopen()
540   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
555       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
557       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
560                   constructNoteTag(C, StreamSym, "Stream reopened here"));  in evalFreopen()
632   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFreadFwrite()  local
633   if (!StreamSym)  in evalFreadFwrite()
647   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
675           StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
706   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
708     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
734   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFseek()  local
735   if (!StreamSym)  in evalFseek()
743   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
759       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
765       StreamSym,  in evalFseek()
769   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
776   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalClearerr()  local
777   if (!StreamSym)  in evalClearerr()
780   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
788       StreamSym,  in evalClearerr()
797   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFeofFerror()  local
798   if (!StreamSym)  in evalFeofFerror()
805   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
817         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
827         StreamSym,  in evalFeofFerror()
852   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalSetFeofFerror()  local
853   assert(StreamSym && "Operation not permitted on non-symbolic stream value.");  in evalSetFeofFerror()
854   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
857       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
1002 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()  argument
1010     R->markInteresting(StreamSym);  in reportFEofWarning()