Searched refs:maxVal (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocOverflowSecurityChecker.cpp | 39 APSInt maxVal; member
43 : call(call), mulop(m), variable(v), maxVal(std::move(val)) {} in MallocOverflowCheck()
78 APSInt maxVal; in CheckMallocArgument() local
81 maxVal = 0; in CheckMallocArgument()
95 maxVal = rhs->EvaluateKnownConstInt(Context); in CheckMallocArgument()
96 if (EvaluatesToZero(maxVal, opc)) in CheckMallocArgument()
100 maxVal = lhs->EvaluateKnownConstInt(Context); in CheckMallocArgument()
101 if (EvaluatesToZero(maxVal, opc)) in CheckMallocArgument()
120 MallocOverflowCheck(TheCall, mulop, e, maxVal)); in CheckMallocArgument()
219 (numeratorKnown && (denomExtVal >= Check.maxVal.getExtValue())); in CheckAssignmentExpr()
|
| H A D | CStringChecker.cpp | 749 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow() local
753 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()
758 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()
|