X-Git-Url: http://drtracing.org/?a=blobdiff_plain;f=gdb%2Ftypeprint.c;h=b4ad43150604f3ecfe04f5a918bda65e3730bcab;hb=2a081c592cf727c5103808374834c4915e83521a;hp=6b1c6de1d19649c9c1a4f483c74e3e38b79a9ece;hpb=fa803dc60f0bf01297674c41d001798e18ade4dc;p=deliverable%2Fbinutils-gdb.git diff --git a/gdb/typeprint.c b/gdb/typeprint.c index 6b1c6de1d1..b4ad431506 100644 --- a/gdb/typeprint.c +++ b/gdb/typeprint.c @@ -1,24 +1,24 @@ /* Language independent support for printing types for GDB, the GNU debugger. - Copyright 1986, 1988, 1989, 1991, 1992, 1993 Free Software Foundation, Inc. -This file is part of GDB. + Copyright (C) 1986-2014 Free Software Foundation, Inc. -This program is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2 of the License, or -(at your option) any later version. + This file is part of GDB. -This program is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. -You should have received a copy of the GNU General Public License -along with this program; if not, write to the Free Software -Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ #include "defs.h" -#include "obstack.h" +#include "gdb_obstack.h" #include "bfd.h" /* Binary File Description */ #include "symtab.h" #include "gdbtypes.h" @@ -29,22 +29,328 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #include "gdbcmd.h" #include "target.h" #include "language.h" -#include "demangle.h" - -#include "gdb_string.h" +#include "cp-abi.h" +#include "typeprint.h" +#include +#include "exceptions.h" +#include "valprint.h" #include +#include +#include "cli/cli-utils.h" +#include "extension.h" +#include "completer.h" -static void -ptype_command PARAMS ((char *, int)); +extern void _initialize_typeprint (void); + +static void ptype_command (char *, int); + +static void whatis_command (char *, int); + +static void whatis_exp (char *, int); + +const struct type_print_options type_print_raw_options = +{ + 1, /* raw */ + 1, /* print_methods */ + 1, /* print_typedefs */ + NULL, /* local_typedefs */ + NULL, /* global_table */ + NULL /* global_printers */ +}; + +/* The default flags for 'ptype' and 'whatis'. */ + +static struct type_print_options default_ptype_flags = +{ + 0, /* raw */ + 1, /* print_methods */ + 1, /* print_typedefs */ + NULL, /* local_typedefs */ + NULL, /* global_table */ + NULL /* global_printers */ +}; + + + +/* A hash table holding typedef_field objects. This is more + complicated than an ordinary hash because it must also track the + lifetime of some -- but not all -- of the contained objects. */ + +struct typedef_hash_table +{ + /* The actual hash table. */ + htab_t table; + + /* Storage for typedef_field objects that must be synthesized. */ + struct obstack storage; +}; + +/* A hash function for a typedef_field. */ + +static hashval_t +hash_typedef_field (const void *p) +{ + const struct typedef_field *tf = p; + struct type *t = check_typedef (tf->type); + + return htab_hash_string (TYPE_SAFE_NAME (t)); +} + +/* An equality function for a typedef field. */ + +static int +eq_typedef_field (const void *a, const void *b) +{ + const struct typedef_field *tfa = a; + const struct typedef_field *tfb = b; + + return types_equal (tfa->type, tfb->type); +} + +/* Add typedefs from T to the hash table TABLE. */ + +void +recursively_update_typedef_hash (struct typedef_hash_table *table, + struct type *t) +{ + int i; + + if (table == NULL) + return; + + for (i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (t); ++i) + { + struct typedef_field *tdef = &TYPE_TYPEDEF_FIELD (t, i); + void **slot; + + slot = htab_find_slot (table->table, tdef, INSERT); + /* Only add a given typedef name once. Really this shouldn't + happen; but it is safe enough to do the updates breadth-first + and thus use the most specific typedef. */ + if (*slot == NULL) + *slot = tdef; + } + + /* Recurse into superclasses. */ + for (i = 0; i < TYPE_N_BASECLASSES (t); ++i) + recursively_update_typedef_hash (table, TYPE_BASECLASS (t, i)); +} + +/* Add template parameters from T to the typedef hash TABLE. */ + +void +add_template_parameters (struct typedef_hash_table *table, struct type *t) +{ + int i; + + if (table == NULL) + return; + + for (i = 0; i < TYPE_N_TEMPLATE_ARGUMENTS (t); ++i) + { + struct typedef_field *tf; + void **slot; + + /* We only want type-valued template parameters in the hash. */ + if (SYMBOL_CLASS (TYPE_TEMPLATE_ARGUMENT (t, i)) != LOC_TYPEDEF) + continue; + + tf = XOBNEW (&table->storage, struct typedef_field); + tf->name = SYMBOL_LINKAGE_NAME (TYPE_TEMPLATE_ARGUMENT (t, i)); + tf->type = SYMBOL_TYPE (TYPE_TEMPLATE_ARGUMENT (t, i)); + + slot = htab_find_slot (table->table, tf, INSERT); + if (*slot == NULL) + *slot = tf; + } +} + +/* Create a new typedef-lookup hash table. */ + +struct typedef_hash_table * +create_typedef_hash (void) +{ + struct typedef_hash_table *result; + + result = XNEW (struct typedef_hash_table); + result->table = htab_create_alloc (10, hash_typedef_field, eq_typedef_field, + NULL, xcalloc, xfree); + obstack_init (&result->storage); + + return result; +} -static struct type * -ptype_eval PARAMS ((struct expression *)); +/* Free a typedef field table. */ + +void +free_typedef_hash (struct typedef_hash_table *table) +{ + if (table != NULL) + { + htab_delete (table->table); + obstack_free (&table->storage, NULL); + xfree (table); + } +} + +/* A cleanup for freeing a typedef_hash_table. */ static void -whatis_command PARAMS ((char *, int)); +do_free_typedef_hash (void *arg) +{ + free_typedef_hash (arg); +} + +/* Return a new cleanup that frees TABLE. */ + +struct cleanup * +make_cleanup_free_typedef_hash (struct typedef_hash_table *table) +{ + return make_cleanup (do_free_typedef_hash, table); +} + +/* Helper function for copy_typedef_hash. */ + +static int +copy_typedef_hash_element (void **slot, void *nt) +{ + htab_t new_table = nt; + void **new_slot; + + new_slot = htab_find_slot (new_table, *slot, INSERT); + if (*new_slot == NULL) + *new_slot = *slot; + + return 1; +} + +/* Copy a typedef hash. */ + +struct typedef_hash_table * +copy_typedef_hash (struct typedef_hash_table *table) +{ + struct typedef_hash_table *result; + + if (table == NULL) + return NULL; + + result = create_typedef_hash (); + htab_traverse_noresize (table->table, copy_typedef_hash_element, + result->table); + return result; +} + +/* A cleanup to free the global typedef hash. */ static void -whatis_exp PARAMS ((char *, int)); +do_free_global_table (void *arg) +{ + struct type_print_options *flags = arg; + + free_typedef_hash (flags->global_typedefs); + free_ext_lang_type_printers (flags->global_printers); +} + +/* Create the global typedef hash. */ + +static struct cleanup * +create_global_typedef_table (struct type_print_options *flags) +{ + gdb_assert (flags->global_typedefs == NULL && flags->global_printers == NULL); + flags->global_typedefs = create_typedef_hash (); + flags->global_printers = start_ext_lang_type_printers (); + return make_cleanup (do_free_global_table, flags); +} + +/* Look up the type T in the global typedef hash. If it is found, + return the typedef name. If it is not found, apply the + type-printers, if any, given by start_script_type_printers and return the + result. A NULL return means that the name was not found. */ + +static const char * +find_global_typedef (const struct type_print_options *flags, + struct type *t) +{ + char *applied; + void **slot; + struct typedef_field tf, *new_tf; + + if (flags->global_typedefs == NULL) + return NULL; + + tf.name = NULL; + tf.type = t; + + slot = htab_find_slot (flags->global_typedefs->table, &tf, INSERT); + if (*slot != NULL) + { + new_tf = *slot; + return new_tf->name; + } + + /* Put an entry into the hash table now, in case apply_script_type_printers + recurses. */ + new_tf = XOBNEW (&flags->global_typedefs->storage, struct typedef_field); + new_tf->name = NULL; + new_tf->type = t; + + *slot = new_tf; + + applied = apply_ext_lang_type_printers (flags->global_printers, t); + + if (applied != NULL) + { + new_tf->name = obstack_copy0 (&flags->global_typedefs->storage, applied, + strlen (applied)); + xfree (applied); + } + + return new_tf->name; +} + +/* Look up the type T in the typedef hash table in with FLAGS. If T + is in the table, return its short (class-relative) typedef name. + Otherwise return NULL. If the table is NULL, this always returns + NULL. */ + +const char * +find_typedef_in_hash (const struct type_print_options *flags, struct type *t) +{ + if (flags->local_typedefs != NULL) + { + struct typedef_field tf, *found; + + tf.name = NULL; + tf.type = t; + found = htab_find (flags->local_typedefs->table, &tf); + + if (found != NULL) + return found->name; + } + + return find_global_typedef (flags, t); +} + + + +/* Print a description of a type in the format of a + typedef for the current language. + NEW is the new name for a type TYPE. */ + +void +typedef_print (struct type *type, struct symbol *new, struct ui_file *stream) +{ + LA_PRINT_TYPEDEF (type, new, stream); +} + +/* The default way to print a typedef. */ + +void +default_print_typedef (struct type *type, struct symbol *new_symbol, + struct ui_file *stream) +{ + error (_("Language not supported.")); +} /* Print a description of a type TYPE in the form of a declaration of a variable named VARSTRING. (VARSTRING is demangled if necessary.) @@ -54,49 +360,138 @@ whatis_exp PARAMS ((char *, int)); If SHOW is negative, we never show the details of elements' types. */ void -type_print (type, varstring, stream, show) - struct type *type; - char *varstring; - GDB_FILE *stream; - int show; +type_print (struct type *type, const char *varstring, struct ui_file *stream, + int show) { - LA_PRINT_TYPE (type, varstring, stream, show, 0); + LA_PRINT_TYPE (type, varstring, stream, show, 0, &default_ptype_flags); +} + +/* Print TYPE to a string, returning it. The caller is responsible for + freeing the string. */ + +char * +type_to_string (struct type *type) +{ + char *s = NULL; + struct ui_file *stb; + struct cleanup *old_chain; + volatile struct gdb_exception except; + + stb = mem_fileopen (); + old_chain = make_cleanup_ui_file_delete (stb); + + TRY_CATCH (except, RETURN_MASK_ALL) + { + type_print (type, "", stb, -1); + s = ui_file_xstrdup (stb, NULL); + } + if (except.reason < 0) + s = NULL; + + do_cleanups (old_chain); + + return s; } /* Print type of EXP, or last thing in value history if EXP == NULL. show is passed to type_print. */ static void -whatis_exp (exp, show) - char *exp; - int show; +whatis_exp (char *exp, int show) { struct expression *expr; - register value_ptr val; - register struct cleanup *old_chain = NULL; + struct value *val; + struct cleanup *old_chain; + struct type *real_type = NULL; + struct type *type; + int full = 0; + int top = -1; + int using_enc = 0; + struct value_print_options opts; + struct type_print_options flags = default_ptype_flags; + + old_chain = make_cleanup (null_cleanup, NULL); if (exp) { + if (*exp == '/') + { + int seen_one = 0; + + for (++exp; *exp && !isspace (*exp); ++exp) + { + switch (*exp) + { + case 'r': + flags.raw = 1; + break; + case 'm': + flags.print_methods = 0; + break; + case 'M': + flags.print_methods = 1; + break; + case 't': + flags.print_typedefs = 0; + break; + case 'T': + flags.print_typedefs = 1; + break; + default: + error (_("unrecognized flag '%c'"), *exp); + } + seen_one = 1; + } + + if (!*exp && !seen_one) + error (_("flag expected")); + if (!isspace (*exp)) + error (_("expected space after format")); + exp = skip_spaces (exp); + } + expr = parse_expression (exp); - old_chain = make_cleanup (free_current_contents, &expr); + make_cleanup (free_current_contents, &expr); val = evaluate_type (expr); } else val = access_value_history (0); + type = value_type (val); + + get_user_print_options (&opts); + if (opts.objectprint) + { + if (((TYPE_CODE (type) == TYPE_CODE_PTR) + || (TYPE_CODE (type) == TYPE_CODE_REF)) + && (TYPE_CODE (TYPE_TARGET_TYPE (type)) == TYPE_CODE_CLASS)) + real_type = value_rtti_indirect_type (val, &full, &top, &using_enc); + else if (TYPE_CODE (type) == TYPE_CODE_CLASS) + real_type = value_rtti_type (val, &full, &top, &using_enc); + } + printf_filtered ("type = "); - type_print (VALUE_TYPE (val), "", gdb_stdout, show); + + if (!flags.raw) + create_global_typedef_table (&flags); + + if (real_type) + { + printf_filtered ("/* real type = "); + type_print (real_type, "", gdb_stdout, -1); + if (! full) + printf_filtered (" (incomplete object)"); + printf_filtered (" */\n"); + } + + LA_PRINT_TYPE (type, "", gdb_stdout, show, 0, &flags); printf_filtered ("\n"); - if (exp) - do_cleanups (old_chain); + do_cleanups (old_chain); } -/* ARGSUSED */ static void -whatis_command (exp, from_tty) - char *exp; - int from_tty; +whatis_command (char *exp, int from_tty) { /* Most of the time users do not want to see all the fields in a structure. If they do they can use the "ptype" command. @@ -104,59 +499,12 @@ whatis_command (exp, from_tty) whatis_exp (exp, -1); } -/* Simple subroutine for ptype_command. */ - -static struct type * -ptype_eval (exp) - struct expression *exp; -{ - if (exp->elts[0].opcode == OP_TYPE) - { - return (exp->elts[1].type); - } - else - { - return (NULL); - } -} - /* TYPENAME is either the name of a type, or an expression. */ -/* ARGSUSED */ static void -ptype_command (typename, from_tty) - char *typename; - int from_tty; +ptype_command (char *typename, int from_tty) { - register struct type *type; - struct expression *expr; - register struct cleanup *old_chain; - - if (typename == NULL) - { - /* Print type of last thing in value history. */ - whatis_exp (typename, 1); - } - else - { - expr = parse_expression (typename); - old_chain = make_cleanup (free_current_contents, &expr); - type = ptype_eval (expr); - if (type != NULL) - { - /* User did "ptype " */ - printf_filtered ("type = "); - type_print (type, "", gdb_stdout, 1); - printf_filtered ("\n"); - do_cleanups (old_chain); - } - else - { - /* User did "ptype " */ - do_cleanups (old_chain); - whatis_exp (typename, 1); - } - } + whatis_exp (typename, 1); } /* Print integral scalar data VAL, of type TYPE, onto stdio stream STREAM. @@ -169,13 +517,10 @@ ptype_command (typename, from_tty) currently use it, and it wasn't clear if it really belonged somewhere else (like printcmd.c). There are a lot of other gdb routines that do something similar, but they are generally concerned with printing values - that come from the inferior in target byte order and target size. */ + that come from the inferior in target byte order and target size. */ void -print_type_scalar (type, val, stream) - struct type *type; - LONGEST val; - GDB_FILE *stream; +print_type_scalar (struct type *type, LONGEST val, struct ui_file *stream) { unsigned int i; unsigned len; @@ -189,7 +534,7 @@ print_type_scalar (type, val, stream) len = TYPE_NFIELDS (type); for (i = 0; i < len; i++) { - if (TYPE_FIELD_BITPOS (type, i) == val) + if (TYPE_FIELD_ENUMVAL (type, i) == val) { break; } @@ -209,7 +554,7 @@ print_type_scalar (type, val, stream) break; case TYPE_CODE_CHAR: - LA_PRINT_CHAR ((unsigned char) val, stream); + LA_PRINT_CHAR ((unsigned char) val, type, stream); break; case TYPE_CODE_BOOL: @@ -231,72 +576,153 @@ print_type_scalar (type, val, stream) case TYPE_CODE_SET: case TYPE_CODE_STRING: case TYPE_CODE_ERROR: - case TYPE_CODE_MEMBER: + case TYPE_CODE_MEMBERPTR: + case TYPE_CODE_METHODPTR: case TYPE_CODE_METHOD: case TYPE_CODE_REF: - error ("internal error: unhandled type in print_type_scalar"); + case TYPE_CODE_NAMESPACE: + error (_("internal error: unhandled type in print_type_scalar")); break; default: - error ("Invalid type code in symbol table."); + error (_("Invalid type code in symbol table.")); } gdb_flush (stream); } -#if MAINTENANCE_CMDS - /* Dump details of a type specified either directly or indirectly. Uses the same sort of type lookup mechanism as ptype_command() - and whatis_command(). */ + and whatis_command(). */ void -maintenance_print_type (typename, from_tty) - char *typename; - int from_tty; +maintenance_print_type (char *typename, int from_tty) { - register value_ptr val; - register struct type *type; - register struct cleanup *old_chain; + struct value *val; + struct type *type; + struct cleanup *old_chain; struct expression *expr; if (typename != NULL) - { - expr = parse_expression (typename); - old_chain = make_cleanup (free_current_contents, &expr); - if (expr -> elts[0].opcode == OP_TYPE) - { - /* The user expression names a type directly, just use that type. */ - type = expr -> elts[1].type; - } - else - { - /* The user expression may name a type indirectly by naming an - object of that type. Find that indirectly named type. */ - val = evaluate_type (expr); - type = VALUE_TYPE (val); - } - if (type != NULL) - { - recursive_dump_type (type, 0); - } - do_cleanups (old_chain); - } + { + expr = parse_expression (typename); + old_chain = make_cleanup (free_current_contents, &expr); + if (expr->elts[0].opcode == OP_TYPE) + { + /* The user expression names a type directly, just use that type. */ + type = expr->elts[1].type; + } + else + { + /* The user expression may name a type indirectly by naming an + object of that type. Find that indirectly named type. */ + val = evaluate_type (expr); + type = value_type (val); + } + if (type != NULL) + { + recursive_dump_type (type, 0); + } + do_cleanups (old_chain); + } +} + + +struct cmd_list_element *setprinttypelist; + +struct cmd_list_element *showprinttypelist; + +static void +set_print_type (char *arg, int from_tty) +{ + printf_unfiltered ( + "\"set print type\" must be followed by the name of a subcommand.\n"); + help_list (setprintlist, "set print type ", -1, gdb_stdout); +} + +static void +show_print_type (char *args, int from_tty) +{ + cmd_show_list (showprinttypelist, from_tty, ""); } -#endif /* MAINTENANCE_CMDS */ +static int print_methods = 1; - -void -_initialize_typeprint () +static void +set_print_type_methods (char *args, int from_tty, struct cmd_list_element *c) { + default_ptype_flags.print_methods = print_methods; +} - add_com ("ptype", class_vars, ptype_command, - "Print definition of type TYPE.\n\ -Argument may be a type name defined by typedef, or \"struct STRUCT-TAG\"\n\ -or \"class CLASS-NAME\" or \"union UNION-TAG\" or \"enum ENUM-TAG\".\n\ -The selected stack frame's lexical context is used to look up the name."); +static void +show_print_type_methods (struct ui_file *file, int from_tty, + struct cmd_list_element *c, const char *value) +{ + fprintf_filtered (file, _("Printing of methods defined in a class in %s\n"), + value); +} + +static int print_typedefs = 1; - add_com ("whatis", class_vars, whatis_command, - "Print data type of expression EXP."); +static void +set_print_type_typedefs (char *args, int from_tty, struct cmd_list_element *c) +{ + default_ptype_flags.print_typedefs = print_typedefs; +} +static void +show_print_type_typedefs (struct ui_file *file, int from_tty, + struct cmd_list_element *c, const char *value) +{ + fprintf_filtered (file, _("Printing of typedefs defined in a class in %s\n"), + value); +} + +void +_initialize_typeprint (void) +{ + struct cmd_list_element *c; + + c = add_com ("ptype", class_vars, ptype_command, _("\ +Print definition of type TYPE.\n\ +Usage: ptype[/FLAGS] TYPE | EXPRESSION\n\ +Argument may be any type (for example a type name defined by typedef,\n\ +or \"struct STRUCT-TAG\" or \"class CLASS-NAME\" or \"union UNION-TAG\"\n\ +or \"enum ENUM-TAG\") or an expression.\n\ +The selected stack frame's lexical context is used to look up the name.\n\ +Contrary to \"whatis\", \"ptype\" always unrolls any typedefs.\n\ +\n\ +Available FLAGS are:\n\ + /r print in \"raw\" form; do not substitute typedefs\n\ + /m do not print methods defined in a class\n\ + /M print methods defined in a class\n\ + /t do not print typedefs defined in a class\n\ + /T print typedefs defined in a class")); + set_cmd_completer (c, expression_completer); + + c = add_com ("whatis", class_vars, whatis_command, + _("Print data type of expression EXP.\n\ +Only one level of typedefs is unrolled. See also \"ptype\".")); + set_cmd_completer (c, expression_completer); + + add_prefix_cmd ("type", no_class, show_print_type, + _("Generic command for showing type-printing settings."), + &showprinttypelist, "show print type ", 0, &showprintlist); + add_prefix_cmd ("type", no_class, set_print_type, + _("Generic command for setting how types print."), + &setprinttypelist, "show print type ", 0, &setprintlist); + + add_setshow_boolean_cmd ("methods", no_class, &print_methods, + _("\ +Set printing of methods defined in classes."), _("\ +Show printing of methods defined in classes."), NULL, + set_print_type_methods, + show_print_type_methods, + &setprinttypelist, &showprinttypelist); + add_setshow_boolean_cmd ("typedefs", no_class, &print_typedefs, + _("\ +Set printing of typedefs defined in classes."), _("\ +Show printing of typedefs defined in classes."), NULL, + set_print_type_typedefs, + show_print_type_typedefs, + &setprinttypelist, &showprinttypelist); }