reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
212 removeBinding(R, BindingKey::Default); 270 return Optional<SVal>::create(lookup(R, BindingKey::Default)); 458 B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V); 481 B = B.addBinding(BindingKey::Make(R, BindingKey::Default), V); 874 TopKey = BindingKey::Make(Top, BindingKey::Default); 942 BindingKey::Make(Top, BindingKey::Default), 949 BindingKey TopKey = BindingKey::Make(Top, BindingKey::Default); 963 return B.addBinding(Concrete, BindingKey::Default, UnknownVal()); 984 Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default), 1152 B = B.addBinding(baseR, BindingKey::Default, V); 1174 B = B.addBinding(baseR, BindingKey::Default, V); 1246 B = B.addBinding(baseR, BindingKey::Default, V); 1294 .addBinding(BindingKey::Make(GS, BindingKey::Default), V); 2228 return B.addBinding(R, BindingKey::Default, V); 2482 NewB = NewB.addBinding(R, BindingKey::Default, 2495 return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);