Searched refs:getZeroVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 668 NonLoc getZeroVal(const CallEvent &Call) { in getZeroVal() function
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()
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()
|