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