438   void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
465   const NoteTag *constructNoteTag(CheckerContext &C, SymbolRef StreamSym,  in constructNoteTag()  argument
467     return C.getNoteTag([this, StreamSym,  in constructNoteTag()
469       if (BR.isInteresting(StreamSym) && &BR.getBugType() == &BT_ResourceLeak)  in constructNoteTag()
476                                         SymbolRef StreamSym) const {  in constructSetEofNoteTag()
477     return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {  in constructSetEofNoteTag()
478       if (!BR.isInteresting(StreamSym) ||  in constructSetEofNoteTag()
482       BR.markNotInteresting(StreamSym);  in constructSetEofNoteTag()
511                                                 SymbolRef StreamSym,
527                                                       SymbolRef StreamSym,  in getAcquisitionSite()  argument
532   if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
538     if (!State->get<StreamMap>(StreamSym))  in getAcquisitionSite()
629   SymbolRef StreamSym = StreamVal->getAsSymbol();  in evalFreopen()  local
632   if (!StreamSym)  in evalFreopen()
636   if (!State->get<StreamMap>(StreamSym))  in evalFreopen()
652       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreopen()
654       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));  in evalFreopen()
657                   constructNoteTag(C, StreamSym, "Stream reopened here"));  in evalFreopen()
730   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFreadFwrite()  local
731   if (!StreamSym)  in evalFreadFwrite()
745   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFreadFwrite()
772         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFreadFwrite()
799   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFreadFwrite()
801     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFreadFwrite()
809   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFgetx()  local
810   if (!StreamSym)  in evalFgetx()
817   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFgetx()
866           StreamSym, StreamState::getOpened(Desc));  in evalFgetx()
885   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFgetx()
887     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFgetx()
895   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFputx()  local
896   if (!StreamSym)  in evalFputx()
903   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFputx()
920         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
938         StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFputx()
946   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFputx()
956   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFprintf()  local
957   if (!StreamSym)  in evalFprintf()
964   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFprintf()
983       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFprintf()
989       StreamSym, StreamState::getOpened(Desc, ErrorFError, true));  in evalFprintf()
998   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFscanf()  local
999   if (!StreamSym)  in evalFscanf()
1006   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalFscanf()
1049   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalFscanf()
1051     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFscanf()
1059   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalUngetc()  local
1060   if (!StreamSym)  in evalUngetc()
1067   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalUngetc()
1080       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1091       StateFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalUngetc()
1099   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalGetdelim()  local
1100   if (!StreamSym)  in evalGetdelim()
1107   const StreamState *OldSS = State->get<StreamMap>(StreamSym);  in evalGetdelim()
1144   StateFailed = StateFailed->set<StreamMap>(StreamSym, NewSS);  in evalGetdelim()
1146     C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalGetdelim()
1172   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFseek()  local
1173   if (!StreamSym)  in evalFseek()
1181   if (!State->get<StreamMap>(StreamSym))  in evalFseek()
1202       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));  in evalFseek()
1212       StreamSym, StreamState::getOpened(Desc, NewErrS, true));  in evalFseek()
1215   C.addTransition(StateFailed, constructSetEofNoteTag(C, StreamSym));  in evalFseek()
1251   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFsetpos()  local
1252   if (!StreamSym)  in evalFsetpos()
1255   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFsetpos()
1272       StreamSym, StreamState::getOpened(Desc, ErrorNone, false));  in evalFsetpos()
1279       StreamSym, StreamState::getOpened(Desc, ErrorNone | ErrorFError, true));  in evalFsetpos()
1326   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalRewind()  local
1327   if (!StreamSym)  in evalRewind()
1330   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalRewind()
1340   State = State->set<StreamMap>(StreamSym,  in evalRewind()
1350   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalClearerr()  local
1351   if (!StreamSym)  in evalClearerr()
1354   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalClearerr()
1362       StreamSym,  in evalClearerr()
1371   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalFeofFerror()  local
1372   if (!StreamSym)  in evalFeofFerror()
1379   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFeofFerror()
1391         StreamSym, StreamState::getOpened(Desc, ErrorKind,  in evalFeofFerror()
1401         StreamSym,  in evalFeofFerror()
1426   SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();  in evalSetFeofFerror()  local
1427   assert(StreamSym && "Operation not permitted on non-symbolic stream value.");  in evalSetFeofFerror()
1428   const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalSetFeofFerror()
1431       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));  in evalSetFeofFerror()
1490     if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {  in evalFflush()  local
1491       const StreamState *SS = State->get<StreamMap>(StreamSym);  in evalFflush()
1494         ClearErrorInNotFailed(StreamSym, SS);  in evalFflush()
1654 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,  in reportFEofWarning()  argument
1662     R->markInteresting(StreamSym);  in reportFEofWarning()