Searched defs: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
1227 ProgramStateRef StateFailed; in evalFgetx() local
1281 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFputx() local
1307 ProgramStateRef StateNotFailed, StateFailed; in evalFprintf() local
1369 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFscanf() local
1399 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalUngetc() local
1452 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); in evalGetdelim() local
1505 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); in evalFseek() local
1519 ProgramStateRef StateNotFailed, StateFailed; in evalFgetpos() local
1538 ProgramStateRef StateNotFailed, StateFailed; in evalFsetpos() local
[all …]
|