Searched refs:getDefaultBinding (Results 1 – 3 of 3) sorted by relevance
86 virtual std::optional<SVal> getDefaultBinding(Store store,97 std::optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) { in getDefaultBinding() function98 return getDefaultBinding(lcv.getStore(), lcv.getRegion()); in getDefaultBinding()
220 std::optional<SVal> getDefaultBinding(const MemRegion *R) const;274 RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef455 assert(!(B.getDefaultBinding(R) || B.getDirectBinding(R)) && in BindDefaultInitial()555 std::optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anon93e2d1960411::RegionStoreManager560 return B.getDefaultBinding(R->getBaseRegion()); in getDefaultBinding()1531 std::optional<SVal> V = B.getDefaultBinding(R); in getExistingLazyBinding()2018 if (const std::optional<SVal> &D = B.getDefaultBinding(superR)) { in getBindingForDerivedDefaultValue()2151 if (const std::optional<SVal> &V = B.getDefaultBinding(R)) in getBindingForFieldOrElementCommon()2170 if (const std::optional<SVal> &V = B.getDefaultBinding(superR)) { in getBindingForObjCIvar()2188 if (std::optional<SVal> V = B.getDefaultBinding(R)) in getBindingForVar()
68 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()