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());
57 NonLoc idx = svalBuilder.makeZeroArrayIndex();
373 ASTContext &Ctx = svalBuilder.getContext();
381 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
385 return svalBuilder.dispatchCast(V, castTy);
443 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
469 // SValBuilder here to add the two offsets without checking their types.
483 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
