Lines Matching defs:getDefaultBinding

219   /// getDefaultBinding - Returns an SVal* representing an optional default
221   std::optional<SVal> getDefaultBinding(const MemRegion *R) const;
334 RegionBindingsRef::getDefaultBinding(const MemRegion *R) const {
511     assert(!(B.getDefaultBinding(R) || B.getDirectBinding(R)) &&
616   std::optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override {
621     return B.getDefaultBinding(R->getBaseRegion());
1580   std::optional<SVal> V = B.getDefaultBinding(R);
2067   if (const std::optional<SVal> &D = B.getDefaultBinding(superR)) {
2200       if (const std::optional<SVal> &V = B.getDefaultBinding(R))
2219   if (const std::optional<SVal> &V = B.getDefaultBinding(superR)) {
2237   if (std::optional<SVal> V = B.getDefaultBinding(R))