355   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
385     SymbolRef StreamSym;  member
389       if (BR.isInteresting(StreamSym) && &BR.getBugType() == BT_ResourceLeak)  in operator ()()
396   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()  argument
398     return C.getNoteTag(NoteFn{&BT_ResourceLeak, StreamSym, Message});  in constructNoteTag()
402                                         SymbolRef StreamSym) const {  in constructSetEofNoteTag()
403     return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {  in constructSetEofNoteTag()
404       if (!BR.isInteresting(StreamSym) ||  in constructSetEofNoteTag()
408       BR.markNotInteresting(StreamSym);  in constructSetEofNoteTag()
417                                                 SymbolRef StreamSym,
434                                                       SymbolRef StreamSym,  in getAcquisitionSite()  argument
439   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
445     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
534   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()  local
537   if (!StreamSym)  in evalFreopen()
541   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
557       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
559       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
562                   constructNoteTag(C, StreamSym, "Stream reopened here"));  in evalFreopen()
634   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFreadFwrite()  local
635   if (!StreamSym)  in evalFreadFwrite()
649   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
676         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
703   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
705     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
731   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFseek()  local
732   if (!StreamSym)  in evalFseek()
740   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
756       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
762       StreamSym,  in evalFseek()
766   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
773   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalClearerr()  local
774   if (!StreamSym)  in evalClearerr()
777   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
785       StreamSym,  in evalClearerr()
794   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFeofFerror()  local
795   if (!StreamSym)  in evalFeofFerror()
802   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
814         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
824         StreamSym,  in evalFeofFerror()
849   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalSetFeofFerror()  local
850   assert(StreamSym && "Operation not permitted on non-symbolic stream value.");  in evalSetFeofFerror()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
854       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
999 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()  argument
1007     R->markInteresting(StreamSym);  in reportFEofWarning()