Searched refs:bindInt (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 204 ProgramStateRef bindInt(uint64_t Value, ProgramStateRef State, in bindInt() function
761 State = bindInt(0, State, C, CE); in evalFreadFwrite()
874 StateFailed = bindInt(*EofVal, State, C, CE); in evalFgetx()
944 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFputx()
1044 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFscanf()
1089 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalUngetc()
1140 ProgramStateRef StateFailed = bindInt(-1, State, C, CE); in evalGetdelim()
1399 ProgramStateRef FalseState = bindInt(0, State, C, CE); in evalFeofFerror()
1474 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFflush()
1475 ProgramStateRef StateNotFailed = bindInt(0, State, C, CE); in evalFflush()
|