Searched refs:getZeroVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 675 NonLoc getZeroVal(const CallEvent &Call) { in getZeroVal() function
1307 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFputx()
1386 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFscanf()
1466 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalGetdelim()
1608 E.assumeBinOpNN(StateNotFailed, BO_GE, RetVal, E.getZeroVal(Call)); in evalFtell()
1775 State = E.assumeBinOpNN(State, BO_GE, RetVal, E.getZeroVal(Call)); in evalFileno()
|