Lines Matching full:maxval
571 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);575 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,580 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
