Lines Matching refs:SVal
146 typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings;
147 typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef;
148 typedef std::pair<BindingKey, SVal> BindingPair;
196 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
199 BindingKey::Kind k, SVal V) const;
201 const SVal *lookup(BindingKey K) const;
202 const SVal *lookup(const MemRegion *R, BindingKey::Kind k) const;
215 Optional<SVal> getDirectBinding(const MemRegion *R) const;
219 Optional<SVal> getDefaultBinding(const MemRegion *R) const;
265 Optional<SVal> RegionBindingsRef::getDirectBinding(const MemRegion *R) const { in getDirectBinding()
266 return Optional<SVal>::create(lookup(R, BindingKey::Direct)); in getDirectBinding()
269 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding()
270 return Optional<SVal>::create(lookup(R, BindingKey::Default)); in getDefaultBinding()
273 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const { in addBinding()
287 SVal V) const { in addBinding()
291 const SVal *RegionBindingsRef::lookup(BindingKey K) const { in lookup()
298 const SVal *RegionBindingsRef::lookup(const MemRegion *R, in lookup()
332 typedef std::vector<SVal> SValListTy;
361 ArrayRef<SVal> Values,
386 SVal ArrayToPointer(Loc Array, QualType ElementTy) override;
410 ArrayRef<SVal> Values,
424 Optional<SVal>
427 Optional<SVal>
431 SVal getSValFromStringLiteral(const StringLiteral *SL, uint64_t Offset,
436 StoreRef Bind(Store store, Loc LV, SVal V) override { in Bind()
440 RegionBindingsRef bind(RegionBindingsConstRef B, Loc LV, SVal V);
445 SVal V) override { in BindDefaultInitial()
472 SVal V = svalBuilder.makeZeroVal(Ctx.CharTy); in BindDefaultZero()
495 const TypedValueRegion* R, SVal V);
499 const TypedValueRegion* R, SVal V);
508 SVal V);
514 SVal DefaultVal);
547 SVal getBinding(Store S, Loc L, QualType T) override { in getBinding()
551 Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding()
559 SVal getBinding(RegionBindingsConstRef B, Loc L, QualType T = QualType());
561 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
563 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
565 SVal getBindingForObjCIvar(RegionBindingsConstRef B, const ObjCIvarRegion *R);
567 SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
569 SVal getBindingForLazySymbol(const TypedValueRegion *R);
571 SVal getBindingForFieldOrElementCommon(RegionBindingsConstRef B,
575 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
583 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
584 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
592 Optional<SVal> getBindingForDerivedDefaultValue(RegionBindingsConstRef B,
859 SVal Extent = Top->getMemRegionManager().getStaticSize(Top, SVB); in collectSubRegionBindings()
998 void VisitBinding(SVal V);
1021 void InvalidateRegionsWorker::VisitBinding(SVal V) { in VisitBinding()
1105 SVal V = RM.getBinding(B, loc::MemRegionVal(VR)); in VisitCluster()
1214 SVal V = I.getData(); in VisitCluster()
1269 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
1285 ArrayRef<SVal> Values, in populateWorkList()
1287 for (ArrayRef<SVal>::iterator I = Values.begin(), in populateWorkList()
1289 SVal V = *I; in populateWorkList()
1316 ArrayRef<SVal> Values, in invalidateRegions()
1379 SVal RegionStoreManager::ArrayToPointer(Loc Array, QualType T) { in ArrayToPointer()
1396 SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T) { in getBinding()
1501 const SVal *V = B.lookup(R, BindingKey::Direct); in getBinding()
1543 Optional<SVal> V = B.getDefaultBinding(R); in getExistingLazyBinding()
1647 static std::pair<SmallVector<SVal, 2>, const MemRegion *>
1651 SmallVector<SVal, 2> SValOffsets; in getElementRegionOffsetsWithBase()
1681 static Optional<SVal>
1682 convertOffsetsFromSvalToUnsigneds(const SmallVector<SVal, 2> &SrcOffsets, in convertOffsetsFromSvalToUnsigneds() argument
1706 for (SVal V : llvm::reverse(SrcOffsets)) { in convertOffsetsFromSvalToUnsigneds()
1724 Optional<SVal> RegionStoreManager::getConstantValFromConstArrayInitializer( in getConstantValFromConstArrayInitializer()
1729 SmallVector<SVal, 2> SValOffsets; in getConstantValFromConstArrayInitializer()
1781 if (Optional<SVal> V = convertOffsetsFromSvalToUnsigneds(SValOffsets, Extents, in getConstantValFromConstArrayInitializer()
1820 Optional<SVal> RegionStoreManager::getSValFromInitListExpr( in getSValFromInitListExpr()
1880 SVal RegionStoreManager::getSValFromStringLiteral(const StringLiteral *SL, in getSValFromStringLiteral()
1891 static Optional<SVal> getDerivedSymbolForBinding( in getDerivedSymbolForBinding()
1899 if (const Optional<SVal> &ParentValue = B.getDirectBinding(BaseRegion)) { in getDerivedSymbolForBinding()
1915 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B, in getBindingForElement()
1918 if (const Optional<SVal> &V = B.getDirectBinding(R)) in getBindingForElement()
1939 if (Optional<SVal> V = getConstantValFromConstArrayInitializer(B, R)) in getBindingForElement()
1966 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B, in getBindingForField()
1970 if (const Optional<SVal> &V = B.getDirectBinding(R)) in getBindingForField()
1990 if (Optional<SVal> V = svalBuilder.getConstantVal(FieldInit)) in getBindingForField()
2021 Optional<SVal>
2027 if (const Optional<SVal> &D = B.getDefaultBinding(superR)) { in getBindingForDerivedDefaultValue()
2028 const SVal &val = *D; in getBindingForDerivedDefaultValue()
2049 SVal RegionStoreManager::getLazyBinding(const SubRegion *LazyBindingRegion, in getLazyBinding()
2051 SVal Result; in getLazyBinding()
2078 SVal
2117 if (Optional<SVal> D = getBindingForDerivedDefaultValue(B, Base, R, Ty)) { in getBindingForFieldOrElementCommon()
2159 if (const Optional<SVal> &V = B.getDefaultBinding(R)) in getBindingForFieldOrElementCommon()
2169 SVal RegionStoreManager::getBindingForObjCIvar(RegionBindingsConstRef B, in getBindingForObjCIvar()
2172 if (const Optional<SVal> &V = B.getDirectBinding(R)) in getBindingForObjCIvar()
2178 if (const Optional<SVal> &V = B.getDefaultBinding(superR)) { in getBindingForObjCIvar()
2189 SVal RegionStoreManager::getBindingForVar(RegionBindingsConstRef B, in getBindingForVar()
2193 if (Optional<SVal> V = B.getDirectBinding(R)) in getBindingForVar()
2196 if (Optional<SVal> V = B.getDefaultBinding(R)) in getBindingForVar()
2210 if (Optional<SVal> V = svalBuilder.getConstantVal(Init)) in getBindingForVar()
2231 if (Optional<SVal> V = svalBuilder.getConstantVal(Init)) in getBindingForVar()
2241 if (Optional<SVal> V = getBindingForDerivedDefaultValue(B, MS, R, T)) { in getBindingForVar()
2252 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) { in getBindingForLazySymbol()
2282 SVal V = I->second; in getInterestingValues()
2316 SVal RegionStoreManager::getBindingForStruct(RegionBindingsConstRef B, in getBindingForStruct()
2325 SVal RegionStoreManager::getBindingForArray(RegionBindingsConstRef B, in getBindingForArray()
2347 const SVal &D = CI.getData(); in includedInBindings()
2373 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) { in bind()
2415 SVal V; in setImplicitDefaultValue()
2463 SVal V = getBindingForElement(getRegionBindings(LCV.getStore()), SrcER); in tryBindSmallArray()
2475 SVal Init) { in bindArray()
2488 SVal V = getBinding(B.asStore(), *MRV, R->getValueType()); in bindArray()
2538 SVal V) { in bindVector()
2607 SVal V = getBindingForField(getRegionBindings(LCV.getStore()), SourceFR); in tryBindSmallStruct()
2618 SVal V) { in bindStruct()
2735 SVal Val) { in bindAggregate()
2770 void VisitBinding(SVal V);
2832 void RemoveDeadBindingsWorker::VisitBinding(SVal V) { in VisitBinding()