Searched refs:StreamState (Results 1 – 2 of 2) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SimpleStreamChecker.cpp | 30 struct StreamState { struct
33 StreamState(Kind InK) : K(InK) { } in StreamState() argument
39 static StreamState getOpened() { return StreamState(Opened); } in getOpened() argument
40 static StreamState getClosed() { return StreamState(Closed); } in getClosed() argument
42 bool operator==(const StreamState &X) const { in operator ==() argument
89 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
132 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in checkPostCall()
151 const StreamState *SS = State->get<StreamMap>(FileDesc); in checkPreCall()
158 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall()
162 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
|
| H A D | StreamChecker.cpp | 85 struct StreamState { struct
125 bool operator==(const StreamState &X) const { in operator ==() argument
133 static StreamState getOpened(const FnDescription *L, in getOpened() argument
138 static StreamState getClosed(const FnDescription *L) { in getClosed() argument
139 return StreamState{L, Closed, {}, false}; in getClosed()
142 return StreamState{L, OpenFailed, {}, false}; in getOpenFailed()
571 const StreamState *SS = State->get<StreamMap>(Sym); in evalFclose()
675 StreamSym, StreamState::getOpened(Desc)); in evalFreadFwrite()
705 StreamState NewSS = StreamState::getOpened(Desc, NewES, !NewES.isFEof()); in evalFreadFwrite()
828 StreamState::getOpened( in evalFeofFerror()
[all …]
|