Searched refs:assumeBinOpNN (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 700 ProgramStateRef assumeBinOpNN(ProgramStateRef State, in assumeBinOpNN() function
1167 StateFailed = E.assumeBinOpNN(StateFailed, BO_LT, RetVal, *NMembVal); in evalFreadFwrite()
1268 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFputx()
1347 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFscanf()
1427 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalGetdelim()
1440 StateNotFailed = E.assumeBinOpNN(StateNotFailed, BO_GT, in evalGetdelim()
1569 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFtell()
1735 State = E.assumeBinOpNN(State, BO_GE, RetVal, E.getZeroVal(Call)); in evalFileno()
|