ntype->set_tagged (gdbarch_ptr_bit (type->arch ())
== gdbarch_capability_bit (type->arch ()));
ntype->set_code (TYPE_CODE_PTR);
+ if (ntype->is_tagged ())
+ ntype->set_instance_flags (TYPE_INSTANCE_FLAG_CAPABILITY);
/* Mark pointers as unsigned. The target converts between pointers
and addresses (CORE_ADDRs) using gdbarch_pointer_to_address and
{
TYPE_LENGTH (chain) = TYPE_LENGTH (ntype);
chain->set_tagged (ntype->is_tagged ());
+ if (ntype->is_tagged ())
+ chain->set_instance_flags (chain->instance_flags ()
+ | TYPE_INSTANCE_FLAG_CAPABILITY);
+ else
+ chain->set_instance_flags (chain->instance_flags ()
+ & ~TYPE_INSTANCE_FLAG_CAPABILITY);
chain = TYPE_CHAIN (chain);
}