X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=gdb%2Fc-typeprint.c;h=2e9ed1bc28064ee3a2f62ce2149fe2c8f82a3be5;hb=c4e126313219ecde255a644a2c74008831edff5a;hp=87f7b0d3b6795fac2e8ddf1a0709ad5059a48130;hpb=8c540a24cf3403ee2d92d495bde7c8ac472da1d0;p=deliverable%2Fbinutils-gdb.git diff --git a/gdb/c-typeprint.c b/gdb/c-typeprint.c index 87f7b0d3b6..2e9ed1bc28 100644 --- a/gdb/c-typeprint.c +++ b/gdb/c-typeprint.c @@ -1,7 +1,5 @@ /* Support for printing C and C++ types for GDB, the GNU debugger. - Copyright (C) 1986, 1988, 1989, 1991, 1992, 1993, 1994, 1995, 1996, 1998, - 1999, 2000, 2001, 2002, 2003, 2006, 2007, 2008, 2009, 2010 - Free Software Foundation, Inc. + Copyright (C) 1986-2018 Free Software Foundation, Inc. This file is part of GDB. @@ -20,7 +18,7 @@ #include "defs.h" #include "gdb_obstack.h" -#include "bfd.h" /* Binary File Description */ +#include "bfd.h" /* Binary File Description. */ #include "symtab.h" #include "gdbtypes.h" #include "expression.h" @@ -32,67 +30,158 @@ #include "c-lang.h" #include "typeprint.h" #include "cp-abi.h" -#include "jv-lang.h" -#include "gdb_string.h" -#include +#include "cp-support.h" -static void c_type_print_varspec_prefix (struct type *, struct ui_file *, int, - int, int); +/* When printing the offsets of a struct and its fields (i.e., 'ptype + /o'; type_print_options::print_offsets), we use this many + characters when printing the offset information at the beginning of + the line. This is needed in order to generate the correct amount + of whitespaces when no offset info should be printed for a certain + field. */ +#define OFFSET_SPC_LEN 23 -/* Print "const", "volatile", or address space modifiers. */ -static void c_type_print_modifier (struct type *, struct ui_file *, +/* A list of access specifiers used for printing. */ + +enum access_specifier +{ + s_none, + s_public, + s_private, + s_protected +}; + +static void c_type_print_varspec_prefix (struct type *, + struct ui_file *, + int, int, int, + const struct type_print_options *, + struct print_offset_data *); + +/* Print "const", "volatile", or address space modifiers. */ +static void c_type_print_modifier (struct type *, + struct ui_file *, int, int); + +static void c_type_print_base_1 (struct type *type, struct ui_file *stream, + int show, int level, + const struct type_print_options *flags, + struct print_offset_data *podata); -/* LEVEL is the depth to indent lines by. */ -void -c_print_type (struct type *type, const char *varstring, struct ui_file *stream, - int show, int level) +/* A callback function for cp_canonicalize_string_full that uses + find_typedef_in_hash. */ + +static const char * +find_typedef_for_canonicalize (struct type *t, void *data) +{ + return find_typedef_in_hash ((const struct type_print_options *) data, t); +} + +/* Print NAME on STREAM. If the 'raw' field of FLAGS is not set, + canonicalize NAME using the local typedefs first. */ + +static void +print_name_maybe_canonical (const char *name, + const struct type_print_options *flags, + struct ui_file *stream) +{ + std::string s; + + if (!flags->raw) + s = cp_canonicalize_string_full (name, + find_typedef_for_canonicalize, + (void *) flags); + + fputs_filtered (!s.empty () ? s.c_str () : name, stream); +} + + + +/* Helper function for c_print_type. */ + +static void +c_print_type_1 (struct type *type, + const char *varstring, + struct ui_file *stream, + int show, int level, + const struct type_print_options *flags, + struct print_offset_data *podata) { enum type_code code; int demangled_args; int need_post_space; + const char *local_name; if (show > 0) - CHECK_TYPEDEF (type); - - c_type_print_base (type, stream, show, level); - code = TYPE_CODE (type); - if ((varstring != NULL && *varstring != '\0') - /* Need a space if going to print stars or brackets; - but not if we will print just a type name. */ - || ((show > 0 || TYPE_NAME (type) == 0) - && (code == TYPE_CODE_PTR || code == TYPE_CODE_FUNC - || code == TYPE_CODE_METHOD - || code == TYPE_CODE_ARRAY - || code == TYPE_CODE_MEMBERPTR - || code == TYPE_CODE_METHODPTR - || code == TYPE_CODE_REF))) - fputs_filtered (" ", stream); - need_post_space = (varstring != NULL && strcmp (varstring, "") != 0); - c_type_print_varspec_prefix (type, stream, show, 0, need_post_space); + type = check_typedef (type); + + local_name = find_typedef_in_hash (flags, type); + if (local_name != NULL) + { + fputs_filtered (local_name, stream); + if (varstring != NULL && *varstring != '\0') + fputs_filtered (" ", stream); + } + else + { + c_type_print_base_1 (type, stream, show, level, flags, podata); + code = TYPE_CODE (type); + if ((varstring != NULL && *varstring != '\0') + /* Need a space if going to print stars or brackets; + but not if we will print just a type name. */ + || ((show > 0 || TYPE_NAME (type) == 0) + && (code == TYPE_CODE_PTR || code == TYPE_CODE_FUNC + || code == TYPE_CODE_METHOD + || (code == TYPE_CODE_ARRAY + && !TYPE_VECTOR (type)) + || code == TYPE_CODE_MEMBERPTR + || code == TYPE_CODE_METHODPTR + || TYPE_IS_REFERENCE (type)))) + fputs_filtered (" ", stream); + need_post_space = (varstring != NULL && strcmp (varstring, "") != 0); + c_type_print_varspec_prefix (type, stream, show, 0, need_post_space, + flags, podata); + } if (varstring != NULL) { fputs_filtered (varstring, stream); - /* For demangled function names, we have the arglist as part of the name, - so don't print an additional pair of ()'s */ - - demangled_args = strchr (varstring, '(') != NULL; - c_type_print_varspec_suffix (type, stream, show, 0, demangled_args); + /* For demangled function names, we have the arglist as part of + the name, so don't print an additional pair of ()'s. */ + if (local_name == NULL) + { + demangled_args = strchr (varstring, '(') != NULL; + c_type_print_varspec_suffix (type, stream, show, + 0, demangled_args, + flags); + } } } +/* LEVEL is the depth to indent lines by. */ + +void +c_print_type (struct type *type, + const char *varstring, + struct ui_file *stream, + int show, int level, + const struct type_print_options *flags) +{ + struct print_offset_data podata; + + c_print_type_1 (type, varstring, stream, show, level, flags, &podata); +} + /* Print a typedef using C syntax. TYPE is the underlying type. NEW_SYMBOL is the symbol naming the type. STREAM is the stream on which to print. */ void -c_print_typedef (struct type *type, struct symbol *new_symbol, +c_print_typedef (struct type *type, + struct symbol *new_symbol, struct ui_file *stream) { - CHECK_TYPEDEF (type); + type = check_typedef (type); fprintf_filtered (stream, "typedef "); type_print (type, "", stream, 0); if (TYPE_NAME ((SYMBOL_TYPE (new_symbol))) == 0 @@ -104,8 +193,8 @@ c_print_typedef (struct type *type, struct symbol *new_symbol, } /* If TYPE is a derived type, then print out derivation information. - Print only the actual base classes of this type, not the base classes - of the base classes. I.E. for the derivation hierarchy: + Print only the actual base classes of this type, not the base + classes of the base classes. I.e. for the derivation hierarchy: class A { int a; }; class B : public A {int b; }; @@ -117,34 +206,39 @@ c_print_typedef (struct type *type, struct symbol *new_symbol, int c; } - Not as the following (like gdb used to), which is not legal C++ syntax for - derived types and may be confused with the multiple inheritance form: + Not as the following (like gdb used to), which is not legal C++ + syntax for derived types and may be confused with the multiple + inheritance form: class C : public B : public A { int c; } - In general, gdb should try to print the types as closely as possible to - the form that they appear in the source code. - Note that in case of protected derivation gcc will not say 'protected' - but 'private'. The HP's aCC compiler emits specific information for - derivation via protected inheritance, so gdb can print it out */ + In general, gdb should try to print the types as closely as + possible to the form that they appear in the source code. */ static void -cp_type_print_derivation_info (struct ui_file *stream, struct type *type) +cp_type_print_derivation_info (struct ui_file *stream, + struct type *type, + const struct type_print_options *flags) { - char *name; + const char *name; int i; for (i = 0; i < TYPE_N_BASECLASSES (type); i++) { + wrap_here (" "); fputs_filtered (i == 0 ? ": " : ", ", stream); fprintf_filtered (stream, "%s%s ", - BASETYPE_VIA_PUBLIC (type, i) ? "public" - : (TYPE_FIELD_PROTECTED (type, i) ? "protected" : "private"), + BASETYPE_VIA_PUBLIC (type, i) + ? "public" : (TYPE_FIELD_PROTECTED (type, i) + ? "protected" : "private"), BASETYPE_VIA_VIRTUAL (type, i) ? " virtual" : ""); name = type_name_no_tag (TYPE_BASECLASS (type, i)); - fprintf_filtered (stream, "%s", name ? name : "(null)"); + if (name) + print_name_maybe_canonical (name, flags, stream); + else + fprintf_filtered (stream, "(null)"); } if (i > 0) { @@ -155,30 +249,45 @@ cp_type_print_derivation_info (struct ui_file *stream, struct type *type) /* Print the C++ method arguments ARGS to the file STREAM. */ static void -cp_type_print_method_args (struct type *mtype, char *prefix, char *varstring, - int staticp, struct ui_file *stream) +cp_type_print_method_args (struct type *mtype, const char *prefix, + const char *varstring, int staticp, + struct ui_file *stream, + const struct type_print_options *flags) { struct field *args = TYPE_FIELDS (mtype); int nargs = TYPE_NFIELDS (mtype); int varargs = TYPE_VARARGS (mtype); int i; - fprintf_symbol_filtered (stream, prefix, language_cplus, DMGL_ANSI); - fprintf_symbol_filtered (stream, varstring, language_cplus, DMGL_ANSI); + fprintf_symbol_filtered (stream, prefix, + language_cplus, DMGL_ANSI); + fprintf_symbol_filtered (stream, varstring, + language_cplus, DMGL_ANSI); fputs_filtered ("(", stream); - /* Skip the class variable. */ + /* Skip the class variable. We keep this here to accommodate older + compilers and debug formats which may not support artificial + parameters. */ i = staticp ? 0 : 1; if (nargs > i) { while (i < nargs) { - type_print (args[i++].type, "", stream, 0); + struct field arg = args[i++]; + + /* Skip any artificial arguments. */ + if (FIELD_ARTIFICIAL (arg)) + continue; + + c_print_type (arg.type, "", stream, 0, 0, flags); if (i == nargs && varargs) fprintf_filtered (stream, ", ..."); else if (i < nargs) - fprintf_filtered (stream, ", "); + { + fprintf_filtered (stream, ", "); + wrap_here (" "); + } } } else if (varargs) @@ -203,6 +312,12 @@ cp_type_print_method_args (struct type *mtype, char *prefix, char *varstring, if (TYPE_VOLATILE (domain)) fprintf_filtered (stream, " volatile"); + + if (TYPE_RESTRICT (domain)) + fprintf_filtered (stream, " restrict"); + + if (TYPE_ATOMIC (domain)) + fprintf_filtered (stream, " _Atomic"); } } @@ -220,10 +335,14 @@ cp_type_print_method_args (struct type *mtype, char *prefix, char *varstring, name. */ static void -c_type_print_varspec_prefix (struct type *type, struct ui_file *stream, - int show, int passed_a_ptr, int need_post_space) +c_type_print_varspec_prefix (struct type *type, + struct ui_file *stream, + int show, int passed_a_ptr, + int need_post_space, + const struct type_print_options *flags, + struct print_offset_data *podata) { - char *name; + const char *name; if (type == 0) return; @@ -236,59 +355,71 @@ c_type_print_varspec_prefix (struct type *type, struct ui_file *stream, switch (TYPE_CODE (type)) { case TYPE_CODE_PTR: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 1, 1); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 1, 1, flags, podata); fprintf_filtered (stream, "*"); c_type_print_modifier (type, stream, 1, need_post_space); break; case TYPE_CODE_MEMBERPTR: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 0, 0); - name = type_name_no_tag (TYPE_DOMAIN_TYPE (type)); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 0, 0, flags, podata); + name = type_name_no_tag (TYPE_SELF_TYPE (type)); if (name) - fputs_filtered (name, stream); + print_name_maybe_canonical (name, flags, stream); else - c_type_print_base (TYPE_DOMAIN_TYPE (type), stream, 0, passed_a_ptr); + c_type_print_base_1 (TYPE_SELF_TYPE (type), + stream, -1, passed_a_ptr, flags, podata); fprintf_filtered (stream, "::*"); break; case TYPE_CODE_METHODPTR: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 0, 0); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 0, 0, flags, podata); fprintf_filtered (stream, "("); - name = type_name_no_tag (TYPE_DOMAIN_TYPE (type)); + name = type_name_no_tag (TYPE_SELF_TYPE (type)); if (name) - fputs_filtered (name, stream); + print_name_maybe_canonical (name, flags, stream); else - c_type_print_base (TYPE_DOMAIN_TYPE (type), stream, 0, passed_a_ptr); + c_type_print_base_1 (TYPE_SELF_TYPE (type), + stream, -1, passed_a_ptr, flags, podata); fprintf_filtered (stream, "::*"); break; case TYPE_CODE_REF: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 1, 0); - fprintf_filtered (stream, "&"); + case TYPE_CODE_RVALUE_REF: + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 1, 0, flags, podata); + fprintf_filtered (stream, TYPE_CODE(type) == TYPE_CODE_REF ? "&" : "&&"); c_type_print_modifier (type, stream, 1, need_post_space); break; case TYPE_CODE_METHOD: case TYPE_CODE_FUNC: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 0, 0); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 0, 0, flags, podata); if (passed_a_ptr) fprintf_filtered (stream, "("); break; case TYPE_CODE_ARRAY: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 0, 0); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, 0, 0, flags, podata); if (passed_a_ptr) fprintf_filtered (stream, "("); break; case TYPE_CODE_TYPEDEF: - c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), stream, show, 0, 0); + c_type_print_varspec_prefix (TYPE_TARGET_TYPE (type), + stream, show, passed_a_ptr, 0, flags, + podata); break; case TYPE_CODE_UNDEF: case TYPE_CODE_STRUCT: case TYPE_CODE_UNION: case TYPE_CODE_ENUM: + case TYPE_CODE_FLAGS: case TYPE_CODE_INT: case TYPE_CODE_FLT: case TYPE_CODE_VOID: @@ -298,7 +429,6 @@ c_type_print_varspec_prefix (struct type *type, struct ui_file *stream, case TYPE_CODE_SET: case TYPE_CODE_RANGE: case TYPE_CODE_STRING: - case TYPE_CODE_BITSTRING: case TYPE_CODE_COMPLEX: case TYPE_CODE_NAMESPACE: case TYPE_CODE_DECFLOAT: @@ -328,8 +458,7 @@ c_type_print_modifier (struct type *type, struct ui_file *stream, /* We don't print `const' qualifiers for references --- since all operators affect the thing referenced, not the reference itself, every reference is `const'. */ - if (TYPE_CONST (type) - && TYPE_CODE (type) != TYPE_CODE_REF) + if (TYPE_CONST (type) && !TYPE_IS_REFERENCE (type)) { if (need_pre_space) fprintf_filtered (stream, " "); @@ -345,6 +474,22 @@ c_type_print_modifier (struct type *type, struct ui_file *stream, did_print_modifier = 1; } + if (TYPE_RESTRICT (type)) + { + if (did_print_modifier || need_pre_space) + fprintf_filtered (stream, " "); + fprintf_filtered (stream, "restrict"); + did_print_modifier = 1; + } + + if (TYPE_ATOMIC (type)) + { + if (did_print_modifier || need_pre_space) + fprintf_filtered (stream, " "); + fprintf_filtered (stream, "_Atomic"); + did_print_modifier = 1; + } + address_space_id = address_space_int_to_name (get_type_arch (type), TYPE_INSTANCE_FLAGS (type)); if (address_space_id) @@ -362,26 +507,28 @@ c_type_print_modifier (struct type *type, struct ui_file *stream, /* Print out the arguments of TYPE, which should have TYPE_CODE_METHOD or TYPE_CODE_FUNC, to STREAM. Artificial arguments, such as "this" - in non-static methods, are displayed if SHOW_ARTIFICIAL is - non-zero. LANGUAGE is the language in which TYPE was defined. This is - a necessary evil since this code is used by the C, C++, and Java - backends. */ + in non-static methods, are displayed if LINKAGE_NAME is zero. If + LINKAGE_NAME is non-zero and LANGUAGE is language_cplus the topmost + parameter types get removed their possible const and volatile qualifiers to + match demangled linkage name parameters part of such function type. + LANGUAGE is the language in which TYPE was defined. This is a necessary + evil since this code is used by the C and C++. */ void c_type_print_args (struct type *type, struct ui_file *stream, - int show_artificial, enum language language) + int linkage_name, enum language language, + const struct type_print_options *flags) { - int i, len; - struct field *args; + int i; int printed_any = 0; fprintf_filtered (stream, "("); - args = TYPE_FIELDS (type); - len = TYPE_NFIELDS (type); for (i = 0; i < TYPE_NFIELDS (type); i++) { - if (TYPE_FIELD_ARTIFICIAL (type, i) && !show_artificial) + struct type *param_type; + + if (TYPE_FIELD_ARTIFICIAL (type, i) && linkage_name) continue; if (printed_any) @@ -390,10 +537,21 @@ c_type_print_args (struct type *type, struct ui_file *stream, wrap_here (" "); } - if (language == language_java) - java_print_type (TYPE_FIELD_TYPE (type, i), "", stream, -1, 0); - else - c_print_type (TYPE_FIELD_TYPE (type, i), "", stream, -1, 0); + param_type = TYPE_FIELD_TYPE (type, i); + + if (language == language_cplus && linkage_name) + { + /* C++ standard, 13.1 Overloadable declarations, point 3, item: + - Parameter declarations that differ only in the presence or + absence of const and/or volatile are equivalent. + + And the const/volatile qualifiers are not present in the mangled + names as produced by GCC. */ + + param_type = make_cv_type (0, 0, param_type, NULL); + } + + c_print_type (param_type, "", stream, -1, 0, flags); printed_any = 1; } @@ -410,8 +568,7 @@ c_type_print_args (struct type *type, struct ui_file *stream, } } else if (!printed_any - && ((TYPE_PROTOTYPED (type) && language != language_java) - || language == language_cplus)) + && (TYPE_PROTOTYPED (type) || language == language_cplus)) fprintf_filtered (stream, "void"); fprintf_filtered (stream, ")"); @@ -429,9 +586,9 @@ is_type_conversion_operator (struct type *type, int i, int j) by their name is pretty terrible. But I don't think our present data structure gives us any other way to tell. If you know of some other way, feel free to rewrite this function. */ - char *name = TYPE_FN_FIELDLIST_NAME (type, i); + const char *name = TYPE_FN_FIELDLIST_NAME (type, i); - if (strncmp (name, "operator", 8) != 0) + if (!startswith (name, CP_OPERATOR_STR)) return 0; name += 8; @@ -447,9 +604,9 @@ is_type_conversion_operator (struct type *type, int i, int j) /* If this doesn't look like the start of an identifier, then it isn't a type conversion operator. */ return 0; - else if (strncmp (name, "new", 3) == 0) + else if (startswith (name, "new")) name += 3; - else if (strncmp (name, "delete", 6) == 0) + else if (startswith (name, "delete")) name += 6; else /* If it doesn't look like new or delete, it's a type conversion @@ -466,7 +623,8 @@ is_type_conversion_operator (struct type *type, int i, int j) return 1; /* That was indeed the end of the name, so it was `operator new' or - `operator delete', neither of which are type conversion operators. */ + `operator delete', neither of which are type conversion + operators. */ return 0; } @@ -481,14 +639,14 @@ is_type_conversion_operator (struct type *type, int i, int j) static char * remove_qualifiers (char *qid) { - int quoted = 0; /* zero if we're not in quotes; - '"' if we're in a double-quoted string; - '\'' if we're in a single-quoted string. */ - int depth = 0; /* number of unclosed parens we've seen */ + int quoted = 0; /* Zero if we're not in quotes; + '"' if we're in a double-quoted string; + '\'' if we're in a single-quoted string. */ + int depth = 0; /* Number of unclosed parens we've seen. */ char *parenstack = (char *) alloca (strlen (qid)); char *scan; - char *last = 0; /* The character after the rightmost - `::' token we've seen so far. */ + char *last = 0; /* The character after the rightmost + `::' token we've seen so far. */ for (scan = qid; *scan; scan++) { @@ -504,8 +662,8 @@ remove_qualifiers (char *qid) /* If we're inside parenthesis (i.e., an argument list) or angle brackets (i.e., a list of template arguments), then we don't record the position of this :: token, since it's - not relevant to the top-level structure we're trying - to operate on. */ + not relevant to the top-level structure we're trying to + operate on. */ if (depth == 0) { last = scan + 2; @@ -529,10 +687,10 @@ remove_qualifiers (char *qid) depth--; else { - /* We're going to do a little error recovery here. If we - don't find a match for *scan on the paren stack, but - there is something lower on the stack that does match, we - pop the stack to that point. */ + /* We're going to do a little error recovery here. If + we don't find a match for *scan on the paren stack, + but there is something lower on the stack that does + match, we pop the stack to that point. */ int i; for (i = depth - 1; i >= 0; i--) @@ -558,8 +716,11 @@ remove_qualifiers (char *qid) Args work like c_type_print_varspec_prefix. */ void -c_type_print_varspec_suffix (struct type *type, struct ui_file *stream, - int show, int passed_a_ptr, int demangled_args) +c_type_print_varspec_suffix (struct type *type, + struct ui_file *stream, + int show, int passed_a_ptr, + int demangled_args, + const struct type_print_options *flags) { if (type == 0) return; @@ -572,36 +733,45 @@ c_type_print_varspec_suffix (struct type *type, struct ui_file *stream, switch (TYPE_CODE (type)) { case TYPE_CODE_ARRAY: - if (passed_a_ptr) - fprintf_filtered (stream, ")"); - - fprintf_filtered (stream, "["); - if (TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > 0 - && !TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type)) - fprintf_filtered (stream, "%d", - (TYPE_LENGTH (type) - / TYPE_LENGTH (TYPE_TARGET_TYPE (type)))); - fprintf_filtered (stream, "]"); - - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - 0, 0); + { + LONGEST low_bound, high_bound; + int is_vector = TYPE_VECTOR (type); + + if (passed_a_ptr) + fprintf_filtered (stream, ")"); + + fprintf_filtered (stream, (is_vector ? + " __attribute__ ((vector_size(" : "[")); + /* Bounds are not yet resolved, print a bounds placeholder instead. */ + if (TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCEXPR + || TYPE_HIGH_BOUND_KIND (TYPE_INDEX_TYPE (type)) == PROP_LOCLIST) + fprintf_filtered (stream, "variable length"); + else if (get_array_bounds (type, &low_bound, &high_bound)) + fprintf_filtered (stream, "%s", + plongest (high_bound - low_bound + 1)); + fprintf_filtered (stream, (is_vector ? ")))" : "]")); + + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, 0, 0, flags); + } break; case TYPE_CODE_MEMBERPTR: - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - 0, 0); + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, 0, 0, flags); break; case TYPE_CODE_METHODPTR: fprintf_filtered (stream, ")"); - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - 0, 0); + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, 0, 0, flags); break; case TYPE_CODE_PTR: case TYPE_CODE_REF: - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - 1, 0); + case TYPE_CODE_RVALUE_REF: + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, 1, 0, flags); break; case TYPE_CODE_METHOD: @@ -609,19 +779,21 @@ c_type_print_varspec_suffix (struct type *type, struct ui_file *stream, if (passed_a_ptr) fprintf_filtered (stream, ")"); if (!demangled_args) - c_type_print_args (type, stream, 1, current_language->la_language); - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - passed_a_ptr, 0); + c_type_print_args (type, stream, 0, current_language->la_language, + flags); + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, passed_a_ptr, 0, flags); break; case TYPE_CODE_TYPEDEF: - c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, show, - passed_a_ptr, 0); + c_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, + show, passed_a_ptr, 0, flags); break; case TYPE_CODE_UNDEF: case TYPE_CODE_STRUCT: case TYPE_CODE_UNION: + case TYPE_CODE_FLAGS: case TYPE_CODE_ENUM: case TYPE_CODE_INT: case TYPE_CODE_FLT: @@ -632,12 +804,12 @@ c_type_print_varspec_suffix (struct type *type, struct ui_file *stream, case TYPE_CODE_SET: case TYPE_CODE_RANGE: case TYPE_CODE_STRING: - case TYPE_CODE_BITSTRING: case TYPE_CODE_COMPLEX: case TYPE_CODE_NAMESPACE: case TYPE_CODE_DECFLOAT: /* These types do not need a suffix. They are listed so that - gcc -Wall will report types that may not have been considered. */ + gcc -Wall will report types that may not have been + considered. */ break; default: error (_("type not handled in c_type_print_varspec_suffix()")); @@ -645,462 +817,811 @@ c_type_print_varspec_suffix (struct type *type, struct ui_file *stream, } } -/* Print the name of the type (or the ultimate pointer target, - function value or array element), or the description of a - structure or union. - - SHOW positive means print details about the type (e.g. enum values), - and print structure elements passing SHOW - 1 for show. - SHOW negative means just print the type name or struct tag if there is one. - If there is no name, print something sensible but concise like - "struct {...}". - SHOW zero means just print the type name or struct tag if there is one. - If there is no name, print something sensible but not as concise like - "struct {int x; int y;}". +/* A helper for c_type_print_base that displays template + parameters and their bindings, if needed. - LEVEL is the number of spaces to indent by. - We increase it for some recursive calls. */ + TABLE is the local bindings table to use. If NULL, no printing is + done. Note that, at this point, TABLE won't have any useful + information in it -- but it is also used as a flag to + print_name_maybe_canonical to activate searching the global typedef + table. -void -c_type_print_base (struct type *type, struct ui_file *stream, int show, - int level) + TYPE is the type whose template arguments are being displayed. + + STREAM is the stream on which to print. */ + +static void +c_type_print_template_args (const struct type_print_options *flags, + struct type *type, struct ui_file *stream) { - int i; - int len, real_len; - int lastval; - char *mangled_name; - char *demangled_name; - char *demangled_no_static; - enum + int first = 1, i; + + if (flags->raw) + return; + + for (i = 0; i < TYPE_N_TEMPLATE_ARGUMENTS (type); ++i) { - s_none, s_public, s_private, s_protected + struct symbol *sym = TYPE_TEMPLATE_ARGUMENT (type, i); + + if (SYMBOL_CLASS (sym) != LOC_TYPEDEF) + continue; + + if (first) + { + wrap_here (" "); + fprintf_filtered (stream, _("[with %s = "), + SYMBOL_LINKAGE_NAME (sym)); + first = 0; + } + else + { + fputs_filtered (", ", stream); + wrap_here (" "); + fprintf_filtered (stream, "%s = ", SYMBOL_LINKAGE_NAME (sym)); + } + + c_print_type (SYMBOL_TYPE (sym), "", stream, -1, 0, flags); } - section_type; - int need_access_label = 0; - int j, len2; - QUIT; + if (!first) + fputs_filtered (_("] "), stream); +} - wrap_here (" "); - if (type == NULL) +/* Use 'print_spaces_filtered', but take into consideration the + type_print_options FLAGS in order to determine how many whitespaces + will be printed. */ + +static void +print_spaces_filtered_with_print_options + (int level, struct ui_file *stream, const struct type_print_options *flags) +{ + if (!flags->print_offsets) + print_spaces_filtered (level, stream); + else + print_spaces_filtered (level + OFFSET_SPC_LEN, stream); +} + +/* Output an access specifier to STREAM, if needed. LAST_ACCESS is the + last access specifier output (typically returned by this function). */ + +static enum access_specifier +output_access_specifier (struct ui_file *stream, + enum access_specifier last_access, + int level, bool is_protected, bool is_private, + const struct type_print_options *flags) +{ + if (is_protected) { - fputs_filtered (_(""), stream); - return; + if (last_access != s_protected) + { + last_access = s_protected; + print_spaces_filtered_with_print_options (level + 2, stream, flags); + fprintf_filtered (stream, "protected:\n"); + } + } + else if (is_private) + { + if (last_access != s_private) + { + last_access = s_private; + print_spaces_filtered_with_print_options (level + 2, stream, flags); + fprintf_filtered (stream, "private:\n"); + } + } + else + { + if (last_access != s_public) + { + last_access = s_public; + print_spaces_filtered_with_print_options (level + 2, stream, flags); + fprintf_filtered (stream, "public:\n"); + } } - /* When SHOW is zero or less, and there is a valid type name, then always - just print the type name directly from the type. */ - /* If we have "typedef struct foo {. . .} bar;" do we want to print it - as "struct foo" or as "bar"? Pick the latter, because C++ folk tend - to expect things like "class5 *foo" rather than "struct class5 *foo". */ + return last_access; +} - if (show <= 0 - && TYPE_NAME (type) != NULL) +/* Print information about field at index FIELD_IDX of the union type + TYPE. Since union fields don't have the concept of offsets, we + just print their sizes. + + The output is strongly based on pahole(1). */ + +static void +c_print_type_union_field_offset (struct type *type, unsigned int field_idx, + struct ui_file *stream) +{ + struct type *ftype = check_typedef (TYPE_FIELD_TYPE (type, field_idx)); + + fprintf_filtered (stream, "/* %4u */", TYPE_LENGTH (ftype)); +} + +/* Print information about field at index FIELD_IDX of the struct type + TYPE. + + PODATA->END_BITPOS is the one-past-the-end bit position of the + previous field (where we expect this field to be if there is no + hole). At the end, ENDPOS is updated to the one-past-the-end bit + position of the current field. + + PODATA->OFFSET_BITPOS is the offset value we carry over when we are + printing a struct that is inside another struct; this is useful so + that the offset is constantly incremented (if we didn't carry it + over, the offset would be reset to zero when printing the inner + struct). + + The output is strongly based on pahole(1). */ + +static void +c_print_type_struct_field_offset (struct type *type, unsigned int field_idx, + struct ui_file *stream, + struct print_offset_data *podata) +{ + struct type *ftype = check_typedef (TYPE_FIELD_TYPE (type, field_idx)); + unsigned int bitpos = TYPE_FIELD_BITPOS (type, field_idx); + unsigned int fieldsize_byte = TYPE_LENGTH (ftype); + unsigned int fieldsize_bit = fieldsize_byte * TARGET_CHAR_BIT; + + /* We check for PODATA->END_BITPOS > 0 because there is a specific + scenario when PODATA->END_BITPOS can be zero and BITPOS can be > + 0: when we are dealing with a struct/class with a virtual method. + Because of the vtable, the first field of the struct/class will + have an offset of sizeof (void *) (the size of the vtable). If + we do not check for PODATA->END_BITPOS > 0 here, GDB will report + a hole before the first field, which is not accurate. */ + if (podata->end_bitpos > 0 && podata->end_bitpos < bitpos) { - c_type_print_modifier (type, stream, 0, 1); - fputs_filtered (TYPE_NAME (type), stream); - return; + /* If PODATA->END_BITPOS is smaller than the current type's + bitpos, it means there's a hole in the struct, so we report + it here. */ + unsigned int hole = bitpos - podata->end_bitpos; + unsigned int hole_byte = hole / TARGET_CHAR_BIT; + unsigned int hole_bit = hole % TARGET_CHAR_BIT; + + if (hole_bit > 0) + fprintf_filtered (stream, "/* XXX %2u-bit hole */\n", hole_bit); + + if (hole_byte > 0) + fprintf_filtered (stream, "/* XXX %2u-byte hole */\n", hole_byte); } - CHECK_TYPEDEF (type); - - switch (TYPE_CODE (type)) + if (TYPE_FIELD_PACKED (type, field_idx)) { - case TYPE_CODE_TYPEDEF: - /* If we get here, the typedef doesn't have a name, and we couldn't - resolve TYPE_TARGET_TYPE. Not much we can do. */ - gdb_assert (TYPE_NAME (type) == NULL); - gdb_assert (TYPE_TARGET_TYPE (type) == NULL); - fprintf_filtered (stream, _("")); - break; + /* We're dealing with a bitfield. Print how many bits are left + to be used. */ + unsigned int bitsize = TYPE_FIELD_BITSIZE (type, field_idx); + /* The bitpos relative to the beginning of our container + field. */ + unsigned int relative_bitpos; + + /* The following was copied from + value.c:value_primitive_field. */ + if ((bitpos % fieldsize_bit) + bitsize <= fieldsize_bit) + relative_bitpos = bitpos % fieldsize_bit; + else + relative_bitpos = bitpos % TARGET_CHAR_BIT; + + /* This is the exact offset (in bits) of this bitfield. */ + unsigned int bit_offset + = (bitpos - relative_bitpos) + podata->offset_bitpos; + + /* The position of the field, relative to the beginning of the + struct, and how many bits are left to be used in this + container. */ + fprintf_filtered (stream, "/* %4u:%2u", bit_offset / TARGET_CHAR_BIT, + fieldsize_bit - (relative_bitpos + bitsize)); + fieldsize_bit = bitsize; + } + else + { + /* The position of the field, relative to the beginning of the + struct. */ + fprintf_filtered (stream, "/* %4u", + (bitpos + podata->offset_bitpos) / TARGET_CHAR_BIT); - case TYPE_CODE_ARRAY: - case TYPE_CODE_PTR: - case TYPE_CODE_MEMBERPTR: - case TYPE_CODE_REF: - case TYPE_CODE_FUNC: - case TYPE_CODE_METHOD: - case TYPE_CODE_METHODPTR: - c_type_print_base (TYPE_TARGET_TYPE (type), stream, show, level); - break; + fprintf_filtered (stream, " "); + } - case TYPE_CODE_STRUCT: - c_type_print_modifier (type, stream, 0, 1); - if (TYPE_DECLARED_CLASS (type)) - fprintf_filtered (stream, "class "); - else - fprintf_filtered (stream, "struct "); - goto struct_union; + fprintf_filtered (stream, " | %4u */", fieldsize_byte); - case TYPE_CODE_UNION: - c_type_print_modifier (type, stream, 0, 1); - fprintf_filtered (stream, "union "); + podata->end_bitpos = bitpos + fieldsize_bit; +} - struct_union: +/* Return true if an access label (i.e., "public:", "private:", + "protected:") needs to be printed for TYPE. */ - /* Print the tag if it exists. - * The HP aCC compiler emits - * a spurious "{unnamed struct}"/"{unnamed union}"/"{unnamed enum}" - * tag for unnamed struct/union/enum's, which we don't - * want to print. - */ - if (TYPE_TAG_NAME (type) != NULL - && strncmp (TYPE_TAG_NAME (type), "{unnamed", 8)) +static bool +need_access_label_p (struct type *type) +{ + if (TYPE_DECLARED_CLASS (type)) + { + QUIT; + for (int i = TYPE_N_BASECLASSES (type); i < TYPE_NFIELDS (type); i++) + if (!TYPE_FIELD_PRIVATE (type, i)) + return true; + QUIT; + for (int j = 0; j < TYPE_NFN_FIELDS (type); j++) + for (int i = 0; i < TYPE_FN_FIELDLIST_LENGTH (type, j); i++) + if (!TYPE_FN_FIELD_PRIVATE (TYPE_FN_FIELDLIST1 (type, + j), i)) + return true; + QUIT; + for (int i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (type); ++i) + if (!TYPE_TYPEDEF_FIELD_PRIVATE (type, i)) + return true; + } + else + { + QUIT; + for (int i = TYPE_N_BASECLASSES (type); i < TYPE_NFIELDS (type); i++) + if (TYPE_FIELD_PRIVATE (type, i) || TYPE_FIELD_PROTECTED (type, i)) + return true; + QUIT; + for (int j = 0; j < TYPE_NFN_FIELDS (type); j++) { - fputs_filtered (TYPE_TAG_NAME (type), stream); - if (show > 0) - fputs_filtered (" ", stream); + QUIT; + for (int i = 0; i < TYPE_FN_FIELDLIST_LENGTH (type, j); i++) + if (TYPE_FN_FIELD_PROTECTED (TYPE_FN_FIELDLIST1 (type, + j), i) + || TYPE_FN_FIELD_PRIVATE (TYPE_FN_FIELDLIST1 (type, + j), + i)) + return true; } - wrap_here (" "); - if (show < 0) + QUIT; + for (int i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (type); ++i) + if (TYPE_TYPEDEF_FIELD_PROTECTED (type, i) + || TYPE_TYPEDEF_FIELD_PRIVATE (type, i)) + return true; + } + + return false; +} + +/* Helper function that temporarily disables FLAGS->PRINT_OFFSETS, + calls 'c_print_type_1', and then reenables FLAGS->PRINT_OFFSETS if + applicable. */ + +static void +c_print_type_no_offsets (struct type *type, + const char *varstring, + struct ui_file *stream, + int show, int level, + struct type_print_options *flags, + struct print_offset_data *podata) +{ + unsigned int old_po = flags->print_offsets; + + /* Temporarily disable print_offsets, because it would mess with + indentation. */ + flags->print_offsets = 0; + c_print_type_1 (type, varstring, stream, show, level, flags, podata); + flags->print_offsets = old_po; +} + +/* Helper for 'c_type_print_base' that handles structs and unions. + For a description of the arguments, see 'c_type_print_base'. */ + +static void +c_type_print_base_struct_union (struct type *type, struct ui_file *stream, + int show, int level, + const struct type_print_options *flags, + struct print_offset_data *podata) +{ + struct type_print_options local_flags = *flags; + struct type_print_options semi_local_flags = *flags; + struct cleanup *local_cleanups = make_cleanup (null_cleanup, NULL); + + local_flags.local_typedefs = NULL; + semi_local_flags.local_typedefs = NULL; + + if (!flags->raw) + { + if (flags->local_typedefs) + local_flags.local_typedefs + = copy_typedef_hash (flags->local_typedefs); + else + local_flags.local_typedefs = create_typedef_hash (); + + make_cleanup_free_typedef_hash (local_flags.local_typedefs); + } + + c_type_print_modifier (type, stream, 0, 1); + if (TYPE_CODE (type) == TYPE_CODE_UNION) + fprintf_filtered (stream, "union "); + else if (TYPE_DECLARED_CLASS (type)) + fprintf_filtered (stream, "class "); + else + fprintf_filtered (stream, "struct "); + + /* Print the tag if it exists. The HP aCC compiler emits a + spurious "{unnamed struct}"/"{unnamed union}"/"{unnamed + enum}" tag for unnamed struct/union/enum's, which we don't + want to print. */ + if (TYPE_TAG_NAME (type) != NULL + && !startswith (TYPE_TAG_NAME (type), "{unnamed")) + { + /* When printing the tag name, we are still effectively + printing in the outer context, hence the use of FLAGS + here. */ + print_name_maybe_canonical (TYPE_TAG_NAME (type), flags, stream); + if (show > 0) + fputs_filtered (" ", stream); + } + + if (show < 0) + { + /* If we just printed a tag name, no need to print anything + else. */ + if (TYPE_TAG_NAME (type) == NULL) + fprintf_filtered (stream, "{...}"); + } + else if (show > 0 || TYPE_TAG_NAME (type) == NULL) + { + struct type *basetype; + int vptr_fieldno; + + c_type_print_template_args (&local_flags, type, stream); + + /* Add in template parameters when printing derivation info. */ + add_template_parameters (local_flags.local_typedefs, type); + cp_type_print_derivation_info (stream, type, &local_flags); + + /* This holds just the global typedefs and the template + parameters. */ + semi_local_flags.local_typedefs + = copy_typedef_hash (local_flags.local_typedefs); + if (semi_local_flags.local_typedefs) + make_cleanup_free_typedef_hash (semi_local_flags.local_typedefs); + + /* Now add in the local typedefs. */ + recursively_update_typedef_hash (local_flags.local_typedefs, type); + + fprintf_filtered (stream, "{\n"); + + if (TYPE_NFIELDS (type) == 0 && TYPE_NFN_FIELDS (type) == 0 + && TYPE_TYPEDEF_FIELD_COUNT (type) == 0) { - /* If we just printed a tag name, no need to print anything else. */ - if (TYPE_TAG_NAME (type) == NULL) - fprintf_filtered (stream, "{...}"); + if (TYPE_STUB (type)) + fprintfi_filtered (level + 4, stream, + _("\n")); + else + fprintfi_filtered (level + 4, stream, + _("\n")); } - else if (show > 0 || TYPE_TAG_NAME (type) == NULL) + + /* Start off with no specific section type, so we can print + one for the first field we find, and use that section type + thereafter until we find another type. */ + + enum access_specifier section_type = s_none; + + /* For a class, if all members are private, there's no need + for a "private:" label; similarly, for a struct or union + masquerading as a class, if all members are public, there's + no need for a "public:" label. */ + bool need_access_label = need_access_label_p (type); + + /* If there is a base class for this type, + do not print the field that it occupies. */ + + int len = TYPE_NFIELDS (type); + vptr_fieldno = get_vptr_fieldno (type, &basetype); + + struct print_offset_data local_podata; + + for (int i = TYPE_N_BASECLASSES (type); i < len; i++) { - struct type *basetype; - int vptr_fieldno; + QUIT; - cp_type_print_derivation_info (stream, type); + /* If we have a virtual table pointer, omit it. Even if + virtual table pointers are not specifically marked in + the debug info, they should be artificial. */ + if ((i == vptr_fieldno && type == basetype) + || TYPE_FIELD_ARTIFICIAL (type, i)) + continue; - fprintf_filtered (stream, "{\n"); - if (TYPE_NFIELDS (type) == 0 && TYPE_NFN_FIELDS (type) == 0 - && TYPE_TYPEDEF_FIELD_COUNT (type) == 0) + if (need_access_label) { - if (TYPE_STUB (type)) - fprintfi_filtered (level + 4, stream, _("\n")); - else - fprintfi_filtered (level + 4, stream, _("\n")); + section_type = output_access_specifier + (stream, section_type, level, + TYPE_FIELD_PROTECTED (type, i), + TYPE_FIELD_PRIVATE (type, i), flags); } - /* Start off with no specific section type, so we can print - one for the first field we find, and use that section type - thereafter until we find another type. */ - - section_type = s_none; - - /* For a class, if all members are private, there's no need - for a "private:" label; similarly, for a struct or union - masquerading as a class, if all members are public, there's - no need for a "public:" label. */ + bool is_static = field_is_static (&TYPE_FIELD (type, i)); - if (TYPE_DECLARED_CLASS (type)) + if (flags->print_offsets) { - QUIT; - len = TYPE_NFIELDS (type); - for (i = TYPE_N_BASECLASSES (type); i < len; i++) - if (!TYPE_FIELD_PRIVATE (type, i)) - { - need_access_label = 1; - break; - } - QUIT; - if (!need_access_label) + if (!is_static) { - len2 = TYPE_NFN_FIELDS (type); - for (j = 0; j < len2; j++) + if (TYPE_CODE (type) == TYPE_CODE_STRUCT) { - len = TYPE_FN_FIELDLIST_LENGTH (type, j); - for (i = 0; i < len; i++) - if (!TYPE_FN_FIELD_PRIVATE (TYPE_FN_FIELDLIST1 (type, j), i)) - { - need_access_label = 1; - break; - } - if (need_access_label) - break; + c_print_type_struct_field_offset + (type, i, stream, podata); } + else if (TYPE_CODE (type) == TYPE_CODE_UNION) + c_print_type_union_field_offset (type, i, stream); } + else + print_spaces_filtered (OFFSET_SPC_LEN, stream); } - else + + print_spaces_filtered (level + 4, stream); + if (is_static) + fprintf_filtered (stream, "static "); + + int newshow = show - 1; + + if (flags->print_offsets + && (TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_STRUCT + || TYPE_CODE (TYPE_FIELD_TYPE (type, i)) == TYPE_CODE_UNION)) { - QUIT; - len = TYPE_NFIELDS (type); - for (i = TYPE_N_BASECLASSES (type); i < len; i++) - if (TYPE_FIELD_PRIVATE (type, i) || TYPE_FIELD_PROTECTED (type, i)) - { - need_access_label = 1; - break; - } - QUIT; - if (!need_access_label) - { - len2 = TYPE_NFN_FIELDS (type); - for (j = 0; j < len2; j++) - { - QUIT; - len = TYPE_FN_FIELDLIST_LENGTH (type, j); - for (i = 0; i < len; i++) - if (TYPE_FN_FIELD_PRIVATE (TYPE_FN_FIELDLIST1 (type, j), i) - || TYPE_FN_FIELD_PROTECTED (TYPE_FN_FIELDLIST1 (type, j), i)) - { - need_access_label = 1; - break; - } - if (need_access_label) - break; - } - } + /* If we're printing offsets and this field's type is + either a struct or an union, then we're interested in + expanding it. */ + ++newshow; + + /* Make sure we carry our offset when we expand the + struct/union. */ + local_podata.offset_bitpos + = podata->offset_bitpos + TYPE_FIELD_BITPOS (type, i); + /* We're entering a struct/union. Right now, + PODATA->END_BITPOS points right *after* the + struct/union. However, when printing the first field + of this inner struct/union, the end_bitpos we're + expecting is exactly at the beginning of the + struct/union. Therefore, we subtract the length of + the whole struct/union. */ + local_podata.end_bitpos + = podata->end_bitpos + - TYPE_LENGTH (TYPE_FIELD_TYPE (type, i)) * TARGET_CHAR_BIT; } - /* If there is a base class for this type, - do not print the field that it occupies. */ + c_print_type_1 (TYPE_FIELD_TYPE (type, i), + TYPE_FIELD_NAME (type, i), + stream, newshow, level + 4, + &local_flags, &local_podata); - len = TYPE_NFIELDS (type); - vptr_fieldno = get_vptr_fieldno (type, &basetype); - for (i = TYPE_N_BASECLASSES (type); i < len; i++) + if (!is_static && TYPE_FIELD_PACKED (type, i)) { - QUIT; + /* It is a bitfield. This code does not attempt + to look at the bitpos and reconstruct filler, + unnamed fields. This would lead to misleading + results if the compiler does not put out fields + for such things (I don't know what it does). */ + fprintf_filtered (stream, " : %d", + TYPE_FIELD_BITSIZE (type, i)); + } + fprintf_filtered (stream, ";\n"); + } + + /* If there are both fields and methods, put a blank line + between them. Make sure to count only method that we + will display; artificial methods will be hidden. */ + len = TYPE_NFN_FIELDS (type); + if (!flags->print_methods) + len = 0; + int real_len = 0; + for (int i = 0; i < len; i++) + { + struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i); + int len2 = TYPE_FN_FIELDLIST_LENGTH (type, i); + int j; + + for (j = 0; j < len2; j++) + if (!TYPE_FN_FIELD_ARTIFICIAL (f, j)) + real_len++; + } + if (real_len > 0 && section_type != s_none) + fprintf_filtered (stream, "\n"); - /* If we have a virtual table pointer, omit it. Even if - virtual table pointers are not specifically marked in - the debug info, they should be artificial. */ - if ((i == vptr_fieldno && type == basetype) - || TYPE_FIELD_ARTIFICIAL (type, i)) + /* C++: print out the methods. */ + for (int i = 0; i < len; i++) + { + struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i); + int j, len2 = TYPE_FN_FIELDLIST_LENGTH (type, i); + const char *method_name = TYPE_FN_FIELDLIST_NAME (type, i); + const char *name = type_name_no_tag (type); + int is_constructor = name && strcmp (method_name, + name) == 0; + + for (j = 0; j < len2; j++) + { + const char *mangled_name; + gdb::unique_xmalloc_ptr mangled_name_holder; + char *demangled_name; + const char *physname = TYPE_FN_FIELD_PHYSNAME (f, j); + int is_full_physname_constructor = + TYPE_FN_FIELD_CONSTRUCTOR (f, j) + || is_constructor_name (physname) + || is_destructor_name (physname) + || method_name[0] == '~'; + + /* Do not print out artificial methods. */ + if (TYPE_FN_FIELD_ARTIFICIAL (f, j)) continue; - if (need_access_label) + QUIT; + section_type = output_access_specifier + (stream, section_type, level, + TYPE_FN_FIELD_PROTECTED (f, j), + TYPE_FN_FIELD_PRIVATE (f, j), flags); + + print_spaces_filtered_with_print_options (level + 4, stream, + flags); + if (TYPE_FN_FIELD_VIRTUAL_P (f, j)) + fprintf_filtered (stream, "virtual "); + else if (TYPE_FN_FIELD_STATIC_P (f, j)) + fprintf_filtered (stream, "static "); + if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) == 0) { - if (TYPE_FIELD_PROTECTED (type, i)) - { - if (section_type != s_protected) - { - section_type = s_protected; - fprintfi_filtered (level + 2, stream, - "protected:\n"); - } - } - else if (TYPE_FIELD_PRIVATE (type, i)) + /* Keep GDB from crashing here. */ + fprintf_filtered (stream, + _(" %s;\n"), + TYPE_FN_FIELD_PHYSNAME (f, j)); + break; + } + else if (!is_constructor /* Constructors don't + have declared + types. */ + && !is_full_physname_constructor /* " " */ + && !is_type_conversion_operator (type, i, j)) + { + c_print_type_no_offsets + (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)), + "", stream, -1, 0, &local_flags, podata); + + fputs_filtered (" ", stream); + } + if (TYPE_FN_FIELD_STUB (f, j)) + { + /* Build something we can demangle. */ + mangled_name_holder.reset (gdb_mangle_name (type, i, j)); + mangled_name = mangled_name_holder.get (); + } + else + mangled_name = TYPE_FN_FIELD_PHYSNAME (f, j); + + demangled_name = + gdb_demangle (mangled_name, + DMGL_ANSI | DMGL_PARAMS); + if (demangled_name == NULL) + { + /* In some cases (for instance with the HP + demangling), if a function has more than 10 + arguments, the demangling will fail. + Let's try to reconstruct the function + signature from the symbol information. */ + if (!TYPE_FN_FIELD_STUB (f, j)) { - if (section_type != s_private) - { - section_type = s_private; - fprintfi_filtered (level + 2, stream, "private:\n"); - } + int staticp = TYPE_FN_FIELD_STATIC_P (f, j); + struct type *mtype = TYPE_FN_FIELD_TYPE (f, j); + + cp_type_print_method_args (mtype, + "", + method_name, + staticp, + stream, &local_flags); } else + fprintf_filtered (stream, + _(""), + mangled_name); + } + else + { + char *p; + char *demangled_no_class + = remove_qualifiers (demangled_name); + + /* Get rid of the `static' appended by the + demangler. */ + p = strstr (demangled_no_class, " static"); + if (p != NULL) { - if (section_type != s_public) - { - section_type = s_public; - fprintfi_filtered (level + 2, stream, "public:\n"); - } + int length = p - demangled_no_class; + char *demangled_no_static; + + demangled_no_static + = (char *) xmalloc (length + 1); + strncpy (demangled_no_static, + demangled_no_class, length); + *(demangled_no_static + length) = '\0'; + fputs_filtered (demangled_no_static, stream); + xfree (demangled_no_static); } + else + fputs_filtered (demangled_no_class, stream); + xfree (demangled_name); } - print_spaces_filtered (level + 4, stream); - if (field_is_static (&TYPE_FIELD (type, i))) - fprintf_filtered (stream, "static "); - c_print_type (TYPE_FIELD_TYPE (type, i), - TYPE_FIELD_NAME (type, i), - stream, show - 1, level + 4); - if (!field_is_static (&TYPE_FIELD (type, i)) - && TYPE_FIELD_PACKED (type, i)) - { - /* It is a bitfield. This code does not attempt - to look at the bitpos and reconstruct filler, - unnamed fields. This would lead to misleading - results if the compiler does not put out fields - for such things (I don't know what it does). */ - fprintf_filtered (stream, " : %d", - TYPE_FIELD_BITSIZE (type, i)); - } fprintf_filtered (stream, ";\n"); } + } - /* If there are both fields and methods, put a blank line - between them. Make sure to count only method that we will - display; artificial methods will be hidden. */ - len = TYPE_NFN_FIELDS (type); - real_len = 0; - for (i = 0; i < len; i++) - { - struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i); - int len2 = TYPE_FN_FIELDLIST_LENGTH (type, i); - int j; + /* Print out nested types. */ + if (TYPE_NESTED_TYPES_COUNT (type) != 0 + && semi_local_flags.print_nested_type_limit != 0) + { + if (semi_local_flags.print_nested_type_limit > 0) + --semi_local_flags.print_nested_type_limit; - for (j = 0; j < len2; j++) - if (!TYPE_FN_FIELD_ARTIFICIAL (f, j)) - real_len++; - } - if (real_len > 0 && section_type != s_none) + if (TYPE_NFIELDS (type) != 0 || TYPE_NFN_FIELDS (type) != 0) fprintf_filtered (stream, "\n"); - /* C++: print out the methods */ - for (i = 0; i < len; i++) + for (int i = 0; i < TYPE_NESTED_TYPES_COUNT (type); ++i) { - struct fn_field *f = TYPE_FN_FIELDLIST1 (type, i); - int j, len2 = TYPE_FN_FIELDLIST_LENGTH (type, i); - char *method_name = TYPE_FN_FIELDLIST_NAME (type, i); - char *name = type_name_no_tag (type); - int is_constructor = name && strcmp (method_name, name) == 0; + print_spaces_filtered_with_print_options (level + 4, stream, + flags); + c_print_type_no_offsets (TYPE_NESTED_TYPES_FIELD_TYPE (type, i), + "", stream, show, level + 4, + &semi_local_flags, podata); + fprintf_filtered (stream, ";\n"); + } + } - for (j = 0; j < len2; j++) - { - char *physname = TYPE_FN_FIELD_PHYSNAME (f, j); - int is_full_physname_constructor = - is_constructor_name (physname) - || is_destructor_name (physname) - || method_name[0] == '~'; - - /* Do not print out artificial methods. */ - if (TYPE_FN_FIELD_ARTIFICIAL (f, j)) - continue; - - QUIT; - if (TYPE_FN_FIELD_PROTECTED (f, j)) - { - if (section_type != s_protected) - { - section_type = s_protected; - fprintfi_filtered (level + 2, stream, - "protected:\n"); - } - } - else if (TYPE_FN_FIELD_PRIVATE (f, j)) - { - if (section_type != s_private) - { - section_type = s_private; - fprintfi_filtered (level + 2, stream, "private:\n"); - } - } - else - { - if (section_type != s_public) - { - section_type = s_public; - fprintfi_filtered (level + 2, stream, "public:\n"); - } - } + /* Print typedefs defined in this class. */ - print_spaces_filtered (level + 4, stream); - if (TYPE_FN_FIELD_VIRTUAL_P (f, j)) - fprintf_filtered (stream, "virtual "); - else if (TYPE_FN_FIELD_STATIC_P (f, j)) - fprintf_filtered (stream, "static "); - if (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)) == 0) - { - /* Keep GDB from crashing here. */ - fprintf_filtered (stream, _(" %s;\n"), - TYPE_FN_FIELD_PHYSNAME (f, j)); - break; - } - else if (!is_constructor /* constructors don't have declared types */ - && !is_full_physname_constructor /* " " */ - && !is_type_conversion_operator (type, i, j)) - { - type_print (TYPE_TARGET_TYPE (TYPE_FN_FIELD_TYPE (f, j)), - "", stream, -1); - fputs_filtered (" ", stream); - } - if (TYPE_FN_FIELD_STUB (f, j)) - /* Build something we can demangle. */ - mangled_name = gdb_mangle_name (type, i, j); - else - mangled_name = TYPE_FN_FIELD_PHYSNAME (f, j); + if (TYPE_TYPEDEF_FIELD_COUNT (type) != 0 && flags->print_typedefs) + { + if (TYPE_NFIELDS (type) != 0 || TYPE_NFN_FIELDS (type) != 0 + || TYPE_NESTED_TYPES_COUNT (type) != 0) + fprintf_filtered (stream, "\n"); - demangled_name = - cplus_demangle (mangled_name, - DMGL_ANSI | DMGL_PARAMS); - if (demangled_name == NULL) - { - /* in some cases (for instance with the HP demangling), - if a function has more than 10 arguments, - the demangling will fail. - Let's try to reconstruct the function signature from - the symbol information */ - if (!TYPE_FN_FIELD_STUB (f, j)) - { - int staticp = TYPE_FN_FIELD_STATIC_P (f, j); - struct type *mtype = TYPE_FN_FIELD_TYPE (f, j); - - cp_type_print_method_args (mtype, - "", - method_name, - staticp, - stream); - } - else - fprintf_filtered (stream, _(""), - mangled_name); - } - else - { - char *p; - char *demangled_no_class - = remove_qualifiers (demangled_name); - - /* get rid of the `static' appended by the demangler */ - p = strstr (demangled_no_class, " static"); - if (p != NULL) - { - int length = p - demangled_no_class; - - demangled_no_static = (char *) xmalloc (length + 1); - strncpy (demangled_no_static, demangled_no_class, length); - *(demangled_no_static + length) = '\0'; - fputs_filtered (demangled_no_static, stream); - xfree (demangled_no_static); - } - else - fputs_filtered (demangled_no_class, stream); - xfree (demangled_name); - } + for (int i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (type); i++) + { + struct type *target = TYPE_TYPEDEF_FIELD_TYPE (type, i); - if (TYPE_FN_FIELD_STUB (f, j)) - xfree (mangled_name); + /* Dereference the typedef declaration itself. */ + gdb_assert (TYPE_CODE (target) == TYPE_CODE_TYPEDEF); + target = TYPE_TARGET_TYPE (target); - fprintf_filtered (stream, ";\n"); + if (need_access_label) + { + section_type = output_access_specifier + (stream, section_type, level, + TYPE_TYPEDEF_FIELD_PROTECTED (type, i), + TYPE_TYPEDEF_FIELD_PRIVATE (type, i), flags); } + print_spaces_filtered_with_print_options (level + 4, stream, + flags); + fprintf_filtered (stream, "typedef "); + + /* We want to print typedefs with substitutions + from the template parameters or globally-known + typedefs but not local typedefs. */ + c_print_type_no_offsets (target, + TYPE_TYPEDEF_FIELD_NAME (type, i), + stream, show - 1, level + 4, + &semi_local_flags, podata); + fprintf_filtered (stream, ";\n"); } + } - /* Print typedefs defined in this class. */ - - if (TYPE_TYPEDEF_FIELD_COUNT (type) != 0) + if (flags->print_offsets) + { + if (show > 0) { - if (TYPE_NFIELDS (type) != 0 || TYPE_NFN_FIELDS (type) != 0) - fprintf_filtered (stream, "\n"); + fputs_filtered ("\n", stream); + print_spaces_filtered_with_print_options (level + 4, + stream, + flags); + fprintf_filtered (stream, "/* total size (bytes): %4u */\n", + TYPE_LENGTH (type)); + } - for (i = 0; i < TYPE_TYPEDEF_FIELD_COUNT (type); i++) - { - struct type *target = TYPE_TYPEDEF_FIELD_TYPE (type, i); + print_spaces_filtered (OFFSET_SPC_LEN, stream); + if (level == 0) + print_spaces_filtered (2, stream); + } - /* Dereference the typedef declaration itself. */ - gdb_assert (TYPE_CODE (target) == TYPE_CODE_TYPEDEF); - target = TYPE_TARGET_TYPE (target); + fprintfi_filtered (level, stream, "}"); + } - print_spaces_filtered (level + 4, stream); - fprintf_filtered (stream, "typedef "); - c_print_type (target, TYPE_TYPEDEF_FIELD_NAME (type, i), - stream, show - 1, level + 4); - fprintf_filtered (stream, ";\n"); - } - } + do_cleanups (local_cleanups); +} + +/* Print the name of the type (or the ultimate pointer target, + function value or array element), or the description of a structure + or union. - fprintfi_filtered (level, stream, "}"); + SHOW positive means print details about the type (e.g. enum + values), and print structure elements passing SHOW - 1 for show. - if (TYPE_LOCALTYPE_PTR (type) && show >= 0) - fprintfi_filtered (level, stream, _(" (Local at %s:%d)\n"), - TYPE_LOCALTYPE_FILE (type), - TYPE_LOCALTYPE_LINE (type)); - } + SHOW negative means just print the type name or struct tag if there + is one. If there is no name, print something sensible but concise + like "struct {...}". + + SHOW zero means just print the type name or struct tag if there is + one. If there is no name, print something sensible but not as + concise like "struct {int x; int y;}". + + LEVEL is the number of spaces to indent by. + We increase it for some recursive calls. */ + +static void +c_type_print_base_1 (struct type *type, struct ui_file *stream, + int show, int level, + const struct type_print_options *flags, + struct print_offset_data *podata) +{ + int i; + int len; + + QUIT; + + if (type == NULL) + { + fputs_filtered (_(""), stream); + return; + } + + /* When SHOW is zero or less, and there is a valid type name, then + always just print the type name directly from the type. */ + /* If we have "typedef struct foo {. . .} bar;" do we want to print + it as "struct foo" or as "bar"? Pick the latter, because C++ + folk tend to expect things like "class5 *foo" rather than "struct + class5 *foo". */ + + if (show <= 0 + && TYPE_NAME (type) != NULL) + { + c_type_print_modifier (type, stream, 0, 1); + print_name_maybe_canonical (TYPE_NAME (type), flags, stream); + return; + } + + type = check_typedef (type); + + switch (TYPE_CODE (type)) + { + case TYPE_CODE_TYPEDEF: + /* If we get here, the typedef doesn't have a name, and we + couldn't resolve TYPE_TARGET_TYPE. Not much we can do. */ + gdb_assert (TYPE_NAME (type) == NULL); + gdb_assert (TYPE_TARGET_TYPE (type) == NULL); + fprintf_filtered (stream, _("")); + break; + + case TYPE_CODE_FUNC: + case TYPE_CODE_METHOD: + if (TYPE_TARGET_TYPE (type) == NULL) + type_print_unknown_return_type (stream); + else + c_type_print_base_1 (TYPE_TARGET_TYPE (type), + stream, show, level, flags, podata); + break; + case TYPE_CODE_ARRAY: + case TYPE_CODE_PTR: + case TYPE_CODE_MEMBERPTR: + case TYPE_CODE_REF: + case TYPE_CODE_RVALUE_REF: + case TYPE_CODE_METHODPTR: + c_type_print_base_1 (TYPE_TARGET_TYPE (type), + stream, show, level, flags, podata); + break; + + case TYPE_CODE_STRUCT: + case TYPE_CODE_UNION: + c_type_print_base_struct_union (type, stream, show, level, flags, + podata); break; case TYPE_CODE_ENUM: c_type_print_modifier (type, stream, 0, 1); fprintf_filtered (stream, "enum "); + if (TYPE_DECLARED_CLASS (type)) + fprintf_filtered (stream, "class "); /* Print the tag name if it exists. The aCC compiler emits a spurious "{unnamed struct}"/"{unnamed union}"/"{unnamed enum}" tag for unnamed struct/union/enum's, which we don't - want to print. */ + want to print. */ if (TYPE_TAG_NAME (type) != NULL - && strncmp (TYPE_TAG_NAME (type), "{unnamed", 8)) + && !startswith (TYPE_TAG_NAME (type), "{unnamed")) { - fputs_filtered (TYPE_TAG_NAME (type), stream); + print_name_maybe_canonical (TYPE_TAG_NAME (type), flags, stream); if (show > 0) fputs_filtered (" ", stream); } @@ -1108,15 +1629,34 @@ c_type_print_base (struct type *type, struct ui_file *stream, int show, wrap_here (" "); if (show < 0) { - /* If we just printed a tag name, no need to print anything else. */ + /* If we just printed a tag name, no need to print anything + else. */ if (TYPE_TAG_NAME (type) == NULL) fprintf_filtered (stream, "{...}"); } else if (show > 0 || TYPE_TAG_NAME (type) == NULL) { + LONGEST lastval = 0; + + /* We can't handle this case perfectly, as DWARF does not + tell us whether or not the underlying type was specified + in the source (and other debug formats don't provide this + at all). We choose to print the underlying type, if it + has a name, when in C++ on the theory that it's better to + print too much than too little; but conversely not to + print something egregiously outside the current + language's syntax. */ + if (current_language->la_language == language_cplus + && TYPE_TARGET_TYPE (type) != NULL) + { + struct type *underlying = check_typedef (TYPE_TARGET_TYPE (type)); + + if (TYPE_NAME (underlying) != NULL) + fprintf_filtered (stream, ": %s ", TYPE_NAME (underlying)); + } + fprintf_filtered (stream, "{"); len = TYPE_NFIELDS (type); - lastval = 0; for (i = 0; i < len; i++) { QUIT; @@ -1124,10 +1664,11 @@ c_type_print_base (struct type *type, struct ui_file *stream, int show, fprintf_filtered (stream, ", "); wrap_here (" "); fputs_filtered (TYPE_FIELD_NAME (type, i), stream); - if (lastval != TYPE_FIELD_BITPOS (type, i)) + if (lastval != TYPE_FIELD_ENUMVAL (type, i)) { - fprintf_filtered (stream, " = %d", TYPE_FIELD_BITPOS (type, i)); - lastval = TYPE_FIELD_BITPOS (type, i); + fprintf_filtered (stream, " = %s", + plongest (TYPE_FIELD_ENUMVAL (type, i))); + lastval = TYPE_FIELD_ENUMVAL (type, i); } lastval++; } @@ -1135,6 +1676,55 @@ c_type_print_base (struct type *type, struct ui_file *stream, int show, } break; + case TYPE_CODE_FLAGS: + { + struct type_print_options local_flags = *flags; + + local_flags.local_typedefs = NULL; + + c_type_print_modifier (type, stream, 0, 1); + fprintf_filtered (stream, "flag "); + print_name_maybe_canonical (TYPE_NAME (type), flags, stream); + if (show > 0) + { + fputs_filtered (" ", stream); + fprintf_filtered (stream, "{\n"); + if (TYPE_NFIELDS (type) == 0) + { + if (TYPE_STUB (type)) + fprintfi_filtered (level + 4, stream, + _("\n")); + else + fprintfi_filtered (level + 4, stream, + _("\n")); + } + len = TYPE_NFIELDS (type); + for (i = 0; i < len; i++) + { + QUIT; + print_spaces_filtered (level + 4, stream); + /* We pass "show" here and not "show - 1" to get enum types + printed. There's no other way to see them. */ + c_print_type_1 (TYPE_FIELD_TYPE (type, i), + TYPE_FIELD_NAME (type, i), + stream, show, level + 4, + &local_flags, podata); + fprintf_filtered (stream, " @%s", + plongest (TYPE_FIELD_BITPOS (type, i))); + if (TYPE_FIELD_BITSIZE (type, i) > 1) + { + fprintf_filtered (stream, "-%s", + plongest (TYPE_FIELD_BITPOS (type, i) + + TYPE_FIELD_BITSIZE (type, i) + - 1)); + } + fprintf_filtered (stream, ";\n"); + } + fprintfi_filtered (level, stream, "}"); + } + } + break; + case TYPE_CODE_VOID: fprintf_filtered (stream, "void"); break; @@ -1148,7 +1738,7 @@ c_type_print_base (struct type *type, struct ui_file *stream, int show, break; case TYPE_CODE_RANGE: - /* This should not occur */ + /* This should not occur. */ fprintf_filtered (stream, _("")); break; @@ -1158,22 +1748,34 @@ c_type_print_base (struct type *type, struct ui_file *stream, int show, break; default: - /* Handle types not explicitly handled by the other cases, - such as fundamental types. For these, just print whatever - the type name is, as recorded in the type itself. If there - is no type name, then complain. */ + /* Handle types not explicitly handled by the other cases, such + as fundamental types. For these, just print whatever the + type name is, as recorded in the type itself. If there is no + type name, then complain. */ if (TYPE_NAME (type) != NULL) { c_type_print_modifier (type, stream, 0, 1); - fputs_filtered (TYPE_NAME (type), stream); + print_name_maybe_canonical (TYPE_NAME (type), flags, stream); } else { - /* At least for dump_symtab, it is important that this not be - an error (). */ + /* At least for dump_symtab, it is important that this not + be an error (). */ fprintf_filtered (stream, _(""), TYPE_CODE (type)); } break; } } + +/* See c_type_print_base_1. */ + +void +c_type_print_base (struct type *type, struct ui_file *stream, + int show, int level, + const struct type_print_options *flags) +{ + struct print_offset_data podata; + + c_type_print_base_1 (type, stream, show, level, flags, &podata); +}