Make it simpler to add events to Python
[deliverable/binutils-gdb.git] / gdb / rust-lang.c
index 481a4fc59430ca319c5b00b72382461002423915..c5764bf8d124d2bf0175a92eaca939b6103a4cde 100644 (file)
@@ -1,6 +1,6 @@
 /* Rust language support routines for GDB, the GNU debugger.
 
-   Copyright (C) 2016 Free Software Foundation, Inc.
+   Copyright (C) 2016-2017 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -32,8 +32,8 @@
 #include "rust-lang.h"
 #include "valprint.h"
 #include "varobj.h"
-
-extern initialize_file_ftype _initialize_rust_language;
+#include <string>
+#include <vector>
 
 /* Returns the last segment of a Rust path like foo::bar::baz.  Will
    not handle cases where the last segment contains generics.  This
@@ -49,27 +49,25 @@ rust_last_path_segment (const char * path)
   return result + 1;
 }
 
-/* Find the Rust crate for BLOCK.  If no crate can be found, returns
-   NULL.  Otherwise, returns a newly allocated string that the caller
-   is responsible for freeing.  */
+/* See rust-lang.h.  */
 
-char *
+std::string
 rust_crate_for_block (const struct block *block)
 {
   const char *scope = block_scope (block);
 
   if (scope[0] == '\0')
-    return NULL;
+    return std::string ();
 
-  return xstrndup (scope, cp_find_first_component (scope));
+  return std::string (scope, cp_find_first_component (scope));
 }
 
 /* Information about the discriminant/variant of an enum */
 
 struct disr_info
 {
-  /* Name of field.  Must be freed by caller.  */
-  char *name;
+  /* Name of field.  */
+  std::string name;
   /* Field number in union.  Negative on error.  For an encoded enum,
      the "hidden" member will always be field 1, and the "real" member
      will always be field 0.  */
@@ -91,19 +89,39 @@ struct disr_info
 
 #define RUST_ENCODED_ENUM_HIDDEN 1
 
+/* Whether or not a TYPE_CODE_UNION value is an untagged union
+   as opposed to being a regular Rust enum.  */
+static bool
+rust_union_is_untagged (struct type *type)
+{
+  /* Unions must have at least one field.  */
+  if (TYPE_NFIELDS (type) == 0)
+    return false;
+  /* If the first field is named, but the name has the rust enum prefix,
+     it is an enum.  */
+  if (strncmp (TYPE_FIELD_NAME (type, 0), RUST_ENUM_PREFIX,
+              strlen (RUST_ENUM_PREFIX)) == 0)
+    return false;
+  /* Unions only have named fields.  */
+  for (int i = 0; i < TYPE_NFIELDS (type); ++i)
+    {
+      if (strlen (TYPE_FIELD_NAME (type, i)) == 0)
+        return false;
+    }
+  return true;
+}
+
 /* Utility function to get discriminant info for a given value.  */
 
 static struct disr_info
 rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
                     int embedded_offset, CORE_ADDR address,
-                    const struct value *val)
+                    struct value *val)
 {
   int i;
   struct disr_info ret;
   struct type *disr_type;
-  struct ui_file *temp_file;
   struct value_print_options opts;
-  struct cleanup *cleanup;
   const char *name_segment;
 
   get_no_prettyformat_print_options (&opts);
@@ -121,7 +139,7 @@ rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
   if (strncmp (TYPE_FIELD_NAME (type, 0), RUST_ENUM_PREFIX,
               strlen (RUST_ENUM_PREFIX)) == 0)
     {
-      char *tail, *token, *name, *saveptr = NULL;
+      char *tail, *token, *saveptr = NULL;
       unsigned long fieldno;
       struct type *member_type;
       LONGEST value;
@@ -134,9 +152,8 @@ rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
       /* Optimized enums have only one field.  */
       member_type = TYPE_FIELD_TYPE (type, 0);
 
-      name = xstrdup (TYPE_FIELD_NAME (type, 0));
-      cleanup = make_cleanup (xfree, name);
-      tail = name + strlen (RUST_ENUM_PREFIX);
+      std::string name (TYPE_FIELD_NAME (type, 0));
+      tail = &name[0] + strlen (RUST_ENUM_PREFIX);
 
       /* The location of the value that doubles as a discriminant is
          stored in the name of the field, as
@@ -170,17 +187,15 @@ rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
       if (value == 0)
        {
          ret.field_no = RUST_ENCODED_ENUM_HIDDEN;
-         ret.name = concat (TYPE_NAME (type), "::", token, (char *) NULL);
+         ret.name = std::string (TYPE_NAME (type)) + "::" + token;
        }
       else
        {
          ret.field_no = RUST_ENCODED_ENUM_REAL;
-         ret.name = concat (TYPE_NAME (type), "::",
-                            rust_last_path_segment (TYPE_NAME (TYPE_FIELD_TYPE (type, 0))),
-                            (char *) NULL);
+         ret.name = (std::string (TYPE_NAME (type)) + "::"
+                     + rust_last_path_segment (TYPE_NAME (TYPE_FIELD_TYPE (type, 0))));
        }
 
-      do_cleanups (cleanup);
       return ret;
     }
 
@@ -192,22 +207,33 @@ rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
         has changed its debuginfo format.  */
       error (_("Could not find enum discriminant field"));
     }
+  else if (TYPE_NFIELDS (type) == 1)
+    {
+      /* Sometimes univariant enums are encoded without a
+         discriminant.  In that case, treating it as an encoded enum
+         with the first field being the actual type works.  */
+      const char *field_name = TYPE_NAME (TYPE_FIELD_TYPE (type, 0));
+      const char *last = rust_last_path_segment (field_name);
+      ret.name = std::string (TYPE_NAME (type)) + "::" + last;
+      ret.field_no = RUST_ENCODED_ENUM_REAL;
+      ret.is_encoded = 1;
+      return ret;
+    }
 
   if (strcmp (TYPE_FIELD_NAME (disr_type, 0), "RUST$ENUM$DISR") != 0)
     error (_("Rust debug format has changed"));
 
-  temp_file = mem_fileopen ();
-  cleanup = make_cleanup_ui_file_delete (temp_file);
+  string_file temp_file;
   /* The first value of the first field (or any field)
      is the discriminant value.  */
-  c_val_print (TYPE_FIELD_TYPE (disr_type, 0), valaddr,
+  c_val_print (TYPE_FIELD_TYPE (disr_type, 0),
               (embedded_offset + TYPE_FIELD_BITPOS (type, 0) / 8
                + TYPE_FIELD_BITPOS (disr_type, 0) / 8),
-              address, temp_file,
+              address, &temp_file,
               0, val, &opts);
 
-  ret.name = ui_file_xstrdup (temp_file, NULL);
-  name_segment = rust_last_path_segment (ret.name);
+  ret.name = std::move (temp_file.string ());
+  name_segment = rust_last_path_segment (ret.name.c_str ());
   if (name_segment != NULL)
     {
       for (i = 0; i < TYPE_NFIELDS (type); ++i)
@@ -231,21 +257,19 @@ rust_get_disr_info (struct type *type, const gdb_byte *valaddr,
        }
     }
 
-  if (ret.field_no == -1 && ret.name != NULL)
+  if (ret.field_no == -1 && !ret.name.empty ())
     {
       /* Somehow the discriminant wasn't found.  */
-      make_cleanup (xfree, ret.name);
       error (_("Could not find variant of %s with discriminant %s"),
-            TYPE_TAG_NAME (type), ret.name);
+            TYPE_TAG_NAME (type), ret.name.c_str ());
     }
 
-  do_cleanups (cleanup);
   return ret;
 }
 
 /* See rust-lang.h.  */
 
-int
+bool
 rust_tuple_type_p (struct type *type)
 {
   /* The current implementation is a bit of a hack, but there's
@@ -260,7 +284,7 @@ rust_tuple_type_p (struct type *type)
 /* Return true if all non-static fields of a structlike type are in a
    sequence like __0, __1, __2.  OFFSET lets us skip fields.  */
 
-static int
+static bool
 rust_underscore_fields (struct type *type, int offset)
 {
   int i, field_number;
@@ -268,7 +292,7 @@ rust_underscore_fields (struct type *type, int offset)
   field_number = 0;
 
   if (TYPE_CODE (type) != TYPE_CODE_STRUCT)
-    return 0;
+    return false;
   for (i = 0; i < TYPE_NFIELDS (type); ++i)
     {
       if (!field_is_static (&TYPE_FIELD (type, i)))
@@ -281,17 +305,17 @@ rust_underscore_fields (struct type *type, int offset)
 
              xsnprintf (buf, sizeof (buf), "__%d", field_number);
              if (strcmp (buf, TYPE_FIELD_NAME (type, i)) != 0)
-               return 0;
+               return false;
              field_number++;
            }
        }
     }
-  return 1;
+  return true;
 }
 
 /* See rust-lang.h.  */
 
-int
+bool
 rust_tuple_struct_type_p (struct type *type)
 {
   /* This is just an approximation until DWARF can represent Rust more
@@ -302,7 +326,7 @@ rust_tuple_struct_type_p (struct type *type)
 
 /* Return true if a variant TYPE is a tuple variant, false otherwise.  */
 
-static int
+static bool
 rust_tuple_variant_type_p (struct type *type)
 {
   /* First field is discriminant */
@@ -311,7 +335,7 @@ rust_tuple_variant_type_p (struct type *type)
 
 /* Return true if TYPE is a slice type, otherwise false.  */
 
-static int
+static bool
 rust_slice_type_p (struct type *type)
 {
   return (TYPE_CODE (type) == TYPE_CODE_STRUCT
@@ -321,7 +345,7 @@ rust_slice_type_p (struct type *type)
 
 /* Return true if TYPE is a range type, otherwise false.  */
 
-static int
+static bool
 rust_range_type_p (struct type *type)
 {
   int i;
@@ -330,22 +354,22 @@ rust_range_type_p (struct type *type)
       || TYPE_NFIELDS (type) > 2
       || TYPE_TAG_NAME (type) == NULL
       || strstr (TYPE_TAG_NAME (type), "::Range") == NULL)
-    return 0;
+    return false;
 
   if (TYPE_NFIELDS (type) == 0)
-    return 1;
+    return true;
 
   i = 0;
   if (strcmp (TYPE_FIELD_NAME (type, 0), "start") == 0)
     {
       if (TYPE_NFIELDS (type) == 1)
-       return 1;
+       return true;
       i = 1;
     }
   else if (TYPE_NFIELDS (type) == 2)
     {
       /* First field had to be "start".  */
-      return 0;
+      return false;
     }
 
   return strcmp (TYPE_FIELD_NAME (type, i), "end") == 0;
@@ -353,7 +377,7 @@ rust_range_type_p (struct type *type)
 
 /* Return true if TYPE seems to be the type "u8", otherwise false.  */
 
-static int
+static bool
 rust_u8_type_p (struct type *type)
 {
   return (TYPE_CODE (type) == TYPE_CODE_INT
@@ -363,7 +387,7 @@ rust_u8_type_p (struct type *type)
 
 /* Return true if TYPE is a Rust character type.  */
 
-static int
+static bool
 rust_chartype_p (struct type *type)
 {
   return (TYPE_CODE (type) == TYPE_CODE_CHAR
@@ -442,6 +466,84 @@ rust_printstr (struct ui_file *stream, struct type *type,
 
 \f
 
+/* rust_print_type branch for structs and untagged unions.  */
+
+static void
+val_print_struct (struct type *type, int embedded_offset,
+                 CORE_ADDR address, struct ui_file *stream,
+                 int recurse, struct value *val,
+                 const struct value_print_options *options)
+{
+  int i;
+  int first_field;
+  bool is_tuple = rust_tuple_type_p (type);
+  bool is_tuple_struct = !is_tuple && rust_tuple_struct_type_p (type);
+  struct value_print_options opts;
+
+  if (!is_tuple)
+    {
+      if (TYPE_TAG_NAME (type) != NULL)
+        fprintf_filtered (stream, "%s", TYPE_TAG_NAME (type));
+
+      if (TYPE_NFIELDS (type) == 0)
+        return;
+
+      if (TYPE_TAG_NAME (type) != NULL)
+        fputs_filtered (" ", stream);
+    }
+
+  if (is_tuple || is_tuple_struct)
+    fputs_filtered ("(", stream);
+  else
+    fputs_filtered ("{", stream);
+
+  opts = *options;
+  opts.deref_ref = 0;
+
+  first_field = 1;
+  for (i = 0; i < TYPE_NFIELDS (type); ++i)
+    {
+      if (field_is_static (&TYPE_FIELD (type, i)))
+        continue;
+
+      if (!first_field)
+        fputs_filtered (",", stream);
+
+      if (options->prettyformat)
+        {
+         fputs_filtered ("\n", stream);
+         print_spaces_filtered (2 + 2 * recurse, stream);
+        }
+      else if (!first_field)
+        fputs_filtered (" ", stream);
+
+      first_field = 0;
+
+      if (!is_tuple && !is_tuple_struct)
+        {
+         fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
+         fputs_filtered (": ", stream);
+        }
+
+      val_print (TYPE_FIELD_TYPE (type, i),
+                embedded_offset + TYPE_FIELD_BITPOS (type, i) / 8,
+                address,
+                stream, recurse + 1, val, &opts,
+                current_language);
+    }
+
+  if (options->prettyformat)
+    {
+      fputs_filtered ("\n", stream);
+      print_spaces_filtered (2 * recurse, stream);
+    }
+
+  if (is_tuple || is_tuple_struct)
+    fputs_filtered (")", stream);
+  else
+    fputs_filtered ("}", stream);
+}
+
 static const struct generic_val_print_decorations rust_decorations =
 {
   /* Complex isn't used in Rust, but we provide C-ish values just in
@@ -459,11 +561,13 @@ static const struct generic_val_print_decorations rust_decorations =
 /* la_val_print implementation for Rust.  */
 
 static void
-rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
+rust_val_print (struct type *type, int embedded_offset,
                CORE_ADDR address, struct ui_file *stream, int recurse,
-               const struct value *val,
+               struct value *val,
                const struct value_print_options *options)
 {
+  const gdb_byte *valaddr = value_contents_for_printing (val);
+
   type = check_typedef (type);
   switch (TYPE_CODE (type))
     {
@@ -500,7 +604,7 @@ rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
 
     case TYPE_CODE_METHODPTR:
     case TYPE_CODE_MEMBERPTR:
-      c_val_print (type, valaddr, embedded_offset, address, stream,
+      c_val_print (type, embedded_offset, address, stream,
                   recurse, val, options);
       break;
 
@@ -551,19 +655,29 @@ rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
        struct type *variant_type;
        struct disr_info disr;
        struct value_print_options opts;
-       struct cleanup *cleanup;
+
+       /* Untagged unions are printed as if they are structs.
+          Since the field bit positions overlap in the debuginfo,
+          the code for printing a union is same as that for a struct,
+          the only difference is that the input type will have overlapping
+          fields.  */
+       if (rust_union_is_untagged (type))
+         {
+           val_print_struct (type, embedded_offset, address, stream,
+                             recurse, val, options);
+           break;
+         }
 
        opts = *options;
        opts.deref_ref = 0;
 
        disr = rust_get_disr_info (type, valaddr, embedded_offset, address,
                                   val);
-       cleanup = make_cleanup (xfree, disr.name);
 
        if (disr.is_encoded && disr.field_no == RUST_ENCODED_ENUM_HIDDEN)
          {
-           fprintf_filtered (stream, "%s", disr.name);
-           goto cleanup;
+           fprintf_filtered (stream, "%s", disr.name.c_str ());
+           break;
          }
 
        first_field = 1;
@@ -579,19 +693,19 @@ rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
          {
            /* In case of a non-nullary variant, we output 'Foo(x,y,z)'. */
            if (is_tuple)
-             fprintf_filtered (stream, "%s(", disr.name);
+             fprintf_filtered (stream, "%s(", disr.name.c_str ());
            else
              {
                /* struct variant.  */
-               fprintf_filtered (stream, "%s{", disr.name);
+               fprintf_filtered (stream, "%s{", disr.name.c_str ());
              }
          }
        else
          {
            /* In case of a nullary variant like 'None', just output
               the name. */
-           fprintf_filtered (stream, "%s", disr.name);
-           goto cleanup;
+           fprintf_filtered (stream, "%s", disr.name.c_str ());
+           break;
          }
 
        for (j = start; j < TYPE_NFIELDS (variant_type); j++)
@@ -605,7 +719,6 @@ rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
                                TYPE_FIELD_NAME (variant_type, j));
 
            val_print (TYPE_FIELD_TYPE (variant_type, j),
-                      valaddr,
                       (embedded_offset
                        + TYPE_FIELD_BITPOS (type, disr.field_no) / 8
                        + TYPE_FIELD_BITPOS (variant_type, j) / 8),
@@ -618,95 +731,90 @@ rust_val_print (struct type *type, const gdb_byte *valaddr, int embedded_offset,
          fputs_filtered (")", stream);
        else
          fputs_filtered ("}", stream);
-
-      cleanup:
-       do_cleanups (cleanup);
       }
       break;
 
     case TYPE_CODE_STRUCT:
-      {
-       int i;
-       int first_field;
-       int is_tuple = rust_tuple_type_p (type);
-       int is_tuple_struct = !is_tuple && rust_tuple_struct_type_p (type);
-       struct value_print_options opts;
-
-       if (!is_tuple)
-         {
-           if (TYPE_TAG_NAME (type) != NULL)
-             fprintf_filtered (stream, "%s", TYPE_TAG_NAME (type));
-
-           if (TYPE_NFIELDS (type) == 0)
-             break;
-
-           if (TYPE_TAG_NAME (type) != NULL)
-             fputs_filtered (" ", stream);
-         }
+      val_print_struct (type, embedded_offset, address, stream,
+                       recurse, val, options);
+      break;
 
-       if (is_tuple || is_tuple_struct)
-         fputs_filtered ("(", stream);
-       else
-         fputs_filtered ("{", stream);
+    default:
+    generic_print:
+      /* Nothing special yet.  */
+      generic_val_print (type, embedded_offset, address, stream,
+                        recurse, val, options, &rust_decorations);
+    }
+}
 
-       opts = *options;
-       opts.deref_ref = 0;
+\f
 
-       first_field = 1;
-       for (i = 0; i < TYPE_NFIELDS (type); ++i)
-         {
-           if (field_is_static (&TYPE_FIELD (type, i)))
-             continue;
+static void
+rust_print_type (struct type *type, const char *varstring,
+                struct ui_file *stream, int show, int level,
+                const struct type_print_options *flags);
 
-           if (!first_field)
-             fputs_filtered (",", stream);
+/* Print a struct or union typedef.  */
+static void
+rust_print_struct_def (struct type *type, const char *varstring,
+                      struct ui_file *stream, int show, int level,
+                      const struct type_print_options *flags)
+{
+  bool is_tuple_struct;
+  int i;
 
-           if (options->prettyformat)
-             {
-               fputs_filtered ("\n", stream);
-               print_spaces_filtered (2 + 2 * recurse, stream);
-             }
-           else if (!first_field)
-             fputs_filtered (" ", stream);
+  /* Print a tuple type simply.  */
+  if (rust_tuple_type_p (type))
+    {
+      fputs_filtered (TYPE_TAG_NAME (type), stream);
+      return;
+    }
 
-           first_field = 0;
+  /* If we see a base class, delegate to C.  */
+  if (TYPE_N_BASECLASSES (type) > 0)
+    c_print_type (type, varstring, stream, show, level, flags);
 
-           if (!is_tuple && !is_tuple_struct)
-             {
-               fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
-               fputs_filtered (": ", stream);
-             }
+  /* This code path is also used by unions.  */
+  if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
+    fputs_filtered ("struct ", stream);
+  else
+    fputs_filtered ("union ", stream);
 
-           val_print (TYPE_FIELD_TYPE (type, i),
-                      valaddr,
-                      embedded_offset + TYPE_FIELD_BITPOS (type, i) / 8,
-                      address,
-                      stream, recurse + 1, val, &opts,
-                      current_language);
-         }
+  if (TYPE_TAG_NAME (type) != NULL)
+    fputs_filtered (TYPE_TAG_NAME (type), stream);
 
-       if (options->prettyformat)
-         {
-           fputs_filtered ("\n", stream);
-           print_spaces_filtered (2 * recurse, stream);
-         }
+  is_tuple_struct = rust_tuple_struct_type_p (type);
 
-       if (is_tuple || is_tuple_struct)
-         fputs_filtered (")", stream);
-       else
-         fputs_filtered ("}", stream);
-      }
-      break;
+  if (TYPE_NFIELDS (type) == 0 && !rust_tuple_type_p (type))
+    return;
+  fputs_filtered (is_tuple_struct ? " (\n" : " {\n", stream);
 
-    default:
-    generic_print:
-      /* Nothing special yet.  */
-      generic_val_print (type, valaddr, embedded_offset, address, stream,
-                        recurse, val, options, &rust_decorations);
+  for (i = 0; i < TYPE_NFIELDS (type); ++i)
+    {
+      const char *name;
+
+      QUIT;
+      if (field_is_static (&TYPE_FIELD (type, i)))
+       continue;
+
+      /* We'd like to print "pub" here as needed, but rustc
+        doesn't emit the debuginfo, and our types don't have
+        cplus_struct_type attached.  */
+
+      /* For a tuple struct we print the type but nothing
+        else.  */
+      print_spaces_filtered (level + 2, stream);
+      if (!is_tuple_struct)
+       fprintf_filtered (stream, "%s: ", TYPE_FIELD_NAME (type, i));
+
+      rust_print_type (TYPE_FIELD_TYPE (type, i), NULL,
+                      stream, show - 1, level + 2,
+                      flags);
+      fputs_filtered (",\n", stream);
     }
-}
 
-\f
+  fprintfi_filtered (level, stream, is_tuple_struct ? ")" : "}");
+}
 
 /* la_print_typedef implementation for Rust.  */
 
@@ -783,69 +891,19 @@ rust_print_type (struct type *type, const char *varstring,
        fputs_filtered ("[", stream);
        rust_print_type (TYPE_TARGET_TYPE (type), NULL,
                         stream, show - 1, level, flags);
-       fputs_filtered ("; ", stream);
 
        if (TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCEXPR
            || TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCLIST)
-         fprintf_filtered (stream, "variable length");
+         fprintf_filtered (stream, "variable length");
        else if (get_array_bounds (type, &low_bound, &high_bound))
-         fprintf_filtered (stream, "%s", 
+         fprintf_filtered (stream, "; %s",
                            plongest (high_bound - low_bound + 1));
        fputs_filtered ("]", stream);
       }
       break;
 
     case TYPE_CODE_STRUCT:
-      {
-       int is_tuple_struct;
-
-       /* Print a tuple type simply.  */
-       if (rust_tuple_type_p (type))
-         {
-           fputs_filtered (TYPE_TAG_NAME (type), stream);
-           break;
-         }
-
-       /* If we see a base class, delegate to C.  */
-       if (TYPE_N_BASECLASSES (type) > 0)
-         goto c_printer;
-
-       fputs_filtered ("struct ", stream);
-       if (TYPE_TAG_NAME (type) != NULL)
-         fputs_filtered (TYPE_TAG_NAME (type), stream);
-
-       is_tuple_struct = rust_tuple_struct_type_p (type);
-
-       if (TYPE_NFIELDS (type) == 0 && !rust_tuple_type_p (type))
-         break;
-       fputs_filtered (is_tuple_struct ? " (\n" : " {\n", stream);
-
-       for (i = 0; i < TYPE_NFIELDS (type); ++i)
-         {
-           const char *name;
-
-           QUIT;
-           if (field_is_static (&TYPE_FIELD (type, i)))
-             continue;
-
-           /* We'd like to print "pub" here as needed, but rustc
-              doesn't emit the debuginfo, and our types don't have
-              cplus_struct_type attached.  */
-
-           /* For a tuple struct we print the type but nothing
-              else.  */
-           print_spaces_filtered (level + 2, stream);
-           if (!is_tuple_struct)
-             fprintf_filtered (stream, "%s: ", TYPE_FIELD_NAME (type, i));
-
-           rust_print_type (TYPE_FIELD_TYPE (type, i), NULL,
-                            stream, show - 1, level + 2,
-                            flags);
-           fputs_filtered (",\n", stream);
-         }
-
-       fprintfi_filtered (level, stream, is_tuple_struct ? ")" : "}");
-      }
+      rust_print_struct_def (type, varstring, stream, show, level, flags);
       break;
 
     case TYPE_CODE_ENUM:
@@ -886,6 +944,16 @@ rust_print_type (struct type *type, const char *varstring,
        /* Skip the discriminant field.  */
        int skip_to = 1;
 
+       /* Unions and structs have the same syntax in Rust,
+          the only difference is that structs are declared with `struct`
+          and union with `union`. This difference is handled in the struct
+          printer.  */
+       if (rust_union_is_untagged (type))
+         {
+           rust_print_struct_def (type, varstring, stream, show, level, flags);
+           break;
+         }
+
        fputs_filtered ("enum ", stream);
        if (TYPE_TAG_NAME (type) != NULL)
          {
@@ -905,6 +973,8 @@ rust_print_type (struct type *type, const char *varstring,
                skip_to = 0;
              }
          }
+       else if (TYPE_NFIELDS (type) == 1)
+         skip_to = 0;
 
        for (i = 0; i < TYPE_NFIELDS (type); ++i)
          {
@@ -917,7 +987,9 @@ rust_print_type (struct type *type, const char *varstring,
            if (TYPE_NFIELDS (variant_type) > skip_to)
              {
                int first = 1;
-               int is_tuple = rust_tuple_variant_type_p (variant_type);
+               bool is_tuple = (TYPE_NFIELDS (type) == 1
+                                ? rust_tuple_struct_type_p (variant_type)
+                                : rust_tuple_variant_type_p (variant_type));
                int j;
 
                fputs_filtered (is_tuple ? "(" : "{", stream);
@@ -1128,8 +1200,10 @@ rust_language_arch_info (struct gdbarch *gdbarch,
   types[rust_primitive_isize] = arch_integer_type (gdbarch, length, 0, "isize");
   types[rust_primitive_usize] = arch_integer_type (gdbarch, length, 1, "usize");
 
-  types[rust_primitive_f32] = arch_float_type (gdbarch, 32, "f32", NULL);
-  types[rust_primitive_f64] = arch_float_type (gdbarch, 64, "f64", NULL);
+  types[rust_primitive_f32] = arch_float_type (gdbarch, 32, "f32",
+                                              floatformats_ieee_single);
+  types[rust_primitive_f64] = arch_float_type (gdbarch, 64, "f64",
+                                              floatformats_ieee_double);
 
   types[rust_primitive_unit] = arch_integer_type (gdbarch, 0, 1, "()");
 
@@ -1152,10 +1226,7 @@ rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
   int i;
   int num_args = exp->elts[*pos + 1].longconst;
   const char *method;
-  char *name;
   struct value *function, *result, *arg0;
-  struct value **args;
-  struct cleanup *cleanup;
   struct type *type, *fn_type;
   const struct block *block;
   struct block_symbol sym;
@@ -1181,8 +1252,7 @@ rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
       return arg0;
     }
 
-  args = XNEWVEC (struct value *, num_args + 1);
-  cleanup = make_cleanup (xfree, args);
+  std::vector<struct value *> args (num_args + 1);
   args[0] = arg0;
 
   /* We don't yet implement real Deref semantics.  */
@@ -1198,17 +1268,16 @@ rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
   if (TYPE_TAG_NAME (type) == NULL)
     error (_("Method call on nameless type"));
 
-  name = concat (TYPE_TAG_NAME (type), "::", method, (char *) NULL);
-  make_cleanup (xfree, name);
+  std::string name = std::string (TYPE_TAG_NAME (type)) + "::" + method;
 
   block = get_selected_block (0);
-  sym = lookup_symbol (name, block, VAR_DOMAIN, NULL);
+  sym = lookup_symbol (name.c_str (), block, VAR_DOMAIN, NULL);
   if (sym.symbol == NULL)
-    error (_("Could not find function named '%s'"), name);
+    error (_("Could not find function named '%s'"), name.c_str ());
 
   fn_type = SYMBOL_TYPE (sym.symbol);
   if (TYPE_NFIELDS (fn_type) == 0)
-    error (_("Function '%s' takes no arguments"), name);
+    error (_("Function '%s' takes no arguments"), name.c_str ());
 
   if (TYPE_CODE (TYPE_FIELD_TYPE (fn_type, 0)) == TYPE_CODE_PTR)
     args[0] = value_addr (args[0]);
@@ -1221,8 +1290,7 @@ rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
   if (noside == EVAL_AVOID_SIDE_EFFECTS)
     result = value_zero (TYPE_TARGET_TYPE (fn_type), not_lval);
   else
-    result = call_function_by_hand (function, num_args + 1, args);
-  do_cleanups (cleanup);
+    result = call_function_by_hand (function, NULL, num_args + 1, args.data ());
   return result;
 }
 
@@ -1599,14 +1667,11 @@ rust_evaluate_subexp (struct type *expect_type, struct expression *exp,
          {
            CORE_ADDR addr;
            int i;
-           struct value **eltvec = XNEWVEC (struct value *, copies);
-           struct cleanup *cleanup = make_cleanup (xfree, eltvec);
+           std::vector<struct value *> eltvec (copies);
 
            for (i = 0; i < copies; ++i)
              eltvec[i] = elt;
-           result = value_array (0, copies - 1, eltvec);
-
-           do_cleanups (cleanup);
+           result = value_array (0, copies - 1, eltvec.data ());
          }
        else
          {
@@ -1631,16 +1696,15 @@ rust_evaluate_subexp (struct type *expect_type, struct expression *exp,
         lhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
 
         type = value_type (lhs);
-        if (TYPE_CODE (type) == TYPE_CODE_UNION)
+        /* Untagged unions can't have anonymous field access since
+           they can only have named fields.  */
+        if (TYPE_CODE (type) == TYPE_CODE_UNION
+            && !rust_union_is_untagged (type))
          {
-           struct cleanup *cleanup;
-
            disr = rust_get_disr_info (type, value_contents (lhs),
                                       value_embedded_offset (lhs),
                                       value_address (lhs), lhs);
 
-           cleanup = make_cleanup (xfree, disr.name);
-
            if (disr.is_encoded && disr.field_no == RUST_ENCODED_ENUM_HIDDEN)
              {
                variant_type = NULL;
@@ -1659,17 +1723,16 @@ rust_evaluate_subexp (struct type *expect_type, struct expression *exp,
              error(_("Cannot access field %d of variant %s, \
 there are only %d fields"),
                    disr.is_encoded ? field_number : field_number - 1,
-                   disr.name,
+                   disr.name.c_str (),
                    disr.is_encoded ? nfields : nfields - 1);
 
            if (!(disr.is_encoded
                  ? rust_tuple_struct_type_p (variant_type)
                  : rust_tuple_variant_type_p (variant_type)))
-             error(_("Variant %s is not a tuple variant"), disr.name);
+             error(_("Variant %s is not a tuple variant"), disr.name.c_str ());
 
            result = value_primitive_field (lhs, 0, field_number,
                                            variant_type);
-           do_cleanups (cleanup);
          }
        else if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
          {
@@ -1696,7 +1759,7 @@ tuple structs, and tuple-like enum variants"));
 
     case STRUCTOP_STRUCT:
       {
-        struct valuelhs;
+        struct value *lhs;
         struct type *type;
         int tem, pc;
 
@@ -1705,35 +1768,32 @@ tuple structs, and tuple-like enum variants"));
         (*pos) += 3 + BYTES_TO_EXP_ELEM (tem + 1);
         lhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
 
+       const char *field_name = &exp->elts[pc + 2].string;
         type = value_type (lhs);
-
-        if (TYPE_CODE (type) == TYPE_CODE_UNION)
+        if (TYPE_CODE (type) == TYPE_CODE_UNION
+            && !rust_union_is_untagged (type))
          {
            int i, start;
            struct disr_info disr;
-           struct cleanup* cleanup;
-           struct type* variant_type;
-           char* field_name;
-
-           field_name = &exp->elts[pc + 2].string;
+           struct type *variant_type;
 
            disr = rust_get_disr_info (type, value_contents (lhs),
                                       value_embedded_offset (lhs),
                                       value_address (lhs), lhs);
 
-           cleanup = make_cleanup (xfree, disr.name);
-
            if (disr.is_encoded && disr.field_no == RUST_ENCODED_ENUM_HIDDEN)
              error(_("Could not find field %s of struct variant %s"),
-                   field_name, disr.name);
+                   field_name, disr.name.c_str ());
 
            variant_type = TYPE_FIELD_TYPE (type, disr.field_no);
 
            if (variant_type == NULL
-               || rust_tuple_variant_type_p (variant_type))
+               || (disr.is_encoded
+                   ? rust_tuple_struct_type_p (variant_type)
+                   : rust_tuple_variant_type_p (variant_type)))
              error(_("Attempting to access named field %s of tuple variant %s, \
 which has only anonymous fields"),
-                   field_name, disr.name);
+                   field_name, disr.name.c_str ());
 
            start = disr.is_encoded ? 0 : 1;
            for (i = start; i < TYPE_NFIELDS (variant_type); i++)
@@ -1748,14 +1808,14 @@ which has only anonymous fields"),
            if (i == TYPE_NFIELDS (variant_type))
              /* We didn't find it.  */
              error(_("Could not find field %s of struct variant %s"),
-                   field_name, disr.name);
-
-           do_cleanups (cleanup);
+                   field_name, disr.name.c_str ());
          }
        else
          {
-           *pos = pc;
-           result = evaluate_subexp_standard (expect_type, exp, pos, noside);
+           result = value_struct_elt (&lhs, NULL, field_name, NULL,
+                                      "structure");
+           if (noside == EVAL_AVOID_SIDE_EFFECTS)
+             result = value_zero (value_type (result), VALUE_LVAL (result));
          }
       }
       break;
@@ -1827,7 +1887,7 @@ rust_operator_length (const struct expression *exp, int pc, int *oplenp,
 
 /* op_name implementation for Rust.  */
 
-static char *
+static const char *
 rust_op_name (enum exp_opcode opcode)
 {
   switch (opcode)
@@ -1887,14 +1947,15 @@ rust_dump_subexp_body (struct expression *exp, struct ui_file *stream,
       {
        int field_number;
 
-       field_number = longest_to_int (exp->elts[elt].longconst);
+       field_number = longest_to_int (exp->elts[elt + 1].longconst);
 
        fprintf_filtered (stream, "Field number: %d", field_number);
-       elt = dump_subexp (exp, stream, elt + 2);
+       elt = dump_subexp (exp, stream, elt + 3);
       }
       break;
 
     case OP_RUST_ARRAY:
+      ++elt;
       break;
 
     default:
@@ -1957,7 +2018,7 @@ rust_print_subexp (struct expression *exp, int *pos, struct ui_file *stream,
        print_subexp (exp, pos, stream, PREC_SUFFIX);
        fprintf_filtered (stream, ".%d", tem);
       }
-      return;
+      break;
 
     case OP_RUST_ARRAY:
       ++*pos;
@@ -2034,14 +2095,12 @@ rust_lookup_symbol_nonlocal (const struct language_defn *langdef,
 
       if (scope[0] != '\0')
        {
-         char *scopedname = concat (scope, "::", name, (char *) NULL);
-         struct cleanup *cleanup = make_cleanup (xfree, scopedname);
+         std::string scopedname = std::string (scope) + "::" + name;
 
-         result = lookup_symbol_in_static_block (scopedname, block,
+         result = lookup_symbol_in_static_block (scopedname.c_str (), block,
                                                  domain);
          if (result.symbol == NULL)
-           result = lookup_global_symbol (scopedname, block, domain);
-         do_cleanups (cleanup);
+           result = lookup_global_symbol (scopedname.c_str (), block, domain);
        }
     }
   return result;
@@ -2060,6 +2119,20 @@ rust_sniff_from_mangled_name (const char *mangled, char **demangled)
 
 \f
 
+/* la_watch_location_expression for Rust.  */
+
+static gdb::unique_xmalloc_ptr<char>
+rust_watch_location_expression (struct type *type, CORE_ADDR addr)
+{
+  type = check_typedef (TYPE_TARGET_TYPE (check_typedef (type)));
+  std::string name = type_to_string (type);
+  return gdb::unique_xmalloc_ptr<char>
+    (xstrprintf ("*(%s as *mut %s)", core_addr_to_string (addr),
+                name.c_str ()));
+}
+
+\f
+
 static const struct exp_descriptor exp_descriptor_rust = 
 {
   rust_print_subexp,
@@ -2075,7 +2148,7 @@ static const char *rust_extensions[] =
   ".rs", NULL
 };
 
-static const struct language_defn rust_language_defn =
+extern const struct language_defn rust_language_defn =
 {
   "rust",
   "Rust",
@@ -2109,11 +2182,12 @@ static const struct language_defn rust_language_defn =
   1,                           /* c-style arrays */
   0,                           /* String lower bound */
   default_word_break_characters,
-  default_make_symbol_completion_list,
+  default_collect_symbol_completion_matches,
   rust_language_arch_info,
   default_print_array_index,
   default_pass_by_reference,
   c_get_string,
+  rust_watch_location_expression,
   NULL,                                /* la_get_symbol_name_cmp */
   iterate_over_symbols,
   &default_varobj_ops,
@@ -2121,9 +2195,3 @@ static const struct language_defn rust_language_defn =
   NULL,
   LANG_MAGIC
 };
-
-void
-_initialize_rust_language (void)
-{
-  add_language (&rust_language_defn);
-}
This page took 0.037809 seconds and 4 git commands to generate.