Searched defs:StateFailed (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 1165 ProgramStateRef StateFailed = evalFreadFwrite() local
1227 ProgramStateRef StateFailed; evalFgetx() local
1281 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); evalFputx() local
1307 ProgramStateRef StateNotFailed, StateFailed; evalFprintf() local
1369 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); evalFscanf() local
1399 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); evalUngetc() local
1452 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); evalGetdelim() local
1505 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); evalFseek() local
1519 ProgramStateRef StateNotFailed, StateFailed; evalFgetpos() local
1538 ProgramStateRef StateNotFailed, StateFailed; evalFsetpos() local
1573 ProgramStateRef StateFailed = E.bindReturnValue(State, C, -1); evalFtell() local
1633 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); evalFflush() local
[all...] |