Searched refs:getDefaultBinding (Results 1 – 3 of 3) sorted by relevance
86 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;96 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding() function97 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
219 Optional<SVal> getDefaultBinding(const MemRegion *R) const;269 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef456 assert(!(B.getDefaultBinding(R) || B.getDirectBinding(R)) && in BindDefaultInitial()553 Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anoned09092b0511::RegionStoreManager558 return B.getDefaultBinding(R->getBaseRegion()); in getDefaultBinding()1554 Optional<SVal> V = B.getDefaultBinding(R); in getExistingLazyBinding()1781 if (const Optional<SVal> &D = B.getDefaultBinding(superR)) { in getBindingForDerivedDefaultValue()1928 if (const Optional<SVal> &V = B.getDefaultBinding(superR)) { in getBindingForObjCIvar()1946 if (Optional<SVal> V = B.getDefaultBinding(R)) in getBindingForVar()
65 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()