Lines Matching defs:StreamSym
296 SymbolRef StreamSym) const {
297 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
298 if (!BR.isInteresting(StreamSym) ||
302 BR.markNotInteresting(StreamSym);
309 SymbolRef StreamSym) const {
310 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
311 if (!BR.isInteresting(StreamSym) ||
315 BR.markNotInteresting(StreamSym);
322 SymbolRef StreamSym) const {
323 return C.getNoteTag([this, StreamSym](PathSensitiveBugReport &BR) {
324 if (!BR.isInteresting(StreamSym))
328 BR.markNotInteresting(StreamSym);
332 BR.markNotInteresting(StreamSym);
582 void reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
608 const NoteTag *constructLeakNoteTag(CheckerContext &C, SymbolRef StreamSym,
610 return C.getNoteTag([this, StreamSym,
612 if (BR.isInteresting(StreamSym) && &BR.getBugType() == &BT_ResourceLeak)
635 /// StreamSym.
637 SymbolRef StreamSym,
645 SymbolRef StreamSym = nullptr;
657 StreamSym = getStreamArg(Desc, Call).getAsSymbol();
658 if (!StreamSym)
660 SS = State->get<StreamMap>(StreamSym);
682 return State->set<StreamMap>(StreamSym, NewSS);
728 return Ch->constructSetEofNoteTag(C, StreamSym);
730 return Ch->constructSetErrorNoteTag(C, StreamSym);
732 return Ch->constructSetEofOrErrorNoteTag(C, StreamSym);
805 SymbolRef StreamSym,
810 if (!State->get<StreamMap>(StreamSym))
816 if (!State->get<StreamMap>(StreamSym))
984 SymbolRef StreamSym = StreamVal->getAsSymbol();
987 if (!StreamSym)
991 if (!State->get<StreamMap>(StreamSym))
1007 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));
1009 StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));
1012 constructLeakNoteTag(C, StreamSym, "Stream reopened here"));
1688 if (SymbolRef StreamSym = StreamVal.getAsSymbol()) {
1689 const StreamState *SS = State->get<StreamMap>(StreamSym);
1692 ClearErrorInNotFailed(StreamSym, SS);
1801 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol();
1802 assert(StreamSym && "Operation not permitted on non-symbolic stream value.");
1803 const StreamState *SS = State->get<StreamMap>(StreamSym);
1806 StreamSym,
1840 const SymbolRef StreamSym;
1844 explicit StreamClosedVisitor(SymbolRef StreamSym) : StreamSym(StreamSym) {}
1853 ID.AddPointer(StreamSym);
1862 N->getFirstPred()->getState()->get<StreamMap>(StreamSym);
1996 void StreamChecker::reportFEofWarning(SymbolRef StreamSym, CheckerContext &C,
2004 R->markInteresting(StreamSym);