reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
671 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 673 QualType sizeTy = svalBuilder.getContext().getSizeType(); 675 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); 679 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right, 684 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 690 QualType cmpTy = svalBuilder.getConditionType(); 692 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,