Searched defs:StateFailed (Results 1 – 1 of 1) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 778 ProgramStateRef StateFailed = evalFreadFwrite() local
872 ProgramStateRef StateFailed; evalFgetx() local
944 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); evalFputx() local
979 ProgramStateRef StateNotFailed, StateFailed; evalFprintf() local
1044 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); evalFscanf() local
1089 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); evalUngetc() local
1140 ProgramStateRef StateFailed = bindInt(-1, State, C, CE); evalGetdelim() local
1196 ProgramStateRef StateNotFailed, StateFailed; evalFseek() local
1236 ProgramStateRef StateNotFailed, StateFailed; evalFgetpos() local
1267 ProgramStateRef StateNotFailed, StateFailed; evalFsetpos() local
1313 ProgramStateRef StateFailed = State->BindExpr( evalFtell() local
1474 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); evalFflush() local
[all...] |