Lines Matching refs:maxVal
555 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);559 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,564 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,