StaticAnalyzer/Checkers/StreamChecker.cpp

81 struct StreamState {
107   StreamState(const FnDescription *L, KindTy S, const StreamErrorState &ES,
121   bool operator==(const StreamState &X) const {
129   static StreamState getOpened(const FnDescription *L,
132     return StreamState{L, Opened, ES, IsFilePositionIndeterminate};
134   static StreamState getClosed(const FnDescription *L) {
135     return StreamState{L, Closed, {}, false};
137   static StreamState getOpenFailed(const FnDescription *L) {
138     return StreamState{L, OpenFailed, {}, false};
393 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
395 inline void assertStreamStateOpened(const StreamState *SS) {
462       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));
464       StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc));
518       StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));
520       StateRetNull->set<StreamMap>(StreamSym, StreamState::getOpenFailed(Desc));
534   const StreamState *SS = State->get<StreamMap>(Sym);
543   State = State->set<StreamMap>(Sym, StreamState::getClosed(Desc));
564     const StreamState *SS = State->get<StreamMap>(Sym);
608   const StreamState *SS = State->get<StreamMap>(StreamSym);
636           StreamSym, StreamState::getOpened(Desc));
665   StreamState NewState = StreamState::getOpened(Desc, NewES, !NewES.isFEof());
715       StateNotFailed->set<StreamMap>(StreamSym, StreamState::getOpened(Desc));
722       StreamState::getOpened(Desc, ErrorNone | ErrorFEof | ErrorFError, true));
736   const StreamState *SS = State->get<StreamMap>(StreamSym);
745       StreamState::getOpened(Desc, ErrorNone, SS->FilePositionIndeterminate));
761   const StreamState *SS = State->get<StreamMap>(StreamSym);
773         StreamSym, StreamState::getOpened(Desc, ErrorKind,
784         StreamState::getOpened(
809   const StreamState *SS = State->get<StreamMap>(StreamSym);
812       StreamSym, StreamState::getOpened(SS->LastOperation, ErrorKind));
846   const StreamState *SS = State->get<StreamMap>(Sym);
896   const StreamState *SS = State->get<StreamMap>(Sym);
914           Sym, StreamState::getOpened(SS->LastOperation, ErrorFEof, false));
1014     const StreamState &SS = I.second;