Lines Matching defs:TopKey

914                          const SubRegion *Top, BindingKey TopKey,
917   if (TopKey.hasSymbolicOffset()) {
918     getSymbolicOffsetFields(TopKey, FieldsInSymbolicSubregions);
919     Top = TopKey.getConcreteOffsetRegion();
920     TopKey = BindingKey::Make(Top, BindingKey::Default);
939     if (NextKey.getRegion() == TopKey.getRegion()) {
945       if (NextKey.getOffset() > TopKey.getOffset() &&
946           NextKey.getOffset() - TopKey.getOffset() < Length) {
951       } else if (NextKey.getOffset() == TopKey.getOffset()) {
994   BindingKey TopKey = BindingKey::Make(Top, BindingKey::Default);
995   const MemRegion *ClusterHead = TopKey.getBaseRegion();
1006     if (TopKey.hasSymbolicOffset()) {
1007       const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();
1014   collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1025   if (TopKey.hasSymbolicOffset()) {
1026     const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();