Home | History | Annotate | Download | only in Core

Lines Matching refs:addBinding

180   RegionBindingsRef addBinding(BindingKey K, SVal V) const;
182 RegionBindingsRef addBinding(const MemRegion *R,
240 RegionBindingsRef RegionBindingsRef::addBinding(BindingKey K, SVal V) const {
252 RegionBindingsRef RegionBindingsRef::addBinding(const MemRegion *R,
255 return addBinding(BindingKey::Make(R, k), V);
424 B = B.addBinding(Key, V);
896 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
1059 B = B.addBinding(baseR, BindingKey::Default, V);
1081 B = B.addBinding(baseR, BindingKey::Default, V);
1153 B = B.addBinding(baseR, BindingKey::Default, V);
1160 B = B.addBinding(baseR, BindingKey::Direct, V);
1201 .addBinding(BindingKey::Make(GS, BindingKey::Default), V);
2019 return NewB.addBinding(BindingKey::Make(R, BindingKey::Direct), V);
2046 return B.addBinding(R, BindingKey::Default, V);
2252 NewB = NewB.addBinding(R, BindingKey::Default,
2265 return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);