Lines Matching defs:addBinding

198   RegionBindingsRef addBinding(BindingKey K, SVal V) const;
200   RegionBindingsRef addBinding(const MemRegion *R,
339 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const {
351 RegionBindingsRef RegionBindingsRef::addBinding(const MemRegion *R,
354   return addBinding(BindingKey::Make(R, k), V);
513     B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V);
536     B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V);
1008       return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
1189     B = B.addBinding(baseR, BindingKey::Default, V);
1211     B = B.addBinding(baseR, BindingKey::Default, V);
1279       B = B.addBinding(baseR, BindingKey::Default, V);
1286   B = B.addBinding(baseR, BindingKey::Direct, V);
1324        .addBinding(BindingKey::Make(GS, BindingKey::Default), V);
2449   return NewB.addBinding(BindingKey::Make(R, KeyKind), V);
2476   return B.addBinding(R, BindingKey::Default, V);
2656     return B.addBinding(BindingKey::Make(R, BindingKey::Default), Val.value());
2810     NewB = NewB.addBinding(R, BindingKey::Default,
2823   return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);