848                          const SubRegion *Top, BindingKey TopKey,  in collectSubRegionBindings()  argument
851   if (TopKey.hasSymbolicOffset()) {  in collectSubRegionBindings()
852     getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions);  in collectSubRegionBindings()
853     Top = TopKey.getConcreteOffsetRegion();  in collectSubRegionBindings()
854     TopKey = BindingKey::Make(Top, BindingKey::Default);  in collectSubRegionBindings()
874     if (NextKey.getRegion() == TopKey.getRegion()) {  in collectSubRegionBindings()
880       if (NextKey.getOffset() > TopKey.getOffset() &&  in collectSubRegionBindings()
881           NextKey.getOffset() - TopKey.getOffset() < Length) {  in collectSubRegionBindings()
886       } else if (NextKey.getOffset() == TopKey.getOffset()) {  in collectSubRegionBindings()
929   BindingKey TopKey = BindingKey::Make(Top, BindingKey::Default);  in removeSubRegionBindings()  local
930   const MemRegion *ClusterHead = TopKey.getBaseRegion();  in removeSubRegionBindings()
941     if (TopKey.hasSymbolicOffset()) {  in removeSubRegionBindings()
942       const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();  in removeSubRegionBindings()
949   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,  in removeSubRegionBindings()
962   if (TopKey.hasSymbolicOffset()) {  in removeSubRegionBindings()
963     const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();  in removeSubRegionBindings()