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);