Lines Matching defs:StreamSym
285 SymbolRef StreamSym) const {
286 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
287 if (!BR.isInteresting(StreamSym) ||
291 BR.markNotInteresting(StreamSym);
298 SymbolRef StreamSym) const {
299 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
300 if (!BR.isInteresting(StreamSym) ||
304 BR.markNotInteresting(StreamSym);
311 SymbolRef StreamSym) const {
312 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
313 if (!BR.isInteresting(StreamSym))
317 BR.markNotInteresting(StreamSym);
321 BR.markNotInteresting(StreamSym);
567 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
593 const NoteTag *constructLeakNoteTag(CheckerContext &C, SymbolRef StreamSym,
595 return C.getNoteTag([this, StreamSym,
597 if (BR.isInteresting(StreamSym) && &BR.getBugType() == &BT_ResourceLeak)
628 /// StreamSym.
630 SymbolRef StreamSym,
638 SymbolRef StreamSym = nullptr;
650 StreamSym = getStreamArg(Desc, Call).getAsSymbol();
651 if (!StreamSym)
653 SS = State->get<StreamMap>(StreamSym);
675 return State->set<StreamMap>(StreamSym, NewSS);
721 return Ch->constructSetEofNoteTag(C, StreamSym);
723 return Ch->constructSetErrorNoteTag(C, StreamSym);
725 return Ch->constructSetEofOrErrorNoteTag(C, StreamSym);
789 SymbolRef StreamSym,
794 if (!State->get<StreamMap>(StreamSym))
800 if (!State->get<StreamMap>(StreamSym))
945 SymbolRef StreamSym = StreamVal->getAsSymbol();
948 if (!StreamSym)
952 if (!State->get<StreamMap>(StreamSym))
968 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));
970 StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));
973 constructLeakNoteTag(C, StreamSym, "Stream reopened here"));
1649 if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {
1650 const StreamState *SS = State->get<StreamMap>(StreamSym);
1653 ClearErrorInNotFailed(StreamSym, SS);
1762 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();
1763 assert(StreamSym && "Operation not permitted on non-symbolic stream value.");
1764 const StreamState *SS = State->get<StreamMap>(StreamSym);
1767 StreamSym,
1917 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
1925 R->markInteresting(StreamSym);