reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
  132   SValBuilder& getSValBuilder() { return svalBuilder; }
  135     return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  479     SVal V = svalBuilder.makeZeroVal(Ctx.CharTy);
  969   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
 1289   SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
 1397   SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
 1398   const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size);
 1416   return svalBuilder.makeIntVal(RegionSize / EleSize,
 1417                                 svalBuilder.getArrayIndexType());
 1439   NonLoc ZeroIdx = svalBuilder.makeZeroArrayIndex();
 1570   return svalBuilder.getRegionValueSymbolVal(R);
 1632           getExistingLazyBinding(svalBuilder, B, R, true))
 1702       return svalBuilder.makeIntVal(c, T);
 1727               return svalBuilder.makeZeroVal(R->getElementType());
 1730               if (Optional<SVal> V = svalBuilder.getConstantVal(ElemInit))
 1763               return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
 1790       if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
 1808               if (Optional<SVal> V = svalBuilder.getConstantVal(FieldInit))
 1811             return svalBuilder.makeZeroVal(Ty);
 1828       return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
 1831       return svalBuilder.makeZeroVal(Ty);
 1959   return svalBuilder.getRegionValueSymbolVal(R);
 1973       return svalBuilder.getDerivedRegionValueSymbolVal(parentSym, R);
 1998     return svalBuilder.getRegionValueSymbolVal(R);
 2003       if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
 2016     return svalBuilder.getRegionValueSymbolVal(R);
 2024         if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
 2032       return svalBuilder.makeZeroVal(T);
 2039     return svalBuilder.getRegionValueSymbolVal(R);
 2047   return svalBuilder.getRegionValueSymbolVal(R);
 2070   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, LazyR,
 2095         getExistingLazyBinding(svalBuilder, B, R, false))
 2098   return svalBuilder.makeLazyCompoundVal(StoreRef(B.asStore(), *this), R);
 2211     V = svalBuilder.makeNull();
 2213     V = svalBuilder.makeZeroVal(T);
 2217     V = svalBuilder.makeZeroVal(Ctx.IntTy);
 2270     const NonLoc &Idx = svalBuilder.makeArrayIndex(i);
 2317     NonLoc Idx = svalBuilder.makeArrayIndex(index);
 2483                            svalBuilder.makeIntVal(0, false));
tools/clang/lib/StaticAnalyzer/Core/Store.cpp
   44       MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
   63   NonLoc idx = svalBuilder.makeArrayIndex(index);
   64   return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
   69   NonLoc idx = svalBuilder.makeZeroArrayIndex();
  429   return svalBuilder.dispatchCast(V, castTy);
  496   Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>();
  533   nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +