Searched refs:StreamState (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SimpleStreamChecker.cpp | 31 struct StreamState { struct
34 StreamState(Kind InK) : K(InK) { } in StreamState() argument
40 static StreamState getOpened() { return StreamState(Opened); } in getOpened() argument
41 static StreamState getClosed() { return StreamState(Closed); } in getClosed() argument
43 bool operator==(const StreamState &X) const { in operator ==() argument
90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
119 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in checkPostCall()
138 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()
145 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()
149 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
|
| H A D | StreamChecker.cpp | 86 struct StreamState { struct
126 bool operator==(const StreamState &X) const { in operator ==() argument
134 static StreamState getOpened(const FnDescription *L, in getOpened() argument
139 static StreamState getClosed(const FnDescription *L) { in getClosed() argument
140 return StreamState{L, Closed, {}, false}; in getClosed()
143 return StreamState{L, OpenFailed, {}, false}; in getOpenFailed()
573 const StreamState *SS = State->get<StreamMap>(Sym); in evalFclose()
702 StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof()); in evalFreadFwrite()
825 StreamState::getOpened( in evalFeofFerror()
892 const StreamState *SS = State->get<StreamMap>(Sym); in ensureStreamOpened()
[all …]
|