Lines Matching defs:addBinding
197 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
199 RegionBindingsRef addBinding(const MemRegion *R,
274 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const {
286 RegionBindingsRef RegionBindingsRef::addBinding(const MemRegion *R,
289 return addBinding(BindingKey::Make(R, k), V);
459 B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V);
482 B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V);
955 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
1144 B = B.addBinding(baseR, BindingKey::Default, V);
1166 B = B.addBinding(baseR, BindingKey::Default, V);
1238 B = B.addBinding(baseR, BindingKey::Default, V);
1245 B = B.addBinding(baseR, BindingKey::Direct, V);
1286 .addBinding(BindingKey::Make(GS, BindingKey::Default), V);
2159 return NewB.addBinding(BindingKey::Make(R, BindingKey::Direct), V);
2186 return B.addBinding(R, BindingKey::Default, V);
2440 NewB = NewB.addBinding(R, BindingKey::Default,
2453 return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);