Lines Matching refs:SVal
142 typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings;
143 typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef;
144 typedef std::pair<BindingKey, SVal> BindingPair;
178 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
181 BindingKey::Kind k, SVal V) const;
183 const SVal *lookup(BindingKey K) const;
184 const SVal *lookup(const MemRegion *R, BindingKey::Kind k) const;
197 Optional<SVal> getDirectBinding(const MemRegion *R) const;
199 /// getDefaultBinding - Returns an SVal* representing an optional default
201 Optional<SVal> getDefaultBinding(const MemRegion *R) const;
225 Optional<SVal> RegionBindingsRef::getDirectBinding(const MemRegion *R) const {
226 return Optional<SVal>::create(lookup(R, BindingKey::Direct));
229 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const {
235 return Optional<SVal>::create(lookup(R, BindingKey::Default));
238 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const {
252 SVal V) const {
256 const SVal *RegionBindingsRef::lookup(BindingKey K) const {
263 const SVal *RegionBindingsRef::lookup(const MemRegion *R,
322 typedef std::vector<SVal> SValListTy;
341 ArrayRef<SVal> Values,
365 /// to a pointer, and the returned SVal represents the decayed
369 SVal ArrayToPointer(Loc Array, QualType ElementTy) override;
386 ArrayRef<SVal> Values,
403 StoreRef Bind(Store store, Loc LV, SVal V) override {
407 RegionBindingsRef bind(RegionBindingsConstRef B, Loc LV, SVal V);
410 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override {
445 SVal V);
449 const TypedValueRegion* R, SVal V);
453 SVal V);
459 SVal DefaultVal);
492 SVal getBinding(Store S, Loc L, QualType T) override {
496 SVal getBinding(RegionBindingsConstRef B, Loc L, QualType T = QualType());
498 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
500 SVal getBindingForField(RegionBindingsConstRef B, const FieldRegion *R);
502 SVal getBindingForObjCIvar(RegionBindingsConstRef B, const ObjCIvarRegion *R);
504 SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
506 SVal getBindingForLazySymbol(const TypedValueRegion *R);
508 SVal getBindingForFieldOrElementCommon(RegionBindingsConstRef B,
512 SVal getLazyBinding(const SubRegion *LazyBindingRegion,
520 SVal getBindingForStruct(RegionBindingsConstRef B, const TypedValueRegion *R);
521 SVal getBindingForArray(RegionBindingsConstRef B, const TypedValueRegion *R);
529 Optional<SVal> getBindingForDerivedDefaultValue(RegionBindingsConstRef B,
547 /// symbols, but may omit constants and other kinds of SVal.
792 /// \c second is the value (an SVal).
811 SVal Extent = Top->getExtent(SVB);
950 void VisitBinding(SVal V);
973 void invalidateRegionsWorker::VisitBinding(SVal V) {
1031 SVal V = RM.getBinding(B, loc::MemRegionVal(VR));
1141 SVal V = I.getData();
1196 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
1212 ArrayRef<SVal> Values,
1214 for (ArrayRef<SVal>::iterator I = Values.begin(),
1216 SVal V = *I;
1243 ArrayRef<SVal> Values,
1304 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder);
1332 /// to a pointer, and the returned SVal represents the decayed
1336 SVal RegionStoreManager::ArrayToPointer(Loc Array, QualType T) {
1349 SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T) {
1454 const SVal *V = B.lookup(R, BindingKey::Direct);
1496 Optional<SVal> V = B.getDefaultBinding(R);
1570 SVal RegionStoreManager::getBindingForElement(RegionBindingsConstRef B,
1577 if (const Optional<SVal> &V = B.getDirectBinding(R))
1591 SVal Idx = R->getIndex();
1631 if (const Optional<SVal> &V = B.getDirectBinding(superR)) {
1648 SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,
1652 if (const Optional<SVal> &V = B.getDirectBinding(R))
1659 Optional<SVal>
1665 if (const Optional<SVal> &D = B.getDefaultBinding(superR)) {
1666 const SVal &val = D.getValue();
1687 SVal RegionStoreManager::getLazyBinding(const SubRegion *LazyBindingRegion,
1689 SVal Result;
1716 SVal
1755 if (Optional<SVal> D = getBindingForDerivedDefaultValue(B, Base, R, Ty)) {
1801 SVal RegionStoreManager::getBindingForObjCIvar(RegionBindingsConstRef B,
1804 if (const Optional<SVal> &V = B.getDirectBinding(R))
1810 if (const Optional<SVal> &V = B.getDefaultBinding(superR)) {
1821 SVal RegionStoreManager::getBindingForVar(RegionBindingsConstRef B,
1825 if (const Optional<SVal> &V = B.getDirectBinding(R))
1839 if (Optional<SVal> V = svalBuilder.getConstantVal(Init))
1855 if (Optional<SVal> V = getBindingForDerivedDefaultValue(B, MS, R, T)) {
1866 SVal RegionStoreManager::getBindingForLazySymbol(const TypedValueRegion *R) {
1896 SVal V = I->second;
1930 SVal RegionStoreManager::getBindingForStruct(RegionBindingsConstRef B,
1939 SVal RegionStoreManager::getBindingForArray(RegionBindingsConstRef B,
1961 const SVal &D = CI.getData();
1987 RegionStoreManager::bind(RegionBindingsConstRef B, Loc L, SVal V) {
2026 SVal V;
2052 SVal Init) {
2113 SVal V) {
2183 SVal V = getBindingForField(getRegionBindings(LCV.getStore()), SourceFR);
2194 SVal V) {
2262 SVal Val) {
2297 void VisitBinding(SVal V);
2359 void removeDeadBindingsWorker::VisitBinding(SVal V) {
2448 SVal X = CI.getData();
