Searched refs:getOpened (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 158 static StreamState getOpened(const FnDescription *L, in getOpened() function
910 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
968 StateRetNotNull->set<StreamMap>(StreamSym, StreamState::getOpened(Desc)); in evalFreopen()
1155 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFreadFwrite()
1179 StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof())); in evalFreadFwrite()
1221 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFgetx()
1238 StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof())); in evalFgetx()
1260 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()
1272 E.setStreamState(StateNotFailed, StreamState::getOpened(Desc)); in evalFputx()
1283 StateFailed, StreamState::getOpened(Desc, ErrorFError, true)); in evalFputx()
[all …]
|
| H A D | SimpleStreamChecker.cpp | 40 static StreamState getOpened() { return StreamState(Opened); } in getOpened() function
105 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in REGISTER_MAP_WITH_PROGRAMSTATE()
|