Searched refs:getDefaultBinding (Results 1 – 3 of 3) sorted by relevance
87 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;97 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding() function98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
207 Optional<SVal> getDefaultBinding(const MemRegion *R) const;235 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef415 assert(!(B.getDefaultBinding(R) || B.getDirectBinding(R)) && in BindDefaultInitial()512 Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anonf243ef2f0511::RegionStoreManager517 return B.getDefaultBinding(R->getBaseRegion()); in getDefaultBinding()1548 Optional<SVal> V = B.getDefaultBinding(R); in getExistingLazyBinding()1774 if (const Optional<SVal> &D = B.getDefaultBinding(superR)) { in getBindingForDerivedDefaultValue()1920 if (const Optional<SVal> &V = B.getDefaultBinding(superR)) { in getBindingForObjCIvar()
687 if (Optional<SVal> binding = getStateManager().StoreMgr->getDefaultBinding(*LCV)) { in addTaint()