StaticAnalyzer/Core/RegionStore.cpp

479     SVal V = svalBuilder.makeZeroVal(Ctx.CharTy);
709   SValBuilder &svalBuilder;
730         svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}
960   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1142       svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1163     DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1235     svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1241   DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1280   SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
1399   NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();
1481     return svalBuilder.evalCast(getBindingForField(B, FR), T, QualType{});
1489     return svalBuilder.evalCast(getBindingForElement(B, ER), T, QualType{});
1499     return svalBuilder.evalCast(getBindingForObjCIvar(B, IVR), T, QualType{});
1509     return svalBuilder.evalCast(getBindingForVar(B, VR), T, QualType{});
1530   return svalBuilder.getRegionValueSymbolVal(R);
1592           getExistingLazyBinding(svalBuilder, B, R, true))
1658       return svalBuilder.makeIntVal(c, T);
1683               return svalBuilder.makeZeroVal(R->getElementType());
1686               if (Optional<SVal> V = svalBuilder.getConstantVal(ElemInit))
1719               return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1746       if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1764               if (Optional<SVal> V = svalBuilder.getConstantVal(FieldInit))
1767             return svalBuilder.makeZeroVal(Ty);
1784       return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1787       return svalBuilder.makeZeroVal(Ty);
1916   return svalBuilder.getRegionValueSymbolVal(R);
1930       return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
1955     return svalBuilder.getRegionValueSymbolVal(R);
1960       if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1973     return svalBuilder.getRegionValueSymbolVal(R);
1981         if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1989       return svalBuilder.makeZeroVal(T);
1996     return svalBuilder.getRegionValueSymbolVal(R);
2004   return svalBuilder.getRegionValueSymbolVal(R);
2027   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, LazyR,
2052         getExistingLazyBinding(svalBuilder, B, R, false))
2055   return svalBuilder.makeLazyCompoundVal(StoreRef(B.asStore(), *this), R);
2168     V = svalBuilder.makeNull();
2170     V = svalBuilder.makeZeroVal(T);
2174     V = svalBuilder.makeZeroVal(Ctx.IntTy);
2227     const NonLoc &Idx = svalBuilder.makeArrayIndex(i);
2274     NonLoc Idx = svalBuilder.makeArrayIndex(index);
2440                            svalBuilder.makeIntVal(0, false));