Lines Matching defs:Bindings
293 const auto &[BaseRegion, Bindings] = *C;
299 SortedBindings.reserve(std::distance(Bindings.begin(), Bindings.end()));
300 append_range(SortedBindings, map_range(Bindings, AddrOf));
912 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings,
949 Bindings.push_back(StoreEntry);
959 Bindings.push_back(StoreEntry);
970 Bindings.push_back(StoreEntry);
976 Bindings.push_back(StoreEntry);
983 collectSubRegionBindings(SmallVectorImpl<BindingPair> &Bindings,
986 collectSubRegionBindings(Bindings, SVB, Cluster, Top,
1013 SmallVector<BindingPair, 32> Bindings;
1014 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey,
1018 for (BindingKey Key : llvm::make_first_range(Bindings))
1602 SmallVector<BindingPair, 16> Bindings;
1603 collectSubRegionBindings(Bindings, SVB, *B.lookup(R->getBaseRegion()), R,
1605 if (Bindings.size() > 1)
2317 SmallVector<BindingPair, 32> Bindings;
2318 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, LazyR,
2320 for (SVal V : llvm::make_second_range(Bindings)) {
2999 RegionBindingsRef Bindings = getRegionBindings(S);
3003 if (Bindings.isEmpty()) {
3008 Out << "{ \"pointer\": \"" << Bindings.asStore() << "\", \"items\": [" << NL;
3009 Bindings.printJson(Out, NL, Space + 1, IsDot);