1 /* Rust language support routines for GDB, the GNU debugger.
3 Copyright (C) 2016-2019 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
27 #include "cp-support.h"
33 #include "rust-lang.h"
34 #include "typeprint.h"
41 /* See rust-lang.h. */
44 rust_last_path_segment (const char *path)
46 const char *result = strrchr (path, ':');
53 /* See rust-lang.h. */
56 rust_crate_for_block (const struct block *block)
58 const char *scope = block_scope (block);
61 return std::string ();
63 return std::string (scope, cp_find_first_component (scope));
66 /* Return true if TYPE, which must be a struct type, represents a Rust
70 rust_enum_p (const struct type *type)
72 return (TYPE_CODE (type) == TYPE_CODE_STRUCT
73 && TYPE_NFIELDS (type) == 1
74 && TYPE_FLAG_DISCRIMINATED_UNION (TYPE_FIELD_TYPE (type, 0)));
77 /* Return true if TYPE, which must be an enum type, has no
81 rust_empty_enum_p (const struct type *type)
83 gdb_assert (rust_enum_p (type));
84 /* In Rust the enum always fills the containing structure. */
85 gdb_assert (TYPE_FIELD_BITPOS (type, 0) == 0);
87 return TYPE_NFIELDS (TYPE_FIELD_TYPE (type, 0)) == 0;
90 /* Given an enum type and contents, find which variant is active. */
93 rust_enum_variant (struct type *type, const gdb_byte *contents)
95 /* In Rust the enum always fills the containing structure. */
96 gdb_assert (TYPE_FIELD_BITPOS (type, 0) == 0);
98 struct type *union_type = TYPE_FIELD_TYPE (type, 0);
100 int fieldno = value_union_variant (union_type, contents);
101 return &TYPE_FIELD (union_type, fieldno);
104 /* See rust-lang.h. */
107 rust_tuple_type_p (struct type *type)
109 /* The current implementation is a bit of a hack, but there's
110 nothing else in the debuginfo to distinguish a tuple from a
112 return (TYPE_CODE (type) == TYPE_CODE_STRUCT
113 && TYPE_NAME (type) != NULL
114 && TYPE_NAME (type)[0] == '(');
117 /* Return true if all non-static fields of a structlike type are in a
118 sequence like __0, __1, __2. */
121 rust_underscore_fields (struct type *type)
127 if (TYPE_CODE (type) != TYPE_CODE_STRUCT)
129 for (i = 0; i < TYPE_NFIELDS (type); ++i)
131 if (!field_is_static (&TYPE_FIELD (type, i)))
135 xsnprintf (buf, sizeof (buf), "__%d", field_number);
136 if (strcmp (buf, TYPE_FIELD_NAME (type, i)) != 0)
144 /* See rust-lang.h. */
147 rust_tuple_struct_type_p (struct type *type)
149 /* This is just an approximation until DWARF can represent Rust more
150 precisely. We exclude zero-length structs because they may not
151 be tuple structs, and there's no way to tell. */
152 return TYPE_NFIELDS (type) > 0 && rust_underscore_fields (type);
155 /* Return true if TYPE is a slice type, otherwise false. */
158 rust_slice_type_p (struct type *type)
160 return (TYPE_CODE (type) == TYPE_CODE_STRUCT
161 && TYPE_NAME (type) != NULL
162 && (strncmp (TYPE_NAME (type), "&[", 2) == 0
163 || strcmp (TYPE_NAME (type), "&str") == 0));
166 /* Return true if TYPE is a range type, otherwise false. */
169 rust_range_type_p (struct type *type)
173 if (TYPE_CODE (type) != TYPE_CODE_STRUCT
174 || TYPE_NFIELDS (type) > 2
175 || TYPE_NAME (type) == NULL
176 || strstr (TYPE_NAME (type), "::Range") == NULL)
179 if (TYPE_NFIELDS (type) == 0)
183 if (strcmp (TYPE_FIELD_NAME (type, 0), "start") == 0)
185 if (TYPE_NFIELDS (type) == 1)
189 else if (TYPE_NFIELDS (type) == 2)
191 /* First field had to be "start". */
195 return strcmp (TYPE_FIELD_NAME (type, i), "end") == 0;
198 /* Return true if TYPE is an inclusive range type, otherwise false.
199 This is only valid for types which are already known to be range
203 rust_inclusive_range_type_p (struct type *type)
205 return (strstr (TYPE_NAME (type), "::RangeInclusive") != NULL
206 || strstr (TYPE_NAME (type), "::RangeToInclusive") != NULL);
209 /* Return true if TYPE seems to be the type "u8", otherwise false. */
212 rust_u8_type_p (struct type *type)
214 return (TYPE_CODE (type) == TYPE_CODE_INT
215 && TYPE_UNSIGNED (type)
216 && TYPE_LENGTH (type) == 1);
219 /* Return true if TYPE is a Rust character type. */
222 rust_chartype_p (struct type *type)
224 return (TYPE_CODE (type) == TYPE_CODE_CHAR
225 && TYPE_LENGTH (type) == 4
226 && TYPE_UNSIGNED (type));
229 /* If VALUE represents a trait object pointer, return the underlying
230 pointer with the correct (i.e., runtime) type. Otherwise, return
233 static struct value *
234 rust_get_trait_object_pointer (struct value *value)
236 struct type *type = check_typedef (value_type (value));
238 if (TYPE_CODE (type) != TYPE_CODE_STRUCT || TYPE_NFIELDS (type) != 2)
241 /* Try to be a bit resilient if the ABI changes. */
242 int vtable_field = 0;
243 for (int i = 0; i < 2; ++i)
245 if (strcmp (TYPE_FIELD_NAME (type, i), "vtable") == 0)
247 else if (strcmp (TYPE_FIELD_NAME (type, i), "pointer") != 0)
251 CORE_ADDR vtable = value_as_address (value_field (value, vtable_field));
252 struct symbol *symbol = find_symbol_at_address (vtable);
253 if (symbol == NULL || symbol->subclass != SYMBOL_RUST_VTABLE)
256 struct rust_vtable_symbol *vtable_sym
257 = static_cast<struct rust_vtable_symbol *> (symbol);
258 struct type *pointer_type = lookup_pointer_type (vtable_sym->concrete_type);
259 return value_cast (pointer_type, value_field (value, 1 - vtable_field));
264 /* la_emitchar implementation for Rust. */
267 rust_emitchar (int c, struct type *type, struct ui_file *stream, int quoter)
269 if (!rust_chartype_p (type))
270 generic_emit_char (c, type, stream, quoter,
271 target_charset (get_type_arch (type)));
272 else if (c == '\\' || c == quoter)
273 fprintf_filtered (stream, "\\%c", c);
275 fputs_filtered ("\\n", stream);
277 fputs_filtered ("\\r", stream);
279 fputs_filtered ("\\t", stream);
281 fputs_filtered ("\\0", stream);
282 else if (c >= 32 && c <= 127 && isprint (c))
283 fputc_filtered (c, stream);
285 fprintf_filtered (stream, "\\x%02x", c);
287 fprintf_filtered (stream, "\\u{%06x}", c);
290 /* la_printchar implementation for Rust. */
293 rust_printchar (int c, struct type *type, struct ui_file *stream)
295 fputs_filtered ("'", stream);
296 LA_EMIT_CHAR (c, type, stream, '\'');
297 fputs_filtered ("'", stream);
300 /* la_printstr implementation for Rust. */
303 rust_printstr (struct ui_file *stream, struct type *type,
304 const gdb_byte *string, unsigned int length,
305 const char *user_encoding, int force_ellipses,
306 const struct value_print_options *options)
308 /* Rust always uses UTF-8, but let the caller override this if need
310 const char *encoding = user_encoding;
311 if (user_encoding == NULL || !*user_encoding)
313 /* In Rust strings, characters are "u8". */
314 if (rust_u8_type_p (type))
318 /* This is probably some C string, so let's let C deal with
320 c_printstr (stream, type, string, length, user_encoding,
321 force_ellipses, options);
326 /* This is not ideal as it doesn't use our character printer. */
327 generic_printstr (stream, type, string, length, encoding, force_ellipses,
333 /* Helper function to print a string slice. */
336 rust_val_print_str (struct ui_file *stream, struct value *val,
337 const struct value_print_options *options)
339 struct value *base = value_struct_elt (&val, NULL, "data_ptr", NULL,
341 struct value *len = value_struct_elt (&val, NULL, "length", NULL, "slice");
343 val_print_string (TYPE_TARGET_TYPE (value_type (base)), "UTF-8",
344 value_as_address (base), value_as_long (len), stream,
348 /* rust_val_print helper for structs and untagged unions. */
351 val_print_struct (struct type *type, int embedded_offset,
352 CORE_ADDR address, struct ui_file *stream,
353 int recurse, struct value *val,
354 const struct value_print_options *options)
359 if (rust_slice_type_p (type) && strcmp (TYPE_NAME (type), "&str") == 0)
361 rust_val_print_str (stream, val, options);
365 bool is_tuple = rust_tuple_type_p (type);
366 bool is_tuple_struct = !is_tuple && rust_tuple_struct_type_p (type);
367 struct value_print_options opts;
371 if (TYPE_NAME (type) != NULL)
372 fprintf_filtered (stream, "%s", TYPE_NAME (type));
374 if (TYPE_NFIELDS (type) == 0)
377 if (TYPE_NAME (type) != NULL)
378 fputs_filtered (" ", stream);
381 if (is_tuple || is_tuple_struct)
382 fputs_filtered ("(", stream);
384 fputs_filtered ("{", stream);
390 for (i = 0; i < TYPE_NFIELDS (type); ++i)
392 if (field_is_static (&TYPE_FIELD (type, i)))
396 fputs_filtered (",", stream);
398 if (options->prettyformat)
400 fputs_filtered ("\n", stream);
401 print_spaces_filtered (2 + 2 * recurse, stream);
403 else if (!first_field)
404 fputs_filtered (" ", stream);
408 if (!is_tuple && !is_tuple_struct)
410 fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
411 fputs_filtered (": ", stream);
414 val_print (TYPE_FIELD_TYPE (type, i),
415 embedded_offset + TYPE_FIELD_BITPOS (type, i) / 8,
417 stream, recurse + 1, val, &opts,
421 if (options->prettyformat)
423 fputs_filtered ("\n", stream);
424 print_spaces_filtered (2 * recurse, stream);
427 if (is_tuple || is_tuple_struct)
428 fputs_filtered (")", stream);
430 fputs_filtered ("}", stream);
433 /* rust_val_print helper for discriminated unions (Rust enums). */
436 rust_print_enum (struct type *type, int embedded_offset,
437 CORE_ADDR address, struct ui_file *stream,
438 int recurse, struct value *val,
439 const struct value_print_options *options)
441 struct value_print_options opts = *options;
445 if (rust_empty_enum_p (type))
447 /* Print the enum type name here to be more clear. */
448 fprintf_filtered (stream, _("%s {<No data fields>}"), TYPE_NAME (type));
452 const gdb_byte *valaddr = value_contents_for_printing (val);
453 struct field *variant_field = rust_enum_variant (type, valaddr);
454 embedded_offset += FIELD_BITPOS (*variant_field) / 8;
455 struct type *variant_type = FIELD_TYPE (*variant_field);
457 int nfields = TYPE_NFIELDS (variant_type);
459 bool is_tuple = rust_tuple_struct_type_p (variant_type);
461 fprintf_filtered (stream, "%s", TYPE_NAME (variant_type));
464 /* In case of a nullary variant like 'None', just output
469 /* In case of a non-nullary variant, we output 'Foo(x,y,z)'. */
471 fprintf_filtered (stream, "(");
474 /* struct variant. */
475 fprintf_filtered (stream, "{");
478 bool first_field = true;
479 for (int j = 0; j < TYPE_NFIELDS (variant_type); j++)
482 fputs_filtered (", ", stream);
486 fprintf_filtered (stream, "%s: ",
487 TYPE_FIELD_NAME (variant_type, j));
489 val_print (TYPE_FIELD_TYPE (variant_type, j),
491 + TYPE_FIELD_BITPOS (variant_type, j) / 8),
493 stream, recurse + 1, val, &opts,
498 fputs_filtered (")", stream);
500 fputs_filtered ("}", stream);
503 static const struct generic_val_print_decorations rust_decorations =
505 /* Complex isn't used in Rust, but we provide C-ish values just in
517 /* la_val_print implementation for Rust. */
520 rust_val_print (struct type *type, int embedded_offset,
521 CORE_ADDR address, struct ui_file *stream, int recurse,
523 const struct value_print_options *options)
525 const gdb_byte *valaddr = value_contents_for_printing (val);
527 type = check_typedef (type);
528 switch (TYPE_CODE (type))
532 LONGEST low_bound, high_bound;
534 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_ARRAY
535 && rust_u8_type_p (TYPE_TARGET_TYPE (TYPE_TARGET_TYPE (type)))
536 && get_array_bounds (TYPE_TARGET_TYPE (type), &low_bound,
538 /* We have a pointer to a byte string, so just print
540 struct type *elttype = check_typedef (TYPE_TARGET_TYPE (type));
542 struct gdbarch *arch = get_type_arch (type);
543 int unit_size = gdbarch_addressable_memory_unit_size (arch);
545 addr = unpack_pointer (type, valaddr + embedded_offset * unit_size);
546 if (options->addressprint)
548 fputs_filtered (paddress (arch, addr), stream);
549 fputs_filtered (" ", stream);
552 fputs_filtered ("b", stream);
553 val_print_string (TYPE_TARGET_TYPE (elttype), "ASCII", addr,
554 high_bound - low_bound + 1, stream,
561 case TYPE_CODE_METHODPTR:
562 case TYPE_CODE_MEMBERPTR:
563 c_val_print (type, embedded_offset, address, stream,
564 recurse, val, options);
568 /* Recognize the unit type. */
569 if (TYPE_UNSIGNED (type) && TYPE_LENGTH (type) == 0
570 && TYPE_NAME (type) != NULL && strcmp (TYPE_NAME (type), "()") == 0)
572 fputs_filtered ("()", stream);
577 case TYPE_CODE_STRING:
579 struct gdbarch *arch = get_type_arch (type);
580 int unit_size = gdbarch_addressable_memory_unit_size (arch);
581 LONGEST low_bound, high_bound;
583 if (!get_array_bounds (type, &low_bound, &high_bound))
584 error (_("Could not determine the array bounds"));
586 /* If we see a plain TYPE_CODE_STRING, then we're printing a
587 byte string, hence the choice of "ASCII" as the
589 fputs_filtered ("b", stream);
590 rust_printstr (stream, TYPE_TARGET_TYPE (type),
591 valaddr + embedded_offset * unit_size,
592 high_bound - low_bound + 1, "ASCII", 0, options);
596 case TYPE_CODE_ARRAY:
598 LONGEST low_bound, high_bound;
600 if (get_array_bounds (type, &low_bound, &high_bound)
601 && high_bound - low_bound + 1 == 0)
602 fputs_filtered ("[]", stream);
608 case TYPE_CODE_UNION:
609 /* Untagged unions are printed as if they are structs. Since
610 the field bit positions overlap in the debuginfo, the code
611 for printing a union is same as that for a struct, the only
612 difference is that the input type will have overlapping
614 val_print_struct (type, embedded_offset, address, stream,
615 recurse, val, options);
618 case TYPE_CODE_STRUCT:
619 if (rust_enum_p (type))
620 rust_print_enum (type, embedded_offset, address, stream,
621 recurse, val, options);
623 val_print_struct (type, embedded_offset, address, stream,
624 recurse, val, options);
629 /* Nothing special yet. */
630 generic_val_print (type, embedded_offset, address, stream,
631 recurse, val, options, &rust_decorations);
638 rust_internal_print_type (struct type *type, const char *varstring,
639 struct ui_file *stream, int show, int level,
640 const struct type_print_options *flags,
641 bool for_rust_enum, print_offset_data *podata);
643 /* Print a struct or union typedef. */
645 rust_print_struct_def (struct type *type, const char *varstring,
646 struct ui_file *stream, int show, int level,
647 const struct type_print_options *flags,
648 bool for_rust_enum, print_offset_data *podata)
650 /* Print a tuple type simply. */
651 if (rust_tuple_type_p (type))
653 fputs_filtered (TYPE_NAME (type), stream);
657 /* If we see a base class, delegate to C. */
658 if (TYPE_N_BASECLASSES (type) > 0)
659 c_print_type (type, varstring, stream, show, level, flags);
661 if (flags->print_offsets)
663 /* Temporarily bump the level so that the output lines up
668 /* Compute properties of TYPE here because, in the enum case, the
669 rest of the code ends up looking only at the variant part. */
670 const char *tagname = TYPE_NAME (type);
671 bool is_tuple_struct = rust_tuple_struct_type_p (type);
672 bool is_tuple = rust_tuple_type_p (type);
673 bool is_enum = rust_enum_p (type);
675 int enum_discriminant_index = -1;
679 /* Already printing an outer enum, so nothing to print here. */
683 /* This code path is also used by unions and enums. */
686 fputs_filtered ("enum ", stream);
688 if (rust_empty_enum_p (type))
692 fputs_filtered (tagname, stream);
693 fputs_filtered (" ", stream);
695 fputs_filtered ("{}", stream);
699 type = TYPE_FIELD_TYPE (type, 0);
701 struct dynamic_prop *discriminant_prop
702 = get_dyn_prop (DYN_PROP_DISCRIMINATED, type);
703 struct discriminant_info *info
704 = (struct discriminant_info *) discriminant_prop->data.baton;
705 enum_discriminant_index = info->discriminant_index;
707 else if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
708 fputs_filtered ("struct ", stream);
710 fputs_filtered ("union ", stream);
713 fputs_filtered (tagname, stream);
716 if (TYPE_NFIELDS (type) == 0 && !is_tuple)
718 if (for_rust_enum && !flags->print_offsets)
719 fputs_filtered (is_tuple_struct ? "(" : "{", stream);
721 fputs_filtered (is_tuple_struct ? " (\n" : " {\n", stream);
723 /* When printing offsets, we rearrange the fields into storage
724 order. This lets us show holes more clearly. We work using
725 field indices here because it simplifies calls to
726 print_offset_data::update below. */
727 std::vector<int> fields;
728 for (int i = 0; i < TYPE_NFIELDS (type); ++i)
730 if (field_is_static (&TYPE_FIELD (type, i)))
732 if (is_enum && i == enum_discriminant_index)
734 fields.push_back (i);
736 if (flags->print_offsets)
737 std::sort (fields.begin (), fields.end (),
740 return (TYPE_FIELD_BITPOS (type, a)
741 < TYPE_FIELD_BITPOS (type, b));
748 gdb_assert (!field_is_static (&TYPE_FIELD (type, i)));
749 gdb_assert (! (is_enum && i == enum_discriminant_index));
751 if (flags->print_offsets)
752 podata->update (type, i, stream);
754 /* We'd like to print "pub" here as needed, but rustc
755 doesn't emit the debuginfo, and our types don't have
756 cplus_struct_type attached. */
758 /* For a tuple struct we print the type but nothing
760 if (!for_rust_enum || flags->print_offsets)
761 print_spaces_filtered (level + 2, stream);
763 fputs_filtered (TYPE_FIELD_NAME (type, i), stream);
764 else if (!is_tuple_struct)
765 fprintf_filtered (stream, "%s: ", TYPE_FIELD_NAME (type, i));
767 rust_internal_print_type (TYPE_FIELD_TYPE (type, i), NULL,
768 stream, (is_enum ? show : show - 1),
769 level + 2, flags, is_enum, podata);
770 if (!for_rust_enum || flags->print_offsets)
771 fputs_filtered (",\n", stream);
772 /* Note that this check of "I" is ok because we only sorted the
773 fields by offset when print_offsets was set, so we won't take
774 this branch in that case. */
775 else if (i + 1 < TYPE_NFIELDS (type))
776 fputs_filtered (", ", stream);
779 if (flags->print_offsets)
781 /* Undo the temporary level increase we did above. */
783 podata->finish (type, level, stream);
784 print_spaces_filtered (print_offset_data::indentation, stream);
786 print_spaces_filtered (2, stream);
788 if (!for_rust_enum || flags->print_offsets)
789 print_spaces_filtered (level, stream);
790 fputs_filtered (is_tuple_struct ? ")" : "}", stream);
793 /* la_print_typedef implementation for Rust. */
796 rust_print_typedef (struct type *type,
797 struct symbol *new_symbol,
798 struct ui_file *stream)
800 type = check_typedef (type);
801 fprintf_filtered (stream, "type %s = ", SYMBOL_PRINT_NAME (new_symbol));
802 type_print (type, "", stream, 0);
803 fprintf_filtered (stream, ";\n");
806 /* la_print_type implementation for Rust. */
809 rust_internal_print_type (struct type *type, const char *varstring,
810 struct ui_file *stream, int show, int level,
811 const struct type_print_options *flags,
812 bool for_rust_enum, print_offset_data *podata)
816 && TYPE_NAME (type) != NULL)
818 /* Rust calls the unit type "void" in its debuginfo,
819 but we don't want to print it as that. */
820 if (TYPE_CODE (type) == TYPE_CODE_VOID)
821 fputs_filtered ("()", stream);
823 fputs_filtered (TYPE_NAME (type), stream);
827 type = check_typedef (type);
828 switch (TYPE_CODE (type))
831 /* If we have an enum, we've already printed the type's
832 unqualified name, and there is nothing else to print
835 fputs_filtered ("()", stream);
839 /* Delegate varargs to the C printer. */
840 if (TYPE_VARARGS (type))
843 fputs_filtered ("fn ", stream);
844 if (varstring != NULL)
845 fputs_filtered (varstring, stream);
846 fputs_filtered ("(", stream);
847 for (int i = 0; i < TYPE_NFIELDS (type); ++i)
851 fputs_filtered (", ", stream);
852 rust_internal_print_type (TYPE_FIELD_TYPE (type, i), "", stream,
853 -1, 0, flags, false, podata);
855 fputs_filtered (")", stream);
856 /* If it returns unit, we can omit the return type. */
857 if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_VOID)
859 fputs_filtered (" -> ", stream);
860 rust_internal_print_type (TYPE_TARGET_TYPE (type), "", stream,
861 -1, 0, flags, false, podata);
865 case TYPE_CODE_ARRAY:
867 LONGEST low_bound, high_bound;
869 fputs_filtered ("[", stream);
870 rust_internal_print_type (TYPE_TARGET_TYPE (type), NULL,
871 stream, show - 1, level, flags, false,
874 if (TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCEXPR
875 || TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCLIST)
876 fprintf_filtered (stream, "; variable length");
877 else if (get_array_bounds (type, &low_bound, &high_bound))
878 fprintf_filtered (stream, "; %s",
879 plongest (high_bound - low_bound + 1));
880 fputs_filtered ("]", stream);
884 case TYPE_CODE_UNION:
885 case TYPE_CODE_STRUCT:
886 rust_print_struct_def (type, varstring, stream, show, level, flags,
887 for_rust_enum, podata);
894 fputs_filtered ("enum ", stream);
895 if (TYPE_NAME (type) != NULL)
897 fputs_filtered (TYPE_NAME (type), stream);
898 fputs_filtered (" ", stream);
899 len = strlen (TYPE_NAME (type));
901 fputs_filtered ("{\n", stream);
903 for (int i = 0; i < TYPE_NFIELDS (type); ++i)
905 const char *name = TYPE_FIELD_NAME (type, i);
910 && strncmp (name, TYPE_NAME (type), len) == 0
912 && name[len + 1] == ':')
914 fprintfi_filtered (level + 2, stream, "%s,\n", name);
917 fputs_filtered ("}", stream);
923 if (TYPE_NAME (type) != nullptr)
924 fputs_filtered (TYPE_NAME (type), stream);
927 /* We currently can't distinguish between pointers and
929 fputs_filtered ("*mut ", stream);
930 type_print (TYPE_TARGET_TYPE (type), "", stream, 0);
937 c_print_type (type, varstring, stream, show, level, flags);
942 rust_print_type (struct type *type, const char *varstring,
943 struct ui_file *stream, int show, int level,
944 const struct type_print_options *flags)
946 print_offset_data podata;
947 rust_internal_print_type (type, varstring, stream, show, level,
948 flags, false, &podata);
953 /* Like arch_composite_type, but uses TYPE to decide how to allocate
954 -- either on an obstack or on a gdbarch. */
957 rust_composite_type (struct type *original,
959 const char *field1, struct type *type1,
960 const char *field2, struct type *type2)
962 struct type *result = alloc_type_copy (original);
963 int i, nfields, bitpos;
971 TYPE_CODE (result) = TYPE_CODE_STRUCT;
972 TYPE_NAME (result) = name;
974 TYPE_NFIELDS (result) = nfields;
976 = (struct field *) TYPE_ZALLOC (result, nfields * sizeof (struct field));
982 struct field *field = &TYPE_FIELD (result, i);
984 SET_FIELD_BITPOS (*field, bitpos);
985 bitpos += TYPE_LENGTH (type1) * TARGET_CHAR_BIT;
987 FIELD_NAME (*field) = field1;
988 FIELD_TYPE (*field) = type1;
993 struct field *field = &TYPE_FIELD (result, i);
994 unsigned align = type_align (type2);
1000 align *= TARGET_CHAR_BIT;
1001 delta = bitpos % align;
1003 bitpos += align - delta;
1005 SET_FIELD_BITPOS (*field, bitpos);
1007 FIELD_NAME (*field) = field2;
1008 FIELD_TYPE (*field) = type2;
1013 TYPE_LENGTH (result)
1014 = (TYPE_FIELD_BITPOS (result, i - 1) / TARGET_CHAR_BIT +
1015 TYPE_LENGTH (TYPE_FIELD_TYPE (result, i - 1)));
1019 /* See rust-lang.h. */
1022 rust_slice_type (const char *name, struct type *elt_type,
1023 struct type *usize_type)
1027 elt_type = lookup_pointer_type (elt_type);
1028 type = rust_composite_type (elt_type, name,
1029 "data_ptr", elt_type,
1030 "length", usize_type);
1035 enum rust_primitive_types
1037 rust_primitive_bool,
1038 rust_primitive_char,
1047 rust_primitive_isize,
1048 rust_primitive_usize,
1051 rust_primitive_unit,
1053 nr_rust_primitive_types
1056 /* la_language_arch_info implementation for Rust. */
1059 rust_language_arch_info (struct gdbarch *gdbarch,
1060 struct language_arch_info *lai)
1062 const struct builtin_type *builtin = builtin_type (gdbarch);
1064 struct type **types;
1065 unsigned int length;
1067 types = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_rust_primitive_types + 1,
1070 types[rust_primitive_bool] = arch_boolean_type (gdbarch, 8, 1, "bool");
1071 types[rust_primitive_char] = arch_character_type (gdbarch, 32, 1, "char");
1072 types[rust_primitive_i8] = arch_integer_type (gdbarch, 8, 0, "i8");
1073 types[rust_primitive_u8] = arch_integer_type (gdbarch, 8, 1, "u8");
1074 types[rust_primitive_i16] = arch_integer_type (gdbarch, 16, 0, "i16");
1075 types[rust_primitive_u16] = arch_integer_type (gdbarch, 16, 1, "u16");
1076 types[rust_primitive_i32] = arch_integer_type (gdbarch, 32, 0, "i32");
1077 types[rust_primitive_u32] = arch_integer_type (gdbarch, 32, 1, "u32");
1078 types[rust_primitive_i64] = arch_integer_type (gdbarch, 64, 0, "i64");
1079 types[rust_primitive_u64] = arch_integer_type (gdbarch, 64, 1, "u64");
1081 length = 8 * TYPE_LENGTH (builtin->builtin_data_ptr);
1082 types[rust_primitive_isize] = arch_integer_type (gdbarch, length, 0, "isize");
1083 types[rust_primitive_usize] = arch_integer_type (gdbarch, length, 1, "usize");
1085 types[rust_primitive_f32] = arch_float_type (gdbarch, 32, "f32",
1086 floatformats_ieee_single);
1087 types[rust_primitive_f64] = arch_float_type (gdbarch, 64, "f64",
1088 floatformats_ieee_double);
1090 types[rust_primitive_unit] = arch_integer_type (gdbarch, 0, 1, "()");
1092 tem = make_cv_type (1, 0, types[rust_primitive_u8], NULL);
1093 types[rust_primitive_str] = rust_slice_type ("&str", tem,
1094 types[rust_primitive_usize]);
1096 lai->primitive_type_vector = types;
1097 lai->bool_type_default = types[rust_primitive_bool];
1098 lai->string_char_type = types[rust_primitive_u8];
1103 /* A helper for rust_evaluate_subexp that handles OP_FUNCALL. */
1105 static struct value *
1106 rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
1109 int num_args = exp->elts[*pos + 1].longconst;
1111 struct value *function, *result, *arg0;
1112 struct type *type, *fn_type;
1113 const struct block *block;
1114 struct block_symbol sym;
1116 /* For an ordinary function call we can simply defer to the
1117 generic implementation. */
1118 if (exp->elts[*pos + 3].opcode != STRUCTOP_STRUCT)
1119 return evaluate_subexp_standard (NULL, exp, pos, noside);
1121 /* Skip over the OP_FUNCALL and the STRUCTOP_STRUCT. */
1123 method = &exp->elts[*pos + 1].string;
1124 *pos += 3 + BYTES_TO_EXP_ELEM (exp->elts[*pos].longconst + 1);
1126 /* Evaluate the argument to STRUCTOP_STRUCT, then find its
1127 type in order to look up the method. */
1128 arg0 = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1130 if (noside == EVAL_SKIP)
1132 for (i = 0; i < num_args; ++i)
1133 evaluate_subexp (NULL_TYPE, exp, pos, noside);
1137 std::vector<struct value *> args (num_args + 1);
1140 /* We don't yet implement real Deref semantics. */
1141 while (TYPE_CODE (value_type (args[0])) == TYPE_CODE_PTR)
1142 args[0] = value_ind (args[0]);
1144 type = value_type (args[0]);
1145 if ((TYPE_CODE (type) != TYPE_CODE_STRUCT
1146 && TYPE_CODE (type) != TYPE_CODE_UNION
1147 && TYPE_CODE (type) != TYPE_CODE_ENUM)
1148 || rust_tuple_type_p (type))
1149 error (_("Method calls only supported on struct or enum types"));
1150 if (TYPE_NAME (type) == NULL)
1151 error (_("Method call on nameless type"));
1153 std::string name = std::string (TYPE_NAME (type)) + "::" + method;
1155 block = get_selected_block (0);
1156 sym = lookup_symbol (name.c_str (), block, VAR_DOMAIN, NULL);
1157 if (sym.symbol == NULL)
1158 error (_("Could not find function named '%s'"), name.c_str ());
1160 fn_type = SYMBOL_TYPE (sym.symbol);
1161 if (TYPE_NFIELDS (fn_type) == 0)
1162 error (_("Function '%s' takes no arguments"), name.c_str ());
1164 if (TYPE_CODE (TYPE_FIELD_TYPE (fn_type, 0)) == TYPE_CODE_PTR)
1165 args[0] = value_addr (args[0]);
1167 function = address_of_variable (sym.symbol, block);
1169 for (i = 0; i < num_args; ++i)
1170 args[i + 1] = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1172 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1173 result = value_zero (TYPE_TARGET_TYPE (fn_type), not_lval);
1175 result = call_function_by_hand (function, NULL, args);
1179 /* A helper for rust_evaluate_subexp that handles OP_RANGE. */
1181 static struct value *
1182 rust_range (struct expression *exp, int *pos, enum noside noside)
1184 enum range_type kind;
1185 struct value *low = NULL, *high = NULL;
1186 struct value *addrval, *result;
1188 struct type *range_type;
1189 struct type *index_type;
1190 struct type *temp_type;
1193 kind = (enum range_type) longest_to_int (exp->elts[*pos + 1].longconst);
1196 if (kind == HIGH_BOUND_DEFAULT || kind == NONE_BOUND_DEFAULT
1197 || kind == NONE_BOUND_DEFAULT_EXCLUSIVE)
1198 low = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1199 if (kind == LOW_BOUND_DEFAULT || kind == LOW_BOUND_DEFAULT_EXCLUSIVE
1200 || kind == NONE_BOUND_DEFAULT || kind == NONE_BOUND_DEFAULT_EXCLUSIVE)
1201 high = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1202 bool inclusive = (kind == NONE_BOUND_DEFAULT || kind == LOW_BOUND_DEFAULT);
1204 if (noside == EVAL_SKIP)
1205 return value_from_longest (builtin_type (exp->gdbarch)->builtin_int, 1);
1212 name = "std::ops::RangeFull";
1216 index_type = value_type (high);
1218 ? "std::ops::RangeToInclusive" : "std::ops::RangeTo");
1225 index_type = value_type (low);
1226 name = "std::ops::RangeFrom";
1230 if (!types_equal (value_type (low), value_type (high)))
1231 error (_("Range expression with different types"));
1232 index_type = value_type (low);
1233 name = inclusive ? "std::ops::RangeInclusive" : "std::ops::Range";
1237 /* If we don't have an index type, just allocate this on the
1238 arch. Here any type will do. */
1239 temp_type = (index_type == NULL
1240 ? language_bool_type (exp->language_defn, exp->gdbarch)
1242 /* It would be nicer to cache the range type. */
1243 range_type = rust_composite_type (temp_type, name,
1244 low == NULL ? NULL : "start", index_type,
1245 high == NULL ? NULL : "end", index_type);
1247 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1248 return value_zero (range_type, lval_memory);
1250 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (range_type));
1251 addr = value_as_long (addrval);
1252 result = value_at_lazy (range_type, addr);
1256 struct value *start = value_struct_elt (&result, NULL, "start", NULL,
1259 value_assign (start, low);
1264 struct value *end = value_struct_elt (&result, NULL, "end", NULL,
1267 value_assign (end, high);
1270 result = value_at_lazy (range_type, addr);
1274 /* A helper function to compute the range and kind given a range
1275 value. TYPE is the type of the range value. RANGE is the range
1276 value. LOW, HIGH, and KIND are out parameters. The LOW and HIGH
1277 parameters might be filled in, or might not be, depending on the
1278 kind of range this is. KIND will always be set to the appropriate
1279 value describing the kind of range, and this can be used to
1280 determine whether LOW or HIGH are valid. */
1283 rust_compute_range (struct type *type, struct value *range,
1284 LONGEST *low, LONGEST *high,
1285 enum range_type *kind)
1291 *kind = BOTH_BOUND_DEFAULT;
1293 if (TYPE_NFIELDS (type) == 0)
1297 if (strcmp (TYPE_FIELD_NAME (type, 0), "start") == 0)
1299 *kind = HIGH_BOUND_DEFAULT;
1300 *low = value_as_long (value_field (range, 0));
1303 if (TYPE_NFIELDS (type) > i
1304 && strcmp (TYPE_FIELD_NAME (type, i), "end") == 0)
1306 *kind = (*kind == BOTH_BOUND_DEFAULT
1307 ? LOW_BOUND_DEFAULT : NONE_BOUND_DEFAULT);
1308 *high = value_as_long (value_field (range, i));
1310 if (rust_inclusive_range_type_p (type))
1315 /* A helper for rust_evaluate_subexp that handles BINOP_SUBSCRIPT. */
1317 static struct value *
1318 rust_subscript (struct expression *exp, int *pos, enum noside noside,
1321 struct value *lhs, *rhs, *result;
1322 struct type *rhstype;
1323 LONGEST low, high_bound;
1324 /* Initialized to appease the compiler. */
1325 enum range_type kind = BOTH_BOUND_DEFAULT;
1330 lhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1331 rhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1333 if (noside == EVAL_SKIP)
1336 rhstype = check_typedef (value_type (rhs));
1337 if (rust_range_type_p (rhstype))
1340 error (_("Can't take slice of array without '&'"));
1341 rust_compute_range (rhstype, rhs, &low, &high, &kind);
1345 low = value_as_long (rhs);
1347 struct type *type = check_typedef (value_type (lhs));
1348 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1350 struct type *base_type = nullptr;
1351 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
1352 base_type = TYPE_TARGET_TYPE (type);
1353 else if (rust_slice_type_p (type))
1355 for (int i = 0; i < TYPE_NFIELDS (type); ++i)
1357 if (strcmp (TYPE_FIELD_NAME (type, i), "data_ptr") == 0)
1359 base_type = TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, i));
1363 if (base_type == nullptr)
1364 error (_("Could not find 'data_ptr' in slice type"));
1366 else if (TYPE_CODE (type) == TYPE_CODE_PTR)
1367 base_type = TYPE_TARGET_TYPE (type);
1369 error (_("Cannot subscript non-array type"));
1371 struct type *new_type;
1374 if (rust_slice_type_p (type))
1379 = language_lookup_primitive_type (exp->language_defn,
1382 new_type = rust_slice_type ("&[*gdb*]", base_type, usize);
1386 new_type = base_type;
1388 return value_zero (new_type, VALUE_LVAL (lhs));
1395 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
1398 if (!get_array_bounds (type, &low_bound, &high_bound))
1399 error (_("Can't compute array bounds"));
1401 error (_("Found array with non-zero lower bound"));
1404 else if (rust_slice_type_p (type))
1408 base = value_struct_elt (&lhs, NULL, "data_ptr", NULL, "slice");
1409 len = value_struct_elt (&lhs, NULL, "length", NULL, "slice");
1411 high_bound = value_as_long (len);
1413 else if (TYPE_CODE (type) == TYPE_CODE_PTR)
1417 high_bound = LONGEST_MAX;
1420 error (_("Cannot subscript non-array type"));
1423 && (kind == BOTH_BOUND_DEFAULT || kind == LOW_BOUND_DEFAULT))
1426 error (_("Index less than zero"));
1427 if (low > high_bound)
1428 error (_("Index greater than length"));
1430 result = value_subscript (base, low);
1437 struct type *usize, *slice;
1439 struct value *addrval, *tem;
1441 if (kind == BOTH_BOUND_DEFAULT || kind == HIGH_BOUND_DEFAULT)
1444 error (_("High index less than zero"));
1446 error (_("Low index greater than high index"));
1447 if (high > high_bound)
1448 error (_("High index greater than length"));
1450 usize = language_lookup_primitive_type (exp->language_defn,
1453 const char *new_name = ((type != nullptr
1454 && rust_slice_type_p (type))
1455 ? TYPE_NAME (type) : "&[*gdb*]");
1457 slice = rust_slice_type (new_name, value_type (result), usize);
1459 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (slice));
1460 addr = value_as_long (addrval);
1461 tem = value_at_lazy (slice, addr);
1463 value_assign (value_field (tem, 0), value_addr (result));
1464 value_assign (value_field (tem, 1),
1465 value_from_longest (usize, high - low));
1467 result = value_at_lazy (slice, addr);
1470 result = value_addr (result);
1476 /* evaluate_exp implementation for Rust. */
1478 static struct value *
1479 rust_evaluate_subexp (struct type *expect_type, struct expression *exp,
1480 int *pos, enum noside noside)
1482 struct value *result;
1484 switch (exp->elts[*pos].opcode)
1488 if (noside != EVAL_NORMAL)
1489 result = evaluate_subexp_standard (expect_type, exp, pos, noside);
1493 struct value *value = evaluate_subexp (expect_type, exp, pos,
1496 struct value *trait_ptr = rust_get_trait_object_pointer (value);
1497 if (trait_ptr != NULL)
1500 result = value_ind (value);
1505 case UNOP_COMPLEMENT:
1507 struct value *value;
1510 value = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1511 if (noside == EVAL_SKIP)
1513 /* Preserving the type is enough. */
1516 if (TYPE_CODE (value_type (value)) == TYPE_CODE_BOOL)
1517 result = value_from_longest (value_type (value),
1518 value_logical_not (value));
1520 result = value_complement (value);
1524 case BINOP_SUBSCRIPT:
1525 result = rust_subscript (exp, pos, noside, 0);
1529 result = rust_evaluate_funcall (exp, pos, noside);
1535 struct type *type = exp->elts[pc + 1].type;
1536 int arglen = longest_to_int (exp->elts[pc + 2].longconst);
1539 struct value *addrval = NULL;
1543 if (noside == EVAL_NORMAL)
1545 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (type));
1546 addr = value_as_long (addrval);
1547 result = value_at_lazy (type, addr);
1550 if (arglen > 0 && exp->elts[*pos].opcode == OP_OTHERS)
1555 init = rust_evaluate_subexp (NULL, exp, pos, noside);
1556 if (noside == EVAL_NORMAL)
1558 /* This isn't quite right but will do for the time
1559 being, seeing that we can't implement the Copy
1561 value_assign (result, init);
1567 gdb_assert (arglen % 2 == 0);
1568 for (i = 0; i < arglen; i += 2)
1571 const char *fieldname;
1572 struct value *value, *field;
1574 gdb_assert (exp->elts[*pos].opcode == OP_NAME);
1576 len = longest_to_int (exp->elts[*pos].longconst);
1578 fieldname = &exp->elts[*pos].string;
1579 *pos += 2 + BYTES_TO_EXP_ELEM (len + 1);
1581 value = rust_evaluate_subexp (NULL, exp, pos, noside);
1582 if (noside == EVAL_NORMAL)
1584 field = value_struct_elt (&result, NULL, fieldname, NULL,
1586 value_assign (field, value);
1590 if (noside == EVAL_SKIP)
1591 return value_from_longest (builtin_type (exp->gdbarch)->builtin_int,
1593 else if (noside == EVAL_AVOID_SIDE_EFFECTS)
1594 result = allocate_value (type);
1596 result = value_at_lazy (type, addr);
1605 struct value *ncopies;
1607 elt = rust_evaluate_subexp (NULL, exp, pos, noside);
1608 ncopies = rust_evaluate_subexp (NULL, exp, pos, noside);
1609 copies = value_as_long (ncopies);
1611 error (_("Array with negative number of elements"));
1613 if (noside == EVAL_NORMAL)
1616 std::vector<struct value *> eltvec (copies);
1618 for (i = 0; i < copies; ++i)
1620 result = value_array (0, copies - 1, eltvec.data ());
1624 struct type *arraytype
1625 = lookup_array_range_type (value_type (elt), 0, copies - 1);
1626 result = allocate_value (arraytype);
1631 case STRUCTOP_ANONYMOUS:
1633 /* Anonymous field access, i.e. foo.1. */
1635 int pc, field_number, nfields;
1639 field_number = longest_to_int (exp->elts[pc + 1].longconst);
1641 lhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1643 type = value_type (lhs);
1645 if (TYPE_CODE (type) == TYPE_CODE_STRUCT)
1647 struct type *outer_type = NULL;
1649 if (rust_enum_p (type))
1651 if (rust_empty_enum_p (type))
1652 error (_("Cannot access field %d of empty enum %s"),
1653 field_number, TYPE_NAME (type));
1655 const gdb_byte *valaddr = value_contents (lhs);
1656 struct field *variant_field = rust_enum_variant (type, valaddr);
1658 struct value *union_value = value_primitive_field (lhs, 0, 0,
1661 int fieldno = (variant_field
1662 - &TYPE_FIELD (value_type (union_value), 0));
1663 lhs = value_primitive_field (union_value, 0, fieldno,
1664 value_type (union_value));
1666 type = value_type (lhs);
1669 /* Tuples and tuple structs */
1670 nfields = TYPE_NFIELDS (type);
1672 if (field_number >= nfields || field_number < 0)
1674 if (outer_type != NULL)
1675 error(_("Cannot access field %d of variant %s::%s, "
1676 "there are only %d fields"),
1677 field_number, TYPE_NAME (outer_type),
1678 rust_last_path_segment (TYPE_NAME (type)),
1681 error(_("Cannot access field %d of %s, "
1682 "there are only %d fields"),
1683 field_number, TYPE_NAME (type), nfields);
1686 /* Tuples are tuple structs too. */
1687 if (!rust_tuple_struct_type_p (type))
1689 if (outer_type != NULL)
1690 error(_("Variant %s::%s is not a tuple variant"),
1691 TYPE_NAME (outer_type),
1692 rust_last_path_segment (TYPE_NAME (type)));
1694 error(_("Attempting to access anonymous field %d "
1695 "of %s, which is not a tuple, tuple struct, or "
1696 "tuple-like variant"),
1697 field_number, TYPE_NAME (type));
1700 result = value_primitive_field (lhs, 0, field_number, type);
1703 error(_("Anonymous field access is only allowed on tuples, \
1704 tuple structs, and tuple-like enum variants"));
1708 case STRUCTOP_STRUCT:
1715 tem = longest_to_int (exp->elts[pc + 1].longconst);
1716 (*pos) += 3 + BYTES_TO_EXP_ELEM (tem + 1);
1717 lhs = evaluate_subexp (NULL_TYPE, exp, pos, noside);
1719 const char *field_name = &exp->elts[pc + 2].string;
1720 type = value_type (lhs);
1721 if (TYPE_CODE (type) == TYPE_CODE_STRUCT && rust_enum_p (type))
1723 if (rust_empty_enum_p (type))
1724 error (_("Cannot access field %s of empty enum %s"),
1725 field_name, TYPE_NAME (type));
1727 const gdb_byte *valaddr = value_contents (lhs);
1728 struct field *variant_field = rust_enum_variant (type, valaddr);
1730 struct value *union_value = value_primitive_field (lhs, 0, 0,
1733 int fieldno = (variant_field
1734 - &TYPE_FIELD (value_type (union_value), 0));
1735 lhs = value_primitive_field (union_value, 0, fieldno,
1736 value_type (union_value));
1738 struct type *outer_type = type;
1739 type = value_type (lhs);
1740 if (rust_tuple_type_p (type) || rust_tuple_struct_type_p (type))
1741 error (_("Attempting to access named field %s of tuple "
1742 "variant %s::%s, which has only anonymous fields"),
1743 field_name, TYPE_NAME (outer_type),
1744 rust_last_path_segment (TYPE_NAME (type)));
1748 result = value_struct_elt (&lhs, NULL, field_name,
1751 CATCH (except, RETURN_MASK_ERROR)
1753 error (_("Could not find field %s of struct variant %s::%s"),
1754 field_name, TYPE_NAME (outer_type),
1755 rust_last_path_segment (TYPE_NAME (type)));
1760 result = value_struct_elt (&lhs, NULL, field_name, NULL, "structure");
1761 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1762 result = value_zero (value_type (result), VALUE_LVAL (result));
1767 result = rust_range (exp, pos, noside);
1771 /* We might have &array[range], in which case we need to make a
1773 if (exp->elts[*pos + 1].opcode == BINOP_SUBSCRIPT)
1776 result = rust_subscript (exp, pos, noside, 1);
1781 result = evaluate_subexp_standard (expect_type, exp, pos, noside);
1788 /* operator_length implementation for Rust. */
1791 rust_operator_length (const struct expression *exp, int pc, int *oplenp,
1797 switch (exp->elts[pc - 1].opcode)
1800 /* We handle aggregate as a type and argument count. The first
1801 argument might be OP_OTHERS. After that the arguments
1802 alternate: first an OP_NAME, then an expression. */
1804 args = longest_to_int (exp->elts[pc - 2].longconst);
1812 case STRUCTOP_ANONYMOUS:
1823 operator_length_standard (exp, pc, oplenp, argsp);
1831 /* op_name implementation for Rust. */
1834 rust_op_name (enum exp_opcode opcode)
1839 return "OP_AGGREGATE";
1843 return op_name_standard (opcode);
1847 /* dump_subexp_body implementation for Rust. */
1850 rust_dump_subexp_body (struct expression *exp, struct ui_file *stream,
1853 switch (exp->elts[elt].opcode)
1857 int length = longest_to_int (exp->elts[elt + 2].longconst);
1860 fprintf_filtered (stream, "Type @");
1861 gdb_print_host_address (exp->elts[elt + 1].type, stream);
1862 fprintf_filtered (stream, " (");
1863 type_print (exp->elts[elt + 1].type, NULL, stream, 0);
1864 fprintf_filtered (stream, "), length %d", length);
1867 for (i = 0; i < length; ++i)
1868 elt = dump_subexp (exp, stream, elt);
1875 LONGEST len = exp->elts[elt + 1].longconst;
1877 fprintf_filtered (stream, "%s: %s",
1878 (exp->elts[elt].opcode == OP_STRING
1879 ? "string" : "name"),
1880 &exp->elts[elt + 2].string);
1881 elt += 4 + BYTES_TO_EXP_ELEM (len + 1);
1886 elt = dump_subexp (exp, stream, elt + 1);
1889 case STRUCTOP_ANONYMOUS:
1893 field_number = longest_to_int (exp->elts[elt + 1].longconst);
1895 fprintf_filtered (stream, "Field number: %d", field_number);
1896 elt = dump_subexp (exp, stream, elt + 3);
1905 elt = dump_subexp_body_standard (exp, stream, elt);
1912 /* print_subexp implementation for Rust. */
1915 rust_print_subexp (struct expression *exp, int *pos, struct ui_file *stream,
1916 enum precedence prec)
1918 switch (exp->elts[*pos].opcode)
1922 int length = longest_to_int (exp->elts[*pos + 2].longconst);
1925 type_print (exp->elts[*pos + 1].type, "", stream, 0);
1926 fputs_filtered (" { ", stream);
1929 for (i = 0; i < length; ++i)
1931 rust_print_subexp (exp, pos, stream, prec);
1932 fputs_filtered (", ", stream);
1934 fputs_filtered (" }", stream);
1940 LONGEST len = exp->elts[*pos + 1].longconst;
1942 fputs_filtered (&exp->elts[*pos + 2].string, stream);
1943 *pos += 4 + BYTES_TO_EXP_ELEM (len + 1);
1949 fputs_filtered ("<<others>> (", stream);
1951 rust_print_subexp (exp, pos, stream, prec);
1952 fputs_filtered (")", stream);
1956 case STRUCTOP_ANONYMOUS:
1958 int tem = longest_to_int (exp->elts[*pos + 1].longconst);
1961 print_subexp (exp, pos, stream, PREC_SUFFIX);
1962 fprintf_filtered (stream, ".%d", tem);
1968 fprintf_filtered (stream, "[");
1969 rust_print_subexp (exp, pos, stream, prec);
1970 fprintf_filtered (stream, "; ");
1971 rust_print_subexp (exp, pos, stream, prec);
1972 fprintf_filtered (stream, "]");
1976 print_subexp_standard (exp, pos, stream, prec);
1981 /* operator_check implementation for Rust. */
1984 rust_operator_check (struct expression *exp, int pos,
1985 int (*objfile_func) (struct objfile *objfile,
1989 switch (exp->elts[pos].opcode)
1993 struct type *type = exp->elts[pos + 1].type;
1994 struct objfile *objfile = TYPE_OBJFILE (type);
1996 if (objfile != NULL && (*objfile_func) (objfile, data))
2007 return operator_check_standard (exp, pos, objfile_func, data);
2015 /* Implementation of la_lookup_symbol_nonlocal for Rust. */
2017 static struct block_symbol
2018 rust_lookup_symbol_nonlocal (const struct language_defn *langdef,
2020 const struct block *block,
2021 const domain_enum domain)
2023 struct block_symbol result = {NULL, NULL};
2025 if (symbol_lookup_debug)
2027 fprintf_unfiltered (gdb_stdlog,
2028 "rust_lookup_symbol_non_local"
2029 " (%s, %s (scope %s), %s)\n",
2030 name, host_address_to_string (block),
2031 block_scope (block), domain_name (domain));
2034 /* Look up bare names in the block's scope. */
2035 std::string scopedname;
2036 if (name[cp_find_first_component (name)] == '\0')
2038 const char *scope = block_scope (block);
2040 if (scope[0] != '\0')
2042 scopedname = std::string (scope) + "::" + name;
2043 name = scopedname.c_str ();
2051 result = lookup_symbol_in_static_block (name, block, domain);
2052 if (result.symbol == NULL)
2053 result = lookup_global_symbol (name, block, domain);
2060 /* la_sniff_from_mangled_name for Rust. */
2063 rust_sniff_from_mangled_name (const char *mangled, char **demangled)
2065 *demangled = gdb_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
2066 return *demangled != NULL;
2071 /* la_watch_location_expression for Rust. */
2073 static gdb::unique_xmalloc_ptr<char>
2074 rust_watch_location_expression (struct type *type, CORE_ADDR addr)
2076 type = check_typedef (TYPE_TARGET_TYPE (check_typedef (type)));
2077 std::string name = type_to_string (type);
2078 return gdb::unique_xmalloc_ptr<char>
2079 (xstrprintf ("*(%s as *mut %s)", core_addr_to_string (addr),
2085 static const struct exp_descriptor exp_descriptor_rust =
2088 rust_operator_length,
2089 rust_operator_check,
2091 rust_dump_subexp_body,
2092 rust_evaluate_subexp
2095 static const char *rust_extensions[] =
2100 extern const struct language_defn rust_language_defn =
2110 &exp_descriptor_rust,
2113 rust_printchar, /* Print a character constant */
2114 rust_printstr, /* Function to print string constant */
2115 rust_emitchar, /* Print a single char */
2116 rust_print_type, /* Print a type using appropriate syntax */
2117 rust_print_typedef, /* Print a typedef using appropriate syntax */
2118 rust_val_print, /* Print a value using appropriate syntax */
2119 c_value_print, /* Print a top-level value */
2120 default_read_var_value, /* la_read_var_value */
2121 NULL, /* Language specific skip_trampoline */
2122 NULL, /* name_of_this */
2123 false, /* la_store_sym_names_in_linkage_form_p */
2124 rust_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
2125 basic_lookup_transparent_type,/* lookup_transparent_type */
2126 gdb_demangle, /* Language specific symbol demangler */
2127 rust_sniff_from_mangled_name,
2128 NULL, /* Language specific
2129 class_name_from_physname */
2130 c_op_print_tab, /* expression operators for printing */
2131 1, /* c-style arrays */
2132 0, /* String lower bound */
2133 default_word_break_characters,
2134 default_collect_symbol_completion_matches,
2135 rust_language_arch_info,
2136 default_print_array_index,
2137 default_pass_by_reference,
2139 rust_watch_location_expression,
2140 NULL, /* la_get_symbol_name_matcher */
2141 iterate_over_symbols,
2142 default_search_name_hash,
2143 &default_varobj_ops,