Initialize target description early in IPA
[deliverable/binutils-gdb.git] / gdb / target-descriptions.c
index ee2d5062874fe0920a378b93ee32480e7b688a51..5a6f61945dd165db5136947ae3aa91bde14de1ba 100644 (file)
@@ -49,7 +49,10 @@ public:
   virtual void visit_pre (const tdesc_feature *e) = 0;
   virtual void visit_post (const tdesc_feature *e) = 0;
 
-  virtual void visit (const tdesc_type *e) = 0;
+  virtual void visit (const tdesc_type_builtin *e) = 0;
+  virtual void visit (const tdesc_type_vector *e) = 0;
+  virtual void visit (const tdesc_type_with_fields *e) = 0;
+
   virtual void visit (const tdesc_reg *e) = 0;
 };
 
@@ -152,16 +155,20 @@ typedef std::unique_ptr<tdesc_reg> tdesc_reg_up;
 
 /* A named type from a target description.  */
 
-typedef struct tdesc_type_field
+struct tdesc_type_field
 {
-  char *name;
+  tdesc_type_field (const std::string &name_, tdesc_type *type_,
+                   int start_, int end_)
+  : name (name_), type (type_), start (start_), end (end_)
+  {}
+
+  std::string name;
   struct tdesc_type *type;
   /* For non-enum-values, either both are -1 (non-bitfield), or both are
      not -1 (bitfield).  For enum values, start is the value (which could be
      -1), end is -1.  */
   int start, end;
-} tdesc_type_field;
-DEF_VEC_O(tdesc_type_field);
+};
 
 enum tdesc_type_kind
 {
@@ -192,85 +199,317 @@ enum tdesc_type_kind
   TDESC_TYPE_ENUM
 };
 
-typedef struct tdesc_type : tdesc_element
+struct tdesc_type : tdesc_element
 {
-  tdesc_type (const char *name_, enum tdesc_type_kind kind_)
-    : name (xstrdup (name_)), kind (kind_)
+  tdesc_type (const std::string &name_, enum tdesc_type_kind kind_)
+    : name (name_), kind (kind_)
+  {}
+
+  virtual ~tdesc_type () = default;
+
+  DISABLE_COPY_AND_ASSIGN (tdesc_type);
+
+  /* The name of this type.   */
+  std::string name;
+
+  /* Identify the kind of this type.  */
+  enum tdesc_type_kind kind;
+
+  bool operator== (const tdesc_type &other) const
   {
-    memset (&u, 0, sizeof (u));
+    return name == other.name && kind == other.kind;
+  }
+
+  bool operator!= (const tdesc_type &other) const
+  {
+    return !(*this == other);
+  }
+
+  /* Construct, if necessary, and return the GDB type implementing this
+     target type for architecture GDBARCH.  */
+
+  virtual type *make_gdb_type (struct gdbarch *gdbarch) const = 0;
+};
+
+typedef std::unique_ptr<tdesc_type> tdesc_type_up;
+
+struct tdesc_type_builtin : tdesc_type
+{
+  tdesc_type_builtin (const std::string &name, enum tdesc_type_kind kind)
+  : tdesc_type (name, kind)
+  {}
+
+  void accept (tdesc_element_visitor &v) const override
+  {
+    v.visit (this);
   }
 
-  virtual ~tdesc_type ()
+  type *make_gdb_type (struct gdbarch *gdbarch) const override
   {
-    switch (kind)
+    switch (this->kind)
       {
-      case TDESC_TYPE_STRUCT:
-      case TDESC_TYPE_UNION:
-      case TDESC_TYPE_FLAGS:
-      case TDESC_TYPE_ENUM:
-       {
-         struct tdesc_type_field *f;
-         int ix;
+      /* Predefined types.  */
+      case TDESC_TYPE_BOOL:
+        return builtin_type (gdbarch)->builtin_bool;
 
-         for (ix = 0;
-              VEC_iterate (tdesc_type_field, u.u.fields, ix, f);
-              ix++)
-           xfree (f->name);
+      case TDESC_TYPE_INT8:
+        return builtin_type (gdbarch)->builtin_int8;
 
-         VEC_free (tdesc_type_field, u.u.fields);
-       }
-       break;
+      case TDESC_TYPE_INT16:
+        return builtin_type (gdbarch)->builtin_int16;
 
-      default:
-       break;
+      case TDESC_TYPE_INT32:
+        return builtin_type (gdbarch)->builtin_int32;
+
+      case TDESC_TYPE_INT64:
+        return builtin_type (gdbarch)->builtin_int64;
+
+      case TDESC_TYPE_INT128:
+        return builtin_type (gdbarch)->builtin_int128;
+
+      case TDESC_TYPE_UINT8:
+        return builtin_type (gdbarch)->builtin_uint8;
+
+      case TDESC_TYPE_UINT16:
+        return builtin_type (gdbarch)->builtin_uint16;
+
+      case TDESC_TYPE_UINT32:
+        return builtin_type (gdbarch)->builtin_uint32;
+
+      case TDESC_TYPE_UINT64:
+        return builtin_type (gdbarch)->builtin_uint64;
+
+      case TDESC_TYPE_UINT128:
+        return builtin_type (gdbarch)->builtin_uint128;
+
+      case TDESC_TYPE_CODE_PTR:
+        return builtin_type (gdbarch)->builtin_func_ptr;
+
+      case TDESC_TYPE_DATA_PTR:
+        return builtin_type (gdbarch)->builtin_data_ptr;
+      }
+
+    type *gdb_type = tdesc_find_type (gdbarch, this->name.c_str ());
+    if (gdb_type != NULL)
+      return gdb_type;
+
+    switch (this->kind)
+      {
+      case TDESC_TYPE_IEEE_SINGLE:
+        return arch_float_type (gdbarch, -1, "builtin_type_ieee_single",
+                               floatformats_ieee_single);
+
+      case TDESC_TYPE_IEEE_DOUBLE:
+        return arch_float_type (gdbarch, -1, "builtin_type_ieee_double",
+                               floatformats_ieee_double);
+
+      case TDESC_TYPE_ARM_FPA_EXT:
+        return arch_float_type (gdbarch, -1, "builtin_type_arm_ext",
+                               floatformats_arm_ext);
+
+      case TDESC_TYPE_I387_EXT:
+        return arch_float_type (gdbarch, -1, "builtin_type_i387_ext",
+                               floatformats_i387_ext);
       }
-    xfree ((char *) name);
+
+    internal_error (__FILE__, __LINE__,
+                   "Type \"%s\" has an unknown kind %d",
+                   this->name.c_str (), this->kind);
+
+    return NULL;
   }
+};
 
-  DISABLE_COPY_AND_ASSIGN (tdesc_type);
+/* tdesc_type for vector types.  */
 
-  /* The name of this type.  If this type is a built-in type, this is
-     a pointer to a constant string.  Otherwise, it's a
-     malloc-allocated string (and thus must be freed).  */
-  const char *name;
+struct tdesc_type_vector : tdesc_type
+{
+  tdesc_type_vector (const std::string &name, tdesc_type *element_type_, int count_)
+  : tdesc_type (name, TDESC_TYPE_VECTOR),
+    element_type (element_type_), count (count_)
+  {}
 
-  /* Identify the kind of this type.  */
-  enum tdesc_type_kind kind;
+  void accept (tdesc_element_visitor &v) const override
+  {
+    v.visit (this);
+  }
 
-  /* Kind-specific data.  */
-  union
+  type *make_gdb_type (struct gdbarch *gdbarch) const override
   {
-    /* Vector type.  */
-    struct
-    {
-      struct tdesc_type *type;
-      int count;
-    } v;
+    type *vector_gdb_type = tdesc_find_type (gdbarch, this->name.c_str ());
+    if (vector_gdb_type != NULL)
+      return vector_gdb_type;
 
-    /* Struct, union, flags, or enum type.  */
-    struct
-    {
-      VEC(tdesc_type_field) *fields;
-      int size;
-    } u;
-  } u;
+    type *element_gdb_type = this->element_type->make_gdb_type (gdbarch);
+    vector_gdb_type = init_vector_type (element_gdb_type, this->count);
+    TYPE_NAME (vector_gdb_type) = xstrdup (this->name.c_str ());
+
+    return vector_gdb_type;
+  }
+
+  struct tdesc_type *element_type;
+  int count;
+};
+
+/* tdesc_type for struct, union, flags, and enum types.  */
+
+struct tdesc_type_with_fields : tdesc_type
+{
+  tdesc_type_with_fields (const std::string &name, tdesc_type_kind kind,
+                         int size_ = 0)
+  : tdesc_type (name, kind), size (size_)
+  {}
 
   void accept (tdesc_element_visitor &v) const override
   {
     v.visit (this);
   }
 
-  bool operator== (const tdesc_type &other) const
+  type *make_gdb_type_struct (struct gdbarch *gdbarch) const
   {
-    return (streq (name, other.name) && kind == other.kind);
+    type *struct_gdb_type = arch_composite_type (gdbarch, NULL, TYPE_CODE_STRUCT);
+    TYPE_NAME (struct_gdb_type) = xstrdup (this->name.c_str ());
+    TYPE_TAG_NAME (struct_gdb_type) = TYPE_NAME (struct_gdb_type);
+
+    for (const tdesc_type_field &f : this->fields)
+      {
+       if (f.start != -1 && f.end != -1)
+         {
+           /* Bitfield.  */
+           struct field *fld;
+           struct type *field_gdb_type;
+           int bitsize, total_size;
+
+           /* This invariant should be preserved while creating types.  */
+           gdb_assert (this->size != 0);
+           if (f.type != NULL)
+             field_gdb_type = f.type->make_gdb_type (gdbarch);
+           else if (this->size > 4)
+             field_gdb_type = builtin_type (gdbarch)->builtin_uint64;
+           else
+             field_gdb_type = builtin_type (gdbarch)->builtin_uint32;
+
+           fld = append_composite_type_field_raw
+             (struct_gdb_type, xstrdup (f.name.c_str ()), field_gdb_type);
+
+           /* For little-endian, BITPOS counts from the LSB of
+              the structure and marks the LSB of the field.  For
+              big-endian, BITPOS counts from the MSB of the
+              structure and marks the MSB of the field.  Either
+              way, it is the number of bits to the "left" of the
+              field.  To calculate this in big-endian, we need
+              the total size of the structure.  */
+           bitsize = f.end - f.start + 1;
+           total_size = this->size * TARGET_CHAR_BIT;
+           if (gdbarch_bits_big_endian (gdbarch))
+             SET_FIELD_BITPOS (fld[0], total_size - f.start - bitsize);
+           else
+             SET_FIELD_BITPOS (fld[0], f.start);
+           FIELD_BITSIZE (fld[0]) = bitsize;
+         }
+       else
+         {
+           gdb_assert (f.start == -1 && f.end == -1);
+           type *field_gdb_type = f.type->make_gdb_type (gdbarch);
+           append_composite_type_field (struct_gdb_type,
+                                        xstrdup (f.name.c_str ()),
+                                        field_gdb_type);
+         }
+      }
+
+    if (this->size != 0)
+      TYPE_LENGTH (struct_gdb_type) = this->size;
+
+    return struct_gdb_type;
   }
 
-  bool operator!= (const tdesc_type &other) const
+  type *make_gdb_type_union (struct gdbarch *gdbarch) const
   {
-    return !(*this == other);
+    type *union_gdb_type = arch_composite_type (gdbarch, NULL, TYPE_CODE_UNION);
+    TYPE_NAME (union_gdb_type) = xstrdup (this->name.c_str ());
+
+    for (const tdesc_type_field &f : this->fields)
+      {
+       type* field_gdb_type = f.type->make_gdb_type (gdbarch);
+       append_composite_type_field (union_gdb_type, xstrdup (f.name.c_str ()),
+                                    field_gdb_type);
+
+       /* If any of the children of a union are vectors, flag the
+          union as a vector also.  This allows e.g. a union of two
+          vector types to show up automatically in "info vector".  */
+       if (TYPE_VECTOR (field_gdb_type))
+         TYPE_VECTOR (union_gdb_type) = 1;
+      }
+
+    return union_gdb_type;
+  }
+
+  type *make_gdb_type_flags (struct gdbarch *gdbarch) const
+  {
+    type *flags_gdb_type = arch_flags_type (gdbarch, this->name.c_str (),
+                                         this->size * TARGET_CHAR_BIT);
+
+    for (const tdesc_type_field &f : this->fields)
+      {
+      int bitsize = f.end - f.start + 1;
+
+      gdb_assert (f.type != NULL);
+      type *field_gdb_type = f.type->make_gdb_type (gdbarch);
+      append_flags_type_field (flags_gdb_type, f.start, bitsize,
+                              field_gdb_type, f.name.c_str ());
+      }
+
+    return flags_gdb_type;
+  }
+
+  type *make_gdb_type_enum (struct gdbarch *gdbarch) const
+  {
+    type *enum_gdb_type = arch_type (gdbarch, TYPE_CODE_ENUM,
+                                  this->size * TARGET_CHAR_BIT,
+                                  this->name.c_str ());
+
+    TYPE_UNSIGNED (enum_gdb_type) = 1;
+    for (const tdesc_type_field &f : this->fields)
+      {
+      struct field *fld
+       = append_composite_type_field_raw (enum_gdb_type,
+                                          xstrdup (f.name.c_str ()),
+                                          NULL);
+
+      SET_FIELD_BITPOS (fld[0], f.start);
+      }
+
+    return enum_gdb_type;
   }
-} *tdesc_type_p;
-DEF_VEC_P(tdesc_type_p);
+
+  type *make_gdb_type (struct gdbarch *gdbarch) const override
+  {
+    type *gdb_type = tdesc_find_type (gdbarch, this->name.c_str ());
+    if (gdb_type != NULL)
+      return gdb_type;
+
+    switch (this->kind)
+    {
+      case TDESC_TYPE_STRUCT:
+       return make_gdb_type_struct (gdbarch);
+      case TDESC_TYPE_UNION:
+       return make_gdb_type_union (gdbarch);
+      case TDESC_TYPE_FLAGS:
+       return make_gdb_type_flags (gdbarch);
+      case TDESC_TYPE_ENUM:
+       return make_gdb_type_enum (gdbarch);
+    }
+
+    internal_error (__FILE__, __LINE__,
+                   "Type \"%s\" has an unknown kind %d",
+                   this->name.c_str (), this->kind);
+
+    return NULL;
+  }
+
+  std::vector<tdesc_type_field> fields;
+  int size;
+};
 
 /* A feature from a target description.  Each feature is a collection
    of other elements, e.g. registers and types.  */
@@ -281,15 +520,7 @@ struct tdesc_feature : tdesc_element
     : name (name_)
   {}
 
-  virtual ~tdesc_feature ()
-  {
-    struct tdesc_type *type;
-    int ix;
-
-    for (ix = 0; VEC_iterate (tdesc_type_p, types, ix, type); ix++)
-      delete type;
-    VEC_free (tdesc_type_p, types);
-  }
+  virtual ~tdesc_feature () = default;
 
   DISABLE_COPY_AND_ASSIGN (tdesc_feature);
 
@@ -298,20 +529,16 @@ struct tdesc_feature : tdesc_element
   std::string name;
 
   /* The registers associated with this feature.  */
-  std::vector<std::unique_ptr<tdesc_reg>> registers;
+  std::vector<tdesc_reg_up> registers;
 
   /* The types associated with this feature.  */
-  VEC(tdesc_type_p) *types = NULL;
+  std::vector<tdesc_type_up> types;
 
   void accept (tdesc_element_visitor &v) const override
   {
     v.visit_pre (this);
 
-    struct tdesc_type *type;
-
-    for (int ix = 0;
-        VEC_iterate (tdesc_type_p, types, ix, type);
-        ix++)
+    for (const tdesc_type_up &type : types)
       type->accept (v);
 
     for (const tdesc_reg_up &reg : registers)
@@ -337,20 +564,15 @@ struct tdesc_feature : tdesc_element
          return false;
       }
 
-    if (VEC_length (tdesc_type_p, types)
-       != VEC_length (tdesc_type_p, other.types))
+    if (types.size () != other.types.size ())
       return false;
 
-    tdesc_type *type;
-
-    for (int ix = 0;
-        VEC_iterate (tdesc_type_p, types, ix, type);
-        ix++)
+    for (int ix = 0; ix < types.size (); ix++)
       {
-       tdesc_type *type2
-         = VEC_index (tdesc_type_p, other.types, ix);
+       const tdesc_type_up &type1 = types[ix];
+       const tdesc_type_up &type2 = other.types[ix];
 
-       if (type != type2 && *type != *type2)
+       if (type1 != type2 && *type1 != *type2)
          return false;
       }
 
@@ -361,7 +583,6 @@ struct tdesc_feature : tdesc_element
   {
     return !(*this == other);
   }
-
 };
 
 typedef std::unique_ptr<tdesc_feature> tdesc_feature_up;
@@ -392,7 +613,7 @@ struct target_desc : tdesc_element
   std::vector<property> properties;
 
   /* The features associated with this target.  */
-  std::vector<std::unique_ptr<tdesc_feature>> features;
+  std::vector<tdesc_feature_up> features;
 
   void accept (tdesc_element_visitor &v) const override
   {
@@ -437,12 +658,15 @@ struct target_desc : tdesc_element
    target description may be shared by multiple architectures, but
    this data is private to one gdbarch.  */
 
-typedef struct tdesc_arch_reg
+struct tdesc_arch_reg
 {
+  tdesc_arch_reg (tdesc_reg *reg_, struct type *type_)
+  : reg (reg_), type (type_)
+  {}
+
   struct tdesc_reg *reg;
   struct type *type;
-} tdesc_arch_reg;
-DEF_VEC_O(tdesc_arch_reg);
+};
 
 struct tdesc_arch_data
 {
@@ -452,13 +676,13 @@ struct tdesc_arch_data
      Registers which are NULL in this array, or off the end, are
      treated as zero-sized and nameless (i.e. placeholders in the
      numbering).  */
-  VEC(tdesc_arch_reg) *arch_regs;
+  std::vector<tdesc_arch_reg> arch_regs;
 
   /* Functions which report the register name, type, and reggroups for
      pseudo-registers.  */
-  gdbarch_register_name_ftype *pseudo_register_name;
-  gdbarch_register_type_ftype *pseudo_register_type;
-  gdbarch_register_reggroup_p_ftype *pseudo_register_reggroup_p;
+  gdbarch_register_name_ftype *pseudo_register_name = NULL;
+  gdbarch_register_type_ftype *pseudo_register_type = NULL;
+  gdbarch_register_reggroup_p_ftype *pseudo_register_reggroup_p = NULL;
 };
 
 /* Info about an inferior's target description.  There's one of these
@@ -599,7 +823,7 @@ target_find_description (void)
          data = ((struct tdesc_arch_data *)
                  gdbarch_data (target_gdbarch (), tdesc_data));
          if (tdesc_has_registers (current_target_desc)
-             && data->arch_regs == NULL)
+             && data->arch_regs.empty ())
            warning (_("Target-supplied registers are not supported "
                       "by the current architecture"));
        }
@@ -735,7 +959,7 @@ tdesc_feature_name (const struct tdesc_feature *feature)
 }
 
 /* Predefined types.  */
-static struct tdesc_type tdesc_predefined_types[] =
+static tdesc_type_builtin tdesc_predefined_types[] =
 {
   { "bool", TDESC_TYPE_BOOL },
   { "int8", TDESC_TYPE_INT8 },
@@ -773,17 +997,14 @@ tdesc_predefined_type (enum tdesc_type_kind kind)
 struct tdesc_type *
 tdesc_named_type (const struct tdesc_feature *feature, const char *id)
 {
-  int ix;
-  struct tdesc_type *type;
-
   /* First try target-defined types.  */
-  for (ix = 0; VEC_iterate (tdesc_type_p, feature->types, ix, type); ix++)
-    if (strcmp (type->name, id) == 0)
-      return type;
+  for (const tdesc_type_up &type : feature->types)
+    if (type->name == id)
+      return type.get ();
 
   /* Next try the predefined types.  */
-  for (ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
-    if (strcmp (tdesc_predefined_types[ix].name, id) == 0)
+  for (int ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
+    if (tdesc_predefined_types[ix].name == id)
       return &tdesc_predefined_types[ix];
 
   return NULL;
@@ -794,253 +1015,21 @@ tdesc_named_type (const struct tdesc_feature *feature, const char *id)
 struct type *
 tdesc_find_type (struct gdbarch *gdbarch, const char *id)
 {
-  struct tdesc_arch_reg *reg;
-  struct tdesc_arch_data *data;
-  int i, num_regs;
+  tdesc_arch_data *data
+    = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
 
-  data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
-  num_regs = VEC_length (tdesc_arch_reg, data->arch_regs);
-  for (i = 0; i < num_regs; i++)
+  for (const tdesc_arch_reg &reg : data->arch_regs)
     {
-      reg = VEC_index (tdesc_arch_reg, data->arch_regs, i);
-      if (reg->reg
-         && reg->reg->tdesc_type
-         && reg->type
-         && strcmp (id, reg->reg->tdesc_type->name) == 0)
-       return reg->type;
+      if (reg.reg
+         && reg.reg->tdesc_type
+         && reg.type
+         && reg.reg->tdesc_type->name == id)
+       return reg.type;
     }
 
   return NULL;
 }
 
-/* Construct, if necessary, and return the GDB type implementing target
-   type TDESC_TYPE for architecture GDBARCH.  */
-
-static struct type *
-tdesc_gdb_type (struct gdbarch *gdbarch, struct tdesc_type *tdesc_type)
-{
-  struct type *type;
-
-  switch (tdesc_type->kind)
-    {
-    /* Predefined types.  */
-    case TDESC_TYPE_BOOL:
-      return builtin_type (gdbarch)->builtin_bool;
-
-    case TDESC_TYPE_INT8:
-      return builtin_type (gdbarch)->builtin_int8;
-
-    case TDESC_TYPE_INT16:
-      return builtin_type (gdbarch)->builtin_int16;
-
-    case TDESC_TYPE_INT32:
-      return builtin_type (gdbarch)->builtin_int32;
-
-    case TDESC_TYPE_INT64:
-      return builtin_type (gdbarch)->builtin_int64;
-
-    case TDESC_TYPE_INT128:
-      return builtin_type (gdbarch)->builtin_int128;
-
-    case TDESC_TYPE_UINT8:
-      return builtin_type (gdbarch)->builtin_uint8;
-
-    case TDESC_TYPE_UINT16:
-      return builtin_type (gdbarch)->builtin_uint16;
-
-    case TDESC_TYPE_UINT32:
-      return builtin_type (gdbarch)->builtin_uint32;
-
-    case TDESC_TYPE_UINT64:
-      return builtin_type (gdbarch)->builtin_uint64;
-
-    case TDESC_TYPE_UINT128:
-      return builtin_type (gdbarch)->builtin_uint128;
-
-    case TDESC_TYPE_CODE_PTR:
-      return builtin_type (gdbarch)->builtin_func_ptr;
-
-    case TDESC_TYPE_DATA_PTR:
-      return builtin_type (gdbarch)->builtin_data_ptr;
-
-    default:
-      break;
-    }
-
-  type = tdesc_find_type (gdbarch, tdesc_type->name);
-  if (type)
-    return type;
-
-  switch (tdesc_type->kind)
-    {
-    case TDESC_TYPE_IEEE_SINGLE:
-      return arch_float_type (gdbarch, -1, "builtin_type_ieee_single",
-                             floatformats_ieee_single);
-
-    case TDESC_TYPE_IEEE_DOUBLE:
-      return arch_float_type (gdbarch, -1, "builtin_type_ieee_double",
-                             floatformats_ieee_double);
-
-    case TDESC_TYPE_ARM_FPA_EXT:
-      return arch_float_type (gdbarch, -1, "builtin_type_arm_ext",
-                             floatformats_arm_ext);
-
-    case TDESC_TYPE_I387_EXT:
-      return arch_float_type (gdbarch, -1, "builtin_type_i387_ext",
-                             floatformats_i387_ext);
-
-    /* Types defined by a target feature.  */
-    case TDESC_TYPE_VECTOR:
-      {
-       struct type *type, *field_type;
-
-       field_type = tdesc_gdb_type (gdbarch, tdesc_type->u.v.type);
-       type = init_vector_type (field_type, tdesc_type->u.v.count);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name);
-
-       return type;
-      }
-
-    case TDESC_TYPE_STRUCT:
-      {
-       struct type *type, *field_type;
-       struct tdesc_type_field *f;
-       int ix;
-
-       type = arch_composite_type (gdbarch, NULL, TYPE_CODE_STRUCT);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name);
-       TYPE_TAG_NAME (type) = TYPE_NAME (type);
-
-       for (ix = 0;
-            VEC_iterate (tdesc_type_field, tdesc_type->u.u.fields, ix, f);
-            ix++)
-         {
-           if (f->start != -1 && f->end != -1)
-             {
-               /* Bitfield.  */
-               struct field *fld;
-               struct type *field_type;
-               int bitsize, total_size;
-
-               /* This invariant should be preserved while creating types.  */
-               gdb_assert (tdesc_type->u.u.size != 0);
-               if (f->type != NULL)
-                 field_type = tdesc_gdb_type (gdbarch, f->type);
-               else if (tdesc_type->u.u.size > 4)
-                 field_type = builtin_type (gdbarch)->builtin_uint64;
-               else
-                 field_type = builtin_type (gdbarch)->builtin_uint32;
-
-               fld = append_composite_type_field_raw (type, xstrdup (f->name),
-                                                      field_type);
-
-               /* For little-endian, BITPOS counts from the LSB of
-                  the structure and marks the LSB of the field.  For
-                  big-endian, BITPOS counts from the MSB of the
-                  structure and marks the MSB of the field.  Either
-                  way, it is the number of bits to the "left" of the
-                  field.  To calculate this in big-endian, we need
-                  the total size of the structure.  */
-               bitsize = f->end - f->start + 1;
-               total_size = tdesc_type->u.u.size * TARGET_CHAR_BIT;
-               if (gdbarch_bits_big_endian (gdbarch))
-                 SET_FIELD_BITPOS (fld[0], total_size - f->start - bitsize);
-               else
-                 SET_FIELD_BITPOS (fld[0], f->start);
-               FIELD_BITSIZE (fld[0]) = bitsize;
-             }
-           else
-             {
-               gdb_assert (f->start == -1 && f->end == -1);
-               field_type = tdesc_gdb_type (gdbarch, f->type);
-               append_composite_type_field (type, xstrdup (f->name),
-                                            field_type);
-             }
-         }
-
-       if (tdesc_type->u.u.size != 0)
-         TYPE_LENGTH (type) = tdesc_type->u.u.size;
-       return type;
-      }
-
-    case TDESC_TYPE_UNION:
-      {
-       struct type *type, *field_type;
-       struct tdesc_type_field *f;
-       int ix;
-
-       type = arch_composite_type (gdbarch, NULL, TYPE_CODE_UNION);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name);
-
-       for (ix = 0;
-            VEC_iterate (tdesc_type_field, tdesc_type->u.u.fields, ix, f);
-            ix++)
-         {
-           field_type = tdesc_gdb_type (gdbarch, f->type);
-           append_composite_type_field (type, xstrdup (f->name), field_type);
-
-           /* If any of the children of a union are vectors, flag the
-              union as a vector also.  This allows e.g. a union of two
-              vector types to show up automatically in "info vector".  */
-           if (TYPE_VECTOR (field_type))
-             TYPE_VECTOR (type) = 1;
-         }
-       return type;
-      }
-
-    case TDESC_TYPE_FLAGS:
-      {
-       struct tdesc_type_field *f;
-       int ix;
-
-       type = arch_flags_type (gdbarch, tdesc_type->name,
-                               tdesc_type->u.u.size * TARGET_CHAR_BIT);
-       for (ix = 0;
-            VEC_iterate (tdesc_type_field, tdesc_type->u.u.fields, ix, f);
-            ix++)
-         {
-           struct type *field_type;
-           int bitsize = f->end - f->start + 1;
-
-           gdb_assert (f->type != NULL);
-           field_type = tdesc_gdb_type (gdbarch, f->type);
-           append_flags_type_field (type, f->start, bitsize,
-                                    field_type, f->name);
-         }
-
-       return type;
-      }
-
-    case TDESC_TYPE_ENUM:
-      {
-       struct tdesc_type_field *f;
-       int ix;
-
-       type = arch_type (gdbarch, TYPE_CODE_ENUM,
-                         tdesc_type->u.u.size * TARGET_CHAR_BIT,
-                         tdesc_type->name);
-       TYPE_UNSIGNED (type) = 1;
-       for (ix = 0;
-            VEC_iterate (tdesc_type_field, tdesc_type->u.u.fields, ix, f);
-            ix++)
-         {
-           struct field *fld
-             = append_composite_type_field_raw (type, xstrdup (f->name),
-                                                NULL);
-
-           SET_FIELD_BITPOS (fld[0], f->start);
-         }
-
-       return type;
-      }
-    }
-
-  internal_error (__FILE__, __LINE__,
-                 "Type \"%s\" has an unknown kind %d",
-                 tdesc_type->name, tdesc_type->kind);
-}
-\f
-
 /* Support for registers from target descriptions.  */
 
 /* Construct the per-gdbarch data.  */
@@ -1051,6 +1040,8 @@ tdesc_data_init (struct obstack *obstack)
   struct tdesc_arch_data *data;
 
   data = OBSTACK_ZALLOC (obstack, struct tdesc_arch_data);
+  new (data) tdesc_arch_data ();
+
   return data;
 }
 
@@ -1060,7 +1051,7 @@ tdesc_data_init (struct obstack *obstack)
 struct tdesc_arch_data *
 tdesc_data_alloc (void)
 {
-  return XCNEW (struct tdesc_arch_data);
+  return new tdesc_arch_data ();
 }
 
 /* Free something allocated by tdesc_data_alloc, if it is not going
@@ -1072,8 +1063,7 @@ tdesc_data_cleanup (void *data_untyped)
 {
   struct tdesc_arch_data *data = (struct tdesc_arch_data *) data_untyped;
 
-  VEC_free (tdesc_arch_reg, data->arch_regs);
-  xfree (data);
+  delete data;
 }
 
 /* Search FEATURE for a register named NAME.  */
@@ -1096,18 +1086,17 @@ tdesc_numbered_register (const struct tdesc_feature *feature,
                         struct tdesc_arch_data *data,
                         int regno, const char *name)
 {
-  struct tdesc_arch_reg arch_reg = { 0 };
   struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
 
   if (reg == NULL)
     return 0;
 
   /* Make sure the vector includes a REGNO'th element.  */
-  while (regno >= VEC_length (tdesc_arch_reg, data->arch_regs))
-    VEC_safe_push (tdesc_arch_reg, data->arch_regs, &arch_reg);
+  while (regno >= data->arch_regs.size ())
+    data->arch_regs.emplace_back (nullptr, nullptr);
+
+  data->arch_regs[regno] = tdesc_arch_reg (reg, NULL);
 
-  arch_reg.reg = reg;
-  VEC_replace (tdesc_arch_reg, data->arch_regs, regno, &arch_reg);
   return 1;
 }
 
@@ -1164,8 +1153,8 @@ tdesc_find_arch_register (struct gdbarch *gdbarch, int regno)
   struct tdesc_arch_data *data;
 
   data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
-  if (regno < VEC_length (tdesc_arch_reg, data->arch_regs))
-    return VEC_index (tdesc_arch_reg, data->arch_regs, regno);
+  if (regno < data->arch_regs.size ())
+    return &data->arch_regs[regno];
   else
     return NULL;
 }
@@ -1228,7 +1217,7 @@ tdesc_register_type (struct gdbarch *gdbarch, int regno)
     {
       /* First check for a predefined or target defined type.  */
       if (reg->tdesc_type)
-        arch_reg->type = tdesc_gdb_type (gdbarch, reg->tdesc_type);
+        arch_reg->type = reg->tdesc_type->make_gdb_type (gdbarch);
 
       /* Next try size-sensitive type shortcuts.  */
       else if (reg->type == "float")
@@ -1410,7 +1399,6 @@ tdesc_use_registers (struct gdbarch *gdbarch,
 {
   int num_regs = gdbarch_num_regs (gdbarch);
   struct tdesc_arch_data *data;
-  struct tdesc_arch_reg *arch_reg, new_arch_reg = { 0 };
   htab_t reg_hash;
 
   /* We can't use the description for registers if it doesn't describe
@@ -1421,7 +1409,7 @@ tdesc_use_registers (struct gdbarch *gdbarch,
 
   data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
   data->arch_regs = early_data->arch_regs;
-  xfree (early_data);
+  delete early_data;
 
   /* Build up a set of all registers, so that we can assign register
      numbers where needed.  The hash table expands as necessary, so
@@ -1437,26 +1425,24 @@ tdesc_use_registers (struct gdbarch *gdbarch,
 
   /* Remove any registers which were assigned numbers by the
      architecture.  */
-  for (int ixr = 0;
-       VEC_iterate (tdesc_arch_reg, data->arch_regs, ixr, arch_reg);
-       ixr++)
-    if (arch_reg->reg)
-      htab_remove_elt (reg_hash, arch_reg->reg);
+  for (const tdesc_arch_reg &arch_reg : data->arch_regs)
+    if (arch_reg.reg != NULL)
+      htab_remove_elt (reg_hash, arch_reg.reg);
 
   /* Assign numbers to the remaining registers and add them to the
      list of registers.  The new numbers are always above gdbarch_num_regs.
      Iterate over the features, not the hash table, so that the order
      matches that in the target description.  */
 
-  gdb_assert (VEC_length (tdesc_arch_reg, data->arch_regs) <= num_regs);
-  while (VEC_length (tdesc_arch_reg, data->arch_regs) < num_regs)
-    VEC_safe_push (tdesc_arch_reg, data->arch_regs, &new_arch_reg);
+  gdb_assert (data->arch_regs.size () <= num_regs);
+  while (data->arch_regs.size () < num_regs)
+    data->arch_regs.emplace_back (nullptr, nullptr);
+
   for (const tdesc_feature_up &feature : target_desc->features)
     for (const tdesc_reg_up &reg : feature->registers)
       if (htab_find (reg_hash, reg.get ()) != NULL)
        {
-         new_arch_reg.reg = reg.get ();
-         VEC_safe_push (tdesc_arch_reg, data->arch_regs, &new_arch_reg);
+         data->arch_regs.emplace_back (reg.get (), nullptr);
          num_regs++;
        }
 
@@ -1491,127 +1477,110 @@ struct tdesc_type *
 tdesc_create_vector (struct tdesc_feature *feature, const char *name,
                     struct tdesc_type *field_type, int count)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_VECTOR);
-
-  type->u.v.type = field_type;
-  type->u.v.count = count;
+  tdesc_type_vector *type = new tdesc_type_vector (name, field_type, count);
+  feature->types.emplace_back (type);
 
-  VEC_safe_push (tdesc_type_p, feature->types, type);
   return type;
 }
 
 /* See arch/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_struct (struct tdesc_feature *feature, const char *name)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_STRUCT);
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_STRUCT);
+  feature->types.emplace_back (type);
 
-  VEC_safe_push (tdesc_type_p, feature->types, type);
   return type;
 }
 
 /* See arch/tdesc.h.  */
 
 void
-tdesc_set_struct_size (struct tdesc_type *type, int size)
+tdesc_set_struct_size (tdesc_type_with_fields *type, int size)
 {
   gdb_assert (type->kind == TDESC_TYPE_STRUCT);
   gdb_assert (size > 0);
-  type->u.u.size = size;
+  type->size = size;
 }
 
 /* See arch/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_union (struct tdesc_feature *feature, const char *name)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_UNION);
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_UNION);
+  feature->types.emplace_back (type);
 
-  VEC_safe_push (tdesc_type_p, feature->types, type);
   return type;
 }
 
 /* See arch/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_flags (struct tdesc_feature *feature, const char *name,
                    int size)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_FLAGS);
-
   gdb_assert (size > 0);
 
-  type->u.u.size = size;
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_FLAGS, size);
+  feature->types.emplace_back (type);
 
-  VEC_safe_push (tdesc_type_p, feature->types, type);
   return type;
 }
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_enum (struct tdesc_feature *feature, const char *name,
                   int size)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_ENUM);
-
   gdb_assert (size > 0);
 
-  type->u.u.size = size;
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_ENUM, size);
+  feature->types.emplace_back (type);
 
-  VEC_safe_push (tdesc_type_p, feature->types, type);
   return type;
 }
 
 /* See arch/tdesc.h.  */
 
 void
-tdesc_add_field (struct tdesc_type *type, const char *field_name,
+tdesc_add_field (tdesc_type_with_fields *type, const char *field_name,
                 struct tdesc_type *field_type)
 {
-  struct tdesc_type_field f = { 0 };
-
   gdb_assert (type->kind == TDESC_TYPE_UNION
              || type->kind == TDESC_TYPE_STRUCT);
 
-  f.name = xstrdup (field_name);
-  f.type = field_type;
-  /* Initialize these values so we know this is not a bit-field
+  /* Initialize start and end so we know this is not a bit-field
      when we print-c-tdesc.  */
-  f.start = -1;
-  f.end = -1;
-
-  VEC_safe_push (tdesc_type_field, type->u.u.fields, &f);
+  type->fields.emplace_back (field_name, field_type, -1, -1);
 }
 
 void
-tdesc_add_typed_bitfield (struct tdesc_type *type, const char *field_name,
+tdesc_add_typed_bitfield (tdesc_type_with_fields *type, const char *field_name,
                          int start, int end, struct tdesc_type *field_type)
 {
-  struct tdesc_type_field f = { 0 };
-
   gdb_assert (type->kind == TDESC_TYPE_STRUCT
              || type->kind == TDESC_TYPE_FLAGS);
   gdb_assert (start >= 0 && end >= start);
 
-  f.name = xstrdup (field_name);
-  f.start = start;
-  f.end = end;
-  f.type = field_type;
-
-  VEC_safe_push (tdesc_type_field, type->u.u.fields, &f);
+  type->fields.emplace_back (field_name, field_type, start, end);
 }
 
 /* See arch/tdesc.h.  */
 
 void
-tdesc_add_bitfield (struct tdesc_type *type, const char *field_name,
+tdesc_add_bitfield (tdesc_type_with_fields *type, const char *field_name,
                    int start, int end)
 {
   struct tdesc_type *field_type;
 
   gdb_assert (start >= 0 && end >= start);
 
-  if (type->u.u.size > 4)
+  if (type->size > 4)
     field_type = tdesc_predefined_type (TDESC_TYPE_UINT64);
   else
     field_type = tdesc_predefined_type (TDESC_TYPE_UINT32);
@@ -1622,36 +1591,25 @@ tdesc_add_bitfield (struct tdesc_type *type, const char *field_name,
 /* See arch/tdesc.h.  */
 
 void
-tdesc_add_flag (struct tdesc_type *type, int start,
+tdesc_add_flag (tdesc_type_with_fields *type, int start,
                const char *flag_name)
 {
-  struct tdesc_type_field f = { 0 };
-
   gdb_assert (type->kind == TDESC_TYPE_FLAGS
              || type->kind == TDESC_TYPE_STRUCT);
 
-  f.name = xstrdup (flag_name);
-  f.start = start;
-  f.end = start;
-  f.type = tdesc_predefined_type (TDESC_TYPE_BOOL);
-
-  VEC_safe_push (tdesc_type_field, type->u.u.fields, &f);
+  type->fields.emplace_back (flag_name,
+                            tdesc_predefined_type (TDESC_TYPE_BOOL),
+                            start, start);
 }
 
 void
-tdesc_add_enum_value (struct tdesc_type *type, int value,
+tdesc_add_enum_value (tdesc_type_with_fields *type, int value,
                      const char *name)
 {
-  struct tdesc_type_field f = { 0 };
-
   gdb_assert (type->kind == TDESC_TYPE_ENUM);
-
-  f.name = xstrdup (name);
-  f.start = value;
-  f.end = -1;
-  f.type = tdesc_predefined_type (TDESC_TYPE_INT32);
-
-  VEC_safe_push (tdesc_type_field, type->u.u.fields, &f);
+  type->fields.emplace_back (name,
+                            tdesc_predefined_type (TDESC_TYPE_INT32),
+                            value, -1);
 }
 
 /* See arch/tdesc.h.  */
@@ -1905,144 +1863,142 @@ public:
     printf_unfiltered ("}\n");
   }
 
-  void visit (const tdesc_type *type) override
+  void visit (const tdesc_type_builtin *type) override
   {
-    struct tdesc_type_field *f;
+    error (_("C output is not supported type \"%s\"."), type->name.c_str ());
+  }
 
-    /* Now we do some "filtering" in order to know which variables to
-       declare.  This is needed because otherwise we would declare unused
-       variables `field_type' and `type'.  */
-    if (!m_printed_field_type)
+  void visit (const tdesc_type_vector *type) override
+  {
+    if (!m_printed_element_type)
       {
-       printf_unfiltered ("  struct tdesc_type *field_type;\n");
-       m_printed_field_type = true;
+       printf_unfiltered ("  tdesc_type *element_type;\n");
+       m_printed_element_type = true;
+      }
+
+    printf_unfiltered
+      ("  element_type = tdesc_named_type (feature, \"%s\");\n",
+       type->element_type->name.c_str ());
+    printf_unfiltered
+      ("  tdesc_create_vector (feature, \"%s\", element_type, %d);\n",
+       type->name.c_str (), type->count);
+
+    printf_unfiltered ("\n");
+  }
+
+  void visit (const tdesc_type_with_fields *type) override
+  {
+    if (!m_printed_type_with_fields)
+      {
+       printf_unfiltered ("  tdesc_type_with_fields *type_with_fields;\n");
+       m_printed_type_with_fields = true;
       }
 
-    if ((type->kind == TDESC_TYPE_UNION
-        || type->kind == TDESC_TYPE_STRUCT
-        || type->kind == TDESC_TYPE_FLAGS
-        || type->kind == TDESC_TYPE_ENUM)
-       && VEC_length (tdesc_type_field, type->u.u.fields) > 0
-       && !m_printed_type)
+    if (!type->fields.empty ()
+       && !m_printed_field_type)
       {
-       printf_unfiltered ("  struct tdesc_type *type;\n");
-       m_printed_type = true;
+       printf_unfiltered ("  tdesc_type *field_type;\n");
+       m_printed_field_type = true;
       }
 
     switch (type->kind)
       {
-      case TDESC_TYPE_VECTOR:
-       printf_unfiltered
-         ("  field_type = tdesc_named_type (feature, \"%s\");\n",
-          type->u.v.type->name);
-       printf_unfiltered
-         ("  tdesc_create_vector (feature, \"%s\", field_type, %d);\n",
-          type->name, type->u.v.count);
-       break;
       case TDESC_TYPE_STRUCT:
       case TDESC_TYPE_FLAGS:
        if (type->kind == TDESC_TYPE_STRUCT)
          {
            printf_unfiltered
-             ("  type = tdesc_create_struct (feature, \"%s\");\n",
-              type->name);
-           if (type->u.u.size != 0)
+             ("  type_with_fields = tdesc_create_struct (feature, \"%s\");\n",
+              type->name.c_str ());
+           if (type->size != 0)
              printf_unfiltered
-               ("  tdesc_set_struct_size (type, %d);\n",
-                type->u.u.size);
+               ("  tdesc_set_struct_size (type_with_fields, %d);\n", type->size);
          }
        else
          {
            printf_unfiltered
-             ("  type = tdesc_create_flags (feature, \"%s\", %d);\n",
-              type->name, type->u.u.size);
+             ("  type_with_fields = tdesc_create_flags (feature, \"%s\", %d);\n",
+              type->name.c_str (), type->size);
          }
-       for (int ix3 = 0;
-            VEC_iterate (tdesc_type_field, type->u.u.fields, ix3, f);
-            ix3++)
+       for (const tdesc_type_field &f : type->fields)
          {
            const char *type_name;
 
-           gdb_assert (f->type != NULL);
-           type_name = f->type->name;
+           gdb_assert (f.type != NULL);
+           type_name = f.type->name.c_str ();
 
            /* To minimize changes to generated files, don't emit type
               info for fields that have defaulted types.  */
-           if (f->start != -1)
+           if (f.start != -1)
              {
-               gdb_assert (f->end != -1);
-               if (f->type->kind == TDESC_TYPE_BOOL)
+               gdb_assert (f.end != -1);
+               if (f.type->kind == TDESC_TYPE_BOOL)
                  {
-                   gdb_assert (f->start == f->end);
+                   gdb_assert (f.start == f.end);
                    printf_unfiltered
-                     ("  tdesc_add_flag (type, %d, \"%s\");\n",
-                      f->start, f->name);
+                     ("  tdesc_add_flag (type_with_fields, %d, \"%s\");\n",
+                      f.start, f.name.c_str ());
                  }
-               else if ((type->u.u.size == 4
-                         && f->type->kind == TDESC_TYPE_UINT32)
-                        || (type->u.u.size == 8
-                            && f->type->kind == TDESC_TYPE_UINT64))
+               else if ((type->size == 4 && f.type->kind == TDESC_TYPE_UINT32)
+                        || (type->size == 8
+                            && f.type->kind == TDESC_TYPE_UINT64))
                  {
                    printf_unfiltered
-                     ("  tdesc_add_bitfield (type, \"%s\", %d, %d);\n",
-                      f->name, f->start, f->end);
+                     ("  tdesc_add_bitfield (type_with_fields, \"%s\", %d, %d);\n",
+                      f.name.c_str (), f.start, f.end);
                  }
                else
                  {
                    printf_unfiltered
-                     ("  field_type = tdesc_named_type (feature,"
-                      " \"%s\");\n",
+                     ("  field_type = tdesc_named_type (feature, \"%s\");\n",
                       type_name);
                    printf_unfiltered
-                     ("  tdesc_add_typed_bitfield (type, \"%s\","
+                     ("  tdesc_add_typed_bitfield (type_with_fields, \"%s\","
                       " %d, %d, field_type);\n",
-                      f->name, f->start, f->end);
+                      f.name.c_str (), f.start, f.end);
                  }
              }
            else /* Not a bitfield.  */
              {
-               gdb_assert (f->end == -1);
+               gdb_assert (f.end == -1);
                gdb_assert (type->kind == TDESC_TYPE_STRUCT);
                printf_unfiltered
                  ("  field_type = tdesc_named_type (feature,"
                   " \"%s\");\n",
                   type_name);
                printf_unfiltered
-                 ("  tdesc_add_field (type, \"%s\", field_type);\n",
-                  f->name);
+                 ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
+                  f.name.c_str ());
              }
          }
        break;
       case TDESC_TYPE_UNION:
        printf_unfiltered
-         ("  type = tdesc_create_union (feature, \"%s\");\n",
-          type->name);
-       for (int ix3 = 0;
-            VEC_iterate (tdesc_type_field, type->u.u.fields, ix3, f);
-            ix3++)
+         ("  type_with_fields = tdesc_create_union (feature, \"%s\");\n",
+          type->name.c_str ());
+       for (const tdesc_type_field &f : type->fields)
          {
            printf_unfiltered
              ("  field_type = tdesc_named_type (feature, \"%s\");\n",
-              f->type->name);
+              f.type->name.c_str ());
            printf_unfiltered
-             ("  tdesc_add_field (type, \"%s\", field_type);\n",
-              f->name);
+             ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
+              f.name.c_str ());
          }
        break;
       case TDESC_TYPE_ENUM:
        printf_unfiltered
-         ("  type = tdesc_create_enum (feature, \"%s\", %d);\n",
-          type->name, type->u.u.size);
-       for (int ix3 = 0;
-            VEC_iterate (tdesc_type_field, type->u.u.fields, ix3, f);
-            ix3++)
+         ("  type_with_fields = tdesc_create_enum (feature, \"%s\", %d);\n",
+          type->name.c_str (), type->size);
+       for (const tdesc_type_field &f : type->fields)
          printf_unfiltered
-           ("  tdesc_add_enum_value (type, %d, \"%s\");\n",
-            f->start, f->name);
+           ("  tdesc_add_enum_value (type_with_fields, %d, \"%s\");\n",
+            f.start, f.name.c_str ());
        break;
       default:
-       error (_("C output is not supported type \"%s\"."), type->name);
+       error (_("C output is not supported type \"%s\"."), type->name.c_str ());
       }
+
     printf_unfiltered ("\n");
   }
 
@@ -2063,8 +2019,15 @@ protected:
 
 private:
   char *m_function;
+
+  /* Did we print "struct tdesc_type *element_type;" yet?  */
+  bool m_printed_element_type = false;
+
+  /* Did we print "struct tdesc_type_with_fields *element_type;" yet?  */
+  bool m_printed_type_with_fields = false;
+
+  /* Did we print "struct tdesc_type *field_type;" yet?  */
   bool m_printed_field_type = false;
-  bool m_printed_type = false;
 };
 
 /* Print target description feature in C.  */
This page took 0.040013 seconds and 4 git commands to generate.