Searched defs:getDefaultBinding (Results 1 – 2 of 2) sorted by relevance
96 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding() function
269 Optional<SVal> RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef553 Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anoned09092b0511::RegionStoreManager