Lines Matching full:maxminusright
559 SVal maxMinusRight;
561 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
566 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
571 if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {
