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