Lines Matching refs:svalBuilder
25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
47 NonLoc idx = svalBuilder.makeArrayIndex(index);
48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
68 NonLoc idx = svalBuilder.makeZeroArrayIndex();
384 ASTContext &Ctx = svalBuilder.getContext();
392 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
396 return svalBuilder.dispatchCast(V, castTy);
454 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
494 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +