847                          SValBuilder &SVB, const ClusterBindings &Cluster,  in collectSubRegionBindings()  argument
859   SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB);  in collectSubRegionBindings()
865     Length = ExtentInt.getLimitedValue() * SVB.getContext().getCharWidth();  in collectSubRegionBindings()
868       Length = FR->getDecl()->getBitWidthValue(SVB.getContext());  in collectSubRegionBindings()
919                          SValBuilder &SVB, const ClusterBindings &Cluster,  in collectSubRegionBindings()  argument
921   collectSubRegionBindings(Bindings, SVB, Cluster, Top,  in collectSubRegionBindings()
1541 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B,  in getExistingLazyBinding()  argument
1557     if (!SVB.getContext().hasSameUnqualifiedType(RegionTy, SourceRegionTy))  in getExistingLazyBinding()
1565     collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R,  in getExistingLazyBinding()
1893     const TypedValueRegion *SubReg, const ASTContext &Ctx, SValBuilder &SVB) {  in getDerivedSymbolForBinding()  argument
1901           return SVB.getDerivedRegionValueSymbolVal(ParentValueAsSym, SubReg);  in getDerivedSymbolForBinding()