Lines Matching defs:Default
43 enum Kind { Default = 0x0, Direct = 0x1 };
202 removeBinding(R, BindingKey::Default);
245 return Optional<SVal>::create(lookup(R, BindingKey::Default));
424 BindingKey Key = BindingKey::Make(R, BindingKey::Default);
443 /// than using a Default binding at the base of the entire region. This is a
466 /// as a Default binding.
824 TopKey = BindingKey::Make(Top, BindingKey::Default);
892 BindingKey::Make(Top, BindingKey::Default),
899 BindingKey TopKey = BindingKey::Make(Top, BindingKey::Default);
913 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
934 Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default),
1055 B = B.addBinding(baseR, BindingKey::Default, V);
1077 B = B.addBinding(baseR, BindingKey::Default, V);
1086 B = B.addBinding(baseR, BindingKey::Default, V);
1111 .addBinding(BindingKey::Make(GS, BindingKey::Default), V);
1952 return B.addBinding(R, BindingKey::Default, V);
2160 NewB = NewB.addBinding(R, BindingKey::Default,
2173 return removeSubRegionBindings(B, R).addBinding(R, BindingKey::Default, Val);