Cross Reference: /external/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

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));
OpenGrok
