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()
219 std::optional<SVal> getDefaultBinding(const MemRegion *R) const;272 RegionBindingsRef::getDefaultBinding(const MemRegion *R) const { in getDefaultBinding() function in RegionBindingsRef453 assert(!(B.getDefaultBinding(R) || B.getDirectBinding(R)) && in BindDefaultInitial()553 std::optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override { in getDefaultBinding() function in __anon42e11e5c0411::RegionStoreManager558 return B.getDefaultBinding(R->getBaseRegion()); in getDefaultBinding()1544 std::optional<SVal> V = B.getDefaultBinding(R); in getExistingLazyBinding()2031 if (const std::optional<SVal> &D = B.getDefaultBinding(superR)) { in getBindingForDerivedDefaultValue()2164 if (const std::optional<SVal> &V = B.getDefaultBinding(R)) in getBindingForFieldOrElementCommon()2183 if (const std::optional<SVal> &V = B.getDefaultBinding(superR)) { in getBindingForObjCIvar()2201 if (std::optional<SVal> V = B.getDefaultBinding(R)) in getBindingForVar()
68 State->getStateManager().getStoreManager().getDefaultBinding( in addTaint()