Lines Matching refs:Stream
88 Opened, /// Stream is opened.
198 BugType BT_FileNull{this, "NULL stream pointer", "Stream handling error"};
199 BugType BT_UseAfterClose{this, "Closed stream", "Stream handling error"};
201 "Stream handling error"};
203 "Stream handling error"};
205 "Stream handling error"};
206 BugType BT_StreamEof{this, "Stream already in EOF", "Stream handling error"};
207 BugType BT_ResourceLeak{this, "Resource leak", "Stream handling error"};
460 constructNoteTag(C, RetSym, "Stream opened here"));
506 // Stream switches to OpenFailed state.
516 constructNoteTag(C, StreamSym, "Stream reopened here"));
803 assert(SS && "Stream should be tracked by the checker.");
812 auto Stream = StreamVal.getAs<DefinedSVal>();
813 if (!Stream)
819 std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);
824 BT_FileNull, "Stream pointer might be NULL.", N));
850 "Stream might be already closed. Causes undefined behaviour.", N));
866 "Stream might be invalid after "