1 /* Go language support routines for GDB, the GNU debugger.
3 Copyright (C) 2012-2020 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/>. */
22 - printing of native types
25 - gccgo mangling needs redoing
26 It's too hard, for example, to know whether one is looking at a mangled
27 Go symbol or not, and their are ambiguities, e.g., the demangler may
28 get passed *any* symbol, including symbols from other languages
29 and including symbols that are already demangled.
30 One thought is to at least add an _G prefix.
31 - 6g mangling isn't supported yet
35 #include "gdb_obstack.h"
42 #include "parser-defs.h"
47 /* The main function in the main package. */
48 static const char GO_MAIN_MAIN
[] = "main.main";
50 /* Function returning the special symbol name used by Go for the main
51 procedure in the main program if it is found in minimal symbol list.
52 This function tries to find minimal symbols so that it finds them even
53 if the program was compiled without debugging information. */
58 struct bound_minimal_symbol msym
;
60 msym
= lookup_minimal_symbol (GO_MAIN_MAIN
, NULL
, NULL
);
61 if (msym
.minsym
!= NULL
)
64 /* No known entry procedure found, the main program is probably not Go. */
68 /* Return non-zero if TYPE is a gccgo string.
69 We assume CHECK_TYPEDEF has already been done. */
72 gccgo_string_p (struct type
*type
)
74 /* gccgo strings don't necessarily have a name we can use. */
76 if (type
->num_fields () == 2)
78 struct type
*type0
= type
->field (0).type ();
79 struct type
*type1
= type
->field (1).type ();
81 type0
= check_typedef (type0
);
82 type1
= check_typedef (type1
);
84 if (type0
->code () == TYPE_CODE_PTR
85 && strcmp (TYPE_FIELD_NAME (type
, 0), "__data") == 0
86 && type1
->code () == TYPE_CODE_INT
87 && strcmp (TYPE_FIELD_NAME (type
, 1), "__length") == 0)
89 struct type
*target_type
= TYPE_TARGET_TYPE (type0
);
91 target_type
= check_typedef (target_type
);
93 if (target_type
->code () == TYPE_CODE_INT
94 && TYPE_LENGTH (target_type
) == 1
95 && strcmp (target_type
->name (), "uint8") == 0)
103 /* Return non-zero if TYPE is a 6g string.
104 We assume CHECK_TYPEDEF has already been done. */
107 sixg_string_p (struct type
*type
)
109 if (type
->num_fields () == 2
110 && type
->name () != NULL
111 && strcmp (type
->name (), "string") == 0)
117 /* Classify the kind of Go object that TYPE is.
118 TYPE is a TYPE_CODE_STRUCT, used to represent a Go object. */
121 go_classify_struct_type (struct type
*type
)
123 type
= check_typedef (type
);
125 /* Recognize strings as they're useful to be able to print without
127 if (gccgo_string_p (type
)
128 || sixg_string_p (type
))
129 return GO_TYPE_STRING
;
134 /* Return true if TYPE is a string. */
137 go_is_string_type_p (struct type
*type
)
139 type
= check_typedef (type
);
140 return (type
->code () == TYPE_CODE_STRUCT
141 && go_classify_struct_type (type
) == GO_TYPE_STRING
);
144 /* Subroutine of unpack_mangled_go_symbol to simplify it.
145 Given "[foo.]bar.baz", store "bar" in *PACKAGEP and "baz" in *OBJECTP.
146 We stomp on the last '.' to nul-terminate "bar".
147 The caller is responsible for memory management. */
150 unpack_package_and_object (char *buf
,
151 const char **packagep
, const char **objectp
)
155 last_dot
= strrchr (buf
, '.');
156 gdb_assert (last_dot
!= NULL
);
157 *objectp
= last_dot
+ 1;
159 last_dot
= strrchr (buf
, '.');
160 if (last_dot
!= NULL
)
161 *packagep
= last_dot
+ 1;
166 /* Given a mangled Go symbol, find its package name, object name, and
167 method type (if present).
168 E.g., for "libgo_net.textproto.String.N33_libgo_net.textproto.ProtocolError"
169 *PACKAGEP = "textproto"
171 *METHOD_TYPE_PACKAGEP = "textproto"
172 *METHOD_TYPE_OBJECTP = "ProtocolError"
174 Space for the resulting strings is malloc'd in one buffer.
175 PACKAGEP,OBJECTP,METHOD_TYPE* will (typically) point into this buffer.
176 [There are a few exceptions, but the caller is still responsible for
177 freeing the resulting pointer.]
178 A pointer to this buffer is returned, or NULL if symbol isn't a
180 The caller is responsible for freeing the result.
182 *METHOD_TYPE_IS_POINTERP is set to a boolean indicating if
183 the method type is a pointer.
185 There may be value in returning the outer container,
186 i.e., "net" in the above example, but for now it's not needed.
187 Plus it's currently not straightforward to compute,
188 it comes from -fgo-prefix, and there's no algorithm to compute it.
190 If we ever need to unpack the method type, this routine should work
194 unpack_mangled_go_symbol (const char *mangled_name
,
195 const char **packagep
,
196 const char **objectp
,
197 const char **method_type_packagep
,
198 const char **method_type_objectp
,
199 int *method_type_is_pointerp
)
203 int len
= strlen (mangled_name
);
204 /* Pointer to last digit in "N<digit(s)>_". */
206 /* Pointer to "N" if valid "N<digit(s)>_" found. */
208 /* Pointer to the first '.'. */
209 const char *first_dot
;
210 /* Pointer to the last '.'. */
211 const char *last_dot
;
212 /* Non-zero if we saw a pointer indicator. */
215 *packagep
= *objectp
= NULL
;
216 *method_type_packagep
= *method_type_objectp
= NULL
;
217 *method_type_is_pointerp
= 0;
219 /* main.init is mangled specially. */
220 if (strcmp (mangled_name
, "__go_init_main") == 0)
222 char *package
= xstrdup ("main");
229 /* main.main is mangled specially (missing prefix). */
230 if (strcmp (mangled_name
, "main.main") == 0)
232 char *package
= xstrdup ("main");
239 /* We may get passed, e.g., "main.T.Foo", which is *not* mangled.
240 Alas it looks exactly like "prefix.package.object."
241 To cope for now we only recognize the following prefixes:
244 libgo_.*: used by gccgo's runtime
246 Thus we don't support -fgo-prefix (except as used by the runtime). */
247 if (!startswith (mangled_name
, "go.")
248 && !startswith (mangled_name
, "libgo_"))
251 /* Quick check for whether a search may be fruitful. */
252 /* Ignore anything with @plt, etc. in it. */
253 if (strchr (mangled_name
, '@') != NULL
)
255 /* It must have at least two dots. */
256 first_dot
= strchr (mangled_name
, '.');
257 if (first_dot
== NULL
)
259 /* Treat "foo.bar" as unmangled. It can collide with lots of other
260 languages and it's not clear what the consequences are.
261 And except for main.main, all gccgo symbols are at least
262 prefix.package.object. */
263 last_dot
= strrchr (mangled_name
, '.');
264 if (last_dot
== first_dot
)
267 /* More quick checks. */
268 if (last_dot
[1] == '\0' /* foo. */
269 || last_dot
[-1] == '.') /* foo..bar */
272 /* At this point we've decided we have a mangled Go symbol. */
274 buf
= xstrdup (mangled_name
);
276 /* Search backwards looking for "N<digit(s)>". */
278 saw_digit
= method_type
= NULL
;
282 int current
= *(const unsigned char *) --p
;
283 int current_is_digit
= isdigit (current
);
287 if (current_is_digit
)
290 && ((p
> buf
&& p
[-1] == '.')
291 || (p
> buf
+ 1 && p
[-1] == 'p' && p
[-2] == '.')))
293 if (atoi (p
+ 1) == strlen (saw_digit
+ 2))
299 gdb_assert (p
[-1] == 'p');
306 /* Not what we're looking for, reset and keep looking. */
311 if (current_is_digit
&& p
[1] == '_')
313 /* Possible start of method "this" [sic] type. */
319 if (method_type
!= NULL
320 /* Ensure not something like "..foo". */
321 && (method_type
> buf
&& method_type
[-1] != '.'))
323 unpack_package_and_object (saw_digit
+ 2,
324 method_type_packagep
, method_type_objectp
);
326 *method_type_is_pointerp
= saw_pointer
;
329 unpack_package_and_object (buf
, packagep
, objectp
);
333 /* Implements the la_demangle language_defn routine for language Go.
335 N.B. This may get passed *any* symbol, including symbols from other
336 languages and including symbols that are already demangled.
337 Both of these situations are kinda unfortunate, but that's how things
340 N.B. This currently only supports gccgo's mangling.
342 N.B. gccgo's mangling needs, I think, changing.
343 This demangler can't work in all situations,
344 thus not too much effort is currently put into it. */
347 go_demangle (const char *mangled_name
, int options
)
349 struct obstack tempbuf
;
352 const char *package_name
;
353 const char *object_name
;
354 const char *method_type_package_name
;
355 const char *method_type_object_name
;
356 int method_type_is_pointer
;
358 if (mangled_name
== NULL
)
361 name_buf
= unpack_mangled_go_symbol (mangled_name
,
362 &package_name
, &object_name
,
363 &method_type_package_name
,
364 &method_type_object_name
,
365 &method_type_is_pointer
);
366 if (name_buf
== NULL
)
369 obstack_init (&tempbuf
);
371 /* Print methods as they appear in "method expressions". */
372 if (method_type_package_name
!= NULL
)
374 /* FIXME: Seems like we should include package_name here somewhere. */
375 if (method_type_is_pointer
)
376 obstack_grow_str (&tempbuf
, "(*");
377 obstack_grow_str (&tempbuf
, method_type_package_name
);
378 obstack_grow_str (&tempbuf
, ".");
379 obstack_grow_str (&tempbuf
, method_type_object_name
);
380 if (method_type_is_pointer
)
381 obstack_grow_str (&tempbuf
, ")");
382 obstack_grow_str (&tempbuf
, ".");
383 obstack_grow_str (&tempbuf
, object_name
);
387 obstack_grow_str (&tempbuf
, package_name
);
388 obstack_grow_str (&tempbuf
, ".");
389 obstack_grow_str (&tempbuf
, object_name
);
391 obstack_grow_str0 (&tempbuf
, "");
393 result
= xstrdup ((const char *) obstack_finish (&tempbuf
));
394 obstack_free (&tempbuf
, NULL
);
399 /* Given a Go symbol, return its package or NULL if unknown.
400 Space for the result is malloc'd, caller must free. */
403 go_symbol_package_name (const struct symbol
*sym
)
405 const char *mangled_name
= sym
->linkage_name ();
406 const char *package_name
;
407 const char *object_name
;
408 const char *method_type_package_name
;
409 const char *method_type_object_name
;
410 int method_type_is_pointer
;
414 gdb_assert (sym
->language () == language_go
);
415 name_buf
= unpack_mangled_go_symbol (mangled_name
,
416 &package_name
, &object_name
,
417 &method_type_package_name
,
418 &method_type_object_name
,
419 &method_type_is_pointer
);
420 /* Some Go symbols don't have mangled form we interpret (yet). */
421 if (name_buf
== NULL
)
423 result
= xstrdup (package_name
);
428 /* Return the package that BLOCK is in, or NULL if there isn't one.
429 Space for the result is malloc'd, caller must free. */
432 go_block_package_name (const struct block
*block
)
434 while (block
!= NULL
)
436 struct symbol
*function
= BLOCK_FUNCTION (block
);
438 if (function
!= NULL
)
440 char *package_name
= go_symbol_package_name (function
);
442 if (package_name
!= NULL
)
445 /* Stop looking if we find a function without a package name.
446 We're most likely outside of Go and thus the concept of the
447 "current" package is gone. */
451 block
= BLOCK_SUPERBLOCK (block
);
457 /* Table mapping opcodes into strings for printing operators
458 and precedences of the operators.
461 static const struct op_print go_op_print_tab
[] =
463 {",", BINOP_COMMA
, PREC_COMMA
, 0},
464 {"=", BINOP_ASSIGN
, PREC_ASSIGN
, 1},
465 {"||", BINOP_LOGICAL_OR
, PREC_LOGICAL_OR
, 0},
466 {"&&", BINOP_LOGICAL_AND
, PREC_LOGICAL_AND
, 0},
467 {"|", BINOP_BITWISE_IOR
, PREC_BITWISE_IOR
, 0},
468 {"^", BINOP_BITWISE_XOR
, PREC_BITWISE_XOR
, 0},
469 {"&", BINOP_BITWISE_AND
, PREC_BITWISE_AND
, 0},
470 {"==", BINOP_EQUAL
, PREC_EQUAL
, 0},
471 {"!=", BINOP_NOTEQUAL
, PREC_EQUAL
, 0},
472 {"<=", BINOP_LEQ
, PREC_ORDER
, 0},
473 {">=", BINOP_GEQ
, PREC_ORDER
, 0},
474 {">", BINOP_GTR
, PREC_ORDER
, 0},
475 {"<", BINOP_LESS
, PREC_ORDER
, 0},
476 {">>", BINOP_RSH
, PREC_SHIFT
, 0},
477 {"<<", BINOP_LSH
, PREC_SHIFT
, 0},
478 {"+", BINOP_ADD
, PREC_ADD
, 0},
479 {"-", BINOP_SUB
, PREC_ADD
, 0},
480 {"*", BINOP_MUL
, PREC_MUL
, 0},
481 {"/", BINOP_DIV
, PREC_MUL
, 0},
482 {"%", BINOP_REM
, PREC_MUL
, 0},
483 {"@", BINOP_REPEAT
, PREC_REPEAT
, 0},
484 {"-", UNOP_NEG
, PREC_PREFIX
, 0},
485 {"!", UNOP_LOGICAL_NOT
, PREC_PREFIX
, 0},
486 {"^", UNOP_COMPLEMENT
, PREC_PREFIX
, 0},
487 {"*", UNOP_IND
, PREC_PREFIX
, 0},
488 {"&", UNOP_ADDR
, PREC_PREFIX
, 0},
489 {"unsafe.Sizeof ", UNOP_SIZEOF
, PREC_PREFIX
, 0},
490 {"++", UNOP_POSTINCREMENT
, PREC_SUFFIX
, 0},
491 {"--", UNOP_POSTDECREMENT
, PREC_SUFFIX
, 0},
492 {NULL
, OP_NULL
, PREC_SUFFIX
, 0}
495 enum go_primitive_types
{
496 go_primitive_type_void
,
497 go_primitive_type_char
,
498 go_primitive_type_bool
,
499 go_primitive_type_int
,
500 go_primitive_type_uint
,
501 go_primitive_type_uintptr
,
502 go_primitive_type_int8
,
503 go_primitive_type_int16
,
504 go_primitive_type_int32
,
505 go_primitive_type_int64
,
506 go_primitive_type_uint8
,
507 go_primitive_type_uint16
,
508 go_primitive_type_uint32
,
509 go_primitive_type_uint64
,
510 go_primitive_type_float32
,
511 go_primitive_type_float64
,
512 go_primitive_type_complex64
,
513 go_primitive_type_complex128
,
514 nr_go_primitive_types
517 /* Constant data that describes the Go language. */
519 extern const struct language_data go_language_data
=
532 c_printchar
, /* Print a character constant. */
533 c_printstr
, /* Function to print string constant. */
534 c_emit_char
, /* Print a single char. */
535 c_print_typedef
, /* Print a typedef using appropriate
537 NULL
, /* name_of_this */
538 false, /* la_store_sym_names_in_linkage_form_p */
539 go_op_print_tab
, /* Expression operators for printing. */
540 1, /* C-style arrays. */
541 0, /* String lower bound. */
544 "{...}" /* la_struct_too_deep_ellipsis */
547 /* Class representing the Go language. */
549 class go_language
: public language_defn
553 : language_defn (language_go
, go_language_data
)
556 /* See language.h. */
557 void language_arch_info (struct gdbarch
*gdbarch
,
558 struct language_arch_info
*lai
) const override
560 const struct builtin_go_type
*builtin
= builtin_go_type (gdbarch
);
562 lai
->string_char_type
= builtin
->builtin_char
;
564 lai
->primitive_type_vector
565 = GDBARCH_OBSTACK_CALLOC (gdbarch
, nr_go_primitive_types
+ 1,
568 lai
->primitive_type_vector
[go_primitive_type_void
]
569 = builtin
->builtin_void
;
570 lai
->primitive_type_vector
[go_primitive_type_char
]
571 = builtin
->builtin_char
;
572 lai
->primitive_type_vector
[go_primitive_type_bool
]
573 = builtin
->builtin_bool
;
574 lai
->primitive_type_vector
[go_primitive_type_int
]
575 = builtin
->builtin_int
;
576 lai
->primitive_type_vector
[go_primitive_type_uint
]
577 = builtin
->builtin_uint
;
578 lai
->primitive_type_vector
[go_primitive_type_uintptr
]
579 = builtin
->builtin_uintptr
;
580 lai
->primitive_type_vector
[go_primitive_type_int8
]
581 = builtin
->builtin_int8
;
582 lai
->primitive_type_vector
[go_primitive_type_int16
]
583 = builtin
->builtin_int16
;
584 lai
->primitive_type_vector
[go_primitive_type_int32
]
585 = builtin
->builtin_int32
;
586 lai
->primitive_type_vector
[go_primitive_type_int64
]
587 = builtin
->builtin_int64
;
588 lai
->primitive_type_vector
[go_primitive_type_uint8
]
589 = builtin
->builtin_uint8
;
590 lai
->primitive_type_vector
[go_primitive_type_uint16
]
591 = builtin
->builtin_uint16
;
592 lai
->primitive_type_vector
[go_primitive_type_uint32
]
593 = builtin
->builtin_uint32
;
594 lai
->primitive_type_vector
[go_primitive_type_uint64
]
595 = builtin
->builtin_uint64
;
596 lai
->primitive_type_vector
[go_primitive_type_float32
]
597 = builtin
->builtin_float32
;
598 lai
->primitive_type_vector
[go_primitive_type_float64
]
599 = builtin
->builtin_float64
;
600 lai
->primitive_type_vector
[go_primitive_type_complex64
]
601 = builtin
->builtin_complex64
;
602 lai
->primitive_type_vector
[go_primitive_type_complex128
]
603 = builtin
->builtin_complex128
;
605 lai
->bool_type_symbol
= "bool";
606 lai
->bool_type_default
= builtin
->builtin_bool
;
609 /* See language.h. */
610 bool sniff_from_mangled_name (const char *mangled
,
611 char **demangled
) const override
613 *demangled
= go_demangle (mangled
, 0);
614 return *demangled
!= NULL
;
617 /* See language.h. */
619 char *demangle (const char *mangled
, int options
) const override
621 return go_demangle (mangled
, options
);
624 /* See language.h. */
626 void print_type (struct type
*type
, const char *varstring
,
627 struct ui_file
*stream
, int show
, int level
,
628 const struct type_print_options
*flags
) const override
630 go_print_type (type
, varstring
, stream
, show
, level
, flags
);
633 /* See language.h. */
635 void value_print_inner
636 (struct value
*val
, struct ui_file
*stream
, int recurse
,
637 const struct value_print_options
*options
) const override
639 return go_value_print_inner (val
, stream
, recurse
, options
);
643 /* Single instance of the Go language class. */
645 static go_language go_language_defn
;
648 build_go_types (struct gdbarch
*gdbarch
)
650 struct builtin_go_type
*builtin_go_type
651 = GDBARCH_OBSTACK_ZALLOC (gdbarch
, struct builtin_go_type
);
653 builtin_go_type
->builtin_void
654 = arch_type (gdbarch
, TYPE_CODE_VOID
, TARGET_CHAR_BIT
, "void");
655 builtin_go_type
->builtin_char
656 = arch_character_type (gdbarch
, 8, 1, "char");
657 builtin_go_type
->builtin_bool
658 = arch_boolean_type (gdbarch
, 8, 0, "bool");
659 builtin_go_type
->builtin_int
660 = arch_integer_type (gdbarch
, gdbarch_int_bit (gdbarch
), 0, "int");
661 builtin_go_type
->builtin_uint
662 = arch_integer_type (gdbarch
, gdbarch_int_bit (gdbarch
), 1, "uint");
663 builtin_go_type
->builtin_uintptr
664 = arch_integer_type (gdbarch
, gdbarch_ptr_bit (gdbarch
), 1, "uintptr");
665 builtin_go_type
->builtin_int8
666 = arch_integer_type (gdbarch
, 8, 0, "int8");
667 builtin_go_type
->builtin_int16
668 = arch_integer_type (gdbarch
, 16, 0, "int16");
669 builtin_go_type
->builtin_int32
670 = arch_integer_type (gdbarch
, 32, 0, "int32");
671 builtin_go_type
->builtin_int64
672 = arch_integer_type (gdbarch
, 64, 0, "int64");
673 builtin_go_type
->builtin_uint8
674 = arch_integer_type (gdbarch
, 8, 1, "uint8");
675 builtin_go_type
->builtin_uint16
676 = arch_integer_type (gdbarch
, 16, 1, "uint16");
677 builtin_go_type
->builtin_uint32
678 = arch_integer_type (gdbarch
, 32, 1, "uint32");
679 builtin_go_type
->builtin_uint64
680 = arch_integer_type (gdbarch
, 64, 1, "uint64");
681 builtin_go_type
->builtin_float32
682 = arch_float_type (gdbarch
, 32, "float32", floatformats_ieee_single
);
683 builtin_go_type
->builtin_float64
684 = arch_float_type (gdbarch
, 64, "float64", floatformats_ieee_double
);
685 builtin_go_type
->builtin_complex64
686 = init_complex_type ("complex64", builtin_go_type
->builtin_float32
);
687 builtin_go_type
->builtin_complex128
688 = init_complex_type ("complex128", builtin_go_type
->builtin_float64
);
690 return builtin_go_type
;
693 static struct gdbarch_data
*go_type_data
;
695 const struct builtin_go_type
*
696 builtin_go_type (struct gdbarch
*gdbarch
)
698 return (const struct builtin_go_type
*) gdbarch_data (gdbarch
, go_type_data
);
701 void _initialize_go_language ();
703 _initialize_go_language ()
705 go_type_data
= gdbarch_data_register_post_init (build_go_types
);