Searched defs:getDefaultBinding (Results 1 – 2 of 2) sorted by relevance
97 std::optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding() function
274 RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef 555 std::optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anonbdb300b20411::RegionStoreManager [all...]