gdb: pass inferior to check_pid_namespace_match
[deliverable/binutils-gdb.git] / gdb / rust-lang.c
CommitLineData
c44af4eb
TT
1/* Rust language support routines for GDB, the GNU debugger.
2
b811d2c2 3 Copyright (C) 2016-2020 Free Software Foundation, Inc.
c44af4eb
TT
4
5 This file is part of GDB.
6
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.
11
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.
16
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/>. */
19
20#include "defs.h"
21
22#include <ctype.h>
23
24#include "block.h"
25#include "c-lang.h"
26#include "charset.h"
27#include "cp-support.h"
8b302db8 28#include "demangle.h"
c44af4eb
TT
29#include "gdbarch.h"
30#include "infcall.h"
31#include "objfiles.h"
71a3c369 32#include "psymtab.h"
c44af4eb 33#include "rust-lang.h"
a33ccfc7 34#include "typeprint.h"
c44af4eb
TT
35#include "valprint.h"
36#include "varobj.h"
a33ccfc7 37#include <algorithm>
ab8b80a8
TT
38#include <string>
39#include <vector>
7f6aba03 40#include "cli/cli-style.h"
c44af4eb 41
c9317f21 42/* See rust-lang.h. */
c44af4eb 43
c9317f21
TT
44const char *
45rust_last_path_segment (const char *path)
c44af4eb
TT
46{
47 const char *result = strrchr (path, ':');
48
49 if (result == NULL)
c9317f21 50 return path;
c44af4eb
TT
51 return result + 1;
52}
53
03c85b11 54/* See rust-lang.h. */
c44af4eb 55
03c85b11 56std::string
c44af4eb
TT
57rust_crate_for_block (const struct block *block)
58{
59 const char *scope = block_scope (block);
60
61 if (scope[0] == '\0')
03c85b11 62 return std::string ();
c44af4eb 63
03c85b11 64 return std::string (scope, cp_find_first_component (scope));
c44af4eb
TT
65}
66
c9317f21
TT
67/* Return true if TYPE, which must be a struct type, represents a Rust
68 enum. */
c44af4eb 69
b96645f1 70static bool
9c6a1327 71rust_enum_p (struct type *type)
b96645f1 72{
9c6a1327
TT
73 /* is_dynamic_type will return true if any field has a dynamic
74 attribute -- but we only want to check the top level. */
75 return TYPE_HAS_VARIANT_PARTS (type);
b96645f1
MG
76}
77
9c6a1327
TT
78/* Return true if TYPE, which must be an already-resolved enum type,
79 has no variants. */
098b2108
TT
80
81static bool
82rust_empty_enum_p (const struct type *type)
83{
1f704f76 84 return type->num_fields () == 0;
098b2108
TT
85}
86
9c6a1327
TT
87/* Given an already-resolved enum type and contents, find which
88 variant is active. */
c44af4eb 89
9c6a1327
TT
90static int
91rust_enum_variant (struct type *type)
c44af4eb 92{
9c6a1327 93 /* The active variant is simply the first non-artificial field. */
1f704f76 94 for (int i = 0; i < type->num_fields (); ++i)
9c6a1327
TT
95 if (!TYPE_FIELD_ARTIFICIAL (type, i))
96 return i;
c44af4eb 97
9c6a1327
TT
98 /* Perhaps we could get here by trying to print an Ada variant
99 record in Rust mode. Unlikely, but an error is safer than an
100 assert. */
101 error (_("Could not find active enum variant"));
c44af4eb
TT
102}
103
104/* See rust-lang.h. */
105
65c40c95 106bool
c44af4eb
TT
107rust_tuple_type_p (struct type *type)
108{
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
111 struct. */
78134374 112 return (type->code () == TYPE_CODE_STRUCT
7d93a1e0
SM
113 && type->name () != NULL
114 && type->name ()[0] == '(');
c44af4eb
TT
115}
116
c44af4eb 117/* Return true if all non-static fields of a structlike type are in a
c9317f21 118 sequence like __0, __1, __2. */
c44af4eb 119
65c40c95 120static bool
c9317f21 121rust_underscore_fields (struct type *type)
c44af4eb
TT
122{
123 int i, field_number;
124
125 field_number = 0;
126
78134374 127 if (type->code () != TYPE_CODE_STRUCT)
65c40c95 128 return false;
1f704f76 129 for (i = 0; i < type->num_fields (); ++i)
c44af4eb 130 {
ceacbf6e 131 if (!field_is_static (&type->field (i)))
c44af4eb 132 {
c9317f21 133 char buf[20];
c44af4eb 134
c9317f21
TT
135 xsnprintf (buf, sizeof (buf), "__%d", field_number);
136 if (strcmp (buf, TYPE_FIELD_NAME (type, i)) != 0)
137 return false;
138 field_number++;
c44af4eb
TT
139 }
140 }
65c40c95 141 return true;
c44af4eb
TT
142}
143
144/* See rust-lang.h. */
145
65c40c95 146bool
c44af4eb
TT
147rust_tuple_struct_type_p (struct type *type)
148{
12df5c00
TT
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. */
1f704f76 152 return type->num_fields () > 0 && rust_underscore_fields (type);
c44af4eb
TT
153}
154
155/* Return true if TYPE is a slice type, otherwise false. */
156
65c40c95 157static bool
c44af4eb
TT
158rust_slice_type_p (struct type *type)
159{
78134374 160 return (type->code () == TYPE_CODE_STRUCT
7d93a1e0
SM
161 && type->name () != NULL
162 && (strncmp (type->name (), "&[", 2) == 0
163 || strcmp (type->name (), "&str") == 0));
c44af4eb
TT
164}
165
166/* Return true if TYPE is a range type, otherwise false. */
167
65c40c95 168static bool
c44af4eb
TT
169rust_range_type_p (struct type *type)
170{
171 int i;
172
78134374 173 if (type->code () != TYPE_CODE_STRUCT
1f704f76 174 || type->num_fields () > 2
7d93a1e0
SM
175 || type->name () == NULL
176 || strstr (type->name (), "::Range") == NULL)
65c40c95 177 return false;
c44af4eb 178
1f704f76 179 if (type->num_fields () == 0)
65c40c95 180 return true;
c44af4eb
TT
181
182 i = 0;
183 if (strcmp (TYPE_FIELD_NAME (type, 0), "start") == 0)
184 {
1f704f76 185 if (type->num_fields () == 1)
65c40c95 186 return true;
c44af4eb
TT
187 i = 1;
188 }
1f704f76 189 else if (type->num_fields () == 2)
c44af4eb
TT
190 {
191 /* First field had to be "start". */
65c40c95 192 return false;
c44af4eb
TT
193 }
194
195 return strcmp (TYPE_FIELD_NAME (type, i), "end") == 0;
196}
197
6873858b
TT
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
200 types. */
201
202static bool
203rust_inclusive_range_type_p (struct type *type)
204{
7d93a1e0
SM
205 return (strstr (type->name (), "::RangeInclusive") != NULL
206 || strstr (type->name (), "::RangeToInclusive") != NULL);
6873858b
TT
207}
208
c44af4eb
TT
209/* Return true if TYPE seems to be the type "u8", otherwise false. */
210
65c40c95 211static bool
c44af4eb
TT
212rust_u8_type_p (struct type *type)
213{
78134374 214 return (type->code () == TYPE_CODE_INT
c6d940a9 215 && type->is_unsigned ()
c44af4eb
TT
216 && TYPE_LENGTH (type) == 1);
217}
218
219/* Return true if TYPE is a Rust character type. */
220
65c40c95 221static bool
c44af4eb
TT
222rust_chartype_p (struct type *type)
223{
78134374 224 return (type->code () == TYPE_CODE_CHAR
c44af4eb 225 && TYPE_LENGTH (type) == 4
c6d940a9 226 && type->is_unsigned ());
c44af4eb
TT
227}
228
71a3c369
TT
229/* If VALUE represents a trait object pointer, return the underlying
230 pointer with the correct (i.e., runtime) type. Otherwise, return
231 NULL. */
232
233static struct value *
234rust_get_trait_object_pointer (struct value *value)
235{
236 struct type *type = check_typedef (value_type (value));
237
1f704f76 238 if (type->code () != TYPE_CODE_STRUCT || type->num_fields () != 2)
71a3c369
TT
239 return NULL;
240
241 /* Try to be a bit resilient if the ABI changes. */
242 int vtable_field = 0;
243 for (int i = 0; i < 2; ++i)
244 {
245 if (strcmp (TYPE_FIELD_NAME (type, i), "vtable") == 0)
246 vtable_field = i;
247 else if (strcmp (TYPE_FIELD_NAME (type, i), "pointer") != 0)
248 return NULL;
249 }
250
251 CORE_ADDR vtable = value_as_address (value_field (value, vtable_field));
252 struct symbol *symbol = find_symbol_at_address (vtable);
cf724bc9 253 if (symbol == NULL || symbol->subclass != SYMBOL_RUST_VTABLE)
71a3c369
TT
254 return NULL;
255
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));
260}
261
c44af4eb
TT
262\f
263
d711ee67 264/* language_defn::printstr implementation for Rust. */
c44af4eb
TT
265
266static void
267rust_printstr (struct ui_file *stream, struct type *type,
268 const gdb_byte *string, unsigned int length,
269 const char *user_encoding, int force_ellipses,
270 const struct value_print_options *options)
271{
272 /* Rust always uses UTF-8, but let the caller override this if need
273 be. */
274 const char *encoding = user_encoding;
275 if (user_encoding == NULL || !*user_encoding)
276 {
277 /* In Rust strings, characters are "u8". */
278 if (rust_u8_type_p (type))
279 encoding = "UTF-8";
280 else
281 {
282 /* This is probably some C string, so let's let C deal with
283 it. */
284 c_printstr (stream, type, string, length, user_encoding,
285 force_ellipses, options);
286 return;
287 }
288 }
289
290 /* This is not ideal as it doesn't use our character printer. */
291 generic_printstr (stream, type, string, length, encoding, force_ellipses,
292 '"', 0, options);
293}
294
295\f
296
5f56f7cb
TT
297static void rust_value_print_inner (struct value *val, struct ui_file *stream,
298 int recurse,
299 const struct value_print_options *options);
300
45320ffa
TT
301/* Helper function to print a string slice. */
302
303static void
304rust_val_print_str (struct ui_file *stream, struct value *val,
305 const struct value_print_options *options)
306{
307 struct value *base = value_struct_elt (&val, NULL, "data_ptr", NULL,
308 "slice");
309 struct value *len = value_struct_elt (&val, NULL, "length", NULL, "slice");
310
311 val_print_string (TYPE_TARGET_TYPE (value_type (base)), "UTF-8",
312 value_as_address (base), value_as_long (len), stream,
313 options);
314}
315
c9317f21 316/* rust_val_print helper for structs and untagged unions. */
b96645f1
MG
317
318static void
5f56f7cb 319val_print_struct (struct value *val, struct ui_file *stream, int recurse,
20955dbf 320 const struct value_print_options *options)
b96645f1
MG
321{
322 int i;
323 int first_field;
5f56f7cb 324 struct type *type = check_typedef (value_type (val));
45320ffa 325
7d93a1e0 326 if (rust_slice_type_p (type) && strcmp (type->name (), "&str") == 0)
45320ffa 327 {
80062eb9
AB
328 /* If what we are printing here is actually a string within a
329 structure then VAL will be the original parent value, while TYPE
330 will be the type of the structure representing the string we want
331 to print.
332 However, RUST_VAL_PRINT_STR looks up the fields of the string
333 inside VAL, assuming that VAL is the string.
334 So, recreate VAL as a value representing just the string. */
5f56f7cb 335 val = value_at_lazy (type, value_address (val));
45320ffa
TT
336 rust_val_print_str (stream, val, options);
337 return;
338 }
339
65c40c95
TT
340 bool is_tuple = rust_tuple_type_p (type);
341 bool is_tuple_struct = !is_tuple && rust_tuple_struct_type_p (type);
b96645f1
MG
342 struct value_print_options opts;
343
344 if (!is_tuple)
345 {
7d93a1e0
SM
346 if (type->name () != NULL)
347 fprintf_filtered (stream, "%s", type->name ());
b96645f1 348
1f704f76 349 if (type->num_fields () == 0)
b96645f1
MG
350 return;
351
7d93a1e0 352 if (type->name () != NULL)
b96645f1
MG
353 fputs_filtered (" ", stream);
354 }
355
356 if (is_tuple || is_tuple_struct)
357 fputs_filtered ("(", stream);
358 else
359 fputs_filtered ("{", stream);
360
361 opts = *options;
362 opts.deref_ref = 0;
363
364 first_field = 1;
1f704f76 365 for (i = 0; i < type->num_fields (); ++i)
b96645f1 366 {
ceacbf6e 367 if (field_is_static (&type->field (i)))
b96645f1
MG
368 continue;
369
370 if (!first_field)
371 fputs_filtered (",", stream);
372
373 if (options->prettyformat)
374 {
b50f188d
TT
375 fputs_filtered ("\n", stream);
376 print_spaces_filtered (2 + 2 * recurse, stream);
b96645f1
MG
377 }
378 else if (!first_field)
379 fputs_filtered (" ", stream);
380
381 first_field = 0;
382
383 if (!is_tuple && !is_tuple_struct)
384 {
3f0cbb04
TT
385 fputs_styled (TYPE_FIELD_NAME (type, i),
386 variable_name_style.style (), stream);
b50f188d 387 fputs_filtered (": ", stream);
b96645f1
MG
388 }
389
5f56f7cb
TT
390 rust_value_print_inner (value_field (val, i), stream, recurse + 1,
391 &opts);
b96645f1
MG
392 }
393
394 if (options->prettyformat)
395 {
396 fputs_filtered ("\n", stream);
397 print_spaces_filtered (2 * recurse, stream);
398 }
399
400 if (is_tuple || is_tuple_struct)
401 fputs_filtered (")", stream);
402 else
403 fputs_filtered ("}", stream);
404}
405
c9317f21
TT
406/* rust_val_print helper for discriminated unions (Rust enums). */
407
408static void
5f56f7cb 409rust_print_enum (struct value *val, struct ui_file *stream, int recurse,
c9317f21
TT
410 const struct value_print_options *options)
411{
412 struct value_print_options opts = *options;
5f56f7cb 413 struct type *type = check_typedef (value_type (val));
c9317f21
TT
414
415 opts.deref_ref = 0;
416
9c6a1327
TT
417 gdb_assert (rust_enum_p (type));
418 gdb::array_view<const gdb_byte> view (value_contents_for_printing (val),
419 TYPE_LENGTH (value_type (val)));
420 type = resolve_dynamic_type (type, view, value_address (val));
421
098b2108
TT
422 if (rust_empty_enum_p (type))
423 {
424 /* Print the enum type name here to be more clear. */
7f6aba03 425 fprintf_filtered (stream, _("%s {%p[<No data fields>%p]}"),
7d93a1e0 426 type->name (),
7f6aba03 427 metadata_style.style ().ptr (), nullptr);
098b2108
TT
428 return;
429 }
430
9c6a1327
TT
431 int variant_fieldno = rust_enum_variant (type);
432 val = value_field (val, variant_fieldno);
940da03e 433 struct type *variant_type = type->field (variant_fieldno).type ();
c9317f21 434
1f704f76 435 int nfields = variant_type->num_fields ();
c9317f21
TT
436
437 bool is_tuple = rust_tuple_struct_type_p (variant_type);
438
7d93a1e0 439 fprintf_filtered (stream, "%s", variant_type->name ());
c9317f21
TT
440 if (nfields == 0)
441 {
442 /* In case of a nullary variant like 'None', just output
443 the name. */
444 return;
445 }
446
447 /* In case of a non-nullary variant, we output 'Foo(x,y,z)'. */
448 if (is_tuple)
449 fprintf_filtered (stream, "(");
450 else
451 {
452 /* struct variant. */
453 fprintf_filtered (stream, "{");
454 }
455
456 bool first_field = true;
1f704f76 457 for (int j = 0; j < variant_type->num_fields (); j++)
c9317f21
TT
458 {
459 if (!first_field)
460 fputs_filtered (", ", stream);
461 first_field = false;
462
463 if (!is_tuple)
3f0cbb04
TT
464 fprintf_filtered (stream, "%ps: ",
465 styled_string (variable_name_style.style (),
466 TYPE_FIELD_NAME (variant_type, j)));
c9317f21 467
5f56f7cb
TT
468 rust_value_print_inner (value_field (val, j), stream, recurse + 1,
469 &opts);
c9317f21
TT
470 }
471
472 if (is_tuple)
473 fputs_filtered (")", stream);
474 else
475 fputs_filtered ("}", stream);
476}
477
c44af4eb
TT
478static const struct generic_val_print_decorations rust_decorations =
479{
480 /* Complex isn't used in Rust, but we provide C-ish values just in
481 case. */
482 "",
483 " + ",
484 " * I",
485 "true",
486 "false",
921d8f54 487 "()",
c44af4eb
TT
488 "[",
489 "]"
490};
491
5f56f7cb
TT
492/* la_value_print_inner implementation for Rust. */
493static void
494rust_value_print_inner (struct value *val, struct ui_file *stream,
495 int recurse,
496 const struct value_print_options *options)
497{
498 struct value_print_options opts = *options;
499 opts.deref_ref = 1;
500
501 if (opts.prettyformat == Val_prettyformat_default)
502 opts.prettyformat = (opts.prettyformat_structs
503 ? Val_prettyformat : Val_no_prettyformat);
504
505 struct type *type = check_typedef (value_type (val));
78134374 506 switch (type->code ())
c44af4eb
TT
507 {
508 case TYPE_CODE_PTR:
509 {
510 LONGEST low_bound, high_bound;
511
78134374 512 if (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ARRAY
c44af4eb
TT
513 && rust_u8_type_p (TYPE_TARGET_TYPE (TYPE_TARGET_TYPE (type)))
514 && get_array_bounds (TYPE_TARGET_TYPE (type), &low_bound,
5f56f7cb
TT
515 &high_bound))
516 {
517 /* We have a pointer to a byte string, so just print
518 that. */
519 struct type *elttype = check_typedef (TYPE_TARGET_TYPE (type));
520 CORE_ADDR addr = value_as_address (val);
521 struct gdbarch *arch = get_type_arch (type);
c44af4eb 522
5f56f7cb
TT
523 if (opts.addressprint)
524 {
525 fputs_filtered (paddress (arch, addr), stream);
526 fputs_filtered (" ", stream);
527 }
c44af4eb 528
5f56f7cb
TT
529 fputs_filtered ("b", stream);
530 val_print_string (TYPE_TARGET_TYPE (elttype), "ASCII", addr,
531 high_bound - low_bound + 1, stream,
532 &opts);
533 break;
534 }
c44af4eb 535 }
5f56f7cb 536 goto generic_print;
c44af4eb 537
c44af4eb
TT
538 case TYPE_CODE_INT:
539 /* Recognize the unit type. */
c6d940a9 540 if (type->is_unsigned () && TYPE_LENGTH (type) == 0
7d93a1e0 541 && type->name () != NULL && strcmp (type->name (), "()") == 0)
c44af4eb
TT
542 {
543 fputs_filtered ("()", stream);
544 break;
545 }
546 goto generic_print;
547
548 case TYPE_CODE_STRING:
549 {
c44af4eb
TT
550 LONGEST low_bound, high_bound;
551
552 if (!get_array_bounds (type, &low_bound, &high_bound))
553 error (_("Could not determine the array bounds"));
554
555 /* If we see a plain TYPE_CODE_STRING, then we're printing a
556 byte string, hence the choice of "ASCII" as the
557 encoding. */
558 fputs_filtered ("b", stream);
559 rust_printstr (stream, TYPE_TARGET_TYPE (type),
5f56f7cb
TT
560 value_contents_for_printing (val),
561 high_bound - low_bound + 1, "ASCII", 0, &opts);
c44af4eb
TT
562 }
563 break;
564
565 case TYPE_CODE_ARRAY:
566 {
567 LONGEST low_bound, high_bound;
568
569 if (get_array_bounds (type, &low_bound, &high_bound)
570 && high_bound - low_bound + 1 == 0)
571 fputs_filtered ("[]", stream);
572 else
573 goto generic_print;
574 }
575 break;
576
577 case TYPE_CODE_UNION:
c9317f21
TT
578 /* Untagged unions are printed as if they are structs. Since
579 the field bit positions overlap in the debuginfo, the code
580 for printing a union is same as that for a struct, the only
581 difference is that the input type will have overlapping
582 fields. */
5f56f7cb 583 val_print_struct (val, stream, recurse, &opts);
c44af4eb
TT
584 break;
585
586 case TYPE_CODE_STRUCT:
c9317f21 587 if (rust_enum_p (type))
5f56f7cb 588 rust_print_enum (val, stream, recurse, &opts);
c9317f21 589 else
5f56f7cb 590 val_print_struct (val, stream, recurse, &opts);
b96645f1 591 break;
c44af4eb 592
b96645f1
MG
593 default:
594 generic_print:
595 /* Nothing special yet. */
5f56f7cb 596 generic_value_print (val, stream, recurse, &opts, &rust_decorations);
b96645f1
MG
597 }
598}
c44af4eb 599
b96645f1 600\f
c44af4eb 601
b96645f1 602static void
c9317f21
TT
603rust_internal_print_type (struct type *type, const char *varstring,
604 struct ui_file *stream, int show, int level,
605 const struct type_print_options *flags,
a33ccfc7 606 bool for_rust_enum, print_offset_data *podata);
b96645f1
MG
607
608/* Print a struct or union typedef. */
609static void
610rust_print_struct_def (struct type *type, const char *varstring,
b50f188d 611 struct ui_file *stream, int show, int level,
c9317f21 612 const struct type_print_options *flags,
a33ccfc7 613 bool for_rust_enum, print_offset_data *podata)
b96645f1 614{
b50f188d
TT
615 /* Print a tuple type simply. */
616 if (rust_tuple_type_p (type))
617 {
7d93a1e0 618 fputs_filtered (type->name (), stream);
b50f188d
TT
619 return;
620 }
c44af4eb 621
b50f188d
TT
622 /* If we see a base class, delegate to C. */
623 if (TYPE_N_BASECLASSES (type) > 0)
624 c_print_type (type, varstring, stream, show, level, flags);
c44af4eb 625
a33ccfc7
TT
626 if (flags->print_offsets)
627 {
628 /* Temporarily bump the level so that the output lines up
629 correctly. */
630 level += 2;
631 }
632
c9317f21
TT
633 /* Compute properties of TYPE here because, in the enum case, the
634 rest of the code ends up looking only at the variant part. */
7d93a1e0 635 const char *tagname = type->name ();
c9317f21
TT
636 bool is_tuple_struct = rust_tuple_struct_type_p (type);
637 bool is_tuple = rust_tuple_type_p (type);
638 bool is_enum = rust_enum_p (type);
b96645f1 639
c9317f21
TT
640 if (for_rust_enum)
641 {
642 /* Already printing an outer enum, so nothing to print here. */
643 }
644 else
645 {
646 /* This code path is also used by unions and enums. */
647 if (is_enum)
648 {
649 fputs_filtered ("enum ", stream);
24e99c6c 650 dynamic_prop *prop = type->dyn_prop (DYN_PROP_VARIANT_PARTS);
8c2e4e06
SM
651 if (prop != nullptr && prop->kind () == PROP_TYPE)
652 type = prop->original_type ();
c9317f21 653 }
78134374 654 else if (type->code () == TYPE_CODE_STRUCT)
c9317f21
TT
655 fputs_filtered ("struct ", stream);
656 else
657 fputs_filtered ("union ", stream);
b96645f1 658
c9317f21
TT
659 if (tagname != NULL)
660 fputs_filtered (tagname, stream);
661 }
b96645f1 662
1f704f76 663 if (type->num_fields () == 0 && !is_tuple)
b50f188d 664 return;
a33ccfc7 665 if (for_rust_enum && !flags->print_offsets)
c9317f21
TT
666 fputs_filtered (is_tuple_struct ? "(" : "{", stream);
667 else
668 fputs_filtered (is_tuple_struct ? " (\n" : " {\n", stream);
c44af4eb 669
a33ccfc7
TT
670 /* When printing offsets, we rearrange the fields into storage
671 order. This lets us show holes more clearly. We work using
672 field indices here because it simplifies calls to
673 print_offset_data::update below. */
674 std::vector<int> fields;
1f704f76 675 for (int i = 0; i < type->num_fields (); ++i)
b50f188d 676 {
ceacbf6e 677 if (field_is_static (&type->field (i)))
b50f188d 678 continue;
9c6a1327 679 if (is_enum && TYPE_FIELD_ARTIFICIAL (type, i))
a33ccfc7
TT
680 continue;
681 fields.push_back (i);
682 }
683 if (flags->print_offsets)
684 std::sort (fields.begin (), fields.end (),
685 [&] (int a, int b)
686 {
687 return (TYPE_FIELD_BITPOS (type, a)
688 < TYPE_FIELD_BITPOS (type, b));
689 });
690
691 for (int i : fields)
692 {
693 QUIT;
694
ceacbf6e 695 gdb_assert (!field_is_static (&type->field (i)));
9c6a1327 696 gdb_assert (! (is_enum && TYPE_FIELD_ARTIFICIAL (type, i)));
a33ccfc7
TT
697
698 if (flags->print_offsets)
699 podata->update (type, i, stream);
b50f188d
TT
700
701 /* We'd like to print "pub" here as needed, but rustc
702 doesn't emit the debuginfo, and our types don't have
703 cplus_struct_type attached. */
704
705 /* For a tuple struct we print the type but nothing
706 else. */
a33ccfc7 707 if (!for_rust_enum || flags->print_offsets)
c9317f21
TT
708 print_spaces_filtered (level + 2, stream);
709 if (is_enum)
3f0cbb04
TT
710 fputs_styled (TYPE_FIELD_NAME (type, i), variable_name_style.style (),
711 stream);
c9317f21 712 else if (!is_tuple_struct)
3f0cbb04
TT
713 fprintf_filtered (stream, "%ps: ",
714 styled_string (variable_name_style.style (),
715 TYPE_FIELD_NAME (type, i)));
b50f188d 716
940da03e 717 rust_internal_print_type (type->field (i).type (), NULL,
53d7df28 718 stream, (is_enum ? show : show - 1),
a33ccfc7
TT
719 level + 2, flags, is_enum, podata);
720 if (!for_rust_enum || flags->print_offsets)
c9317f21 721 fputs_filtered (",\n", stream);
a33ccfc7
TT
722 /* Note that this check of "I" is ok because we only sorted the
723 fields by offset when print_offsets was set, so we won't take
724 this branch in that case. */
1f704f76 725 else if (i + 1 < type->num_fields ())
c9317f21 726 fputs_filtered (", ", stream);
b50f188d 727 }
c44af4eb 728
a33ccfc7
TT
729 if (flags->print_offsets)
730 {
731 /* Undo the temporary level increase we did above. */
732 level -= 2;
733 podata->finish (type, level, stream);
734 print_spaces_filtered (print_offset_data::indentation, stream);
735 if (level == 0)
736 print_spaces_filtered (2, stream);
737 }
738 if (!for_rust_enum || flags->print_offsets)
c9317f21
TT
739 print_spaces_filtered (level, stream);
740 fputs_filtered (is_tuple_struct ? ")" : "}", stream);
c44af4eb
TT
741}
742
c44af4eb
TT
743/* la_print_type implementation for Rust. */
744
745static void
c9317f21
TT
746rust_internal_print_type (struct type *type, const char *varstring,
747 struct ui_file *stream, int show, int level,
748 const struct type_print_options *flags,
a33ccfc7 749 bool for_rust_enum, print_offset_data *podata)
c44af4eb 750{
c44af4eb
TT
751 QUIT;
752 if (show <= 0
7d93a1e0 753 && type->name () != NULL)
c44af4eb 754 {
921d8f54
MG
755 /* Rust calls the unit type "void" in its debuginfo,
756 but we don't want to print it as that. */
78134374 757 if (type->code () == TYPE_CODE_VOID)
921d8f54
MG
758 fputs_filtered ("()", stream);
759 else
7d93a1e0 760 fputs_filtered (type->name (), stream);
c44af4eb
TT
761 return;
762 }
763
764 type = check_typedef (type);
78134374 765 switch (type->code ())
c44af4eb 766 {
921d8f54 767 case TYPE_CODE_VOID:
c9317f21
TT
768 /* If we have an enum, we've already printed the type's
769 unqualified name, and there is nothing else to print
770 here. */
771 if (!for_rust_enum)
772 fputs_filtered ("()", stream);
921d8f54
MG
773 break;
774
c44af4eb
TT
775 case TYPE_CODE_FUNC:
776 /* Delegate varargs to the C printer. */
a409645d 777 if (type->has_varargs ())
c44af4eb
TT
778 goto c_printer;
779
780 fputs_filtered ("fn ", stream);
781 if (varstring != NULL)
782 fputs_filtered (varstring, stream);
783 fputs_filtered ("(", stream);
1f704f76 784 for (int i = 0; i < type->num_fields (); ++i)
c44af4eb
TT
785 {
786 QUIT;
787 if (i > 0)
788 fputs_filtered (", ", stream);
940da03e 789 rust_internal_print_type (type->field (i).type (), "", stream,
a33ccfc7 790 -1, 0, flags, false, podata);
c44af4eb 791 }
921d8f54
MG
792 fputs_filtered (")", stream);
793 /* If it returns unit, we can omit the return type. */
78134374 794 if (TYPE_TARGET_TYPE (type)->code () != TYPE_CODE_VOID)
921d8f54
MG
795 {
796 fputs_filtered (" -> ", stream);
c9317f21 797 rust_internal_print_type (TYPE_TARGET_TYPE (type), "", stream,
a33ccfc7 798 -1, 0, flags, false, podata);
921d8f54 799 }
c44af4eb
TT
800 break;
801
802 case TYPE_CODE_ARRAY:
803 {
804 LONGEST low_bound, high_bound;
805
806 fputs_filtered ("[", stream);
c9317f21 807 rust_internal_print_type (TYPE_TARGET_TYPE (type), NULL,
a33ccfc7
TT
808 stream, show - 1, level, flags, false,
809 podata);
c44af4eb 810
cf88be68
SM
811 if (type->bounds ()->high.kind () == PROP_LOCEXPR
812 || type->bounds ()->high.kind () == PROP_LOCLIST)
e6cf65f2 813 fprintf_filtered (stream, "; variable length");
c44af4eb 814 else if (get_array_bounds (type, &low_bound, &high_bound))
e6cf65f2 815 fprintf_filtered (stream, "; %s",
c44af4eb
TT
816 plongest (high_bound - low_bound + 1));
817 fputs_filtered ("]", stream);
818 }
819 break;
820
c9317f21 821 case TYPE_CODE_UNION:
c44af4eb 822 case TYPE_CODE_STRUCT:
c9317f21 823 rust_print_struct_def (type, varstring, stream, show, level, flags,
a33ccfc7 824 for_rust_enum, podata);
c44af4eb
TT
825 break;
826
827 case TYPE_CODE_ENUM:
828 {
b926417a 829 int len = 0;
c44af4eb
TT
830
831 fputs_filtered ("enum ", stream);
7d93a1e0 832 if (type->name () != NULL)
c44af4eb 833 {
7d93a1e0 834 fputs_filtered (type->name (), stream);
c44af4eb 835 fputs_filtered (" ", stream);
7d93a1e0 836 len = strlen (type->name ());
c44af4eb
TT
837 }
838 fputs_filtered ("{\n", stream);
839
1f704f76 840 for (int i = 0; i < type->num_fields (); ++i)
c44af4eb
TT
841 {
842 const char *name = TYPE_FIELD_NAME (type, i);
843
844 QUIT;
845
846 if (len > 0
7d93a1e0 847 && strncmp (name, type->name (), len) == 0
c44af4eb
TT
848 && name[len] == ':'
849 && name[len + 1] == ':')
850 name += len + 2;
3f0cbb04
TT
851 fprintfi_filtered (level + 2, stream, "%ps,\n",
852 styled_string (variable_name_style.style (),
853 name));
c44af4eb
TT
854 }
855
856 fputs_filtered ("}", stream);
857 }
73fc52c4
TT
858 break;
859
860 case TYPE_CODE_PTR:
861 {
7d93a1e0
SM
862 if (type->name () != nullptr)
863 fputs_filtered (type->name (), stream);
73fc52c4
TT
864 else
865 {
866 /* We currently can't distinguish between pointers and
867 references. */
868 fputs_filtered ("*mut ", stream);
869 type_print (TYPE_TARGET_TYPE (type), "", stream, 0);
870 }
871 }
c44af4eb
TT
872 break;
873
c44af4eb
TT
874 default:
875 c_printer:
876 c_print_type (type, varstring, stream, show, level, flags);
877 }
878}
879
880\f
881
c44af4eb
TT
882/* Like arch_composite_type, but uses TYPE to decide how to allocate
883 -- either on an obstack or on a gdbarch. */
884
885static struct type *
886rust_composite_type (struct type *original,
887 const char *name,
888 const char *field1, struct type *type1,
889 const char *field2, struct type *type2)
890{
891 struct type *result = alloc_type_copy (original);
892 int i, nfields, bitpos;
893
894 nfields = 0;
895 if (field1 != NULL)
896 ++nfields;
897 if (field2 != NULL)
898 ++nfields;
899
67607e24 900 result->set_code (TYPE_CODE_STRUCT);
d0e39ea2 901 result->set_name (name);
c44af4eb 902
5e33d5f4 903 result->set_num_fields (nfields);
3cabb6b0
SM
904 result->set_fields
905 ((struct field *) TYPE_ZALLOC (result, nfields * sizeof (struct field)));
c44af4eb
TT
906
907 i = 0;
908 bitpos = 0;
909 if (field1 != NULL)
910 {
ceacbf6e 911 struct field *field = &result->field (i);
c44af4eb
TT
912
913 SET_FIELD_BITPOS (*field, bitpos);
914 bitpos += TYPE_LENGTH (type1) * TARGET_CHAR_BIT;
915
916 FIELD_NAME (*field) = field1;
5d14b6e5 917 field->set_type (type1);
c44af4eb
TT
918 ++i;
919 }
920 if (field2 != NULL)
921 {
ceacbf6e 922 struct field *field = &result->field (i);
2fff16dd 923 unsigned align = type_align (type2);
c44af4eb
TT
924
925 if (align != 0)
926 {
927 int delta;
928
929 align *= TARGET_CHAR_BIT;
930 delta = bitpos % align;
931 if (delta != 0)
932 bitpos += align - delta;
933 }
934 SET_FIELD_BITPOS (*field, bitpos);
935
936 FIELD_NAME (*field) = field2;
5d14b6e5 937 field->set_type (type2);
c44af4eb
TT
938 ++i;
939 }
940
941 if (i > 0)
942 TYPE_LENGTH (result)
943 = (TYPE_FIELD_BITPOS (result, i - 1) / TARGET_CHAR_BIT +
940da03e 944 TYPE_LENGTH (result->field (i - 1).type ()));
c44af4eb
TT
945 return result;
946}
947
948/* See rust-lang.h. */
949
950struct type *
951rust_slice_type (const char *name, struct type *elt_type,
952 struct type *usize_type)
953{
954 struct type *type;
955
956 elt_type = lookup_pointer_type (elt_type);
957 type = rust_composite_type (elt_type, name,
958 "data_ptr", elt_type,
959 "length", usize_type);
960
961 return type;
962}
963
964enum rust_primitive_types
965{
966 rust_primitive_bool,
967 rust_primitive_char,
968 rust_primitive_i8,
969 rust_primitive_u8,
970 rust_primitive_i16,
971 rust_primitive_u16,
972 rust_primitive_i32,
973 rust_primitive_u32,
974 rust_primitive_i64,
975 rust_primitive_u64,
976 rust_primitive_isize,
977 rust_primitive_usize,
978 rust_primitive_f32,
979 rust_primitive_f64,
980 rust_primitive_unit,
981 rust_primitive_str,
982 nr_rust_primitive_types
983};
984
c44af4eb
TT
985\f
986
987/* A helper for rust_evaluate_subexp that handles OP_FUNCALL. */
988
989static struct value *
990rust_evaluate_funcall (struct expression *exp, int *pos, enum noside noside)
991{
992 int i;
993 int num_args = exp->elts[*pos + 1].longconst;
994 const char *method;
c44af4eb 995 struct value *function, *result, *arg0;
c44af4eb
TT
996 struct type *type, *fn_type;
997 const struct block *block;
998 struct block_symbol sym;
999
1000 /* For an ordinary function call we can simply defer to the
1001 generic implementation. */
1002 if (exp->elts[*pos + 3].opcode != STRUCTOP_STRUCT)
1003 return evaluate_subexp_standard (NULL, exp, pos, noside);
1004
1005 /* Skip over the OP_FUNCALL and the STRUCTOP_STRUCT. */
1006 *pos += 4;
1007 method = &exp->elts[*pos + 1].string;
1008 *pos += 3 + BYTES_TO_EXP_ELEM (exp->elts[*pos].longconst + 1);
1009
1010 /* Evaluate the argument to STRUCTOP_STRUCT, then find its
1011 type in order to look up the method. */
fe1fe7ea 1012 arg0 = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb
TT
1013
1014 if (noside == EVAL_SKIP)
1015 {
1016 for (i = 0; i < num_args; ++i)
fe1fe7ea 1017 evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb
TT
1018 return arg0;
1019 }
1020
ab8b80a8 1021 std::vector<struct value *> args (num_args + 1);
c44af4eb
TT
1022 args[0] = arg0;
1023
1024 /* We don't yet implement real Deref semantics. */
78134374 1025 while (value_type (args[0])->code () == TYPE_CODE_PTR)
c44af4eb
TT
1026 args[0] = value_ind (args[0]);
1027
1028 type = value_type (args[0]);
78134374
SM
1029 if ((type->code () != TYPE_CODE_STRUCT
1030 && type->code () != TYPE_CODE_UNION
1031 && type->code () != TYPE_CODE_ENUM)
c44af4eb
TT
1032 || rust_tuple_type_p (type))
1033 error (_("Method calls only supported on struct or enum types"));
7d93a1e0 1034 if (type->name () == NULL)
c44af4eb
TT
1035 error (_("Method call on nameless type"));
1036
7d93a1e0 1037 std::string name = std::string (type->name ()) + "::" + method;
c44af4eb
TT
1038
1039 block = get_selected_block (0);
ab8b80a8 1040 sym = lookup_symbol (name.c_str (), block, VAR_DOMAIN, NULL);
c44af4eb 1041 if (sym.symbol == NULL)
ab8b80a8 1042 error (_("Could not find function named '%s'"), name.c_str ());
c44af4eb
TT
1043
1044 fn_type = SYMBOL_TYPE (sym.symbol);
1f704f76 1045 if (fn_type->num_fields () == 0)
ab8b80a8 1046 error (_("Function '%s' takes no arguments"), name.c_str ());
c44af4eb 1047
940da03e 1048 if (fn_type->field (0).type ()->code () == TYPE_CODE_PTR)
c44af4eb
TT
1049 args[0] = value_addr (args[0]);
1050
1051 function = address_of_variable (sym.symbol, block);
1052
1053 for (i = 0; i < num_args; ++i)
fe1fe7ea 1054 args[i + 1] = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb
TT
1055
1056 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1057 result = value_zero (TYPE_TARGET_TYPE (fn_type), not_lval);
1058 else
e71585ff 1059 result = call_function_by_hand (function, NULL, args);
c44af4eb
TT
1060 return result;
1061}
1062
01739a3b 1063/* A helper for rust_evaluate_subexp that handles OP_RANGE. */
c44af4eb
TT
1064
1065static struct value *
1066rust_range (struct expression *exp, int *pos, enum noside noside)
1067{
c44af4eb
TT
1068 struct value *low = NULL, *high = NULL;
1069 struct value *addrval, *result;
1070 CORE_ADDR addr;
1071 struct type *range_type;
1072 struct type *index_type;
1073 struct type *temp_type;
1074 const char *name;
1075
f2d8e4c5
AB
1076 auto kind
1077 = (enum range_flag) longest_to_int (exp->elts[*pos + 1].longconst);
c44af4eb
TT
1078 *pos += 3;
1079
2f1b18db 1080 if (!(kind & RANGE_LOW_BOUND_DEFAULT))
fe1fe7ea 1081 low = evaluate_subexp (nullptr, exp, pos, noside);
2f1b18db 1082 if (!(kind & RANGE_HIGH_BOUND_DEFAULT))
fe1fe7ea 1083 high = evaluate_subexp (nullptr, exp, pos, noside);
2f1b18db 1084 bool inclusive = !(kind & RANGE_HIGH_BOUND_EXCLUSIVE);
c44af4eb
TT
1085
1086 if (noside == EVAL_SKIP)
1087 return value_from_longest (builtin_type (exp->gdbarch)->builtin_int, 1);
1088
1089 if (low == NULL)
1090 {
1091 if (high == NULL)
1092 {
1093 index_type = NULL;
1094 name = "std::ops::RangeFull";
1095 }
1096 else
1097 {
1098 index_type = value_type (high);
6873858b
TT
1099 name = (inclusive
1100 ? "std::ops::RangeToInclusive" : "std::ops::RangeTo");
c44af4eb
TT
1101 }
1102 }
1103 else
1104 {
1105 if (high == NULL)
1106 {
1107 index_type = value_type (low);
1108 name = "std::ops::RangeFrom";
1109 }
1110 else
1111 {
1112 if (!types_equal (value_type (low), value_type (high)))
1113 error (_("Range expression with different types"));
1114 index_type = value_type (low);
6873858b 1115 name = inclusive ? "std::ops::RangeInclusive" : "std::ops::Range";
c44af4eb
TT
1116 }
1117 }
1118
1119 /* If we don't have an index type, just allocate this on the
1120 arch. Here any type will do. */
1121 temp_type = (index_type == NULL
1122 ? language_bool_type (exp->language_defn, exp->gdbarch)
1123 : index_type);
1124 /* It would be nicer to cache the range type. */
1125 range_type = rust_composite_type (temp_type, name,
1126 low == NULL ? NULL : "start", index_type,
1127 high == NULL ? NULL : "end", index_type);
1128
1129 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1130 return value_zero (range_type, lval_memory);
1131
1132 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (range_type));
1133 addr = value_as_long (addrval);
1134 result = value_at_lazy (range_type, addr);
1135
1136 if (low != NULL)
1137 {
1138 struct value *start = value_struct_elt (&result, NULL, "start", NULL,
1139 "range");
1140
1141 value_assign (start, low);
1142 }
1143
1144 if (high != NULL)
1145 {
1146 struct value *end = value_struct_elt (&result, NULL, "end", NULL,
1147 "range");
1148
1149 value_assign (end, high);
1150 }
1151
1152 result = value_at_lazy (range_type, addr);
1153 return result;
1154}
1155
1156/* A helper function to compute the range and kind given a range
1157 value. TYPE is the type of the range value. RANGE is the range
1158 value. LOW, HIGH, and KIND are out parameters. The LOW and HIGH
1159 parameters might be filled in, or might not be, depending on the
1160 kind of range this is. KIND will always be set to the appropriate
1161 value describing the kind of range, and this can be used to
1162 determine whether LOW or HIGH are valid. */
1163
1164static void
1165rust_compute_range (struct type *type, struct value *range,
1166 LONGEST *low, LONGEST *high,
f2d8e4c5 1167 range_flags *kind)
c44af4eb
TT
1168{
1169 int i;
1170
1171 *low = 0;
1172 *high = 0;
2f1b18db 1173 *kind = RANGE_LOW_BOUND_DEFAULT | RANGE_HIGH_BOUND_DEFAULT;
c44af4eb 1174
1f704f76 1175 if (type->num_fields () == 0)
c44af4eb
TT
1176 return;
1177
1178 i = 0;
1179 if (strcmp (TYPE_FIELD_NAME (type, 0), "start") == 0)
1180 {
2f1b18db 1181 *kind = RANGE_HIGH_BOUND_DEFAULT;
c44af4eb
TT
1182 *low = value_as_long (value_field (range, 0));
1183 ++i;
1184 }
1f704f76 1185 if (type->num_fields () > i
c44af4eb
TT
1186 && strcmp (TYPE_FIELD_NAME (type, i), "end") == 0)
1187 {
2f1b18db
AB
1188 *kind = (*kind == (RANGE_LOW_BOUND_DEFAULT | RANGE_HIGH_BOUND_DEFAULT)
1189 ? RANGE_LOW_BOUND_DEFAULT : RANGE_STANDARD);
c44af4eb 1190 *high = value_as_long (value_field (range, i));
6873858b
TT
1191
1192 if (rust_inclusive_range_type_p (type))
1193 ++*high;
c44af4eb
TT
1194 }
1195}
1196
1197/* A helper for rust_evaluate_subexp that handles BINOP_SUBSCRIPT. */
1198
1199static struct value *
1200rust_subscript (struct expression *exp, int *pos, enum noside noside,
1201 int for_addr)
1202{
1203 struct value *lhs, *rhs, *result;
1204 struct type *rhstype;
45f4ed92 1205 LONGEST low, high_bound;
c44af4eb 1206 /* Initialized to appease the compiler. */
f2d8e4c5 1207 range_flags kind = RANGE_LOW_BOUND_DEFAULT | RANGE_HIGH_BOUND_DEFAULT;
45f4ed92 1208 LONGEST high = 0;
c44af4eb
TT
1209 int want_slice = 0;
1210
1211 ++*pos;
fe1fe7ea
SM
1212 lhs = evaluate_subexp (nullptr, exp, pos, noside);
1213 rhs = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb
TT
1214
1215 if (noside == EVAL_SKIP)
1216 return lhs;
1217
1218 rhstype = check_typedef (value_type (rhs));
1219 if (rust_range_type_p (rhstype))
1220 {
1221 if (!for_addr)
1222 error (_("Can't take slice of array without '&'"));
1223 rust_compute_range (rhstype, rhs, &low, &high, &kind);
1224 want_slice = 1;
1225 }
1226 else
1227 low = value_as_long (rhs);
1228
b3e3859b 1229 struct type *type = check_typedef (value_type (lhs));
c44af4eb
TT
1230 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1231 {
b3e3859b 1232 struct type *base_type = nullptr;
78134374 1233 if (type->code () == TYPE_CODE_ARRAY)
b3e3859b
TT
1234 base_type = TYPE_TARGET_TYPE (type);
1235 else if (rust_slice_type_p (type))
1236 {
1f704f76 1237 for (int i = 0; i < type->num_fields (); ++i)
b3e3859b
TT
1238 {
1239 if (strcmp (TYPE_FIELD_NAME (type, i), "data_ptr") == 0)
1240 {
940da03e 1241 base_type = TYPE_TARGET_TYPE (type->field (i).type ());
b3e3859b
TT
1242 break;
1243 }
1244 }
1245 if (base_type == nullptr)
1246 error (_("Could not find 'data_ptr' in slice type"));
1247 }
78134374 1248 else if (type->code () == TYPE_CODE_PTR)
b3e3859b
TT
1249 base_type = TYPE_TARGET_TYPE (type);
1250 else
1251 error (_("Cannot subscript non-array type"));
1252
1253 struct type *new_type;
1254 if (want_slice)
1255 {
1256 if (rust_slice_type_p (type))
1257 new_type = type;
1258 else
1259 {
1260 struct type *usize
1261 = language_lookup_primitive_type (exp->language_defn,
1262 exp->gdbarch,
1263 "usize");
1264 new_type = rust_slice_type ("&[*gdb*]", base_type, usize);
1265 }
1266 }
1267 else
1268 new_type = base_type;
c44af4eb 1269
b3e3859b 1270 return value_zero (new_type, VALUE_LVAL (lhs));
c44af4eb
TT
1271 }
1272 else
1273 {
1274 LONGEST low_bound;
1275 struct value *base;
c44af4eb 1276
78134374 1277 if (type->code () == TYPE_CODE_ARRAY)
c44af4eb
TT
1278 {
1279 base = lhs;
1280 if (!get_array_bounds (type, &low_bound, &high_bound))
1281 error (_("Can't compute array bounds"));
1282 if (low_bound != 0)
1283 error (_("Found array with non-zero lower bound"));
1284 ++high_bound;
1285 }
1286 else if (rust_slice_type_p (type))
1287 {
1288 struct value *len;
1289
1290 base = value_struct_elt (&lhs, NULL, "data_ptr", NULL, "slice");
1291 len = value_struct_elt (&lhs, NULL, "length", NULL, "slice");
1292 low_bound = 0;
1293 high_bound = value_as_long (len);
1294 }
78134374 1295 else if (type->code () == TYPE_CODE_PTR)
42d94011
MG
1296 {
1297 base = lhs;
1298 low_bound = 0;
1299 high_bound = LONGEST_MAX;
1300 }
c44af4eb
TT
1301 else
1302 error (_("Cannot subscript non-array type"));
1303
2f1b18db 1304 if (want_slice && (kind & RANGE_LOW_BOUND_DEFAULT))
c44af4eb
TT
1305 low = low_bound;
1306 if (low < 0)
1307 error (_("Index less than zero"));
1308 if (low > high_bound)
1309 error (_("Index greater than length"));
1310
1311 result = value_subscript (base, low);
1312 }
1313
1314 if (for_addr)
1315 {
1316 if (want_slice)
1317 {
1318 struct type *usize, *slice;
1319 CORE_ADDR addr;
1320 struct value *addrval, *tem;
1321
2f1b18db 1322 if (kind & RANGE_HIGH_BOUND_DEFAULT)
c44af4eb
TT
1323 high = high_bound;
1324 if (high < 0)
1325 error (_("High index less than zero"));
1326 if (low > high)
1327 error (_("Low index greater than high index"));
1328 if (high > high_bound)
1329 error (_("High index greater than length"));
1330
1331 usize = language_lookup_primitive_type (exp->language_defn,
1332 exp->gdbarch,
1333 "usize");
45320ffa
TT
1334 const char *new_name = ((type != nullptr
1335 && rust_slice_type_p (type))
7d93a1e0 1336 ? type->name () : "&[*gdb*]");
45320ffa
TT
1337
1338 slice = rust_slice_type (new_name, value_type (result), usize);
c44af4eb
TT
1339
1340 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (slice));
1341 addr = value_as_long (addrval);
1342 tem = value_at_lazy (slice, addr);
1343
1344 value_assign (value_field (tem, 0), value_addr (result));
1345 value_assign (value_field (tem, 1),
1346 value_from_longest (usize, high - low));
1347
1348 result = value_at_lazy (slice, addr);
1349 }
1350 else
1351 result = value_addr (result);
1352 }
1353
1354 return result;
1355}
1356
1357/* evaluate_exp implementation for Rust. */
1358
1359static struct value *
1360rust_evaluate_subexp (struct type *expect_type, struct expression *exp,
1361 int *pos, enum noside noside)
1362{
1363 struct value *result;
1364
1365 switch (exp->elts[*pos].opcode)
1366 {
71a3c369
TT
1367 case UNOP_IND:
1368 {
1369 if (noside != EVAL_NORMAL)
1370 result = evaluate_subexp_standard (expect_type, exp, pos, noside);
1371 else
1372 {
1373 ++*pos;
1374 struct value *value = evaluate_subexp (expect_type, exp, pos,
1375 noside);
1376
1377 struct value *trait_ptr = rust_get_trait_object_pointer (value);
1378 if (trait_ptr != NULL)
1379 value = trait_ptr;
1380
1381 result = value_ind (value);
1382 }
1383 }
1384 break;
1385
c44af4eb
TT
1386 case UNOP_COMPLEMENT:
1387 {
1388 struct value *value;
1389
1390 ++*pos;
fe1fe7ea 1391 value = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb
TT
1392 if (noside == EVAL_SKIP)
1393 {
1394 /* Preserving the type is enough. */
1395 return value;
1396 }
78134374 1397 if (value_type (value)->code () == TYPE_CODE_BOOL)
c44af4eb
TT
1398 result = value_from_longest (value_type (value),
1399 value_logical_not (value));
1400 else
1401 result = value_complement (value);
1402 }
1403 break;
1404
1405 case BINOP_SUBSCRIPT:
1406 result = rust_subscript (exp, pos, noside, 0);
1407 break;
1408
1409 case OP_FUNCALL:
1410 result = rust_evaluate_funcall (exp, pos, noside);
1411 break;
1412
1413 case OP_AGGREGATE:
1414 {
1415 int pc = (*pos)++;
1416 struct type *type = exp->elts[pc + 1].type;
1417 int arglen = longest_to_int (exp->elts[pc + 2].longconst);
1418 int i;
1419 CORE_ADDR addr = 0;
1420 struct value *addrval = NULL;
1421
1422 *pos += 3;
1423
1424 if (noside == EVAL_NORMAL)
1425 {
1426 addrval = value_allocate_space_in_inferior (TYPE_LENGTH (type));
1427 addr = value_as_long (addrval);
1428 result = value_at_lazy (type, addr);
1429 }
1430
1431 if (arglen > 0 && exp->elts[*pos].opcode == OP_OTHERS)
1432 {
1433 struct value *init;
1434
1435 ++*pos;
1436 init = rust_evaluate_subexp (NULL, exp, pos, noside);
1437 if (noside == EVAL_NORMAL)
1438 {
1439 /* This isn't quite right but will do for the time
1440 being, seeing that we can't implement the Copy
1441 trait anyway. */
1442 value_assign (result, init);
1443 }
1444
1445 --arglen;
1446 }
1447
1448 gdb_assert (arglen % 2 == 0);
1449 for (i = 0; i < arglen; i += 2)
1450 {
1451 int len;
1452 const char *fieldname;
1453 struct value *value, *field;
1454
1455 gdb_assert (exp->elts[*pos].opcode == OP_NAME);
1456 ++*pos;
1457 len = longest_to_int (exp->elts[*pos].longconst);
1458 ++*pos;
1459 fieldname = &exp->elts[*pos].string;
1460 *pos += 2 + BYTES_TO_EXP_ELEM (len + 1);
1461
1462 value = rust_evaluate_subexp (NULL, exp, pos, noside);
1463 if (noside == EVAL_NORMAL)
1464 {
1465 field = value_struct_elt (&result, NULL, fieldname, NULL,
1466 "structure");
1467 value_assign (field, value);
1468 }
1469 }
1470
1471 if (noside == EVAL_SKIP)
1472 return value_from_longest (builtin_type (exp->gdbarch)->builtin_int,
1473 1);
1474 else if (noside == EVAL_AVOID_SIDE_EFFECTS)
1475 result = allocate_value (type);
1476 else
1477 result = value_at_lazy (type, addr);
1478 }
1479 break;
1480
1481 case OP_RUST_ARRAY:
1482 {
8d49165d 1483 (*pos)++;
c44af4eb
TT
1484 int copies;
1485 struct value *elt;
1486 struct value *ncopies;
1487
1488 elt = rust_evaluate_subexp (NULL, exp, pos, noside);
1489 ncopies = rust_evaluate_subexp (NULL, exp, pos, noside);
1490 copies = value_as_long (ncopies);
1491 if (copies < 0)
1492 error (_("Array with negative number of elements"));
1493
1494 if (noside == EVAL_NORMAL)
1495 {
c44af4eb 1496 int i;
ab8b80a8 1497 std::vector<struct value *> eltvec (copies);
c44af4eb
TT
1498
1499 for (i = 0; i < copies; ++i)
1500 eltvec[i] = elt;
ab8b80a8 1501 result = value_array (0, copies - 1, eltvec.data ());
c44af4eb
TT
1502 }
1503 else
1504 {
1505 struct type *arraytype
1506 = lookup_array_range_type (value_type (elt), 0, copies - 1);
1507 result = allocate_value (arraytype);
1508 }
1509 }
1510 break;
1511
1512 case STRUCTOP_ANONYMOUS:
1513 {
1514 /* Anonymous field access, i.e. foo.1. */
1515 struct value *lhs;
1516 int pc, field_number, nfields;
8d49165d 1517 struct type *type;
c44af4eb
TT
1518
1519 pc = (*pos)++;
1520 field_number = longest_to_int (exp->elts[pc + 1].longconst);
1521 (*pos) += 2;
fe1fe7ea 1522 lhs = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb 1523
fe1fe7ea 1524 type = value_type (lhs);
c9317f21 1525
78134374 1526 if (type->code () == TYPE_CODE_STRUCT)
c9317f21
TT
1527 {
1528 struct type *outer_type = NULL;
1529
1530 if (rust_enum_p (type))
c44af4eb 1531 {
9c6a1327
TT
1532 gdb::array_view<const gdb_byte> view (value_contents (lhs),
1533 TYPE_LENGTH (type));
1534 type = resolve_dynamic_type (type, view, value_address (lhs));
1535
098b2108
TT
1536 if (rust_empty_enum_p (type))
1537 error (_("Cannot access field %d of empty enum %s"),
7d93a1e0 1538 field_number, type->name ());
098b2108 1539
9c6a1327
TT
1540 int fieldno = rust_enum_variant (type);
1541 lhs = value_primitive_field (lhs, 0, fieldno, type);
c9317f21
TT
1542 outer_type = type;
1543 type = value_type (lhs);
c44af4eb
TT
1544 }
1545
c44af4eb 1546 /* Tuples and tuple structs */
1f704f76 1547 nfields = type->num_fields ();
c44af4eb
TT
1548
1549 if (field_number >= nfields || field_number < 0)
c9317f21
TT
1550 {
1551 if (outer_type != NULL)
1552 error(_("Cannot access field %d of variant %s::%s, "
1553 "there are only %d fields"),
7d93a1e0
SM
1554 field_number, outer_type->name (),
1555 rust_last_path_segment (type->name ()),
c9317f21
TT
1556 nfields);
1557 else
1558 error(_("Cannot access field %d of %s, "
1559 "there are only %d fields"),
7d93a1e0 1560 field_number, type->name (), nfields);
c9317f21 1561 }
c44af4eb
TT
1562
1563 /* Tuples are tuple structs too. */
1564 if (!rust_tuple_struct_type_p (type))
c9317f21
TT
1565 {
1566 if (outer_type != NULL)
1567 error(_("Variant %s::%s is not a tuple variant"),
7d93a1e0
SM
1568 outer_type->name (),
1569 rust_last_path_segment (type->name ()));
c9317f21
TT
1570 else
1571 error(_("Attempting to access anonymous field %d "
1572 "of %s, which is not a tuple, tuple struct, or "
1573 "tuple-like variant"),
7d93a1e0 1574 field_number, type->name ());
c9317f21 1575 }
c44af4eb
TT
1576
1577 result = value_primitive_field (lhs, 0, field_number, type);
1578 }
1579 else
1580 error(_("Anonymous field access is only allowed on tuples, \
1581tuple structs, and tuple-like enum variants"));
1582 }
1583 break;
1584
1585 case STRUCTOP_STRUCT:
1586 {
6830f270 1587 struct value *lhs;
c44af4eb
TT
1588 struct type *type;
1589 int tem, pc;
1590
1591 pc = (*pos)++;
1592 tem = longest_to_int (exp->elts[pc + 1].longconst);
1593 (*pos) += 3 + BYTES_TO_EXP_ELEM (tem + 1);
fe1fe7ea 1594 lhs = evaluate_subexp (nullptr, exp, pos, noside);
c44af4eb 1595
6830f270 1596 const char *field_name = &exp->elts[pc + 2].string;
c44af4eb 1597 type = value_type (lhs);
78134374 1598 if (type->code () == TYPE_CODE_STRUCT && rust_enum_p (type))
c44af4eb 1599 {
9c6a1327
TT
1600 gdb::array_view<const gdb_byte> view (value_contents (lhs),
1601 TYPE_LENGTH (type));
1602 type = resolve_dynamic_type (type, view, value_address (lhs));
1603
098b2108
TT
1604 if (rust_empty_enum_p (type))
1605 error (_("Cannot access field %s of empty enum %s"),
7d93a1e0 1606 field_name, type->name ());
098b2108 1607
9c6a1327
TT
1608 int fieldno = rust_enum_variant (type);
1609 lhs = value_primitive_field (lhs, 0, fieldno, type);
c9317f21
TT
1610
1611 struct type *outer_type = type;
1612 type = value_type (lhs);
1613 if (rust_tuple_type_p (type) || rust_tuple_struct_type_p (type))
4a3fe98f 1614 error (_("Attempting to access named field %s of tuple "
c9317f21 1615 "variant %s::%s, which has only anonymous fields"),
7d93a1e0
SM
1616 field_name, outer_type->name (),
1617 rust_last_path_segment (type->name ()));
c9317f21 1618
a70b8144 1619 try
c44af4eb 1620 {
c9317f21
TT
1621 result = value_struct_elt (&lhs, NULL, field_name,
1622 NULL, "structure");
c44af4eb 1623 }
230d2906 1624 catch (const gdb_exception_error &except)
c9317f21
TT
1625 {
1626 error (_("Could not find field %s of struct variant %s::%s"),
7d93a1e0
SM
1627 field_name, outer_type->name (),
1628 rust_last_path_segment (type->name ()));
c9317f21 1629 }
c44af4eb
TT
1630 }
1631 else
c9317f21
TT
1632 result = value_struct_elt (&lhs, NULL, field_name, NULL, "structure");
1633 if (noside == EVAL_AVOID_SIDE_EFFECTS)
1634 result = value_zero (value_type (result), VALUE_LVAL (result));
c44af4eb
TT
1635 }
1636 break;
1637
01739a3b 1638 case OP_RANGE:
c44af4eb
TT
1639 result = rust_range (exp, pos, noside);
1640 break;
1641
1642 case UNOP_ADDR:
1643 /* We might have &array[range], in which case we need to make a
1644 slice. */
1645 if (exp->elts[*pos + 1].opcode == BINOP_SUBSCRIPT)
1646 {
1647 ++*pos;
1648 result = rust_subscript (exp, pos, noside, 1);
1649 break;
1650 }
1651 /* Fall through. */
1652 default:
1653 result = evaluate_subexp_standard (expect_type, exp, pos, noside);
1654 break;
1655 }
1656
1657 return result;
1658}
1659
1660/* operator_length implementation for Rust. */
1661
1662static void
1663rust_operator_length (const struct expression *exp, int pc, int *oplenp,
1664 int *argsp)
1665{
1666 int oplen = 1;
1667 int args = 0;
1668
1669 switch (exp->elts[pc - 1].opcode)
1670 {
1671 case OP_AGGREGATE:
1672 /* We handle aggregate as a type and argument count. The first
1673 argument might be OP_OTHERS. After that the arguments
1674 alternate: first an OP_NAME, then an expression. */
1675 oplen = 4;
1676 args = longest_to_int (exp->elts[pc - 2].longconst);
1677 break;
1678
1679 case OP_OTHERS:
1680 oplen = 1;
1681 args = 1;
1682 break;
1683
1684 case STRUCTOP_ANONYMOUS:
1685 oplen = 3;
1686 args = 1;
1687 break;
1688
1689 case OP_RUST_ARRAY:
1690 oplen = 1;
1691 args = 2;
1692 break;
1693
1694 default:
1695 operator_length_standard (exp, pc, oplenp, argsp);
1696 return;
1697 }
1698
1699 *oplenp = oplen;
1700 *argsp = args;
1701}
1702
1703/* op_name implementation for Rust. */
1704
a121b7c1 1705static const char *
c44af4eb
TT
1706rust_op_name (enum exp_opcode opcode)
1707{
1708 switch (opcode)
1709 {
1710 case OP_AGGREGATE:
1711 return "OP_AGGREGATE";
1712 case OP_OTHERS:
1713 return "OP_OTHERS";
1714 default:
1715 return op_name_standard (opcode);
1716 }
1717}
1718
1719/* dump_subexp_body implementation for Rust. */
1720
1721static int
1722rust_dump_subexp_body (struct expression *exp, struct ui_file *stream,
1723 int elt)
1724{
1725 switch (exp->elts[elt].opcode)
1726 {
1727 case OP_AGGREGATE:
1728 {
1729 int length = longest_to_int (exp->elts[elt + 2].longconst);
1730 int i;
1731
1732 fprintf_filtered (stream, "Type @");
1733 gdb_print_host_address (exp->elts[elt + 1].type, stream);
1734 fprintf_filtered (stream, " (");
1735 type_print (exp->elts[elt + 1].type, NULL, stream, 0);
1736 fprintf_filtered (stream, "), length %d", length);
1737
1738 elt += 4;
1739 for (i = 0; i < length; ++i)
1740 elt = dump_subexp (exp, stream, elt);
1741 }
1742 break;
1743
1744 case OP_STRING:
1745 case OP_NAME:
1746 {
1747 LONGEST len = exp->elts[elt + 1].longconst;
1748
1749 fprintf_filtered (stream, "%s: %s",
1750 (exp->elts[elt].opcode == OP_STRING
1751 ? "string" : "name"),
1752 &exp->elts[elt + 2].string);
1753 elt += 4 + BYTES_TO_EXP_ELEM (len + 1);
1754 }
1755 break;
1756
1757 case OP_OTHERS:
1758 elt = dump_subexp (exp, stream, elt + 1);
1759 break;
1760
1761 case STRUCTOP_ANONYMOUS:
1762 {
1763 int field_number;
1764
68f2f2e3 1765 field_number = longest_to_int (exp->elts[elt + 1].longconst);
c44af4eb
TT
1766
1767 fprintf_filtered (stream, "Field number: %d", field_number);
68f2f2e3 1768 elt = dump_subexp (exp, stream, elt + 3);
c44af4eb
TT
1769 }
1770 break;
1771
1772 case OP_RUST_ARRAY:
68f2f2e3 1773 ++elt;
c44af4eb
TT
1774 break;
1775
1776 default:
1777 elt = dump_subexp_body_standard (exp, stream, elt);
1778 break;
1779 }
1780
1781 return elt;
1782}
1783
1784/* print_subexp implementation for Rust. */
1785
1786static void
1787rust_print_subexp (struct expression *exp, int *pos, struct ui_file *stream,
1788 enum precedence prec)
1789{
1790 switch (exp->elts[*pos].opcode)
1791 {
1792 case OP_AGGREGATE:
1793 {
1794 int length = longest_to_int (exp->elts[*pos + 2].longconst);
1795 int i;
1796
1797 type_print (exp->elts[*pos + 1].type, "", stream, 0);
1798 fputs_filtered (" { ", stream);
1799
1800 *pos += 4;
1801 for (i = 0; i < length; ++i)
1802 {
1803 rust_print_subexp (exp, pos, stream, prec);
1804 fputs_filtered (", ", stream);
1805 }
1806 fputs_filtered (" }", stream);
1807 }
1808 break;
1809
1810 case OP_NAME:
1811 {
1812 LONGEST len = exp->elts[*pos + 1].longconst;
1813
1814 fputs_filtered (&exp->elts[*pos + 2].string, stream);
1815 *pos += 4 + BYTES_TO_EXP_ELEM (len + 1);
1816 }
1817 break;
1818
1819 case OP_OTHERS:
1820 {
1821 fputs_filtered ("<<others>> (", stream);
1822 ++*pos;
1823 rust_print_subexp (exp, pos, stream, prec);
1824 fputs_filtered (")", stream);
1825 }
1826 break;
1827
1828 case STRUCTOP_ANONYMOUS:
1829 {
1830 int tem = longest_to_int (exp->elts[*pos + 1].longconst);
1831
1832 (*pos) += 3;
1833 print_subexp (exp, pos, stream, PREC_SUFFIX);
1834 fprintf_filtered (stream, ".%d", tem);
1835 }
256afbc2 1836 break;
c44af4eb
TT
1837
1838 case OP_RUST_ARRAY:
1839 ++*pos;
1840 fprintf_filtered (stream, "[");
1841 rust_print_subexp (exp, pos, stream, prec);
1842 fprintf_filtered (stream, "; ");
1843 rust_print_subexp (exp, pos, stream, prec);
1844 fprintf_filtered (stream, "]");
1845 break;
1846
1847 default:
1848 print_subexp_standard (exp, pos, stream, prec);
1849 break;
1850 }
1851}
1852
1853/* operator_check implementation for Rust. */
1854
1855static int
1856rust_operator_check (struct expression *exp, int pos,
1857 int (*objfile_func) (struct objfile *objfile,
1858 void *data),
1859 void *data)
1860{
1861 switch (exp->elts[pos].opcode)
1862 {
1863 case OP_AGGREGATE:
1864 {
1865 struct type *type = exp->elts[pos + 1].type;
1866 struct objfile *objfile = TYPE_OBJFILE (type);
1867
1868 if (objfile != NULL && (*objfile_func) (objfile, data))
1869 return 1;
1870 }
1871 break;
1872
1873 case OP_OTHERS:
1874 case OP_NAME:
1875 case OP_RUST_ARRAY:
1876 break;
1877
1878 default:
1879 return operator_check_standard (exp, pos, objfile_func, data);
1880 }
1881
1882 return 0;
1883}
1884
1885\f
1886
c44af4eb
TT
1887static const struct exp_descriptor exp_descriptor_rust =
1888{
1889 rust_print_subexp,
1890 rust_operator_length,
1891 rust_operator_check,
1892 rust_op_name,
1893 rust_dump_subexp_body,
1894 rust_evaluate_subexp
1895};
1896
0874fd07
AB
1897/* Class representing the Rust language. */
1898
1899class rust_language : public language_defn
1900{
1901public:
1902 rust_language ()
0e25e767 1903 : language_defn (language_rust)
0874fd07 1904 { /* Nothing. */ }
1fb314aa 1905
6f7664a9
AB
1906 /* See language.h. */
1907
1908 const char *name () const override
1909 { return "rust"; }
1910
1911 /* See language.h. */
1912
1913 const char *natural_name () const override
1914 { return "Rust"; }
1915
e171d6f1
AB
1916 /* See language.h. */
1917
1918 const std::vector<const char *> &filename_extensions () const override
1919 {
1920 static const std::vector<const char *> extensions = { ".rs" };
1921 return extensions;
1922 }
1923
1fb314aa
AB
1924 /* See language.h. */
1925 void language_arch_info (struct gdbarch *gdbarch,
1926 struct language_arch_info *lai) const override
1927 {
1928 const struct builtin_type *builtin = builtin_type (gdbarch);
1929
1930 struct type **types
1931 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_rust_primitive_types + 1,
1932 struct type *);
1933
1934 types[rust_primitive_bool] = arch_boolean_type (gdbarch, 8, 1, "bool");
1935 types[rust_primitive_char] = arch_character_type (gdbarch, 32, 1, "char");
1936 types[rust_primitive_i8] = arch_integer_type (gdbarch, 8, 0, "i8");
1937 types[rust_primitive_u8] = arch_integer_type (gdbarch, 8, 1, "u8");
1938 types[rust_primitive_i16] = arch_integer_type (gdbarch, 16, 0, "i16");
1939 types[rust_primitive_u16] = arch_integer_type (gdbarch, 16, 1, "u16");
1940 types[rust_primitive_i32] = arch_integer_type (gdbarch, 32, 0, "i32");
1941 types[rust_primitive_u32] = arch_integer_type (gdbarch, 32, 1, "u32");
1942 types[rust_primitive_i64] = arch_integer_type (gdbarch, 64, 0, "i64");
1943 types[rust_primitive_u64] = arch_integer_type (gdbarch, 64, 1, "u64");
1944
1945 unsigned int length = 8 * TYPE_LENGTH (builtin->builtin_data_ptr);
1946 types[rust_primitive_isize] = arch_integer_type (gdbarch, length, 0, "isize");
1947 types[rust_primitive_usize] = arch_integer_type (gdbarch, length, 1, "usize");
1948
1949 types[rust_primitive_f32] = arch_float_type (gdbarch, 32, "f32",
1950 floatformats_ieee_single);
1951 types[rust_primitive_f64] = arch_float_type (gdbarch, 64, "f64",
1952 floatformats_ieee_double);
1953
1954 types[rust_primitive_unit] = arch_integer_type (gdbarch, 0, 1, "()");
1955
1956 struct type *tem = make_cv_type (1, 0, types[rust_primitive_u8], NULL);
1957 types[rust_primitive_str] = rust_slice_type ("&str", tem,
1958 types[rust_primitive_usize]);
1959
1960 lai->primitive_type_vector = types;
1961 lai->bool_type_default = types[rust_primitive_bool];
1962 lai->string_char_type = types[rust_primitive_u8];
1963 }
6f827019
AB
1964
1965 /* See language.h. */
1966 bool sniff_from_mangled_name (const char *mangled,
1967 char **demangled) const override
1968 {
1969 *demangled = gdb_demangle (mangled, DMGL_PARAMS | DMGL_ANSI);
1970 return *demangled != NULL;
1971 }
fbfb0a46
AB
1972
1973 /* See language.h. */
1974
5399db93 1975 char *demangle_symbol (const char *mangled, int options) const override
0a50df5d
AB
1976 {
1977 return gdb_demangle (mangled, options);
1978 }
1979
1980 /* See language.h. */
1981
fbfb0a46
AB
1982 void print_type (struct type *type, const char *varstring,
1983 struct ui_file *stream, int show, int level,
1984 const struct type_print_options *flags) const override
1985 {
1986 print_offset_data podata;
1987 rust_internal_print_type (type, varstring, stream, show, level,
1988 flags, false, &podata);
1989 }
f16a9f57
AB
1990
1991 /* See language.h. */
1992
1993 gdb::unique_xmalloc_ptr<char> watch_location_expression
1994 (struct type *type, CORE_ADDR addr) const override
1995 {
1996 type = check_typedef (TYPE_TARGET_TYPE (check_typedef (type)));
1997 std::string name = type_to_string (type);
1998 return gdb::unique_xmalloc_ptr<char>
1999 (xstrprintf ("*(%s as *mut %s)", core_addr_to_string (addr),
2000 name.c_str ()));
2001 }
ebe2334e
AB
2002
2003 /* See language.h. */
2004
2005 void value_print_inner
2006 (struct value *val, struct ui_file *stream, int recurse,
2007 const struct value_print_options *options) const override
2008 {
2009 return rust_value_print_inner (val, stream, recurse, options);
2010 }
a78a19b1
AB
2011
2012 /* See language.h. */
2013
2014 struct block_symbol lookup_symbol_nonlocal
2015 (const char *name, const struct block *block,
2016 const domain_enum domain) const override
2017 {
2018 struct block_symbol result = {};
2019
2020 if (symbol_lookup_debug)
2021 {
2022 fprintf_unfiltered (gdb_stdlog,
2023 "rust_lookup_symbol_non_local"
2024 " (%s, %s (scope %s), %s)\n",
2025 name, host_address_to_string (block),
2026 block_scope (block), domain_name (domain));
2027 }
2028
2029 /* Look up bare names in the block's scope. */
2030 std::string scopedname;
2031 if (name[cp_find_first_component (name)] == '\0')
2032 {
2033 const char *scope = block_scope (block);
2034
2035 if (scope[0] != '\0')
2036 {
2037 scopedname = std::string (scope) + "::" + name;
2038 name = scopedname.c_str ();
2039 }
2040 else
2041 name = NULL;
2042 }
2043
2044 if (name != NULL)
2045 {
2046 result = lookup_symbol_in_static_block (name, block, domain);
2047 if (result.symbol == NULL)
2048 result = lookup_global_symbol (name, block, domain);
2049 }
2050 return result;
2051 }
87afa652
AB
2052
2053 /* See language.h. */
2054
2055 int parser (struct parser_state *ps) const override
2056 {
2057 return rust_parse (ps);
2058 }
ec8cec5b
AB
2059
2060 /* See language.h. */
2061
2062 void emitchar (int ch, struct type *chtype,
2063 struct ui_file *stream, int quoter) const override
2064 {
2065 if (!rust_chartype_p (chtype))
2066 generic_emit_char (ch, chtype, stream, quoter,
2067 target_charset (get_type_arch (chtype)));
2068 else if (ch == '\\' || ch == quoter)
2069 fprintf_filtered (stream, "\\%c", ch);
2070 else if (ch == '\n')
2071 fputs_filtered ("\\n", stream);
2072 else if (ch == '\r')
2073 fputs_filtered ("\\r", stream);
2074 else if (ch == '\t')
2075 fputs_filtered ("\\t", stream);
2076 else if (ch == '\0')
2077 fputs_filtered ("\\0", stream);
2078 else if (ch >= 32 && ch <= 127 && isprint (ch))
2079 fputc_filtered (ch, stream);
2080 else if (ch <= 255)
2081 fprintf_filtered (stream, "\\x%02x", ch);
2082 else
2083 fprintf_filtered (stream, "\\u{%06x}", ch);
2084 }
52b50f2c
AB
2085
2086 /* See language.h. */
2087
2088 void printchar (int ch, struct type *chtype,
2089 struct ui_file *stream) const override
2090 {
2091 fputs_filtered ("'", stream);
2092 LA_EMIT_CHAR (ch, chtype, stream, '\'');
2093 fputs_filtered ("'", stream);
2094 }
d711ee67
AB
2095
2096 /* See language.h. */
2097
2098 void printstr (struct ui_file *stream, struct type *elttype,
2099 const gdb_byte *string, unsigned int length,
2100 const char *encoding, int force_ellipses,
2101 const struct value_print_options *options) const override
2102 {
2103 rust_printstr (stream, elttype, string, length, encoding,
2104 force_ellipses, options);
2105 }
4ffc13fb
AB
2106
2107 /* See language.h. */
2108
2109 void print_typedef (struct type *type, struct symbol *new_symbol,
2110 struct ui_file *stream) const override
2111 {
2112 type = check_typedef (type);
2113 fprintf_filtered (stream, "type %s = ", new_symbol->print_name ());
2114 type_print (type, "", stream, 0);
2115 fprintf_filtered (stream, ";");
2116 }
39e7ecca
AB
2117
2118 /* See language.h. */
2119
2120 bool is_string_type_p (struct type *type) const override
2121 {
2122 LONGEST low_bound, high_bound;
2123
2124 type = check_typedef (type);
2125 return ((type->code () == TYPE_CODE_STRING)
2126 || (type->code () == TYPE_CODE_PTR
2127 && (TYPE_TARGET_TYPE (type)->code () == TYPE_CODE_ARRAY
2128 && rust_u8_type_p (TYPE_TARGET_TYPE (TYPE_TARGET_TYPE (type)))
2129 && get_array_bounds (TYPE_TARGET_TYPE (type), &low_bound,
2130 &high_bound)))
2131 || (type->code () == TYPE_CODE_STRUCT
2132 && !rust_enum_p (type)
2133 && rust_slice_type_p (type)
2134 && strcmp (type->name (), "&str") == 0));
2135 }
efdf6a73
AB
2136
2137 /* See language.h. */
2138
2139 bool range_checking_on_by_default () const override
2140 { return true; }
5aba6ebe
AB
2141
2142 /* See language.h. */
2143
2144 const struct exp_descriptor *expression_ops () const override
2145 { return &exp_descriptor_rust; }
b7c6e27d
AB
2146
2147 /* See language.h. */
2148
2149 const struct op_print *opcode_print_table () const override
2150 { return c_op_print_tab; }
0874fd07
AB
2151};
2152
2153/* Single instance of the Rust language class. */
2154
2155static rust_language rust_language_defn;
This page took 0.636464 seconds and 4 git commands to generate.