Searched refs:StateFailed (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 1165 ProgramStateRef StateFailed = in evalFreadFwrite() local
1167 StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal); in evalFreadFwrite()
1168 if (!StateFailed) in evalFreadFwrite()
1178 StateFailed = E.setStreamState( in evalFreadFwrite()
1179 StateFailed, StreamState::getOpened(Desc, NewES, !NewES.isFEof())); in evalFreadFwrite()
1180 C.addTransition(StateFailed, E.getFailureNoteTag(this, C)); in evalFreadFwrite()
1227 ProgramStateRef StateFailed; in evalFgetx() local
1229 StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFgetx()
1231 StateFailed = E.bindNullReturnValue(State, C); in evalFgetx()
1237 StateFailed = E.setStreamState( in evalFgetx()
[all …]
|