Lines Matching defs:svalBuilder
649 SValBuilder &svalBuilder;
670 svalBuilder(StateMgr.getSValBuilder()),
799 SValBuilder &SVB, const ClusterBindings &Cluster,
871 SValBuilder &SVB, const ClusterBindings &Cluster,
901 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1057 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1078 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1157 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1196 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
1304 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
1305 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size);
1323 return svalBuilder.makeIntVal(RegionSize / EleSize, false);
1341 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();
1472 return svalBuilder.getRegionValueSymbolVal(R);
1494 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B,
1534 getExistingLazyBinding(svalBuilder, B, R, true))
1604 return svalBuilder.makeIntVal(c, T);
1633 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1668 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1671 return svalBuilder.makeZeroVal(Ty);
1798 return svalBuilder.getRegionValueSymbolVal(R);
1812 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1834 return svalBuilder.getRegionValueSymbolVal(R);
1839 if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1845 return svalBuilder.getRegionValueSymbolVal(R);
1853 return svalBuilder.makeZeroVal(T);
1860 return svalBuilder.getRegionValueSymbolVal(R);
1868 return svalBuilder.getRegionValueSymbolVal(R);
1891 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, LazyR,
1916 getExistingLazyBinding(svalBuilder, B, R, false))
1919 return svalBuilder.makeLazyCompoundVal(StoreRef(B.asStore(), *this), R);
2029 V = svalBuilder.makeNull();
2031 V = svalBuilder.makeZeroVal(T);
2035 V = svalBuilder.makeZeroVal(Ctx.IntTy);
2067 nonloc::LazyCompoundVal LCV = svalBuilder.makeLazyCompoundVal(store, S)
2092 const NonLoc &Idx = svalBuilder.makeArrayIndex(i);
2139 NonLoc Idx = svalBuilder.makeArrayIndex(index);
2253 svalBuilder.makeIntVal(0, false));