Lines Matching defs:svalBuilder
493 SValBuilder &svalBuilder;
503 svalBuilder(StateMgr.getSValBuilder()),
698 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
714 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
722 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
738 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
754 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, LCtx,
820 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
821 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size);
839 return svalBuilder.makeIntVal(RegionSize / EleSize, false);
867 NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();
1097 return svalBuilder.getRegionValueSymbolVal(R);
1176 return svalBuilder.makeIntVal(c, T);
1205 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1242 return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1245 return svalBuilder.makeZeroVal(Ty);
1332 return svalBuilder.getRegionValueSymbolVal(R);
1349 return svalBuilder
1373 return svalBuilder.getRegionValueSymbolVal(R);
1385 const nonloc::ConcreteInt &V = svalBuilder.makeIntVal(IL);
1386 return svalBuilder.evalCast(V, Init->getType(), IL->getType());
1394 return svalBuilder.getRegionValueSymbolVal(R);
1398 return svalBuilder.makeIntVal(0, T);
1400 return svalBuilder.makeNull();
1410 return svalBuilder.getRegionValueSymbolVal(R);
1416 return svalBuilder.makeLazyCompoundVal(StoreRef(store, *this), R);
1422 return svalBuilder.makeLazyCompoundVal(StoreRef(store, *this), R);
1511 return Bind(store, svalBuilder.makeLoc(VR), InitVal);
1530 V = svalBuilder.makeNull();
1532 V = svalBuilder.makeZeroVal(T);
1536 V = svalBuilder.makeZeroVal(Ctx.IntTy);
1567 cast<nonloc::LazyCompoundVal>(svalBuilder.
1591 const NonLoc &Idx = svalBuilder.makeArrayIndex(i);
1599 newStore = Bind(newStore.getStore(), svalBuilder.makeLoc(ER), *VI);
1660 newStore = Bind(newStore.getStore(), svalBuilder.makeLoc(FR), *VI);
1667 B = addBinding(B, R, BindingKey::Default, svalBuilder.makeIntVal(0, false));
1977 svalBuilder.makeLoc(MRMgr.getVarRegion(*PI, calleeCtx)),
1989 svalBuilder.makeLoc(MRMgr.getVarRegion(*PI, calleeCtx)),
