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...] |