Searched refs:StateFailed (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 1204 ProgramStateRef StateFailed = in evalFreadFwrite() local
1206 StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal); in evalFreadFwrite()
1207 if (!StateFailed) in evalFreadFwrite()
1217 StateFailed = E.setStreamState( in evalFreadFwrite()
1218 StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof())); in evalFreadFwrite()
1219 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFreadFwrite()
1266 ProgramStateRef StateFailed; in evalFgetx() local
1268 StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFgetx()
1270 StateFailed = E.bindNullReturnValue(State, C); in evalFgetx()
1276 StateFailed = E.setStreamState( in evalFgetx()
[all …]
|