Lines Matching defs:SVB
29 const MemRegion *MR, SValBuilder &SVB) {
35 return MR->getMemRegionManager().getStaticSize(MR, SVB);
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) {
39 return SVB.makeIntVal(SVB.getContext().getTypeSizeInChars(Ty).getQuantity(),
40 SVB.getArrayIndexType());
45 SValBuilder &SVB,
49 DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, SVB);
50 SVal ElementSize = getElementExtent(ElementTy, SVB);
53 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType());
82 DefinedOrUnknownSVal Size, SValBuilder &SVB) {