Lines Matching defs:Concrete
756 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
771 assert(K.hasSymbolicOffset() && "Not implemented for concrete offset keys");
854 // its concrete region. We don't know if the binding is still valid, so
895 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();
896 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
916 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion();
917 Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default),
1353 // For access to concrete addresses, return UnknownVal. Checks