Lines Matching defs:SVB

96   SValBuilder &SVB = C.getSValBuilder();
99       SVB.getBasicValueFactory().getMaxValue(SizeTy)->getZExtValue();
104       SVB.makeIntVal(EleSize.getQuantity(), SizeTy).castAs<NonLoc>();
108   if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize))
115         SVB.evalCast(SizeD, SizeTy, SizeE->getType()).castAs<NonLoc>();
117     SVal Mul = SVB.evalBinOpNN(State, BO_Mul, ArrSize, IndexLength, SizeTy);
124     if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) {
182   SValBuilder &SVB = C.getSValBuilder();
185   DefinedOrUnknownSVal Zero = SVB.makeZeroVal(SizeTy);
188       SVB.evalBinOp(State, BO_LT, SizeD, Zero, SVB.getConditionType());