375   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
405     SymbolRef StreamSym;  member
409       if (BR.isInteresting(StreamSym) && &BR.getBugType() == BT_ResourceLeak)  in operator ()()
416   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()  argument
418     return C.getNoteTag(NoteFn{&BT_ResourceLeak, StreamSym, Message});  in constructNoteTag()
422                                         SymbolRef StreamSym) const {  in constructSetEofNoteTag()
423     return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {  in constructSetEofNoteTag()
424       if (!BR.isInteresting(StreamSym) ||  in constructSetEofNoteTag()
428       BR.markNotInteresting(StreamSym);  in constructSetEofNoteTag()
448                                                 SymbolRef StreamSym,
464                                                       SymbolRef StreamSym,  in getAcquisitionSite()  argument
469   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
475     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
566   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()  local
569   if (!StreamSym)  in evalFreopen()
573   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
589       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
591       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
594                   constructNoteTag(C, StreamSym, "Stream reopened here"));  in evalFreopen()
679   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFreadFwrite()  local
680   if (!StreamSym)  in evalFreadFwrite()
694   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
721         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
748   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
750     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
776   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFseek()  local
777   if (!StreamSym)  in evalFseek()
785   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
801       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
807       StreamSym,  in evalFseek()
811   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
847   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFsetpos()  local
848   if (!StreamSym)  in evalFsetpos()
851   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()
868       StreamSym, StreamState::getOpened(Desc, ErrorNone, false));  in evalFsetpos()
875       StreamSym, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));  in evalFsetpos()
919   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalRewind()  local
920   if (!StreamSym)  in evalRewind()
923   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()
933   State = State->set<StreamMap>(StreamSym,  in evalRewind()
943   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalClearerr()  local
944   if (!StreamSym)  in evalClearerr()
947   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
955       StreamSym,  in evalClearerr()
964   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFeofFerror()  local
965   if (!StreamSym)  in evalFeofFerror()
972   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
984         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
994         StreamSym,  in evalFeofFerror()
1019   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalSetFeofFerror()  local
1020   assert(StreamSym && "Operation not permitted on non-symbolic stream value.");  in evalSetFeofFerror()
1021   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
1024       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
1168 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()  argument
1176     R->markInteresting(StreamSym);  in reportFEofWarning()