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