Lines Matching refs:addBinding
179 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
181 RegionBindingsRef addBinding(const MemRegion *R,
248 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const {
260 RegionBindingsRef RegionBindingsRef::addBinding(const MemRegion *R,
263 return addBinding(BindingKey::Make(R, k), V);
427 return StoreRef(B.addBinding(R, BindingKey::Default, V)
908 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
1056 B = B.addBinding(baseR, BindingKey::Default, V);
1078 B = B.addBinding(baseR, BindingKey::Default, V);
1087 B = B.addBinding(baseR, BindingKey::Default, V);
1094 B = B.addBinding(baseR, BindingKey::Direct, V);
1112 .addBinding(BindingKey::Make(GS, BindingKey::Default), V);
1922 return NewB.addBinding(BindingKey::Make(R, BindingKey::Direct), V);
1949 return B.addBinding(R, BindingKey::Default, V);
2157 NewB = NewB.addBinding(R, BindingKey::Default,
2170 return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);