Searched defs:StateNotFailed (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 1257 ProgramStateRef StateNotFailed in evalFputx() local
1152 ProgramStateRef StateNotFailed = evalFreadFwrite() local
1200 ProgramStateRef StateNotFailed = evalFgetx() local
1218 ProgramStateRef StateNotFailed = evalFgetx() local
1265 ProgramStateRef StateNotFailed = evalFputx() local
1307 ProgramStateRef StateNotFailed, StateFailed; evalFprintf() local
1344 ProgramStateRef StateNotFailed = evalFscanf() local
1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); evalUngetc() local
1425 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, RetVal); evalGetdelim() local
1490 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, 0); evalFseek() local
1519 ProgramStateRef StateNotFailed, StateFailed; evalFgetpos() local
1538 ProgramStateRef StateNotFailed, StateFailed; evalFsetpos() local
1566 ProgramStateRef StateNotFailed = evalFtell() local
1634 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); evalFflush() local
[all...] |