/* DWARF debugging format support for GDB. Copyright (C) 1991 Free Software Foundation, Inc. Written by Fred Fish at Cygnus Support, portions based on dbxread.c, mipsread.c, coffread.c, and dwarfread.c from a Data General SVR4 gdb port. This file is part of GDB. 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 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, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ /* FIXME: Figure out how to get the frame pointer register number in the execution environment of the target. Remove R_FP kludge FIXME: Add generation of dependencies list to partial symtab code. FIXME: Currently we ignore host/target byte ordering and integer size differences. Should remap data from external form to an internal form before trying to use it. FIXME: Resolve minor differences between what information we put in the partial symbol table and what dbxread puts in. For example, we don't yet put enum constants there. And dbxread seems to invent a lot of typedefs we never see. Use the new printpsym command to see the partial symbol table contents. FIXME: Change forward declarations of static functions to allow for compilers without prototypes. FIXME: Figure out a better way to tell gdb (all the debug reading routines) the names of the gccX_compiled flags. FIXME: Figure out a better way to tell gdb about the name of the function contain the user's entry point (I.E. main()) FIXME: The current DWARF specification has a very strong bias towards machines with 32-bit integers, as it assumes that many attributes of the program (such as an address) will fit in such an integer. There are many references in the spec to things that are 2, 4, or 8 bytes long. Given that we will probably run into problems on machines where some of these assumptions are invalid (64-bit ints for example), we don't bother at this time to try to make this code more flexible and just use shorts, ints, and longs (and their sizes) where it seems appropriate. I.E. we use a short int to hold DWARF tags, and assume that the tag size in the file is the same as sizeof(short). FIXME: Figure out how to get the name of the symbol indicating that a module has been compiled with gcc (gcc_compiledXX) in a more portable way than hardcoding it into the object file readers. FIXME: See other FIXME's and "ifdef 0" scattered throughout the code for other things to work on, if you get bored. :-) */ #include #ifdef __STDC__ #include #else #include #endif #include #include "defs.h" #include "param.h" #include "bfd.h" #include "symtab.h" #include "symfile.h" #include "dwarf.h" #include "ansidecl.h" #ifdef MAINTENANCE /* Define to 1 to compile in some maintenance stuff */ #define SQUAWK(stuff) dwarfwarn stuff #else #define SQUAWK(stuff) #endif #ifndef R_FP /* FIXME */ #define R_FP 14 /* Kludge to get frame pointer register number */ #endif typedef unsigned int DIEREF; /* Reference to a DIE */ #define GCC_COMPILED_FLAG_SYMBOL "gcc_compiled%" /* FIXME */ #define GCC2_COMPILED_FLAG_SYMBOL "gcc2_compiled%" /* FIXME */ #define STREQ(a,b) (strcmp(a,b)==0) extern CORE_ADDR startup_file_start; /* From blockframe.c */ extern CORE_ADDR startup_file_end; /* From blockframe.c */ extern CORE_ADDR entry_scope_lowpc; /* From blockframe.c */ extern CORE_ADDR entry_scope_highpc; /* From blockframc.c */ extern CORE_ADDR main_scope_lowpc; /* From blockframe.c */ extern CORE_ADDR main_scope_highpc; /* From blockframc.c */ extern int info_verbose; /* From main.c; nonzero => verbose */ /* The DWARF debugging information consists of two major pieces, one is a block of DWARF Information Entries (DIE's) and the other is a line number table. The "struct dieinfo" structure contains the information for a single DIE, the one currently being processed. In order to make it easier to randomly access the attribute fields of the current DIE, which are specifically unordered within the DIE each DIE is scanned and an instance of the "struct dieinfo" structure is initialized. Initialization is done in two levels. The first, done by basicdieinfo(), just initializes those fields that are vital to deciding whether or not to use this DIE, how to skip past it, etc. The second, done by the function completedieinfo(), fills in the rest of the information. Attributes which have block forms are not interpreted at the time the DIE is scanned, instead we just save pointers to the start of their value fields. Some fields have a flag _p that is set when the value of the field is valid (I.E. we found a matching attribute in the DIE). Since we may want to test for the presence of some attributes in the DIE, such as AT_is_external, without restricting the values of the field, we need someway to note that we found such an attribute. */ typedef char BLOCK; struct dieinfo { char * die; /* Pointer to the raw DIE data */ long dielength; /* Length of the raw DIE data */ DIEREF dieref; /* Offset of this DIE */ short dietag; /* Tag for this DIE */ long at_padding; long at_sibling; BLOCK * at_location; char * at_name; unsigned short at_fund_type; BLOCK * at_mod_fund_type; long at_user_def_type; BLOCK * at_mod_u_d_type; short at_ordering; BLOCK * at_subscr_data; long at_byte_size; short at_bit_offset; long at_bit_size; BLOCK * at_deriv_list; BLOCK * at_element_list; long at_stmt_list; long at_low_pc; long at_high_pc; long at_language; long at_member; long at_discr; BLOCK * at_discr_value; short at_visibility; long at_import; BLOCK * at_string_length; char * at_comp_dir; char * at_producer; long at_loclist; long at_frame_base; short at_incomplete; long at_start_scope; long at_stride_size; long at_src_info; short at_prototyped; BLOCK * at_const_data; short at_is_external; unsigned int at_is_external_p:1; unsigned int at_stmt_list_p:1; }; static int diecount; /* Approximate count of dies for compilation unit */ static struct dieinfo *curdie; /* For warnings and such */ static char *dbbase; /* Base pointer to dwarf info */ static int dbroff; /* Relative offset from start of .debug section */ static char *lnbase; /* Base pointer to line section */ static int isreg; /* Kludge to identify register variables */ static CORE_ADDR baseaddr; /* Add to each symbol value */ /* Each partial symbol table entry contains a pointer to private data for the read_symtab() function to use when expanding a partial symbol table entry to a full symbol table entry. For DWARF debugging info, this data is contained in the following structure and macros are provided for easy access to the members given a pointer to a partial symbol table entry. dbfoff Always the absolute file offset to the start of the ".debug" section for the file containing the DIE's being accessed. dbroff Relative offset from the start of the ".debug" access to the first DIE to be accessed. When building the partial symbol table, this value will be zero since we are accessing the entire ".debug" section. When expanding a partial symbol table entry, this value will be the offset to the first DIE for the compilation unit containing the symbol that triggers the expansion. dblength The size of the chunk of DIE's being examined, in bytes. lnfoff The absolute file offset to the line table fragment. Ignored when building partial symbol tables, but used when expanding them, and contains the absolute file offset to the fragment of the ".line" section containing the line numbers for the current compilation unit. */ struct dwfinfo { int dbfoff; /* Absolute file offset to start of .debug section */ int dbroff; /* Relative offset from start of .debug section */ int dblength; /* Size of the chunk of DIE's being examined */ int lnfoff; /* Absolute file offset to line table fragment */ }; #define DBFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbfoff) #define DBROFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbroff) #define DBLENGTH(p) (((struct dwfinfo *)((p)->read_symtab_private))->dblength) #define LNFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->lnfoff) /* Record the symbols defined for each context in a linked list. We don't create a struct block for the context until we know how long to make it. Global symbols for each file are maintained in the global_symbols list. */ struct pending_symbol { struct pending_symbol *next; /* Next pending symbol */ struct symbol *symbol; /* The actual symbol */ }; static struct pending_symbol *global_symbols; /* global funcs and vars */ static struct block *global_symbol_block; /* Line number entries are read into a dynamically expandable vector before being added to the symbol table section. Once we know how many there are we can add them. */ static struct linetable *line_vector; /* Vector of line numbers. */ static int line_vector_index; /* Index of next entry. */ static int line_vector_length; /* Current allocation limit */ /* Scope information is kept in a scope tree, one node per scope. Each time a new scope is started, a child node is created under the current node and set to the current scope. Each time a scope is closed, the current scope moves back up the tree to the parent of the current scope. Each scope contains a pointer to the list of symbols defined in the scope, a pointer to the block vector for the scope, a pointer to the symbol that names the scope (if any), and the range of PC values that mark the start and end of the scope. */ struct scopenode { struct scopenode *parent; struct scopenode *child; struct scopenode *sibling; struct pending_symbol *symbols; struct block *block; struct symbol *namesym; CORE_ADDR lowpc; CORE_ADDR highpc; }; static struct scopenode *scopetree; static struct scopenode *scope; /* DIES which have user defined types or modified user defined types refer to other DIES for the type information. Thus we need to associate the offset of a DIE for a user defined type with a pointer to the type information. Originally this was done using a simple but expensive algorithm, with an array of unsorted structures, each containing an offset/type-pointer pair. This array was scanned linearly each time a lookup was done. The result was that gdb was spending over half it's startup time munging through this array of pointers looking for a structure that had the right offset member. The second attempt used the same array of structures, but the array was sorted using qsort each time a new offset/type was recorded, and a binary search was used to find the type pointer for a given DIE offset. This was even slower, due to the overhead of sorting the array each time a new offset/type pair was entered. The third attempt uses a fixed size array of type pointers, indexed by a value derived from the DIE offset. Since the minimum DIE size is 4 bytes, we can divide any DIE offset by 4 to obtain a unique index into this fixed size array. Since each element is a 4 byte pointer, it takes exactly as much memory to hold this array as to hold the DWARF info for a given compilation unit. But it gets freed as soon as we are done with it. */ static struct type **utypes; /* Pointer to array of user type pointers */ static int numutypes; /* Max number of user type pointers */ /* Forward declarations of static functions so we don't have to worry about ordering within this file. The EXFUN macro may be slightly misleading. Should probably be called DCLFUN instead, or something more intuitive, since it can be used for both static and external definitions. */ static void EXFUN (dwarfwarn, (char *fmt DOTS)); static void EXFUN (scan_partial_symbols, (char *thisdie AND char *enddie)); static void EXFUN (scan_compilation_units, (char *filename AND CORE_ADDR addr AND char *thisdie AND char *enddie AND unsigned int dbfoff AND unsigned int lnoffset AND struct objfile *objfile)); static struct partial_symtab * EXFUN(start_psymtab, (struct objfile *objfile AND CORE_ADDR addr AND char *filename AND CORE_ADDR textlow AND CORE_ADDR texthigh AND int dbfoff AND int curoff AND int culength AND int lnfoff AND struct partial_symbol *global_syms AND struct partial_symbol *static_syms)); static void EXFUN(add_partial_symbol, (struct dieinfo *dip)); static void EXFUN(add_psymbol_to_list, (struct psymbol_allocation_list *listp AND char *name AND enum namespace space AND enum address_class class AND CORE_ADDR value)); static void EXFUN(init_psymbol_list, (int total_symbols)); static void EXFUN(basicdieinfo, (struct dieinfo *dip AND char *diep)); static void EXFUN(completedieinfo, (struct dieinfo *dip)); static void EXFUN(dwarf_psymtab_to_symtab, (struct partial_symtab *pst)); static void EXFUN(psymtab_to_symtab_1, (struct partial_symtab *pst)); static struct symtab * EXFUN(read_ofile_symtab, (struct partial_symtab *pst)); static void EXFUN(process_dies, (char *thisdie AND char *enddie AND struct objfile *objfile)); static void EXFUN(read_structure_scope, (struct dieinfo *dip AND char *thisdie AND char *enddie)); static struct type * EXFUN(decode_array_element_type, (char *scan AND char *end)); static struct type * EXFUN(decode_subscr_data, (char *scan AND char *end)); static void EXFUN(read_array_type, (struct dieinfo *dip)); static void EXFUN(read_subroutine_type, (struct dieinfo *dip AND char *thisdie AND char *enddie)); static void EXFUN(read_enumeration, (struct dieinfo *dip AND char *thisdie AND char *enddie)); static struct type * EXFUN(struct_type, (struct dieinfo *dip AND char *thisdie AND char *enddie)); static struct type * EXFUN(enum_type, (struct dieinfo *dip)); static void EXFUN(start_symtab, (void)); static void EXFUN(end_symtab, (char *filename AND long language AND struct objfile *objfile)); static int EXFUN(scopecount, (struct scopenode *node)); static void EXFUN(openscope, (struct symbol *namesym AND CORE_ADDR lowpc AND CORE_ADDR highpc)); static void EXFUN(freescope, (struct scopenode *node)); static struct block * EXFUN(buildblock, (struct pending_symbol *syms)); static void EXFUN(closescope, (void)); static void EXFUN(record_line, (int line AND CORE_ADDR pc)); static void EXFUN(decode_line_numbers, (char *linetable)); static struct type * EXFUN(decode_die_type, (struct dieinfo *dip)); static struct type * EXFUN(decode_mod_fund_type, (char *typedata)); static struct type * EXFUN(decode_mod_u_d_type, (char *typedata)); static struct type * EXFUN(decode_modified_type, (unsigned char *modifiers AND unsigned short modcount AND int mtype)); static struct type * EXFUN(decode_fund_type, (unsigned short fundtype)); static char * EXFUN(create_name, (char *name AND struct obstack *obstackp)); static void EXFUN(add_symbol_to_list, (struct symbol *symbol AND struct pending_symbol **listhead)); static struct block ** EXFUN(gatherblocks, (struct block **dest AND struct scopenode *node)); static struct blockvector * EXFUN(make_blockvector, (void)); static struct type * EXFUN(lookup_utype, (DIEREF dieref)); static struct type * EXFUN(alloc_utype, (DIEREF dieref AND struct type *usetype)); static struct symbol * EXFUN(new_symbol, (struct dieinfo *dip)); static int EXFUN(locval, (char *loc)); static void EXFUN(record_misc_function, (char *name AND CORE_ADDR address AND enum misc_function_type)); static int EXFUN(compare_psymbols, (struct partial_symbol *s1 AND struct partial_symbol *s2)); /* GLOBAL FUNCTION dwarf_build_psymtabs -- build partial symtabs from DWARF debug info SYNOPSIS void dwarf_build_psymtabs (int desc, char *filename, CORE_ADDR addr, int mainline, unsigned int dbfoff, unsigned int dbsize, unsigned int lnoffset, unsigned int lnsize, struct objfile *objfile) DESCRIPTION This function is called upon to build partial symtabs from files containing DIE's (Dwarf Information Entries) and DWARF line numbers. It is passed a file descriptor for an open file containing the DIES and line number information, the corresponding filename for that file, a base address for relocating the symbols, a flag indicating whether or not this debugging information is from a "main symbol table" rather than a shared library or dynamically linked file, and file offset/size pairs for the DIE information and line number information. RETURNS No return value. */ void DEFUN(dwarf_build_psymtabs, (desc, filename, addr, mainline, dbfoff, dbsize, lnoffset, lnsize, objfile), int desc AND char *filename AND CORE_ADDR addr AND int mainline AND unsigned int dbfoff AND unsigned int dbsize AND unsigned int lnoffset AND unsigned int lnsize AND struct objfile *objfile) { struct cleanup *back_to; dbbase = xmalloc (dbsize); dbroff = 0; if ((lseek (desc, dbfoff, 0) != dbfoff) || (read (desc, dbbase, dbsize) != dbsize)) { free (dbbase); error ("can't read DWARF data from '%s'", filename); } back_to = make_cleanup (free, dbbase); /* If we are reinitializing, or if we have never loaded syms yet, init. Since we have no idea how many DIES we are looking at, we just guess some arbitrary value. */ if (mainline || global_psymbols.size == 0 || static_psymbols.size == 0) { init_psymbol_list (1024); } /* Follow the compilation unit sibling chain, building a partial symbol table entry for each one. Save enough information about each compilation unit to locate the full DWARF information later. */ scan_compilation_units (filename, addr, dbbase, dbbase + dbsize, dbfoff, lnoffset, objfile); do_cleanups (back_to); } /* LOCAL FUNCTION record_misc_function -- add entry to miscellaneous function vector SYNOPSIS static void record_misc_function (char *name, CORE_ADDR address, enum misc_function_type mf_type) DESCRIPTION Given a pointer to the name of a symbol that should be added to the miscellaneous function vector, and the address associated with that symbol, records this information for later use in building the miscellaneous function vector. */ static void DEFUN(record_misc_function, (name, address, mf_type), char *name AND CORE_ADDR address AND enum misc_function_type mf_type) { prim_record_misc_function (obsavestring (name, strlen (name)), address, mf_type); } /* LOCAL FUNCTION dwarfwarn -- issue a DWARF related warning DESCRIPTION Issue warnings about DWARF related things that aren't serious enough to warrant aborting with an error, but should not be ignored either. This includes things like detectable corruption in DIE's, missing DIE's, unimplemented features, etc. In general, running across tags or attributes that we don't recognize is not considered to be a problem and we should not issue warnings about such. NOTES We mostly follow the example of the error() routine, but without returning to command level. It is arguable about whether warnings should be issued at all, and if so, where they should go (stdout or stderr). We assume that curdie is valid and contains at least the basic information for the DIE where the problem was noticed. */ #ifdef __STDC__ static void DEFUN(dwarfwarn, (fmt), char *fmt DOTS) { va_list ap; va_start (ap, fmt); warning_setup (); fprintf (stderr, "DWARF warning (ref 0x%x): ", curdie -> dieref); if (curdie -> at_name) { fprintf (stderr, "'%s': ", curdie -> at_name); } vfprintf (stderr, fmt, ap); fprintf (stderr, "\n"); fflush (stderr); va_end (ap); } #else static void dwarfwarn (va_alist) va_dcl { va_list ap; char *fmt; va_start (ap); fmt = va_arg (ap, char *); warning_setup (); fprintf (stderr, "DWARF warning (ref 0x%x): ", curdie -> dieref); if (curdie -> at_name) { fprintf (stderr, "'%s': ", curdie -> at_name); } vfprintf (stderr, fmt, ap); fprintf (stderr, "\n"); fflush (stderr); va_end (ap); } #endif /* LOCAL FUNCTION compare_psymbols -- compare two partial symbols by name DESCRIPTION Given pointer to two partial symbol table entries, compare them by name and return -N, 0, or +N (ala strcmp). Typically used by sorting routines like qsort(). NOTES This is a copy from dbxread.c. It should be moved to a generic gdb file and made available for all psymtab builders (FIXME). Does direct compare of first two characters before punting and passing to strcmp for longer compares. Note that the original version had a bug whereby two null strings or two identically named one character strings would return the comparison of memory following the null byte. */ static int DEFUN(compare_psymbols, (s1, s2), struct partial_symbol *s1 AND struct partial_symbol *s2) { register char *st1 = SYMBOL_NAME (s1); register char *st2 = SYMBOL_NAME (s2); if ((st1[0] - st2[0]) || !st1[0]) { return (st1[0] - st2[0]); } else if ((st1[1] - st2[1]) || !st1[1]) { return (st1[1] - st2[1]); } else { return (strcmp (st1 + 2, st2 + 2)); } } /* LOCAL FUNCTION read_lexical_block_scope -- process all dies in a lexical block SYNOPSIS static void read_lexical_block_scope (struct dieinfo *dip, char *thisdie, char *enddie) DESCRIPTION Process all the DIES contained within a lexical block scope. Start a new scope, process the dies, and then close the scope. */ static void DEFUN(read_lexical_block_scope, (dip, thisdie, enddie, objfile), struct dieinfo *dip AND char *thisdie AND char *enddie AND struct objfile *objfile) { openscope (NULL, dip -> at_low_pc, dip -> at_high_pc); process_dies (thisdie + dip -> dielength, enddie, objfile); closescope (); } /* LOCAL FUNCTION lookup_utype -- look up a user defined type from die reference SYNOPSIS static type *lookup_utype (DIEREF dieref) DESCRIPTION Given a DIE reference, lookup the user defined type associated with that DIE, if it has been registered already. If not registered, then return NULL. Alloc_utype() can be called to register an empty type for this reference, which will be filled in later when the actual referenced DIE is processed. */ static struct type * DEFUN(lookup_utype, (dieref), DIEREF dieref) { struct type *type = NULL; int utypeidx; utypeidx = (dieref - dbroff) / 4; if ((utypeidx < 0) || (utypeidx >= numutypes)) { dwarfwarn ("reference to DIE (0x%x) outside compilation unit", dieref); } else { type = *(utypes + utypeidx); } return (type); } /* LOCAL FUNCTION alloc_utype -- add a user defined type for die reference SYNOPSIS static type *alloc_utype (DIEREF dieref, struct type *utypep) DESCRIPTION Given a die reference DIEREF, and a possible pointer to a user defined type UTYPEP, register that this reference has a user defined type and either use the specified type in UTYPEP or make a new empty type that will be filled in later. We should only be called after calling lookup_utype() to verify that there is not currently a type registered for DIEREF. */ static struct type * DEFUN(alloc_utype, (dieref, utypep), DIEREF dieref AND struct type *utypep) { struct type **typep; int utypeidx; utypeidx = (dieref - dbroff) / 4; typep = utypes + utypeidx; if ((utypeidx < 0) || (utypeidx >= numutypes)) { utypep = builtin_type_int; dwarfwarn ("reference to DIE (0x%x) outside compilation unit", dieref); } else if (*typep != NULL) { utypep = *typep; SQUAWK (("internal error: dup user type allocation")); } else { if (utypep == NULL) { utypep = (struct type *) obstack_alloc (symbol_obstack, sizeof (struct type)); (void) memset (utypep, 0, sizeof (struct type)); } *typep = utypep; } return (utypep); } /* LOCAL FUNCTION decode_die_type -- return a type for a specified die SYNOPSIS static struct type *decode_die_type (struct dieinfo *dip) DESCRIPTION Given a pointer to a die information structure DIP, decode the type of the die and return a pointer to the decoded type. All dies without specific types default to type int. */ static struct type * DEFUN(decode_die_type, (dip), struct dieinfo *dip) { struct type *type = NULL; if (dip -> at_fund_type != 0) { type = decode_fund_type (dip -> at_fund_type); } else if (dip -> at_mod_fund_type != NULL) { type = decode_mod_fund_type (dip -> at_mod_fund_type); } else if (dip -> at_user_def_type) { if ((type = lookup_utype (dip -> at_user_def_type)) == NULL) { type = alloc_utype (dip -> at_user_def_type, NULL); } } else if (dip -> at_mod_u_d_type) { type = decode_mod_u_d_type (dip -> at_mod_u_d_type); } else { type = builtin_type_int; } return (type); } /* LOCAL FUNCTION struct_type -- compute and return the type for a struct or union SYNOPSIS static struct type *struct_type (struct dieinfo *dip, char *thisdie, char *enddie) DESCRIPTION Given pointer to a die information structure for a die which defines a union or structure, and pointers to the raw die data that define the range of dies which define the members, compute and return the user defined type for the structure or union. */ static struct type * DEFUN(struct_type, (dip, thisdie, enddie), struct dieinfo *dip AND char *thisdie AND char *enddie) { struct type *type; struct nextfield { struct nextfield *next; struct field field; }; struct nextfield *list = NULL; struct nextfield *new; int nfields = 0; int n; char *tpart1; char *tpart2; char *tpart3; struct dieinfo mbr; if ((type = lookup_utype (dip -> dieref)) == NULL) { type = alloc_utype (dip -> dieref, NULL); } switch (dip -> dietag) { case TAG_structure_type: TYPE_CODE (type) = TYPE_CODE_STRUCT; TYPE_CPLUS_SPECIFIC (type) = (struct cplus_struct_type *) obstack_alloc (symbol_obstack, sizeof (struct cplus_struct_type)); bzero (TYPE_CPLUS_SPECIFIC (type), sizeof (struct cplus_struct_type)); tpart1 = "struct "; break; case TAG_union_type: TYPE_CODE (type) = TYPE_CODE_UNION; tpart1 = "union "; break; default: tpart1 = ""; SQUAWK (("missing structure or union tag")); TYPE_CODE (type) = TYPE_CODE_UNDEF; break; } if (dip -> at_name == NULL) { tpart2 = "{...}"; } else { tpart2 = dip -> at_name; } if (dip -> at_byte_size == 0) { tpart3 = " "; } else { TYPE_LENGTH (type) = dip -> at_byte_size; tpart3 = ""; } TYPE_NAME (type) = concat (tpart1, tpart2, tpart3, NULL); thisdie += dip -> dielength; while (thisdie < enddie) { basicdieinfo (&mbr, thisdie); completedieinfo (&mbr); if (mbr.dielength <= sizeof (long)) { break; } switch (mbr.dietag) { case TAG_member: /* Get space to record the next field's data. */ new = (struct nextfield *) alloca (sizeof (struct nextfield)); new -> next = list; list = new; /* Save the data. */ list -> field.name = savestring (mbr.at_name, strlen (mbr.at_name)); list -> field.type = decode_die_type (&mbr); list -> field.bitpos = 8 * locval (mbr.at_location); list -> field.bitsize = 0; nfields++; break; default: SQUAWK (("bad member of '%s'", TYPE_NAME (type))); break; } thisdie += mbr.dielength; } /* Now create the vector of fields, and record how big it is. */ TYPE_NFIELDS (type) = nfields; TYPE_FIELDS (type) = (struct field *) obstack_alloc (symbol_obstack, sizeof (struct field) * nfields); /* Copy the saved-up fields into the field vector. */ for (n = nfields; list; list = list -> next) { TYPE_FIELD (type, --n) = list -> field; } return (type); } /* LOCAL FUNCTION read_structure_scope -- process all dies within struct or union SYNOPSIS static void read_structure_scope (struct dieinfo *dip, char *thisdie, char *enddie) DESCRIPTION Called when we find the DIE that starts a structure or union scope (definition) to process all dies that define the members of the structure or union. DIP is a pointer to the die info struct for the DIE that names the structure or union. NOTES Note that we need to call struct_type regardless of whether or not we have a symbol, since we might have a structure or union without a tag name (thus no symbol for the tagname). */ static void DEFUN(read_structure_scope, (dip, thisdie, enddie), struct dieinfo *dip AND char *thisdie AND char *enddie) { struct type *type; struct symbol *sym; type = struct_type (dip, thisdie, enddie); if ((sym = new_symbol (dip)) != NULL) { SYMBOL_TYPE (sym) = type; } } /* LOCAL FUNCTION decode_array_element_type -- decode type of the array elements SYNOPSIS static struct type *decode_array_element_type (char *scan, char *end) DESCRIPTION As the last step in decoding the array subscript information for an array DIE, we need to decode the type of the array elements. We are passed a pointer to this last part of the subscript information and must return the appropriate type. If the type attribute is not recognized, just warn about the problem and return type int. */ static struct type * DEFUN(decode_array_element_type, (scan, end), char *scan AND char *end) { struct type *typep; short attribute; DIEREF dieref; unsigned short fundtype; (void) memcpy (&attribute, scan, sizeof (short)); scan += sizeof (short); switch (attribute) { case AT_fund_type: (void) memcpy (&fundtype, scan, sizeof (short)); typep = decode_fund_type (fundtype); break; case AT_mod_fund_type: typep = decode_mod_fund_type (scan); break; case AT_user_def_type: (void) memcpy (&dieref, scan, sizeof (DIEREF)); if ((typep = lookup_utype (dieref)) == NULL) { typep = alloc_utype (dieref, NULL); } break; case AT_mod_u_d_type: typep = decode_mod_u_d_type (scan); break; default: SQUAWK (("bad array element type attribute 0x%x", attribute)); typep = builtin_type_int; break; } return (typep); } /* LOCAL FUNCTION decode_subscr_data -- decode array subscript and element type data SYNOPSIS static struct type *decode_subscr_data (char *scan, char *end) DESCRIPTION The array subscripts and the data type of the elements of an array are described by a list of data items, stored as a block of contiguous bytes. There is a data item describing each array dimension, and a final data item describing the element type. The data items are ordered the same as their appearance in the source (I.E. leftmost dimension first, next to leftmost second, etc). We are passed a pointer to the start of the block of bytes containing the data items, and a pointer to the first byte past the data. This function decodes the data and returns a type. BUGS FIXME: This code only implements the forms currently used by the AT&T and GNU C compilers. The end pointer is supplied for error checking, maybe we should use it for that... */ static struct type * DEFUN(decode_subscr_data, (scan, end), char *scan AND char *end) { struct type *typep = NULL; struct type *nexttype; int format; short fundtype; long lowbound; long highbound; format = *scan++; switch (format) { case FMT_ET: typep = decode_array_element_type (scan, end); break; case FMT_FT_C_C: (void) memcpy (&fundtype, scan, sizeof (short)); scan += sizeof (short); if (fundtype != FT_integer && fundtype != FT_signed_integer && fundtype != FT_unsigned_integer) { SQUAWK (("array subscripts must be integral types, not type 0x%x", fundtype)); } else { (void) memcpy (&lowbound, scan, sizeof (long)); scan += sizeof (long); (void) memcpy (&highbound, scan, sizeof (long)); scan += sizeof (long); nexttype = decode_subscr_data (scan, end); if (nexttype != NULL) { typep = (struct type *) obstack_alloc (symbol_obstack, sizeof (struct type)); (void) memset (typep, 0, sizeof (struct type)); TYPE_CODE (typep) = TYPE_CODE_ARRAY; TYPE_LENGTH (typep) = TYPE_LENGTH (nexttype); TYPE_LENGTH (typep) *= lowbound + highbound + 1; TYPE_TARGET_TYPE (typep) = nexttype; } } break; case FMT_FT_C_X: case FMT_FT_X_C: case FMT_FT_X_X: case FMT_UT_C_C: case FMT_UT_C_X: case FMT_UT_X_C: case FMT_UT_X_X: SQUAWK (("array subscript format 0x%x not handled yet", format)); break; default: SQUAWK (("unknown array subscript format %x", format)); break; } return (typep); } /* LOCAL FUNCTION read_array_type -- read TAG_array_type DIE SYNOPSIS static void read_array_type (struct dieinfo *dip) DESCRIPTION Extract all information from a TAG_array_type DIE and add to the user defined type vector. */ static void DEFUN(read_array_type, (dip), struct dieinfo *dip) { struct type *type; char *sub; char *subend; short temp; if (dip -> at_ordering != ORD_row_major) { /* FIXME: Can gdb even handle column major arrays? */ SQUAWK (("array not row major; not handled correctly")); } if ((sub = dip -> at_subscr_data) != NULL) { (void) memcpy (&temp, sub, sizeof (short)); subend = sub + sizeof (short) + temp; sub += sizeof (short); type = decode_subscr_data (sub, subend); if (type == NULL) { type = alloc_utype (dip -> dieref, NULL); TYPE_CODE (type) = TYPE_CODE_ARRAY; TYPE_TARGET_TYPE (type) = builtin_type_int; TYPE_LENGTH (type) = 1 * TYPE_LENGTH (TYPE_TARGET_TYPE (type)); } else { type = alloc_utype (dip -> dieref, type); } } } /* LOCAL FUNCTION read_subroutine_type -- process TAG_subroutine_type dies SYNOPSIS static void read_subroutine_type (struct dieinfo *dip, char thisdie, char *enddie) DESCRIPTION Handle DIES due to C code like: struct foo { int (*funcp)(int a, long l); (Generates TAG_subroutine_type DIE) int b; }; NOTES The parameter DIES are currently ignored. See if gdb has a way to include this info in it's type system, and decode them if so. Is this what the type structure's "arg_types" field is for? (FIXME) */ static void DEFUN(read_subroutine_type, (dip, thisdie, enddie), struct dieinfo *dip AND char *thisdie AND char *enddie) { struct type *type; type = decode_die_type (dip); type = lookup_function_type (type); type = alloc_utype (dip -> dieref, type); } /* LOCAL FUNCTION read_enumeration -- process dies which define an enumeration SYNOPSIS static void read_enumeration (struct dieinfo *dip, char *thisdie, char *enddie) DESCRIPTION Given a pointer to a die which begins an enumeration, process all the dies that define the members of the enumeration. NOTES Note that we need to call enum_type regardless of whether or not we have a symbol, since we might have an enum without a tag name (thus no symbol for the tagname). */ static void DEFUN(read_enumeration, (dip, thisdie, enddie), struct dieinfo *dip AND char *thisdie AND char *enddie) { struct type *type; struct symbol *sym; type = enum_type (dip); if ((sym = new_symbol (dip)) != NULL) { SYMBOL_TYPE (sym) = type; } } /* LOCAL FUNCTION enum_type -- decode and return a type for an enumeration SYNOPSIS static type *enum_type (struct dieinfo *dip) DESCRIPTION Given a pointer to a die information structure for the die which starts an enumeration, process all the dies that define the members of the enumeration and return a type pointer for the enumeration. */ static struct type * DEFUN(enum_type, (dip), struct dieinfo *dip) { struct type *type; struct nextfield { struct nextfield *next; struct field field; }; struct nextfield *list = NULL; struct nextfield *new; int nfields = 0; int n; char *tpart1; char *tpart2; char *tpart3; char *scan; char *listend; long temp; if ((type = lookup_utype (dip -> dieref)) == NULL) { type = alloc_utype (dip -> dieref, NULL); } TYPE_CODE (type) = TYPE_CODE_ENUM; tpart1 = "enum "; if (dip -> at_name == NULL) { tpart2 = "{...}"; } else { tpart2 = dip -> at_name; } if (dip -> at_byte_size == 0) { tpart3 = " "; } else { TYPE_LENGTH (type) = dip -> at_byte_size; tpart3 = ""; } TYPE_NAME (type) = concat (tpart1, tpart2, tpart3, NULL); if ((scan = dip -> at_element_list) != NULL) { (void) memcpy (&temp, scan, sizeof (temp)); listend = scan + temp + sizeof (temp); scan += sizeof (temp); while (scan < listend) { new = (struct nextfield *) alloca (sizeof (struct nextfield)); new -> next = list; list = new; list -> field.type = NULL; list -> field.bitsize = 0; (void) memcpy (&list -> field.bitpos, scan, sizeof (long)); scan += sizeof (long); list -> field.name = savestring (scan, strlen (scan)); scan += strlen (scan) + 1; nfields++; } } /* Now create the vector of fields, and record how big it is. */ TYPE_NFIELDS (type) = nfields; TYPE_FIELDS (type) = (struct field *) obstack_alloc (symbol_obstack, sizeof (struct field) * nfields); /* Copy the saved-up fields into the field vector. */ for (n = nfields; list; list = list -> next) { TYPE_FIELD (type, --n) = list -> field; } return (type); } /* LOCAL FUNCTION read_func_scope -- process all dies within a function scope DESCRIPTION Process all dies within a given function scope. We are passed a die information structure pointer DIP for the die which starts the function scope, and pointers into the raw die data that define the dies within the function scope. For now, we ignore lexical block scopes within the function. The problem is that AT&T cc does not define a DWARF lexical block scope for the function itself, while gcc defines a lexical block scope for the function. We need to think about how to handle this difference, or if it is even a problem. (FIXME) */ static void DEFUN(read_func_scope, (dip, thisdie, enddie, objfile), struct dieinfo *dip AND char *thisdie AND char *enddie AND struct objfile *objfile) { struct symbol *sym; if (entry_point >= dip -> at_low_pc && entry_point < dip -> at_high_pc) { entry_scope_lowpc = dip -> at_low_pc; entry_scope_highpc = dip -> at_high_pc; } if (strcmp (dip -> at_name, "main") == 0) /* FIXME: hardwired name */ { main_scope_lowpc = dip -> at_low_pc; main_scope_highpc = dip -> at_high_pc; } sym = new_symbol (dip); openscope (sym, dip -> at_low_pc, dip -> at_high_pc); process_dies (thisdie + dip -> dielength, enddie, objfile); closescope (); } /* LOCAL FUNCTION read_file_scope -- process all dies within a file scope DESCRIPTION Process all dies within a given file scope. We are passed a pointer to the die information structure for the die which starts the file scope, and pointers into the raw die data which mark the range of dies within the file scope. When the partial symbol table is built, the file offset for the line number table for each compilation unit is saved in the partial symbol table entry for that compilation unit. As the symbols for each compilation unit are read, the line number table is read into memory and the variable lnbase is set to point to it. Thus all we have to do is use lnbase to access the line number table for the current compilation unit. */ static void DEFUN(read_file_scope, (dip, thisdie, enddie, objfile), struct dieinfo *dip AND char *thisdie AND char *enddie AND struct objfile *objfile) { struct cleanup *back_to; if (entry_point >= dip -> at_low_pc && entry_point < dip -> at_high_pc) { startup_file_start = dip -> at_low_pc; startup_file_end = dip -> at_high_pc; } numutypes = (enddie - thisdie) / 4; utypes = (struct type **) xmalloc (numutypes * sizeof (struct type *)); back_to = make_cleanup (free, utypes); (void) memset (utypes, 0, numutypes * sizeof (struct type *)); start_symtab (); openscope (NULL, dip -> at_low_pc, dip -> at_high_pc); decode_line_numbers (lnbase); process_dies (thisdie + dip -> dielength, enddie, objfile); closescope (); end_symtab (dip -> at_name, dip -> at_language, objfile); do_cleanups (back_to); utypes = NULL; numutypes = 0; } /* LOCAL FUNCTION start_symtab -- do initialization for starting new symbol table SYNOPSIS static void start_symtab (void) DESCRIPTION Called whenever we are starting to process dies for a new compilation unit, to perform initializations. Right now the only thing we really have to do is initialize storage space for the line number vector. */ static void DEFUN_VOID (start_symtab) { int nbytes; line_vector_index = 0; line_vector_length = 1000; nbytes = sizeof (struct linetable); nbytes += line_vector_length * sizeof (struct linetable_entry); line_vector = (struct linetable *) xmalloc (nbytes); } /* LOCAL FUNCTION process_dies -- process a range of DWARF Information Entries SYNOPSIS static void process_dies (char *thisdie, char *enddie) DESCRIPTION Process all DIE's in a specified range. May be (and almost certainly will be) called recursively. */ static void DEFUN(process_dies, (thisdie, enddie, objfile), char *thisdie AND char *enddie AND struct objfile *objfile) { char *nextdie; struct dieinfo di; while (thisdie < enddie) { basicdieinfo (&di, thisdie); if (di.dielength < sizeof (long)) { break; } else if (di.dietag == TAG_padding) { nextdie = thisdie + di.dielength; } else { completedieinfo (&di); if (di.at_sibling != 0) { nextdie = dbbase + di.at_sibling - dbroff; } else { nextdie = thisdie + di.dielength; } switch (di.dietag) { case TAG_compile_unit: read_file_scope (&di, thisdie, nextdie, objfile); break; case TAG_global_subroutine: case TAG_subroutine: if (!di.at_is_external_p) { read_func_scope (&di, thisdie, nextdie, objfile); } break; case TAG_lexical_block: read_lexical_block_scope (&di, thisdie, nextdie, objfile); break; case TAG_structure_type: case TAG_union_type: read_structure_scope (&di, thisdie, nextdie); break; case TAG_enumeration_type: read_enumeration (&di, thisdie, nextdie); break; case TAG_subroutine_type: read_subroutine_type (&di, thisdie, nextdie); break; case TAG_array_type: read_array_type (&di); break; default: (void) new_symbol (&di); break; } } thisdie = nextdie; } } /* LOCAL FUNCTION end_symtab -- finish processing for a compilation unit SYNOPSIS static void end_symtab (char *filename, long language) DESCRIPTION Complete the symbol table entry for the current compilation unit. Make the struct symtab and put it on the list of all such symtabs. */ static void DEFUN(end_symtab, (filename, language, objfile), char *filename AND long language AND struct objfile *objfile) { struct symtab *symtab; struct blockvector *blockvector; int nbytes; /* Ignore a file that has no functions with real debugging info. */ if (global_symbols == NULL && scopetree -> block == NULL) { free (line_vector); line_vector = NULL; line_vector_length = -1; freescope (scopetree); scope = scopetree = NULL; } /* Create the blockvector that points to all the file's blocks. */ blockvector = make_blockvector (); /* Now create the symtab object for this source file. */ symtab = allocate_symtab (savestring (filename, strlen (filename)), objfile); symtab -> free_ptr = 0; /* Fill in its components. */ symtab -> blockvector = blockvector; symtab -> free_code = free_linetable; /* Save the line number information. */ line_vector -> nitems = line_vector_index; nbytes = sizeof (struct linetable); if (line_vector_index > 1) { nbytes += (line_vector_index - 1) * sizeof (struct linetable_entry); } symtab -> linetable = (struct linetable *) xrealloc (line_vector, nbytes); /* FIXME: The following may need to be expanded for other languages */ switch (language) { case LANG_C89: case LANG_C: symtab -> language = language_c; break; case LANG_C_PLUS_PLUS: symtab -> language = language_cplus; break; default: ; } /* Link the new symtab into the list of such. */ symtab -> next = symtab_list; symtab_list = symtab; /* Recursively free the scope tree */ freescope (scopetree); scope = scopetree = NULL; /* Reinitialize for beginning of new file. */ line_vector = 0; line_vector_length = -1; } /* LOCAL FUNCTION scopecount -- count the number of enclosed scopes SYNOPSIS static int scopecount (struct scopenode *node) DESCRIPTION Given pointer to a node, compute the size of the subtree which is rooted in this node, which also happens to be the number of scopes to the subtree. */ static int DEFUN(scopecount, (node), struct scopenode *node) { int count = 0; if (node != NULL) { count += scopecount (node -> child); count += scopecount (node -> sibling); count++; } return (count); } /* LOCAL FUNCTION openscope -- start a new lexical block scope SYNOPSIS static void openscope (struct symbol *namesym, CORE_ADDR lowpc, CORE_ADDR highpc) DESCRIPTION Start a new scope by allocating a new scopenode, adding it as the next child of the current scope (if any) or as the root of the scope tree, and then making the new node the current scope node. */ static void DEFUN(openscope, (namesym, lowpc, highpc), struct symbol *namesym AND CORE_ADDR lowpc AND CORE_ADDR highpc) { struct scopenode *new; struct scopenode *child; new = (struct scopenode *) xmalloc (sizeof (*new)); (void) memset (new, 0, sizeof (*new)); new -> namesym = namesym; new -> lowpc = lowpc; new -> highpc = highpc; if (scope == NULL) { scopetree = new; } else if ((child = scope -> child) == NULL) { scope -> child = new; new -> parent = scope; } else { while (child -> sibling != NULL) { child = child -> sibling; } child -> sibling = new; new -> parent = scope; } scope = new; } /* LOCAL FUNCTION freescope -- free a scope tree rooted at the given node SYNOPSIS static void freescope (struct scopenode *node) DESCRIPTION Given a pointer to a node in the scope tree, free the subtree rooted at that node. First free all the children and sibling nodes, and then the node itself. Used primarily for cleaning up after ourselves and returning memory to the system. */ static void DEFUN(freescope, (node), struct scopenode *node) { if (node != NULL) { freescope (node -> child); freescope (node -> sibling); free (node); } } /* LOCAL FUNCTION buildblock -- build a new block from pending symbols list SYNOPSIS static struct block *buildblock (struct pending_symbol *syms) DESCRIPTION Given a pointer to a list of symbols, build a new block and free the symbol list structure. Also check each symbol to see if it is the special symbol that flags that this block was compiled by gcc, and if so, mark the block appropriately. */ static struct block * DEFUN(buildblock, (syms), struct pending_symbol *syms) { struct pending_symbol *next, *next1; int i; struct block *newblock; int nbytes; for (next = syms, i = 0 ; next ; next = next -> next, i++) {;} /* Allocate a new block */ nbytes = sizeof (struct block); if (i > 1) { nbytes += (i - 1) * sizeof (struct symbol *); } newblock = (struct block *) obstack_alloc (symbol_obstack, nbytes); (void) memset (newblock, 0, nbytes); /* Copy the symbols into the block. */ BLOCK_NSYMS (newblock) = i; for (next = syms ; next ; next = next -> next) { BLOCK_SYM (newblock, --i) = next -> symbol; if (STREQ (GCC_COMPILED_FLAG_SYMBOL, SYMBOL_NAME (next -> symbol)) || STREQ (GCC2_COMPILED_FLAG_SYMBOL, SYMBOL_NAME (next -> symbol))) { BLOCK_GCC_COMPILED (newblock) = 1; } } /* Now free the links of the list, and empty the list. */ for (next = syms ; next ; next = next1) { next1 = next -> next; free (next); } return (newblock); } /* LOCAL FUNCTION closescope -- close a lexical block scope SYNOPSIS static void closescope (void) DESCRIPTION Close the current lexical block scope. Closing the current scope is as simple as moving the current scope pointer up to the parent of the current scope pointer. But we also take this opportunity to build the block for the current scope first, since we now have all of it's symbols. */ static void DEFUN_VOID(closescope) { struct scopenode *child; if (scope == NULL) { error ("DWARF parse error, too many close scopes"); } else { if (scope -> parent == NULL) { global_symbol_block = buildblock (global_symbols); global_symbols = NULL; BLOCK_START (global_symbol_block) = scope -> lowpc + baseaddr; BLOCK_END (global_symbol_block) = scope -> highpc + baseaddr; } scope -> block = buildblock (scope -> symbols); scope -> symbols = NULL; BLOCK_START (scope -> block) = scope -> lowpc + baseaddr; BLOCK_END (scope -> block) = scope -> highpc + baseaddr; /* Put the local block in as the value of the symbol that names it. */ if (scope -> namesym) { SYMBOL_BLOCK_VALUE (scope -> namesym) = scope -> block; BLOCK_FUNCTION (scope -> block) = scope -> namesym; } /* Install this scope's local block as the superblock of all child scope blocks. */ for (child = scope -> child ; child ; child = child -> sibling) { BLOCK_SUPERBLOCK (child -> block) = scope -> block; } scope = scope -> parent; } } /* LOCAL FUNCTION record_line -- record a line number entry in the line vector SYNOPSIS static void record_line (int line, CORE_ADDR pc) DESCRIPTION Given a line number and the corresponding pc value, record this pair in the line number vector, expanding the vector as necessary. */ static void DEFUN(record_line, (line, pc), int line AND CORE_ADDR pc) { struct linetable_entry *e; int nbytes; /* Make sure line vector is big enough. */ if (line_vector_index + 2 >= line_vector_length) { line_vector_length *= 2; nbytes = sizeof (struct linetable); nbytes += (line_vector_length * sizeof (struct linetable_entry)); line_vector = (struct linetable *) xrealloc (line_vector, nbytes); } e = line_vector -> item + line_vector_index++; e -> line = line; e -> pc = pc; } /* LOCAL FUNCTION decode_line_numbers -- decode a line number table fragment SYNOPSIS static void decode_line_numbers (char *tblscan, char *tblend, long length, long base, long line, long pc) DESCRIPTION Translate the DWARF line number information to gdb form. The ".line" section contains one or more line number tables, one for each ".line" section from the objects that were linked. The AT_stmt_list attribute for each TAG_source_file entry in the ".debug" section contains the offset into the ".line" section for the start of the table for that file. The table itself has the following structure: 4 bytes 4 bytes 10 bytes The table length is the total size of the table, including the 4 bytes for the length information. The base address is the address of the first instruction generated for the source file. Each source statement entry has the following structure:
4 bytes 2 bytes 4 bytes The line number is relative to the start of the file, starting with line 1. The statement position either -1 (0xFFFF) or the number of characters from the beginning of the line to the beginning of the statement. The address delta is the difference between the base address and the address of the first instruction for the statement. Note that we must copy the bytes from the packed table to our local variables before attempting to use them, to avoid alignment problems on some machines, particularly RISC processors. BUGS Does gdb expect the line numbers to be sorted? They are now by chance/luck, but are not required to be. (FIXME) The line with number 0 is unused, gdb apparently can discover the span of the last line some other way. How? (FIXME) */ static void DEFUN(decode_line_numbers, (linetable), char *linetable) { char *tblscan; char *tblend; long length; long base; long line; long pc; if (linetable != NULL) { tblscan = tblend = linetable; (void) memcpy (&length, tblscan, sizeof (long)); tblscan += sizeof (long); tblend += length; (void) memcpy (&base, tblscan, sizeof (long)); base += baseaddr; tblscan += sizeof (long); while (tblscan < tblend) { (void) memcpy (&line, tblscan, sizeof (long)); tblscan += sizeof (long) + sizeof (short); (void) memcpy (&pc, tblscan, sizeof (long)); tblscan += sizeof (long); pc += base; if (line > 0) { record_line (line, pc); } } } } /* LOCAL FUNCTION add_symbol_to_list -- add a symbol to head of current symbol list SYNOPSIS static void add_symbol_to_list (struct symbol *symbol, struct pending_symbol **listhead) DESCRIPTION Given a pointer to a symbol and a pointer to a pointer to a list of symbols, add this symbol as the current head of the list. Typically used for example to add a symbol to the symbol list for the current scope. */ static void DEFUN(add_symbol_to_list, (symbol, listhead), struct symbol *symbol AND struct pending_symbol **listhead) { struct pending_symbol *link; if (symbol != NULL) { link = (struct pending_symbol *) xmalloc (sizeof (*link)); link -> next = *listhead; link -> symbol = symbol; *listhead = link; } } /* LOCAL FUNCTION gatherblocks -- walk a scope tree and build block vectors SYNOPSIS static struct block **gatherblocks (struct block **dest, struct scopenode *node) DESCRIPTION Recursively walk a scope tree rooted in the given node, adding blocks to the array pointed to by DEST, in preorder. I.E., first we add the block for the current scope, then all the blocks for child scopes, and finally all the blocks for sibling scopes. */ static struct block ** DEFUN(gatherblocks, (dest, node), struct block **dest AND struct scopenode *node) { if (node != NULL) { *dest++ = node -> block; dest = gatherblocks (dest, node -> child); dest = gatherblocks (dest, node -> sibling); } return (dest); } /* LOCAL FUNCTION make_blockvector -- make a block vector from current scope tree SYNOPSIS static struct blockvector *make_blockvector (void) DESCRIPTION Make a blockvector from all the blocks in the current scope tree. The first block is always the global symbol block, followed by the block for the root of the scope tree which is the local symbol block, followed by all the remaining blocks in the scope tree, which are all local scope blocks. NOTES Note that since the root node of the scope tree is created at the time each file scope is entered, there are always at least two blocks, neither of which may have any symbols, but always contribute a block to the block vector. So the test for number of blocks greater than 1 below is unnecessary given bug free code. The resulting block structure varies slightly from that produced by dbxread.c, in that block 0 and block 1 are sibling blocks while with dbxread.c, block 1 is a child of block 0. This does not seem to cause any problems, but probably should be fixed. (FIXME) */ static struct blockvector * DEFUN_VOID(make_blockvector) { struct blockvector *blockvector = NULL; int i; int nbytes; /* Recursively walk down the tree, counting the number of blocks. Then add one to account for the global's symbol block */ i = scopecount (scopetree) + 1; nbytes = sizeof (struct blockvector); if (i > 1) { nbytes += (i - 1) * sizeof (struct block *); } blockvector = (struct blockvector *) obstack_alloc (symbol_obstack, nbytes); /* Copy the blocks into the blockvector. */ BLOCKVECTOR_NBLOCKS (blockvector) = i; BLOCKVECTOR_BLOCK (blockvector, 0) = global_symbol_block; gatherblocks (&BLOCKVECTOR_BLOCK (blockvector, 1), scopetree); return (blockvector); } /* LOCAL FUNCTION locval -- compute the value of a location attribute SYNOPSIS static int locval (char *loc) DESCRIPTION Given pointer to a string of bytes that define a location, compute the location and return the value. When computing values involving the current value of the frame pointer, the value zero is used, which results in a value relative to the frame pointer, rather than the absolute value. This is what GDB wants anyway. When the result is a register number, the global isreg flag is set, otherwise it is cleared. This is a kludge until we figure out a better way to handle the problem. Gdb's design does not mesh well with the DWARF notion of a location computing interpreter, which is a shame because the flexibility goes unused. NOTES Note that stack[0] is unused except as a default error return. Note that stack overflow is not yet handled. */ static int DEFUN(locval, (loc), char *loc) { unsigned short nbytes; auto int stack[64]; int stacki; char *end; long regno; (void) memcpy (&nbytes, loc, sizeof (short)); end = loc + sizeof (short) + nbytes; stacki = 0; stack[stacki] = 0; isreg = 0; for (loc += sizeof (short); loc < end; loc += sizeof (long)) { switch (*loc++) { case 0: /* error */ loc = end; break; case OP_REG: /* push register (number) */ (void) memcpy (&stack[++stacki], loc, sizeof (long)); isreg = 1; break; case OP_BASEREG: /* push value of register (number) */ /* Actually, we compute the value as if register has 0 */ (void) memcpy (®no, loc, sizeof (long)); if (regno == R_FP) { stack[++stacki] = 0; } else { stack[++stacki] = 0; SQUAWK (("BASEREG %d not handled!", regno)); } break; case OP_ADDR: /* push address (relocated address) */ (void) memcpy (&stack[++stacki], loc, sizeof (long)); break; case OP_CONST: /* push constant (number) */ (void) memcpy (&stack[++stacki], loc, sizeof (long)); break; case OP_DEREF2: /* pop, deref and push 2 bytes (as a long) */ SQUAWK (("OP_DEREF2 address %#x not handled", stack[stacki])); break; case OP_DEREF4: /* pop, deref and push 4 bytes (as a long) */ SQUAWK (("OP_DEREF4 address %#x not handled", stack[stacki])); break; case OP_ADD: /* pop top 2 items, add, push result */ stack[stacki - 1] += stack[stacki]; stacki--; break; } } return (stack[stacki]); } /* LOCAL FUNCTION read_ofile_symtab -- build a full symtab entry from chunk of DIE's SYNOPSIS static struct symtab *read_ofile_symtab (struct partial_symtab *pst) DESCRIPTION OFFSET is a relocation offset which gets added to each symbol (FIXME). */ static struct symtab * DEFUN(read_ofile_symtab, (pst), struct partial_symtab *pst) { struct cleanup *back_to; long lnsize; int foffset; bfd *abfd = pst->objfile->obfd; /* Allocate a buffer for the entire chunk of DIE's for this compilation unit, seek to the location in the file, and read in all the DIE's. */ diecount = 0; dbbase = xmalloc (DBLENGTH(pst)); dbroff = DBROFF(pst); foffset = DBFOFF(pst) + dbroff; if (bfd_seek (abfd, foffset, 0) || (bfd_read (dbbase, DBLENGTH(pst), 1, abfd) != DBLENGTH(pst))) { free (dbbase); error ("can't read DWARF data"); } back_to = make_cleanup (free, dbbase); /* If there is a line number table associated with this compilation unit then read the first long word from the line number table fragment, which contains the size of the fragment in bytes (including the long word itself). Allocate a buffer for the fragment and read it in for future processing. */ lnbase = NULL; if (LNFOFF (pst)) { if (bfd_seek (abfd, LNFOFF (pst), 0) || (bfd_read (&lnsize, sizeof(long), 1, abfd) != sizeof(long))) { error ("can't read DWARF line number table size"); } lnbase = xmalloc (lnsize); if (bfd_seek (abfd, LNFOFF (pst), 0) || (bfd_read (lnbase, lnsize, 1, abfd) != lnsize)) { free (lnbase); error ("can't read DWARF line numbers"); } make_cleanup (free, lnbase); } process_dies (dbbase, dbbase + DBLENGTH(pst), pst->objfile); do_cleanups (back_to); return (symtab_list); } /* LOCAL FUNCTION psymtab_to_symtab_1 -- do grunt work for building a full symtab entry SYNOPSIS static void psymtab_to_symtab_1 (struct partial_symtab *pst) DESCRIPTION Called once for each partial symbol table entry that needs to be expanded into a full symbol table entry. */ static void DEFUN(psymtab_to_symtab_1, (pst), struct partial_symtab *pst) { int i; if (!pst) { return; } if (pst->readin) { fprintf (stderr, "Psymtab for %s already read in. Shouldn't happen.\n", pst -> filename); return; } /* Read in all partial symtabs on which this one is dependent */ for (i = 0; i < pst -> number_of_dependencies; i++) if (!pst -> dependencies[i] -> readin) { /* Inform about additional files that need to be read in. */ if (info_verbose) { fputs_filtered (" ", stdout); wrap_here (""); fputs_filtered ("and ", stdout); wrap_here (""); printf_filtered ("%s...", pst -> dependencies[i] -> filename); wrap_here (""); /* Flush output */ fflush (stdout); } psymtab_to_symtab_1 (pst -> dependencies[i]); } if (DBLENGTH(pst)) /* Otherwise it's a dummy */ { /* Init stuff necessary for reading in symbols */ pst -> symtab = read_ofile_symtab (pst); if (info_verbose) { printf_filtered ("%d DIE's, sorting...", diecount); fflush (stdout); } sort_symtab_syms (pst -> symtab); } pst -> readin = 1; } /* LOCAL FUNCTION dwarf_psymtab_to_symtab -- build a full symtab entry from partial one SYNOPSIS static void dwarf_psymtab_to_symtab (struct partial_symtab *pst) DESCRIPTION This is the DWARF support entry point for building a full symbol table entry from a partial symbol table entry. We are passed a pointer to the partial symbol table entry that needs to be expanded. */ static void DEFUN(dwarf_psymtab_to_symtab, (pst), struct partial_symtab *pst) { int desc; bfd *sym_bfd; if (!pst) { return; } if (pst -> readin) { fprintf (stderr, "Psymtab for %s already read in. Shouldn't happen.\n", pst -> filename); return; } if (DBLENGTH(pst) || pst -> number_of_dependencies) { /* Print the message now, before starting serious work, to avoid disconcerting pauses. */ if (info_verbose) { printf_filtered ("Reading in symbols for %s...", pst -> filename); fflush (stdout); } psymtab_to_symtab_1 (pst); #if 0 /* FIXME: Check to see what dbxread is doing here and see if we need to do an equivalent or is this something peculiar to stabs/a.out format. */ /* Match with global symbols. This only needs to be done once, after all of the symtabs and dependencies have been read in. */ scan_file_globals (); #endif /* Finish up the debug error message. */ if (info_verbose) { printf_filtered ("done.\n"); } } } /* LOCAL FUNCTION init_psymbol_list -- initialize storage for partial symbols SYNOPSIS static void init_psymbol_list (int total_symbols) DESCRIPTION Initializes storage for all of the partial symbols that will be created by dwarf_build_psymtabs and subsidiaries. */ static void DEFUN(init_psymbol_list, (total_symbols), int total_symbols) { /* Free any previously allocated psymbol lists. */ if (global_psymbols.list) { free (global_psymbols.list); } if (static_psymbols.list) { free (static_psymbols.list); } /* Current best guess is that there are approximately a twentieth of the total symbols (in a debugging file) are global or static oriented symbols */ global_psymbols.size = total_symbols / 10; static_psymbols.size = total_symbols / 10; global_psymbols.next = global_psymbols.list = (struct partial_symbol *) xmalloc (global_psymbols.size * sizeof (struct partial_symbol)); static_psymbols.next = static_psymbols.list = (struct partial_symbol *) xmalloc (static_psymbols.size * sizeof (struct partial_symbol)); } /* LOCAL FUNCTION start_psymtab -- allocate and partially fill a partial symtab entry DESCRIPTION Allocate and partially fill a partial symtab. It will be completely filled at the end of the symbol list. SYMFILE_NAME is the name of the symbol-file we are reading from, and ADDR is the address relative to which its symbols are (incremental) or 0 (normal). FILENAME is the name of the compilation unit that these symbols were defined in, and they appear starting a address TEXTLOW. DBROFF is the absolute file offset in SYMFILE_NAME where the full symbols can be read for compilation unit FILENAME. GLOBAL_SYMS and STATIC_SYMS are pointers to the current end of the psymtab vector. */ static struct partial_symtab * DEFUN(start_psymtab, (objfile, addr, filename, textlow, texthigh, dbfoff, curoff, culength, lnfoff, global_syms, static_syms), struct objfile *objfile AND CORE_ADDR addr AND char *filename AND CORE_ADDR textlow AND CORE_ADDR texthigh AND int dbfoff AND int curoff AND int culength AND int lnfoff AND struct partial_symbol *global_syms AND struct partial_symbol *static_syms) { struct partial_symtab *result; result = (struct partial_symtab *) obstack_alloc (psymbol_obstack, sizeof (struct partial_symtab)); (void) memset (result, 0, sizeof (struct partial_symtab)); result -> addr = addr; result -> objfile = objfile; result -> filename = create_name (filename, psymbol_obstack); result -> textlow = textlow; result -> texthigh = texthigh; result -> read_symtab_private = (char *) obstack_alloc (psymbol_obstack, sizeof (struct dwfinfo)); DBFOFF (result) = dbfoff; DBROFF (result) = curoff; DBLENGTH (result) = culength; LNFOFF (result) = lnfoff; result -> readin = 0; result -> symtab = NULL; result -> read_symtab = dwarf_psymtab_to_symtab; result -> globals_offset = global_syms - global_psymbols.list; result -> statics_offset = static_syms - static_psymbols.list; result->n_global_syms = 0; result->n_static_syms = 0; return result; } /* LOCAL FUNCTION add_psymbol_to_list -- add a partial symbol to given list DESCRIPTION Add a partial symbol to one of the partial symbol vectors (pointed to by listp). The vector is grown as necessary. */ static void DEFUN(add_psymbol_to_list, (listp, name, space, class, value), struct psymbol_allocation_list *listp AND char *name AND enum namespace space AND enum address_class class AND CORE_ADDR value) { struct partial_symbol *psym; int newsize; if (listp -> next >= listp -> list + listp -> size) { newsize = listp -> size * 2; listp -> list = (struct partial_symbol *) xrealloc (listp -> list, (newsize * sizeof (struct partial_symbol))); /* Next assumes we only went one over. Should be good if program works correctly */ listp -> next = listp -> list + listp -> size; listp -> size = newsize; } psym = listp -> next++; SYMBOL_NAME (psym) = create_name (name, psymbol_obstack); SYMBOL_NAMESPACE (psym) = space; SYMBOL_CLASS (psym) = class; SYMBOL_VALUE (psym) = value; } /* LOCAL FUNCTION add_partial_symbol -- add symbol to partial symbol table DESCRIPTION Given a DIE, if it is one of the types that we want to add to a partial symbol table, finish filling in the die info and then add a partial symbol table entry for it. */ static void DEFUN(add_partial_symbol, (dip), struct dieinfo *dip) { switch (dip -> dietag) { case TAG_global_subroutine: record_misc_function (dip -> at_name, dip -> at_low_pc, mf_text); add_psymbol_to_list (&global_psymbols, dip -> at_name, VAR_NAMESPACE, LOC_BLOCK, dip -> at_low_pc); break; case TAG_global_variable: record_misc_function (dip -> at_name, locval (dip -> at_location), mf_data); add_psymbol_to_list (&global_psymbols, dip -> at_name, VAR_NAMESPACE, LOC_STATIC, 0); break; case TAG_subroutine: add_psymbol_to_list (&static_psymbols, dip -> at_name, VAR_NAMESPACE, LOC_BLOCK, dip -> at_low_pc); break; case TAG_local_variable: add_psymbol_to_list (&static_psymbols, dip -> at_name, VAR_NAMESPACE, LOC_STATIC, 0); break; case TAG_typedef: add_psymbol_to_list (&static_psymbols, dip -> at_name, VAR_NAMESPACE, LOC_TYPEDEF, 0); break; case TAG_structure_type: case TAG_union_type: case TAG_enumeration_type: add_psymbol_to_list (&static_psymbols, dip -> at_name, STRUCT_NAMESPACE, LOC_TYPEDEF, 0); break; } } /* LOCAL FUNCTION scan_partial_symbols -- scan DIE's within a single compilation unit DESCRIPTION Process the DIE's within a single compilation unit, looking for interesting DIE's that contribute to the partial symbol table entry for this compilation unit. Since we cannot follow any sibling chains without reading the complete DIE info for every DIE, it is probably faster to just sequentially check each one to see if it is one of the types we are interested in, and if so, then extracting all the attributes info and generating a partial symbol table entry. */ static void DEFUN(scan_partial_symbols, (thisdie, enddie), char *thisdie AND char *enddie) { char *nextdie; struct dieinfo di; while (thisdie < enddie) { basicdieinfo (&di, thisdie); if (di.dielength < sizeof (long)) { break; } else { nextdie = thisdie + di.dielength; switch (di.dietag) { case TAG_global_subroutine: case TAG_global_variable: case TAG_subroutine: case TAG_local_variable: case TAG_typedef: case TAG_structure_type: case TAG_union_type: case TAG_enumeration_type: completedieinfo (&di); /* Don't attempt to add anonymous structures, unions, or enumerations since they have no name. Also check that this is the place where the actual definition occurs, rather than just a reference to an external. */ if (di.at_name != NULL && !di.at_is_external_p) { add_partial_symbol (&di); } break; } } thisdie = nextdie; } } /* LOCAL FUNCTION scan_compilation_units -- build a psymtab entry for each compilation DESCRIPTION This is the top level dwarf parsing routine for building partial symbol tables. It scans from the beginning of the DWARF table looking for the first TAG_compile_unit DIE, and then follows the sibling chain to locate each additional TAG_compile_unit DIE. For each TAG_compile_unit DIE it creates a partial symtab structure, calls a subordinate routine to collect all the compilation unit's global DIE's, file scope DIEs, typedef DIEs, etc, and then links the new partial symtab structure into the partial symbol table. It also records the appropriate information in the partial symbol table entry to allow the chunk of DIE's and line number table for this compilation unit to be located and re-read later, to generate a complete symbol table entry for the compilation unit. Thus it effectively partitions up a chunk of DIE's for multiple compilation units into smaller DIE chunks and line number tables, and associates them with a partial symbol table entry. NOTES If any compilation unit has no line number table associated with it for some reason (a missing at_stmt_list attribute, rather than just one with a value of zero, which is valid) then we ensure that the recorded file offset is zero so that the routine which later reads line number table fragments knows that there is no fragment to read. RETURNS Returns no value. */ static void DEFUN(scan_compilation_units, (filename, addr, thisdie, enddie, dbfoff, lnoffset, objfile), char *filename AND CORE_ADDR addr AND char *thisdie AND char *enddie AND unsigned int dbfoff AND unsigned int lnoffset AND struct objfile *objfile) { char *nextdie; struct dieinfo di; struct partial_symtab *pst; int culength; int curoff; int curlnoffset; while (thisdie < enddie) { basicdieinfo (&di, thisdie); if (di.dielength < sizeof (long)) { break; } else if (di.dietag != TAG_compile_unit) { nextdie = thisdie + di.dielength; } else { completedieinfo (&di); if (di.at_sibling != 0) { nextdie = dbbase + di.at_sibling - dbroff; } else { nextdie = thisdie + di.dielength; } curoff = thisdie - dbbase; culength = nextdie - thisdie; curlnoffset = di.at_stmt_list_p ? lnoffset + di.at_stmt_list : 0; pst = start_psymtab (objfile, addr, di.at_name, di.at_low_pc, di.at_high_pc, dbfoff, curoff, culength, curlnoffset, global_psymbols.next, static_psymbols.next); scan_partial_symbols (thisdie + di.dielength, nextdie); pst -> n_global_syms = global_psymbols.next - (global_psymbols.list + pst -> globals_offset); pst -> n_static_syms = static_psymbols.next - (static_psymbols.list + pst -> statics_offset); /* Sort the global list; don't sort the static list */ qsort (global_psymbols.list + pst -> globals_offset, pst -> n_global_syms, sizeof (struct partial_symbol), compare_psymbols); /* If there is already a psymtab or symtab for a file of this name, remove it. (If there is a symtab, more drastic things also happen.) This happens in VxWorks. */ free_named_symtabs (pst -> filename); /* Place the partial symtab on the partial symtab list */ pst -> next = partial_symtab_list; partial_symtab_list = pst; } thisdie = nextdie; } } /* LOCAL FUNCTION new_symbol -- make a symbol table entry for a new symbol SYNOPSIS static struct symbol *new_symbol (struct dieinfo *dip) DESCRIPTION Given a pointer to a DWARF information entry, figure out if we need to make a symbol table entry for it, and if so, create a new entry and return a pointer to it. */ static struct symbol * DEFUN(new_symbol, (dip), struct dieinfo *dip) { struct symbol *sym = NULL; if (dip -> at_name != NULL) { sym = (struct symbol *) obstack_alloc (symbol_obstack, sizeof (struct symbol)); (void) memset (sym, 0, sizeof (struct symbol)); SYMBOL_NAME (sym) = create_name (dip -> at_name, symbol_obstack); /* default assumptions */ SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE; SYMBOL_CLASS (sym) = LOC_STATIC; SYMBOL_TYPE (sym) = decode_die_type (dip); switch (dip -> dietag) { case TAG_label: SYMBOL_VALUE (sym) = dip -> at_low_pc + baseaddr; SYMBOL_CLASS (sym) = LOC_LABEL; break; case TAG_global_subroutine: case TAG_subroutine: SYMBOL_VALUE (sym) = dip -> at_low_pc + baseaddr; SYMBOL_TYPE (sym) = lookup_function_type (SYMBOL_TYPE (sym)); SYMBOL_CLASS (sym) = LOC_BLOCK; if (dip -> dietag == TAG_global_subroutine) { add_symbol_to_list (sym, &global_symbols); } else { add_symbol_to_list (sym, &scope -> symbols); } break; case TAG_global_variable: case TAG_local_variable: if (dip -> at_location != NULL) { SYMBOL_VALUE (sym) = locval (dip -> at_location); } if (dip -> dietag == TAG_global_variable) { add_symbol_to_list (sym, &global_symbols); SYMBOL_CLASS (sym) = LOC_STATIC; SYMBOL_VALUE (sym) += baseaddr; } else { add_symbol_to_list (sym, &scope -> symbols); if (scope -> parent != NULL) { if (isreg) { SYMBOL_CLASS (sym) = LOC_REGISTER; } else { SYMBOL_CLASS (sym) = LOC_LOCAL; } } else { SYMBOL_CLASS (sym) = LOC_STATIC; SYMBOL_VALUE (sym) += baseaddr; } } break; case TAG_formal_parameter: if (dip -> at_location != NULL) { SYMBOL_VALUE (sym) = locval (dip -> at_location); } add_symbol_to_list (sym, &scope -> symbols); if (isreg) { SYMBOL_CLASS (sym) = LOC_REGPARM; } else { SYMBOL_CLASS (sym) = LOC_ARG; } break; case TAG_unspecified_parameters: /* From varargs functions; gdb doesn't seem to have any interest in this information, so just ignore it for now. (FIXME?) */ break; case TAG_structure_type: case TAG_union_type: case TAG_enumeration_type: SYMBOL_CLASS (sym) = LOC_TYPEDEF; SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE; add_symbol_to_list (sym, &scope -> symbols); break; case TAG_typedef: SYMBOL_CLASS (sym) = LOC_TYPEDEF; SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE; add_symbol_to_list (sym, &scope -> symbols); break; default: /* Not a tag we recognize. Hopefully we aren't processing trash data, but since we must specifically ignore things we don't recognize, there is nothing else we should do at this point. */ break; } } return (sym); } /* LOCAL FUNCTION decode_mod_fund_type -- decode a modified fundamental type SYNOPSIS static struct type *decode_mod_fund_type (char *typedata) DESCRIPTION Decode a block of data containing a modified fundamental type specification. TYPEDATA is a pointer to the block, which consists of a two byte length, containing the size of the rest of the block. At the end of the block is a two byte value that gives the fundamental type. Everything in between are type modifiers. We simply compute the number of modifiers and call the general function decode_modified_type to do the actual work. */ static struct type * DEFUN(decode_mod_fund_type, (typedata), char *typedata) { struct type *typep = NULL; unsigned short modcount; unsigned char *modifiers; /* Get the total size of the block, exclusive of the size itself */ (void) memcpy (&modcount, typedata, sizeof (short)); /* Deduct the size of the fundamental type bytes at the end of the block. */ modcount -= sizeof (short); /* Skip over the two size bytes at the beginning of the block. */ modifiers = (unsigned char *) typedata + sizeof (short); /* Now do the actual decoding */ typep = decode_modified_type (modifiers, modcount, AT_mod_fund_type); return (typep); } /* LOCAL FUNCTION decode_mod_u_d_type -- decode a modified user defined type SYNOPSIS static struct type *decode_mod_u_d_type (char *typedata) DESCRIPTION Decode a block of data containing a modified user defined type specification. TYPEDATA is a pointer to the block, which consists of a two byte length, containing the size of the rest of the block. At the end of the block is a four byte value that gives a reference to a user defined type. Everything in between are type modifiers. We simply compute the number of modifiers and call the general function decode_modified_type to do the actual work. */ static struct type * DEFUN(decode_mod_u_d_type, (typedata), char *typedata) { struct type *typep = NULL; unsigned short modcount; unsigned char *modifiers; /* Get the total size of the block, exclusive of the size itself */ (void) memcpy (&modcount, typedata, sizeof (short)); /* Deduct the size of the reference type bytes at the end of the block. */ modcount -= sizeof (long); /* Skip over the two size bytes at the beginning of the block. */ modifiers = (unsigned char *) typedata + sizeof (short); /* Now do the actual decoding */ typep = decode_modified_type (modifiers, modcount, AT_mod_u_d_type); return (typep); } /* LOCAL FUNCTION decode_modified_type -- decode modified user or fundamental type SYNOPSIS static struct type *decode_modified_type (unsigned char *modifiers, unsigned short modcount, int mtype) DESCRIPTION Decode a modified type, either a modified fundamental type or a modified user defined type. MODIFIERS is a pointer to the block of bytes that define MODCOUNT modifiers. Immediately following the last modifier is a short containing the fundamental type or a long containing the reference to the user defined type. Which one is determined by MTYPE, which is either AT_mod_fund_type or AT_mod_u_d_type to indicate what modified type we are generating. We call ourself recursively to generate each modified type,` until MODCOUNT reaches zero, at which point we have consumed all the modifiers and generate either the fundamental type or user defined type. When the recursion unwinds, each modifier is applied in turn to generate the full modified type. NOTES If we find a modifier that we don't recognize, and it is not one of those reserved for application specific use, then we issue a warning and simply ignore the modifier. BUGS We currently ignore MOD_const and MOD_volatile. (FIXME) */ static struct type * DEFUN(decode_modified_type, (modifiers, modcount, mtype), unsigned char *modifiers AND unsigned short modcount AND int mtype) { struct type *typep = NULL; unsigned short fundtype; DIEREF dieref; unsigned char modifier; if (modcount == 0) { switch (mtype) { case AT_mod_fund_type: (void) memcpy (&fundtype, modifiers, sizeof (short)); typep = decode_fund_type (fundtype); break; case AT_mod_u_d_type: (void) memcpy (&dieref, modifiers, sizeof (DIEREF)); if ((typep = lookup_utype (dieref)) == NULL) { typep = alloc_utype (dieref, NULL); } break; default: SQUAWK (("botched modified type decoding (mtype 0x%x)", mtype)); typep = builtin_type_int; break; } } else { modifier = *modifiers++; typep = decode_modified_type (modifiers, --modcount, mtype); switch (modifier) { case MOD_pointer_to: typep = lookup_pointer_type (typep); break; case MOD_reference_to: typep = lookup_reference_type (typep); break; case MOD_const: SQUAWK (("type modifier 'const' ignored")); /* FIXME */ break; case MOD_volatile: SQUAWK (("type modifier 'volatile' ignored")); /* FIXME */ break; default: if (!(MOD_lo_user <= modifier && modifier <= MOD_hi_user)) { SQUAWK (("unknown type modifier %u", modifier)); } break; } } return (typep); } /* LOCAL FUNCTION decode_fund_type -- translate basic DWARF type to gdb base type DESCRIPTION Given an integer that is one of the fundamental DWARF types, translate it to one of the basic internal gdb types and return a pointer to the appropriate gdb type (a "struct type *"). NOTES If we encounter a fundamental type that we are unprepared to deal with, and it is not in the range of those types defined as application specific types, then we issue a warning and treat the type as builtin_type_int. */ static struct type * DEFUN(decode_fund_type, (fundtype), unsigned short fundtype) { struct type *typep = NULL; switch (fundtype) { case FT_void: typep = builtin_type_void; break; case FT_pointer: /* (void *) */ typep = lookup_pointer_type (builtin_type_void); break; case FT_char: case FT_signed_char: typep = builtin_type_char; break; case FT_short: case FT_signed_short: typep = builtin_type_short; break; case FT_integer: case FT_signed_integer: case FT_boolean: /* Was FT_set in AT&T version */ typep = builtin_type_int; break; case FT_long: case FT_signed_long: typep = builtin_type_long; break; case FT_float: typep = builtin_type_float; break; case FT_dbl_prec_float: typep = builtin_type_double; break; case FT_unsigned_char: typep = builtin_type_unsigned_char; break; case FT_unsigned_short: typep = builtin_type_unsigned_short; break; case FT_unsigned_integer: typep = builtin_type_unsigned_int; break; case FT_unsigned_long: typep = builtin_type_unsigned_long; break; case FT_ext_prec_float: typep = builtin_type_long_double; break; case FT_complex: typep = builtin_type_complex; break; case FT_dbl_prec_complex: typep = builtin_type_double_complex; break; case FT_long_long: case FT_signed_long_long: typep = builtin_type_long_long; break; case FT_unsigned_long_long: typep = builtin_type_unsigned_long_long; break; } if ((typep == NULL) && !(FT_lo_user <= fundtype && fundtype <= FT_hi_user)) { SQUAWK (("unexpected fundamental type 0x%x", fundtype)); typep = builtin_type_void; } return (typep); } /* LOCAL FUNCTION create_name -- allocate a fresh copy of a string on an obstack DESCRIPTION Given a pointer to a string and a pointer to an obstack, allocates a fresh copy of the string on the specified obstack. */ static char * DEFUN(create_name, (name, obstackp), char *name AND struct obstack *obstackp) { int length; char *newname; length = strlen (name) + 1; newname = (char *) obstack_alloc (obstackp, length); (void) strcpy (newname, name); return (newname); } /* LOCAL FUNCTION basicdieinfo -- extract the minimal die info from raw die data SYNOPSIS void basicdieinfo (char *diep, struct dieinfo *dip) DESCRIPTION Given a pointer to raw DIE data, and a pointer to an instance of a die info structure, this function extracts the basic information from the DIE data required to continue processing this DIE, along with some bookkeeping information about the DIE. The information we absolutely must have includes the DIE tag, and the DIE length. If we need the sibling reference, then we will have to call completedieinfo() to process all the remaining DIE information. Note that since there is no guarantee that the data is properly aligned in memory for the type of access required (indirection through anything other than a char pointer), we use memcpy to shuffle data items larger than a char. Possibly inefficient, but quite portable. We also take care of some other basic things at this point, such as ensuring that the instance of the die info structure starts out completely zero'd and that curdie is initialized for use in error reporting if we have a problem with the current die. NOTES All DIE's must have at least a valid length, thus the minimum DIE size is sizeof (long). In order to have a valid tag, the DIE size must be at least sizeof (short) larger, otherwise they are forced to be TAG_padding DIES. Padding DIES must be at least sizeof(long) in length, implying that if a padding DIE is used for alignment and the amount needed is less than sizeof(long) then the padding DIE has to be big enough to align to the next alignment boundry. */ static void DEFUN(basicdieinfo, (dip, diep), struct dieinfo *dip AND char *diep) { curdie = dip; (void) memset (dip, 0, sizeof (struct dieinfo)); dip -> die = diep; dip -> dieref = dbroff + (diep - dbbase); (void) memcpy (&dip -> dielength, diep, sizeof (long)); if (dip -> dielength < sizeof (long)) { dwarfwarn ("malformed DIE, bad length (%d bytes)", dip -> dielength); } else if (dip -> dielength < (sizeof (long) + sizeof (short))) { dip -> dietag = TAG_padding; } else { (void) memcpy (&dip -> dietag, diep + sizeof (long), sizeof (short)); } } /* LOCAL FUNCTION completedieinfo -- finish reading the information for a given DIE SYNOPSIS void completedieinfo (struct dieinfo *dip) DESCRIPTION Given a pointer to an already partially initialized die info structure, scan the raw DIE data and finish filling in the die info structure from the various attributes found. Note that since there is no guarantee that the data is properly aligned in memory for the type of access required (indirection through anything other than a char pointer), we use memcpy to shuffle data items larger than a char. Possibly inefficient, but quite portable. NOTES Each time we are called, we increment the diecount variable, which keeps an approximate count of the number of dies processed for each compilation unit. This information is presented to the user if the info_verbose flag is set. */ static void DEFUN(completedieinfo, (dip), struct dieinfo *dip) { char *diep; /* Current pointer into raw DIE data */ char *end; /* Terminate DIE scan here */ unsigned short attr; /* Current attribute being scanned */ unsigned short form; /* Form of the attribute */ short block2sz; /* Size of a block2 attribute field */ long block4sz; /* Size of a block4 attribute field */ diecount++; diep = dip -> die; end = diep + dip -> dielength; diep += sizeof (long) + sizeof (short); while (diep < end) { (void) memcpy (&attr, diep, sizeof (short)); diep += sizeof (short); switch (attr) { case AT_fund_type: (void) memcpy (&dip -> at_fund_type, diep, sizeof (short)); break; case AT_ordering: (void) memcpy (&dip -> at_ordering, diep, sizeof (short)); break; case AT_bit_offset: (void) memcpy (&dip -> at_bit_offset, diep, sizeof (short)); break; case AT_visibility: (void) memcpy (&dip -> at_visibility, diep, sizeof (short)); break; case AT_sibling: (void) memcpy (&dip -> at_sibling, diep, sizeof (long)); break; case AT_stmt_list: (void) memcpy (&dip -> at_stmt_list, diep, sizeof (long)); dip -> at_stmt_list_p = 1; break; case AT_low_pc: (void) memcpy (&dip -> at_low_pc, diep, sizeof (long)); break; case AT_high_pc: (void) memcpy (&dip -> at_high_pc, diep, sizeof (long)); break; case AT_language: (void) memcpy (&dip -> at_language, diep, sizeof (long)); break; case AT_user_def_type: (void) memcpy (&dip -> at_user_def_type, diep, sizeof (long)); break; case AT_byte_size: (void) memcpy (&dip -> at_byte_size, diep, sizeof (long)); break; case AT_bit_size: (void) memcpy (&dip -> at_bit_size, diep, sizeof (long)); break; case AT_member: (void) memcpy (&dip -> at_member, diep, sizeof (long)); break; case AT_discr: (void) memcpy (&dip -> at_discr, diep, sizeof (long)); break; case AT_import: (void) memcpy (&dip -> at_import, diep, sizeof (long)); break; case AT_location: dip -> at_location = diep; break; case AT_mod_fund_type: dip -> at_mod_fund_type = diep; break; case AT_subscr_data: dip -> at_subscr_data = diep; break; case AT_mod_u_d_type: dip -> at_mod_u_d_type = diep; break; case AT_deriv_list: dip -> at_deriv_list = diep; break; case AT_element_list: dip -> at_element_list = diep; break; case AT_discr_value: dip -> at_discr_value = diep; break; case AT_string_length: dip -> at_string_length = diep; break; case AT_name: dip -> at_name = diep; break; case AT_comp_dir: dip -> at_comp_dir = diep; break; case AT_producer: dip -> at_producer = diep; break; case AT_loclist: (void) memcpy (&dip -> at_loclist, diep, sizeof (long)); break; case AT_frame_base: (void) memcpy (&dip -> at_frame_base, diep, sizeof (long)); break; case AT_incomplete: (void) memcpy (&dip -> at_incomplete, diep, sizeof (short)); break; case AT_start_scope: (void) memcpy (&dip -> at_start_scope, diep, sizeof (long)); break; case AT_stride_size: (void) memcpy (&dip -> at_stride_size, diep, sizeof (long)); break; case AT_src_info: (void) memcpy (&dip -> at_src_info, diep, sizeof (long)); break; case AT_prototyped: (void) memcpy (&dip -> at_prototyped, diep, sizeof (short)); break; case AT_const_data: dip -> at_const_data = diep; break; case AT_is_external: (void) memcpy (&dip -> at_is_external, diep, sizeof (short)); dip -> at_is_external_p = 1; break; default: /* Found an attribute that we are unprepared to handle. However it is specifically one of the design goals of DWARF that consumers should ignore unknown attributes. As long as the form is one that we recognize (so we know how to skip it), we can just ignore the unknown attribute. */ break; } form = attr & 0xF; switch (form) { case FORM_DATA2: diep += sizeof (short); break; case FORM_DATA4: diep += sizeof (long); break; case FORM_DATA8: diep += 8 * sizeof (char); /* sizeof (long long) ? */ break; case FORM_ADDR: case FORM_REF: diep += sizeof (long); break; case FORM_BLOCK2: (void) memcpy (&block2sz, diep, sizeof (short)); block2sz += sizeof (short); diep += block2sz; break; case FORM_BLOCK4: (void) memcpy (&block4sz, diep, sizeof (long)); block4sz += sizeof (long); diep += block4sz; break; case FORM_STRING: diep += strlen (diep) + 1; break; default: SQUAWK (("unknown attribute form (0x%x), skipped rest", form)); diep = end; break; } } }