reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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 +