Searched refs:maxMinusRight (Results 1 – 1 of 1) sorted by relevance
775 SVal maxMinusRight; in checkAdditionOverflow() local777 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, in checkAdditionOverflow()782 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, in checkAdditionOverflow()787 if (std::optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) { in checkAdditionOverflow()