1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright 1986, 1987, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
4 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004 Free Software
8 CMU. Major work by Per Bothner, John Gilmore and Ian Lance Taylor
11 This file is part of GDB.
13 This program is free software; you can redistribute it and/or modify
14 it under the terms of the GNU General Public License as published by
15 the Free Software Foundation; either version 2 of the License, or
16 (at your option) any later version.
18 This program is distributed in the hope that it will be useful,
19 but WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 GNU General Public License for more details.
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 59 Temple Place - Suite 330,
26 Boston, MA 02111-1307, USA. */
28 /* This module provides the function mdebug_build_psymtabs. It reads
29 ECOFF debugging information into partial symbol tables. The
30 debugging information is read from two structures. A struct
31 ecoff_debug_swap includes the sizes of each ECOFF structure and
32 swapping routines; these are fixed for a particular target. A
33 struct ecoff_debug_info points to the debugging information for a
34 particular object file.
36 ECOFF symbol tables are mostly written in the byte order of the
37 target machine. However, one section of the table (the auxiliary
38 symbol information) is written in the host byte order. There is a
39 bit in the other symbol info which describes which host byte order
40 was used. ECOFF thereby takes the trophy from Intel `b.out' for
41 the most brain-dead adaptation of a file format to byte order.
43 This module can read all four of the known byte-order combinations,
44 on any type of host. */
51 #include "gdb_obstack.h"
53 #include "stabsread.h"
54 #include "complaints.h"
56 #include "gdb_assert.h"
58 #include "dictionary.h"
59 #include "mdebugread.h"
61 #include "gdb_string.h"
65 #include "coff/ecoff.h" /* COFF-like aspects of ecoff files */
67 #include "libaout.h" /* Private BFD a.out information. */
68 #include "aout/aout64.h"
69 #include "aout/stab_gnu.h" /* STABS information */
71 #include "expression.h"
73 extern void _initialize_mdebugread (void);
75 /* Provide a way to test if we have both ECOFF and ELF symbol tables.
76 We use this define in order to know whether we should override a
77 symbol's ECOFF section with its ELF section. This is necessary in
78 case the symbol's ELF section could not be represented in ECOFF. */
79 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
80 && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
83 /* We put a pointer to this structure in the read_symtab_private field
88 /* Index of the FDR that this psymtab represents. */
90 /* The BFD that the psymtab was created from. */
92 const struct ecoff_debug_swap *debug_swap;
93 struct ecoff_debug_info *debug_info;
94 struct mdebug_pending **pending_list;
95 /* Pointer to external symbols for this file. */
97 /* Size of extern_tab. */
99 enum language pst_language;
102 #define PST_PRIVATE(p) ((struct symloc *)(p)->read_symtab_private)
103 #define FDR_IDX(p) (PST_PRIVATE(p)->fdr_idx)
104 #define CUR_BFD(p) (PST_PRIVATE(p)->cur_bfd)
105 #define DEBUG_SWAP(p) (PST_PRIVATE(p)->debug_swap)
106 #define DEBUG_INFO(p) (PST_PRIVATE(p)->debug_info)
107 #define PENDING_LIST(p) (PST_PRIVATE(p)->pending_list)
109 #define SC_IS_TEXT(sc) ((sc) == scText \
110 || (sc) == scRConst \
113 #define SC_IS_DATA(sc) ((sc) == scData \
118 #define SC_IS_COMMON(sc) ((sc) == scCommon || (sc) == scSCommon)
119 #define SC_IS_BSS(sc) ((sc) == scBss)
120 #define SC_IS_SBSS(sc) ((sc) == scSBss)
121 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
123 /* Various complaints about symbol reading that don't abort the process */
125 index_complaint (const char *arg1)
127 complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
131 unknown_ext_complaint (const char *arg1)
133 complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
137 basic_type_complaint (int arg1, const char *arg2)
139 complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
144 bad_tag_guess_complaint (const char *arg1)
146 complaint (&symfile_complaints, _("guessed tag type of %s incorrectly"), arg1);
150 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
152 complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
157 unexpected_type_code_complaint (const char *arg1)
159 complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
162 /* Macros and extra defs */
164 /* Puns: hard to find whether -g was used and how */
166 #define MIN_GLEVEL GLEVEL_0
167 #define compare_glevel(a,b) \
168 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
169 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
171 /* Things that really are local to this module */
173 /* Remember what we deduced to be the source language of this psymtab. */
175 static enum language psymtab_language = language_unknown;
181 /* How to parse debugging information for CUR_BFD. */
183 static const struct ecoff_debug_swap *debug_swap;
185 /* Pointers to debugging information for CUR_BFD. */
187 static struct ecoff_debug_info *debug_info;
189 /* Pointer to current file decriptor record, and its index */
194 /* Index of current symbol */
198 /* Note how much "debuggable" this image is. We would like
199 to see at least one FDR with full symbols */
201 static int max_gdbinfo;
202 static int max_glevel;
204 /* When examining .o files, report on undefined symbols */
206 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
208 /* Pseudo symbol to use when putting stabs into the symbol table. */
210 static char stabs_symbol[] = STABS_SYMBOL;
212 /* Types corresponding to mdebug format bt* basic types. */
214 static struct type *mdebug_type_void;
215 static struct type *mdebug_type_char;
216 static struct type *mdebug_type_short;
217 static struct type *mdebug_type_int_32;
218 #define mdebug_type_int mdebug_type_int_32
219 static struct type *mdebug_type_int_64;
220 static struct type *mdebug_type_long_32;
221 static struct type *mdebug_type_long_64;
222 static struct type *mdebug_type_long_long_64;
223 static struct type *mdebug_type_unsigned_char;
224 static struct type *mdebug_type_unsigned_short;
225 static struct type *mdebug_type_unsigned_int_32;
226 static struct type *mdebug_type_unsigned_int_64;
227 static struct type *mdebug_type_unsigned_long_32;
228 static struct type *mdebug_type_unsigned_long_64;
229 static struct type *mdebug_type_unsigned_long_long_64;
230 static struct type *mdebug_type_adr_32;
231 static struct type *mdebug_type_adr_64;
232 static struct type *mdebug_type_float;
233 static struct type *mdebug_type_double;
234 static struct type *mdebug_type_complex;
235 static struct type *mdebug_type_double_complex;
236 static struct type *mdebug_type_fixed_dec;
237 static struct type *mdebug_type_float_dec;
238 static struct type *mdebug_type_string;
240 /* Types for symbols from files compiled without debugging info. */
242 static struct type *nodebug_func_symbol_type;
243 static struct type *nodebug_var_symbol_type;
245 /* Nonzero if we have seen ecoff debugging info for a file. */
247 static int found_ecoff_debugging_info;
249 /* Forward declarations */
251 static int upgrade_type (int, struct type **, int, union aux_ext *,
254 static void parse_partial_symbols (struct objfile *);
256 static int has_opaque_xref (FDR *, SYMR *);
258 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
259 char **, int, char *);
261 static struct symbol *new_symbol (char *);
263 static struct type *new_type (char *);
265 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
267 static struct block *new_block (enum block_type);
269 static struct symtab *new_symtab (char *, int, struct objfile *);
271 static struct linetable *new_linetable (int);
273 static struct blockvector *new_bvect (int);
275 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
278 static struct symbol *mylookup_symbol (char *, struct block *, domain_enum,
281 static void sort_blocks (struct symtab *);
283 static struct partial_symtab *new_psymtab (char *, struct objfile *);
285 static void psymtab_to_symtab_1 (struct partial_symtab *, char *);
287 static void add_block (struct block *, struct symtab *);
289 static void add_symbol (struct symbol *, struct block *);
291 static int add_line (struct linetable *, int, CORE_ADDR, int);
293 static struct linetable *shrink_linetable (struct linetable *);
295 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
298 static char *mdebug_next_symbol_text (struct objfile *);
300 /* Exported procedure: Builds a symtab from the PST partial one.
301 Restores the environment in effect when PST was created, delegates
302 most of the work to an ancillary procedure, and sorts
303 and reorders the symtab list at the end */
306 mdebug_psymtab_to_symtab (struct partial_symtab *pst)
314 printf_filtered ("Reading in symbols for %s...", pst->filename);
315 gdb_flush (gdb_stdout);
318 next_symbol_text_func = mdebug_next_symbol_text;
320 psymtab_to_symtab_1 (pst, pst->filename);
322 /* Match with global symbols. This only needs to be done once,
323 after all of the symtabs and dependencies have been read in. */
324 scan_file_globals (pst->objfile);
327 printf_filtered ("done.\n");
330 /* File-level interface functions */
332 /* Find a file descriptor given its index RF relative to a file CF */
335 get_rfd (int cf, int rf)
341 fdrs = debug_info->fdr;
343 /* Object files do not have the RFD table, all refs are absolute */
346 (*debug_swap->swap_rfd_in) (cur_bfd,
347 ((char *) debug_info->external_rfd
349 * debug_swap->external_rfd_size)),
354 /* Return a safer print NAME for a file descriptor */
360 return "<stripped file>";
363 return debug_info->ss + f->issBase + f->rss;
367 /* Read in and parse the symtab of the file OBJFILE. Symbols from
368 different sections are relocated via the SECTION_OFFSETS. */
371 mdebug_build_psymtabs (struct objfile *objfile,
372 const struct ecoff_debug_swap *swap,
373 struct ecoff_debug_info *info)
375 cur_bfd = objfile->obfd;
379 stabsread_new_init ();
380 buildsym_new_init ();
381 free_header_files ();
382 init_header_files ();
384 /* Make sure all the FDR information is swapped in. */
385 if (info->fdr == (FDR *) NULL)
391 info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
392 (info->symbolic_header.ifdMax
394 fdr_src = info->external_fdr;
396 + info->symbolic_header.ifdMax * swap->external_fdr_size);
398 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
399 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
402 parse_partial_symbols (objfile);
405 /* Check to make sure file was compiled with -g. If not, warn the
406 user of this limitation. */
407 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
409 if (max_gdbinfo == 0)
410 printf_unfiltered ("\n%s not compiled with -g, debugging support is limited.\n",
412 printf_unfiltered ("You should compile with -g2 or -g3 for best debugging support.\n");
413 gdb_flush (gdb_stdout);
418 /* Local utilities */
420 /* Map of FDR indexes to partial symtabs */
424 struct partial_symtab *pst; /* the psymtab proper */
425 long n_globals; /* exported globals (external symbols) */
426 long globals_offset; /* cumulative */
430 /* Utility stack, used to nest procedures and blocks properly.
431 It is a doubly linked list, to avoid too many alloc/free.
432 Since we might need it quite a few times it is NOT deallocated
435 static struct parse_stack
437 struct parse_stack *next, *prev;
438 struct symtab *cur_st; /* Current symtab. */
439 struct block *cur_block; /* Block in it. */
441 /* What are we parsing. stFile, or stBlock are for files and
442 blocks. stProc or stStaticProc means we have seen the start of a
443 procedure, but not the start of the block within in. When we see
444 the start of that block, we change it to stNil, without pushing a
445 new block, i.e. stNil means both a procedure and a block. */
449 struct type *cur_type; /* Type we parse fields for. */
450 int cur_field; /* Field number in cur_type. */
451 CORE_ADDR procadr; /* Start addres of this procedure */
452 int numargs; /* Its argument count */
455 *top_stack; /* Top stack ptr */
458 /* Enter a new lexical context */
461 push_parse_stack (void)
463 struct parse_stack *new;
465 /* Reuse frames if possible */
466 if (top_stack && top_stack->prev)
467 new = top_stack->prev;
469 new = (struct parse_stack *) xzalloc (sizeof (struct parse_stack));
470 /* Initialize new frame with previous content */
473 struct parse_stack *prev = new->prev;
476 top_stack->prev = new;
478 new->next = top_stack;
483 /* Exit a lexical context */
486 pop_parse_stack (void)
491 top_stack = top_stack->next;
495 /* Cross-references might be to things we haven't looked at
496 yet, e.g. type references. To avoid too many type
497 duplications we keep a quick fixup table, an array
498 of lists of references indexed by file descriptor */
500 struct mdebug_pending
502 struct mdebug_pending *next; /* link */
503 char *s; /* the unswapped symbol */
504 struct type *t; /* its partial type descriptor */
508 /* The pending information is kept for an entire object file, and used
509 to be in the deprecated_sym_private field. I took it out when I
510 split mdebugread from mipsread, because this might not be the only
511 type of symbols read from an object file. Instead, we allocate the
512 pending information table when we create the partial symbols, and
513 we store a pointer to the single table in each psymtab. */
515 static struct mdebug_pending **pending_list;
517 /* Check whether we already saw symbol SH in file FH */
519 static struct mdebug_pending *
520 is_pending_symbol (FDR *fh, char *sh)
522 int f_idx = fh - debug_info->fdr;
523 struct mdebug_pending *p;
525 /* Linear search is ok, list is typically no more than 10 deep */
526 for (p = pending_list[f_idx]; p; p = p->next)
532 /* Add a new symbol SH of type T */
535 add_pending (FDR *fh, char *sh, struct type *t)
537 int f_idx = fh - debug_info->fdr;
538 struct mdebug_pending *p = is_pending_symbol (fh, sh);
540 /* Make sure we do not make duplicates */
543 p = ((struct mdebug_pending *)
544 obstack_alloc (¤t_objfile->objfile_obstack,
545 sizeof (struct mdebug_pending)));
548 p->next = pending_list[f_idx];
549 pending_list[f_idx] = p;
554 /* Parsing Routines proper. */
556 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
557 For blocks, procedures and types we open a new lexical context.
558 This is basically just a big switch on the symbol's type. Argument
559 AX is the base pointer of aux symbols for this file (fh->iauxBase).
560 EXT_SH points to the unswapped symbol, which is needed for struct,
561 union, etc., types; it is NULL for an EXTR. BIGEND says whether
562 aux symbols are big-endian or little-endian. Return count of
563 SYMR's handled (normally one). */
566 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
567 struct section_offsets *section_offsets, struct objfile *objfile)
569 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
570 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
574 struct mdebug_pending *pend;
578 enum address_class class;
580 long svalue = sh->value;
583 if (ext_sh == (char *) NULL)
584 name = debug_info->ssext + sh->iss;
586 name = debug_info->ss + cur_fdr->issBase + sh->iss;
592 /* Do not relocate relative values.
593 The value of a stEnd symbol is the displacement from the
594 corresponding start symbol value.
595 The value of a stBlock symbol is the displacement from the
596 procedure address. */
597 if (sh->st != stEnd && sh->st != stBlock)
598 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
605 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
609 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
618 case stGlobal: /* external symbol, goes into global block */
620 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
622 s = new_symbol (name);
623 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
626 case stStatic: /* static data, goes into current block. */
628 b = top_stack->cur_block;
629 s = new_symbol (name);
630 if (SC_IS_COMMON (sh->sc))
632 /* It is a FORTRAN common block. At least for SGI Fortran the
633 address is not in the symbol; we need to fix it later in
634 scan_file_globals. */
635 int bucket = hashname (DEPRECATED_SYMBOL_NAME (s));
636 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
637 global_sym_chain[bucket] = s;
640 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
643 case stLocal: /* local variable, goes into current block */
644 if (sh->sc == scRegister)
646 class = LOC_REGISTER;
647 svalue = ECOFF_REG_TO_REGNUM (svalue);
651 b = top_stack->cur_block;
652 s = new_symbol (name);
653 SYMBOL_VALUE (s) = svalue;
655 data: /* Common code for symbols describing data */
656 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
657 SYMBOL_CLASS (s) = class;
660 /* Type could be missing if file is compiled without debugging info. */
661 if (SC_IS_UNDEF (sh->sc)
662 || sh->sc == scNil || sh->index == indexNil)
663 SYMBOL_TYPE (s) = nodebug_var_symbol_type;
665 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
666 /* Value of a data symbol is its memory address */
669 case stParam: /* arg to procedure, goes into current block */
671 found_ecoff_debugging_info = 1;
672 top_stack->numargs++;
674 /* Special GNU C++ name. */
675 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
676 name = "this"; /* FIXME, not alloc'd in obstack */
677 s = new_symbol (name);
679 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
683 /* Pass by value in register. */
684 SYMBOL_CLASS (s) = LOC_REGPARM;
685 svalue = ECOFF_REG_TO_REGNUM (svalue);
688 /* Pass by reference on stack. */
689 SYMBOL_CLASS (s) = LOC_REF_ARG;
692 /* Pass by reference in register. */
693 SYMBOL_CLASS (s) = LOC_REGPARM_ADDR;
694 svalue = ECOFF_REG_TO_REGNUM (svalue);
697 /* Pass by value on stack. */
698 SYMBOL_CLASS (s) = LOC_ARG;
701 SYMBOL_VALUE (s) = svalue;
702 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
703 add_symbol (s, top_stack->cur_block);
706 case stLabel: /* label, goes into current block */
707 s = new_symbol (name);
708 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* so that it can be used */
709 SYMBOL_CLASS (s) = LOC_LABEL; /* but not misused */
710 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
711 SYMBOL_TYPE (s) = mdebug_type_int;
712 add_symbol (s, top_stack->cur_block);
715 case stProc: /* Procedure, usually goes into global block */
716 case stStaticProc: /* Static procedure, goes into current block */
717 /* For stProc symbol records, we need to check the storage class
718 as well, as only (stProc, scText) entries represent "real"
719 procedures - See the Compaq document titled "Object File /
720 Symbol Table Format Specification" for more information.
721 If the storage class is not scText, we discard the whole block
722 of symbol records for this stProc. */
723 if (sh->st == stProc && sh->sc != scText)
725 char *ext_tsym = ext_sh;
726 int keep_counting = 1;
729 while (keep_counting)
731 ext_tsym += external_sym_size;
732 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
742 complaint (&symfile_complaints,
743 _("unknown symbol type 0x%x"), sh->st);
749 s = new_symbol (name);
750 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
751 SYMBOL_CLASS (s) = LOC_BLOCK;
752 /* Type of the return value */
753 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
757 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
758 if (strcmp (name, "malloc") == 0
759 && TYPE_CODE (t) == TYPE_CODE_VOID)
761 /* I don't know why, but, at least under Alpha GNU/Linux,
762 when linking against a malloc without debugging
763 symbols, its read as a function returning void---this
764 is bad because it means we cannot call functions with
765 string arguments interactively; i.e., "call
766 printf("howdy\n")" would fail with the error message
767 "program has no memory available". To avoid this, we
768 patch up the type and make it void*
771 t = make_pointer_type (t, NULL);
774 b = top_stack->cur_block;
775 if (sh->st == stProc)
777 struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
778 /* The next test should normally be true, but provides a
779 hook for nested functions (which we don't want to make
781 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
782 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
783 /* Irix 5 sometimes has duplicate names for the same
784 function. We want to add such names up at the global
785 level, not as a nested function. */
786 else if (sh->value == top_stack->procadr)
787 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
791 /* Make a type for the procedure itself */
792 SYMBOL_TYPE (s) = lookup_function_type (t);
794 /* All functions in C++ have prototypes. For C we don't have enough
795 information in the debug info. */
796 if (SYMBOL_LANGUAGE (s) == language_cplus)
797 TYPE_FLAGS (SYMBOL_TYPE (s)) |= TYPE_FLAG_PROTOTYPED;
799 /* Create and enter a new lexical context */
800 b = new_block (FUNCTION_BLOCK);
801 SYMBOL_BLOCK_VALUE (s) = b;
802 BLOCK_FUNCTION (b) = s;
803 BLOCK_START (b) = BLOCK_END (b) = sh->value;
804 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
805 add_block (b, top_stack->cur_st);
807 /* Not if we only have partial info */
808 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
812 top_stack->cur_block = b;
813 top_stack->blocktype = sh->st;
814 top_stack->cur_type = SYMBOL_TYPE (s);
815 top_stack->cur_field = -1;
816 top_stack->procadr = sh->value;
817 top_stack->numargs = 0;
820 /* Beginning of code for structure, union, and enum definitions.
821 They all share a common set of local variables, defined here. */
823 enum type_code type_code;
829 case stStruct: /* Start a block defining a struct type */
830 type_code = TYPE_CODE_STRUCT;
831 goto structured_common;
833 case stUnion: /* Start a block defining a union type */
834 type_code = TYPE_CODE_UNION;
835 goto structured_common;
837 case stEnum: /* Start a block defining an enum type */
838 type_code = TYPE_CODE_ENUM;
839 goto structured_common;
841 case stBlock: /* Either a lexical block, or some type */
842 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
843 goto case_stBlock_code; /* Lexical block */
845 type_code = TYPE_CODE_UNDEF; /* We have a type. */
847 /* Common code for handling struct, union, enum, and/or as-yet-
848 unknown-type blocks of info about structured data. `type_code'
849 has been set to the proper TYPE_CODE, if we know it. */
851 found_ecoff_debugging_info = 1;
853 top_stack->blocktype = stBlock;
855 /* First count the number of fields and the highest value. */
858 for (ext_tsym = ext_sh + external_sym_size;
860 ext_tsym += external_sym_size)
864 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
869 /* C++ encodes class types as structures where there the
870 methods are encoded as stProc. The scope of stProc
871 symbols also ends with stEnd, thus creating a risk of
872 taking the wrong stEnd symbol record as the end of
873 the current struct, which would cause GDB to undercount
874 the real number of fields in this struct. To make sure
875 we really reached the right stEnd symbol record, we
876 check the associated name, and match it against the
877 struct name. Since method names are mangled while
878 the class name is not, there is no risk of having a
879 method whose name is identical to the class name
880 (in particular constructor method names are different
881 from the class name). There is therefore no risk that
882 this check stops the count on the StEnd of a method.
884 Also, assume that we're really at the end when tsym.iss
886 if (tsym.iss == issNull
887 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
893 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
895 /* If the type of the member is Nil (or Void),
896 without qualifiers, assume the tag is an
898 Alpha cc -migrate enums are recognized by a zero
899 index and a zero symbol value.
900 DU 4.0 cc enums are recognized by a member type of
901 btEnum without qualifiers and a zero symbol value. */
902 if (tsym.index == indexNil
903 || (tsym.index == 0 && sh->value == 0))
904 type_code = TYPE_CODE_ENUM;
907 (*debug_swap->swap_tir_in) (bigend,
908 &ax[tsym.index].a_ti,
910 if ((tir.bt == btNil || tir.bt == btVoid
911 || (tir.bt == btEnum && sh->value == 0))
913 type_code = TYPE_CODE_ENUM;
917 if (tsym.value > max_value)
918 max_value = tsym.value;
927 /* This is a no-op; is it trying to tell us something
928 we should be checking? */
929 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
933 /* This is something like a struct within a
934 struct. Skip over the fields of the inner
935 struct. The -1 is because the for loop will
936 increment ext_tsym. */
937 ext_tsym = ((char *) debug_info->external_sym
938 + ((cur_fdr->isymBase + tsym.index - 1)
939 * external_sym_size));
945 /* mips cc puts out a typedef for struct x if it is not yet
946 defined when it encounters
947 struct y { struct x *xp; };
952 /* Irix5 cc puts out a stIndirect for struct x if it is not
953 yet defined when it encounters
954 struct y { struct x *xp; };
959 complaint (&symfile_complaints,
960 _("declaration block contains unhandled symbol type %d"),
966 /* In an stBlock, there is no way to distinguish structs,
967 unions, and enums at this point. This is a bug in the
968 original design (that has been fixed with the recent
969 addition of the stStruct, stUnion, and stEnum symbol
970 types.) The way you can tell is if/when you see a variable
971 or field of that type. In that case the variable's type
972 (in the AUX table) says if the type is struct, union, or
973 enum, and points back to the stBlock here. So you can
974 patch the tag kind up later - but only if there actually is
975 a variable or field of that type.
977 So until we know for sure, we will guess at this point.
979 If the first member has index==indexNil or a void type,
980 assume we have an enumeration.
981 Otherwise, if there is more than one member, and all
982 the members have offset 0, assume we have a union.
983 Otherwise, assume we have a struct.
985 The heuristic could guess wrong in the case of of an
986 enumeration with no members or a union with one (or zero)
987 members, or when all except the last field of a struct have
988 width zero. These are uncommon and/or illegal situations,
989 and in any case guessing wrong probably doesn't matter
992 But if we later do find out we were wrong, we fixup the tag
993 kind. Members of an enumeration must be handled
994 differently from struct/union fields, and that is harder to
995 patch up, but luckily we shouldn't need to. (If there are
996 any enumeration members, we can tell for sure it's an enum
999 if (type_code == TYPE_CODE_UNDEF)
1001 if (nfields > 1 && max_value == 0)
1002 type_code = TYPE_CODE_UNION;
1004 type_code = TYPE_CODE_STRUCT;
1007 /* Create a new type or use the pending type. */
1008 pend = is_pending_symbol (cur_fdr, ext_sh);
1009 if (pend == (struct mdebug_pending *) NULL)
1011 t = new_type (NULL);
1012 add_pending (cur_fdr, ext_sh, t);
1017 /* Do not set the tag name if it is a compiler generated tag name
1018 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1019 Alpha cc puts out an sh->iss of zero for those. */
1020 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1021 TYPE_TAG_NAME (t) = NULL;
1023 TYPE_TAG_NAME (t) = obconcat (¤t_objfile->objfile_obstack,
1026 TYPE_CODE (t) = type_code;
1027 TYPE_LENGTH (t) = sh->value;
1028 TYPE_NFIELDS (t) = nfields;
1029 TYPE_FIELDS (t) = f = ((struct field *)
1031 nfields * sizeof (struct field)));
1033 if (type_code == TYPE_CODE_ENUM)
1035 int unsigned_enum = 1;
1037 /* This is a non-empty enum. */
1039 /* DEC c89 has the number of enumerators in the sh.value field,
1040 not the type length, so we have to compensate for that
1041 incompatibility quirk.
1042 This might do the wrong thing for an enum with one or two
1043 enumerators and gcc -gcoff -fshort-enums, but these cases
1044 are hopefully rare enough.
1045 Alpha cc -migrate has a sh.value field of zero, we adjust
1047 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1048 || TYPE_LENGTH (t) == 0)
1049 TYPE_LENGTH (t) = TARGET_INT_BIT / HOST_CHAR_BIT;
1050 for (ext_tsym = ext_sh + external_sym_size;
1052 ext_tsym += external_sym_size)
1055 struct symbol *enum_sym;
1057 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1059 if (tsym.st != stMember)
1062 FIELD_BITPOS (*f) = tsym.value;
1063 FIELD_TYPE (*f) = t;
1064 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1065 FIELD_BITSIZE (*f) = 0;
1066 FIELD_STATIC_KIND (*f) = 0;
1068 enum_sym = ((struct symbol *)
1069 obstack_alloc (¤t_objfile->objfile_obstack,
1070 sizeof (struct symbol)));
1071 memset (enum_sym, 0, sizeof (struct symbol));
1072 DEPRECATED_SYMBOL_NAME (enum_sym) =
1073 obsavestring (f->name, strlen (f->name),
1074 ¤t_objfile->objfile_obstack);
1075 SYMBOL_CLASS (enum_sym) = LOC_CONST;
1076 SYMBOL_TYPE (enum_sym) = t;
1077 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1078 SYMBOL_VALUE (enum_sym) = tsym.value;
1079 if (SYMBOL_VALUE (enum_sym) < 0)
1081 add_symbol (enum_sym, top_stack->cur_block);
1083 /* Skip the stMembers that we've handled. */
1088 TYPE_FLAGS (t) |= TYPE_FLAG_UNSIGNED;
1090 /* make this the current type */
1091 top_stack->cur_type = t;
1092 top_stack->cur_field = 0;
1094 /* Do not create a symbol for alpha cc unnamed structs. */
1098 /* gcc puts out an empty struct for an opaque struct definitions,
1099 do not create a symbol for it either. */
1100 if (TYPE_NFIELDS (t) == 0)
1102 TYPE_FLAGS (t) |= TYPE_FLAG_STUB;
1106 s = new_symbol (name);
1107 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1108 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1109 SYMBOL_VALUE (s) = 0;
1110 SYMBOL_TYPE (s) = t;
1111 add_symbol (s, top_stack->cur_block);
1114 /* End of local variables shared by struct, union, enum, and
1115 block (as yet unknown struct/union/enum) processing. */
1119 found_ecoff_debugging_info = 1;
1120 /* beginnning of (code) block. Value of symbol
1121 is the displacement from procedure start */
1122 push_parse_stack ();
1124 /* Do not start a new block if this is the outermost block of a
1125 procedure. This allows the LOC_BLOCK symbol to point to the
1126 block with the local variables, so funcname::var works. */
1127 if (top_stack->blocktype == stProc
1128 || top_stack->blocktype == stStaticProc)
1130 top_stack->blocktype = stNil;
1134 top_stack->blocktype = stBlock;
1135 b = new_block (NON_FUNCTION_BLOCK);
1136 BLOCK_START (b) = sh->value + top_stack->procadr;
1137 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1138 top_stack->cur_block = b;
1139 add_block (b, top_stack->cur_st);
1142 case stEnd: /* end (of anything) */
1143 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1145 /* Finished with type */
1146 top_stack->cur_type = 0;
1148 else if (sh->sc == scText &&
1149 (top_stack->blocktype == stProc ||
1150 top_stack->blocktype == stStaticProc))
1152 /* Finished with procedure */
1153 struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
1154 struct mdebug_extra_func_info *e;
1155 struct block *b = top_stack->cur_block;
1156 struct type *ftype = top_stack->cur_type;
1159 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1161 /* Make up special symbol to contain procedure specific info */
1162 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1163 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1164 SYMBOL_CLASS (s) = LOC_CONST;
1165 SYMBOL_TYPE (s) = mdebug_type_void;
1166 e = ((struct mdebug_extra_func_info *)
1167 obstack_alloc (¤t_objfile->objfile_obstack,
1168 sizeof (struct mdebug_extra_func_info)));
1169 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1170 SYMBOL_VALUE (s) = (long) e;
1171 e->numargs = top_stack->numargs;
1172 e->pdr.framereg = -1;
1173 add_symbol (s, top_stack->cur_block);
1175 /* f77 emits proc-level with address bounds==[0,0],
1176 So look for such child blocks, and patch them. */
1177 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1179 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1180 if (BLOCK_SUPERBLOCK (b_bad) == b
1181 && BLOCK_START (b_bad) == top_stack->procadr
1182 && BLOCK_END (b_bad) == top_stack->procadr)
1184 BLOCK_START (b_bad) = BLOCK_START (b);
1185 BLOCK_END (b_bad) = BLOCK_END (b);
1189 if (TYPE_NFIELDS (ftype) <= 0)
1191 /* No parameter type information is recorded with the function's
1192 type. Set that from the type of the parameter symbols. */
1193 int nparams = top_stack->numargs;
1199 struct dict_iterator iter;
1200 TYPE_NFIELDS (ftype) = nparams;
1201 TYPE_FIELDS (ftype) = (struct field *)
1202 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1205 ALL_BLOCK_SYMBOLS (b, iter, sym)
1207 if (iparams == nparams)
1210 switch (SYMBOL_CLASS (sym))
1215 case LOC_REGPARM_ADDR:
1216 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1217 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1227 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1229 /* End of (code) block. The value of the symbol is the
1230 displacement from the procedure`s start address of the
1231 end of this block. */
1232 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1234 else if (sh->sc == scText && top_stack->blocktype == stNil)
1236 /* End of outermost block. Pop parse stack and ignore. The
1237 following stEnd of stProc will take care of the block. */
1240 else if (sh->sc == scText && top_stack->blocktype == stFile)
1242 /* End of file. Pop parse stack and ignore. Higher
1243 level code deals with this. */
1247 complaint (&symfile_complaints,
1248 _("stEnd with storage class %d not handled"), sh->sc);
1250 pop_parse_stack (); /* restore previous lexical context */
1253 case stMember: /* member of struct or union */
1254 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1255 FIELD_NAME (*f) = name;
1256 FIELD_BITPOS (*f) = sh->value;
1258 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index, &bitsize, bigend, name);
1259 FIELD_BITSIZE (*f) = bitsize;
1260 FIELD_STATIC_KIND (*f) = 0;
1263 case stIndirect: /* forward declaration on Irix5 */
1264 /* Forward declarations from Irix5 cc are handled by cross_ref,
1268 case stTypedef: /* type definition */
1269 found_ecoff_debugging_info = 1;
1271 /* Typedefs for forward declarations and opaque structs from alpha cc
1272 are handled by cross_ref, skip them. */
1276 /* Parse the type or use the pending type. */
1277 pend = is_pending_symbol (cur_fdr, ext_sh);
1278 if (pend == (struct mdebug_pending *) NULL)
1280 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1281 add_pending (cur_fdr, ext_sh, t);
1286 /* mips cc puts out a typedef with the name of the struct for forward
1287 declarations. These should not go into the symbol table and
1288 TYPE_NAME should not be set for them.
1289 They can't be distinguished from an intentional typedef to
1290 the same name however:
1292 struct x { int ix; int jx; };
1296 struct xx {int ixx; int jxx; };
1297 generates a cross referencing stTypedef for x and xx.
1298 The user visible effect of this is that the type of a pointer
1299 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1300 The problem is fixed with alpha cc and Irix5 cc. */
1302 /* However if the typedef cross references to an opaque aggregate, it
1303 is safe to omit it from the symbol table. */
1305 if (has_opaque_xref (cur_fdr, sh))
1307 s = new_symbol (name);
1308 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1309 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1310 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1311 SYMBOL_TYPE (s) = t;
1312 add_symbol (s, top_stack->cur_block);
1314 /* Incomplete definitions of structs should not get a name. */
1315 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1316 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1317 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1318 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1320 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1321 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1323 /* If we are giving a name to a type such as "pointer to
1324 foo" or "function returning foo", we better not set
1325 the TYPE_NAME. If the program contains "typedef char
1326 *caddr_t;", we don't want all variables of type char
1327 * to print as caddr_t. This is not just a
1328 consequence of GDB's type management; CC and GCC (at
1329 least through version 2.4) both output variables of
1330 either type char * or caddr_t with the type
1331 refering to the stTypedef symbol for caddr_t. If a future
1332 compiler cleans this up it GDB is not ready for it
1333 yet, but if it becomes ready we somehow need to
1334 disable this check (without breaking the PCC/GCC2.4
1339 Fortunately, this check seems not to be necessary
1340 for anything except pointers or functions. */
1343 TYPE_NAME (SYMBOL_TYPE (s)) = DEPRECATED_SYMBOL_NAME (s);
1347 case stFile: /* file name */
1348 push_parse_stack ();
1349 top_stack->blocktype = sh->st;
1352 /* I`ve never seen these for C */
1354 break; /* register relocation */
1356 break; /* forwarding address */
1358 break; /* constant */
1360 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1367 /* Parse the type information provided in the raw AX entries for
1368 the symbol SH. Return the bitfield size in BS, in case.
1369 We must byte-swap the AX entries before we use them; BIGEND says whether
1370 they are big-endian or little-endian (from fh->fBigendian). */
1372 static struct type *
1373 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1374 int bigend, char *sym_name)
1376 /* Null entries in this map are treated specially */
1377 static struct type **map_bt[] =
1379 &mdebug_type_void, /* btNil */
1380 &mdebug_type_adr_32, /* btAdr */
1381 &mdebug_type_char, /* btChar */
1382 &mdebug_type_unsigned_char, /* btUChar */
1383 &mdebug_type_short, /* btShort */
1384 &mdebug_type_unsigned_short, /* btUShort */
1385 &mdebug_type_int_32, /* btInt */
1386 &mdebug_type_unsigned_int_32, /* btUInt */
1387 &mdebug_type_long_32, /* btLong */
1388 &mdebug_type_unsigned_long_32, /* btULong */
1389 &mdebug_type_float, /* btFloat */
1390 &mdebug_type_double, /* btDouble */
1397 &mdebug_type_complex, /* btComplex */
1398 &mdebug_type_double_complex, /* btDComplex */
1400 &mdebug_type_fixed_dec, /* btFixedDec */
1401 &mdebug_type_float_dec, /* btFloatDec */
1402 &mdebug_type_string, /* btString */
1405 &mdebug_type_void, /* btVoid */
1406 0, /* DEC C++: Pointer to member */
1407 0, /* DEC C++: Virtual function table */
1408 0, /* DEC C++: Class (Record) */
1409 &mdebug_type_long_64, /* btLong64 */
1410 &mdebug_type_unsigned_long_64, /* btULong64 */
1411 &mdebug_type_long_long_64, /* btLongLong64 */
1412 &mdebug_type_unsigned_long_long_64, /* btULongLong64 */
1413 &mdebug_type_adr_64, /* btAdr64 */
1414 &mdebug_type_int_64, /* btInt64 */
1415 &mdebug_type_unsigned_int_64, /* btUInt64 */
1419 struct type *tp = 0;
1420 enum type_code type_code = TYPE_CODE_UNDEF;
1422 /* Handle undefined types, they have indexNil. */
1423 if (aux_index == indexNil)
1424 return mdebug_type_int;
1426 /* Handle corrupt aux indices. */
1427 if (aux_index >= (debug_info->fdr + fd)->caux)
1429 index_complaint (sym_name);
1430 return mdebug_type_int;
1434 /* Use aux as a type information record, map its basic type. */
1435 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1436 if (t->bt >= (sizeof (map_bt) / sizeof (*map_bt)))
1438 basic_type_complaint (t->bt, sym_name);
1439 return mdebug_type_int;
1443 tp = *map_bt[t->bt];
1448 /* Cannot use builtin types -- build our own */
1452 type_code = TYPE_CODE_STRUCT;
1455 type_code = TYPE_CODE_UNION;
1458 type_code = TYPE_CODE_ENUM;
1461 type_code = TYPE_CODE_RANGE;
1464 type_code = TYPE_CODE_SET;
1467 /* alpha cc -migrate uses this for typedefs. The true type will
1468 be obtained by crossreferencing below. */
1469 type_code = TYPE_CODE_ERROR;
1472 /* alpha cc uses this for typedefs. The true type will be
1473 obtained by crossreferencing below. */
1474 type_code = TYPE_CODE_ERROR;
1477 basic_type_complaint (t->bt, sym_name);
1478 return mdebug_type_int;
1482 /* Move on to next aux */
1487 int width = AUX_GET_WIDTH (bigend, ax);
1488 /* Inhibit core dumps if TIR is corrupted. */
1489 if (bs == (int *) NULL)
1491 /* Alpha cc -migrate encodes char and unsigned char types
1492 as short and unsigned short types with a field width of 8.
1493 Enum types also have a field width which we ignore for now. */
1494 if (t->bt == btShort && width == 8)
1495 tp = mdebug_type_char;
1496 else if (t->bt == btUShort && width == 8)
1497 tp = mdebug_type_unsigned_char;
1498 else if (t->bt == btEnum)
1501 complaint (&symfile_complaints, _("can't handle TIR fBitfield for %s"),
1509 /* A btIndirect entry cross references to an aux entry containing
1511 if (t->bt == btIndirect)
1518 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1520 if (rn->rfd == 0xfff)
1522 rf = AUX_GET_ISYM (bigend, ax);
1530 complaint (&symfile_complaints,
1531 _("unable to cross ref btIndirect for %s"), sym_name);
1532 return mdebug_type_int;
1534 xref_fh = get_rfd (fd, rf);
1535 xref_fd = xref_fh - debug_info->fdr;
1536 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1537 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1540 /* All these types really point to some (common) MIPS type
1541 definition, and only the type-qualifiers fully identify
1542 them. We'll make the same effort at sharing. */
1543 if (t->bt == btStruct ||
1547 /* btSet (I think) implies that the name is a tag name, not a typedef
1548 name. This apparently is a MIPS extension for C sets. */
1553 /* Try to cross reference this type, build new type on failure. */
1554 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1555 if (tp == (struct type *) NULL)
1556 tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
1558 /* DEC c89 produces cross references to qualified aggregate types,
1559 dereference them. */
1560 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1561 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1562 tp = TYPE_TARGET_TYPE (tp);
1564 /* Make sure that TYPE_CODE(tp) has an expected type code.
1565 Any type may be returned from cross_ref if file indirect entries
1567 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1568 && TYPE_CODE (tp) != TYPE_CODE_UNION
1569 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1571 unexpected_type_code_complaint (sym_name);
1576 /* Usually, TYPE_CODE(tp) is already type_code. The main
1577 exception is if we guessed wrong re struct/union/enum.
1578 But for struct vs. union a wrong guess is harmless, so
1579 don't complain(). */
1580 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1581 && type_code != TYPE_CODE_ENUM)
1582 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1583 && type_code == TYPE_CODE_ENUM))
1585 bad_tag_guess_complaint (sym_name);
1588 if (TYPE_CODE (tp) != type_code)
1590 TYPE_CODE (tp) = type_code;
1593 /* Do not set the tag name if it is a compiler generated tag name
1594 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1595 if (name[0] == '.' || name[0] == '\0')
1596 TYPE_TAG_NAME (tp) = NULL;
1597 else if (TYPE_TAG_NAME (tp) == NULL
1598 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1599 TYPE_TAG_NAME (tp) = obsavestring (name, strlen (name),
1600 ¤t_objfile->objfile_obstack);
1604 /* All these types really point to some (common) MIPS type
1605 definition, and only the type-qualifiers fully identify
1606 them. We'll make the same effort at sharing.
1607 FIXME: We are not doing any guessing on range types. */
1608 if (t->bt == btRange)
1612 /* Try to cross reference this type, build new type on failure. */
1613 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1614 if (tp == (struct type *) NULL)
1615 tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
1617 /* Make sure that TYPE_CODE(tp) has an expected type code.
1618 Any type may be returned from cross_ref if file indirect entries
1620 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1622 unexpected_type_code_complaint (sym_name);
1626 /* Usually, TYPE_CODE(tp) is already type_code. The main
1627 exception is if we guessed wrong re struct/union/enum. */
1628 if (TYPE_CODE (tp) != type_code)
1630 bad_tag_guess_complaint (sym_name);
1631 TYPE_CODE (tp) = type_code;
1633 if (TYPE_NAME (tp) == NULL
1634 || strcmp (TYPE_NAME (tp), name) != 0)
1635 TYPE_NAME (tp) = obsavestring (name, strlen (name),
1636 ¤t_objfile->objfile_obstack);
1639 if (t->bt == btTypedef)
1643 /* Try to cross reference this type, it should succeed. */
1644 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1645 if (tp == (struct type *) NULL)
1647 complaint (&symfile_complaints,
1648 _("unable to cross ref btTypedef for %s"), sym_name);
1649 tp = mdebug_type_int;
1653 /* Deal with range types */
1654 if (t->bt == btRange)
1656 TYPE_NFIELDS (tp) = 2;
1657 TYPE_FIELDS (tp) = ((struct field *)
1658 TYPE_ALLOC (tp, 2 * sizeof (struct field)));
1659 TYPE_FIELD_NAME (tp, 0) = obsavestring ("Low", strlen ("Low"),
1660 ¤t_objfile->objfile_obstack);
1661 TYPE_FIELD_BITPOS (tp, 0) = AUX_GET_DNLOW (bigend, ax);
1663 TYPE_FIELD_NAME (tp, 1) = obsavestring ("High", strlen ("High"),
1664 ¤t_objfile->objfile_obstack);
1665 TYPE_FIELD_BITPOS (tp, 1) = AUX_GET_DNHIGH (bigend, ax);
1669 /* Parse all the type qualifiers now. If there are more
1670 than 6 the game will continue in the next aux */
1674 #define PARSE_TQ(tq) \
1675 if (t->tq != tqNil) \
1676 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1688 /* mips cc 2.x and gcc never put out continued aux entries. */
1692 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1696 /* Complain for illegal continuations due to corrupt aux entries. */
1698 complaint (&symfile_complaints, _("illegal TIR continued for %s"), sym_name);
1703 /* Make up a complex type from a basic one. Type is passed by
1704 reference in TPP and side-effected as necessary. The type
1705 qualifier TQ says how to handle the aux symbols at AX for
1706 the symbol SX we are currently analyzing. BIGEND says whether
1707 aux symbols are big-endian or little-endian.
1708 Returns the number of aux symbols we parsed. */
1711 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1717 /* Used in array processing */
1728 t = lookup_pointer_type (*tpp);
1733 t = lookup_function_type (*tpp);
1740 /* Determine and record the domain type (type of index) */
1741 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1747 rf = AUX_GET_ISYM (bigend, ax);
1750 fh = get_rfd (fd, rf);
1752 indx = parse_type (fh - debug_info->fdr,
1753 debug_info->external_aux + fh->iauxBase,
1754 id, (int *) NULL, bigend, sym_name);
1756 /* The bounds type should be an integer type, but might be anything
1757 else due to corrupt aux entries. */
1758 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1760 complaint (&symfile_complaints,
1761 _("illegal array index type for %s, assuming int"), sym_name);
1762 indx = mdebug_type_int;
1765 /* Get the bounds, and create the array type. */
1767 lower = AUX_GET_DNLOW (bigend, ax);
1769 upper = AUX_GET_DNHIGH (bigend, ax);
1771 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1773 range = create_range_type ((struct type *) NULL, indx,
1776 t = create_array_type ((struct type *) NULL, *tpp, range);
1778 /* We used to fill in the supplied array element bitsize
1779 here if the TYPE_LENGTH of the target type was zero.
1780 This happens for a `pointer to an array of anonymous structs',
1781 but in this case the array element bitsize is also zero,
1782 so nothing is gained.
1783 And we used to check the TYPE_LENGTH of the target type against
1784 the supplied array element bitsize.
1785 gcc causes a mismatch for `pointer to array of object',
1786 since the sdb directives it uses do not have a way of
1787 specifying the bitsize, but it does no harm (the
1788 TYPE_LENGTH should be correct) and we should be able to
1789 ignore the erroneous bitsize from the auxiliary entry safely.
1790 dbx seems to ignore it too. */
1792 /* TYPE_FLAG_TARGET_STUB now takes care of the zero TYPE_LENGTH
1794 if (TYPE_LENGTH (*tpp) == 0)
1796 TYPE_FLAGS (t) |= TYPE_FLAG_TARGET_STUB;
1803 /* Volatile -- currently ignored */
1807 /* Const -- currently ignored */
1811 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1817 /* Parse a procedure descriptor record PR. Note that the procedure is
1818 parsed _after_ the local symbols, now we just insert the extra
1819 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1820 already been placed in the procedure's main block. Note also that
1821 images that have been partially stripped (ld -x) have been deprived
1822 of local symbols, and we have to cope with them here. FIRST_OFF is
1823 the offset of the first procedure for this FDR; we adjust the
1824 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1825 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1826 in question, or NULL to use top_stack->cur_block. */
1828 static void parse_procedure (PDR *, struct symtab *, struct partial_symtab *);
1831 parse_procedure (PDR *pr, struct symtab *search_symtab,
1832 struct partial_symtab *pst)
1834 struct symbol *s, *i;
1836 struct mdebug_extra_func_info *e;
1839 /* Simple rule to find files linked "-x" */
1840 if (cur_fdr->rss == -1)
1844 /* Static procedure at address pr->adr. Sigh. */
1845 /* FIXME-32x64. assuming pr->adr fits in long. */
1846 complaint (&symfile_complaints,
1847 _("can't handle PDR for static proc at 0x%lx"),
1848 (unsigned long) pr->adr);
1856 (*debug_swap->swap_ext_in) (cur_bfd,
1857 ((char *) debug_info->external_ext
1859 * debug_swap->external_ext_size)),
1861 sh_name = debug_info->ssext + she.asym.iss;
1869 (*debug_swap->swap_sym_in) (cur_bfd,
1870 ((char *) debug_info->external_sym
1871 + ((cur_fdr->isymBase + pr->isym)
1872 * debug_swap->external_sym_size)),
1874 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1877 if (search_symtab != NULL)
1880 /* This loses both in the case mentioned (want a static, find a global),
1881 but also if we are looking up a non-mangled name which happens to
1882 match the name of a mangled function. */
1883 /* We have to save the cur_fdr across the call to lookup_symbol.
1884 If the pdr is for a static function and if a global function with
1885 the same name exists, lookup_symbol will eventually read in the symtab
1886 for the global function and clobber cur_fdr. */
1887 FDR *save_cur_fdr = cur_fdr;
1888 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0, NULL);
1889 cur_fdr = save_cur_fdr;
1893 BLOCKVECTOR_BLOCK (BLOCKVECTOR (search_symtab), STATIC_BLOCK),
1899 s = mylookup_symbol (sh_name, top_stack->cur_block,
1900 VAR_DOMAIN, LOC_BLOCK);
1904 b = SYMBOL_BLOCK_VALUE (s);
1908 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
1912 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
1913 s = new_symbol (sh_name);
1914 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1915 SYMBOL_CLASS (s) = LOC_BLOCK;
1916 /* Donno its type, hope int is ok */
1917 SYMBOL_TYPE (s) = lookup_function_type (mdebug_type_int);
1918 add_symbol (s, top_stack->cur_block);
1919 /* Wont have symbols for this one */
1921 SYMBOL_BLOCK_VALUE (s) = b;
1922 BLOCK_FUNCTION (b) = s;
1923 BLOCK_START (b) = pr->adr;
1924 /* BOUND used to be the end of procedure's text, but the
1925 argument is no longer passed in. */
1926 BLOCK_END (b) = bound;
1927 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1928 add_block (b, top_stack->cur_st);
1932 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
1936 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE (i);
1938 e->pdr.isym = (long) s;
1940 /* GDB expects the absolute function start address for the
1941 procedure descriptor in e->pdr.adr.
1942 As the address in the procedure descriptor is usually relative,
1943 we would have to relocate e->pdr.adr with cur_fdr->adr and
1944 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
1945 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
1946 in shared libraries on some systems, and on other systems
1947 e->pdr.adr is sometimes offset by a bogus value.
1948 To work around these problems, we replace e->pdr.adr with
1949 the start address of the function. */
1950 e->pdr.adr = BLOCK_START (b);
1952 /* Correct incorrect setjmp procedure descriptor from the library
1953 to make backtrace through setjmp work. */
1954 if (e->pdr.pcreg == 0
1955 && strcmp (sh_name, "setjmp") == 0)
1957 complaint (&symfile_complaints, _("fixing bad setjmp PDR from libc"));
1959 e->pdr.pcreg = RA_REGNUM;
1963 e->pdr.regmask = 0x80000000;
1964 e->pdr.regoffset = -4;
1968 /* It would be reasonable that functions that have been compiled
1969 without debugging info have a btNil type for their return value,
1970 and functions that are void and are compiled with debugging info
1972 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
1973 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
1975 The glevel field in cur_fdr could be used to determine the presence
1976 of debugging info, but GCC doesn't always pass the -g switch settings
1977 to the assembler and GAS doesn't set the glevel field from the -g switch
1979 To work around these problems, the return value type of a TYPE_CODE_VOID
1980 function is adjusted accordingly if no debugging info was found in the
1981 compilation unit. */
1983 if (processing_gcc_compilation == 0
1984 && found_ecoff_debugging_info == 0
1985 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
1986 SYMBOL_TYPE (s) = nodebug_func_symbol_type;
1989 /* Parse the external symbol ES. Just call parse_symbol() after
1990 making sure we know where the aux are for it.
1991 BIGEND says whether aux entries are big-endian or little-endian.
1993 This routine clobbers top_stack->cur_block and ->cur_st. */
1995 static void parse_external (EXTR *, int, struct section_offsets *,
1999 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2000 struct objfile *objfile)
2004 if (es->ifd != ifdNil)
2007 cur_fdr = debug_info->fdr + cur_fd;
2008 ax = debug_info->external_aux + cur_fdr->iauxBase;
2012 cur_fdr = debug_info->fdr;
2016 /* Reading .o files */
2017 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2020 switch (es->asym.st)
2023 /* These are generated for static symbols in .o files,
2044 /* FIXME: Turn this into a complaint? */
2046 printf_filtered ("Warning: %s `%s' is undefined (in %s)\n",
2047 what, debug_info->ssext + es->asym.iss,
2048 fdr_name (cur_fdr));
2052 switch (es->asym.st)
2056 /* There is no need to parse the external procedure symbols.
2057 If they are from objects compiled without -g, their index will
2058 be indexNil, and the symbol definition from the minimal symbol
2059 is preferrable (yielding a function returning int instead of int).
2060 If the index points to a local procedure symbol, the local
2061 symbol already provides the correct type.
2062 Note that the index of the external procedure symbol points
2063 to the local procedure symbol in the local symbol table, and
2064 _not_ to the auxiliary symbol info. */
2068 /* Global common symbols are resolved by the runtime loader,
2070 if (SC_IS_COMMON (es->asym.sc))
2073 /* Note that the case of a symbol with indexNil must be handled
2074 anyways by parse_symbol(). */
2075 parse_symbol (&es->asym, ax, (char *) NULL, bigend, section_offsets, objfile);
2082 /* Parse the line number info for file descriptor FH into
2083 GDB's linetable LT. MIPS' encoding requires a little bit
2084 of magic to get things out. Note also that MIPS' line
2085 numbers can go back and forth, apparently we can live
2086 with that and do not need to reorder our linetables */
2088 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2089 struct partial_symtab *, CORE_ADDR);
2092 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2093 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2095 unsigned char *base;
2097 int delta, count, lineno = 0;
2099 if (fh->cbLine == 0)
2102 /* Scan by procedure descriptors */
2104 for (j = 0; j < fh->cpd; j++, pr++)
2108 unsigned char *halt;
2110 /* No code for this one */
2111 if (pr->iline == ilineNil ||
2112 pr->lnLow == -1 || pr->lnHigh == -1)
2115 /* Determine start and end address of compressed line bytes for
2117 base = debug_info->line + fh->cbLineOffset;
2118 if (j != (fh->cpd - 1))
2119 halt = base + pr[1].cbLineOffset;
2121 halt = base + fh->cbLine;
2122 base += pr->cbLineOffset;
2124 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2126 l = adr >> 2; /* in words */
2127 for (lineno = pr->lnLow; base < halt;)
2129 count = *base & 0x0f;
2130 delta = *base++ >> 4;
2135 delta = (base[0] << 8) | base[1];
2136 if (delta >= 0x8000)
2140 lineno += delta; /* first delta is 0 */
2142 /* Complain if the line table overflows. Could happen
2143 with corrupt binaries. */
2144 if (lt->nitems >= maxlines)
2146 complaint (&symfile_complaints,
2147 _("guessed size of linetable for %s incorrectly"),
2151 k = add_line (lt, lineno, l, k);
2158 function_outside_compilation_unit_complaint (const char *arg1)
2160 complaint (&symfile_complaints,
2161 _("function `%s' appears to be defined outside of all compilation units"),
2165 /* Master parsing procedure for first-pass reading of file symbols
2166 into a partial_symtab. */
2169 parse_partial_symbols (struct objfile *objfile)
2171 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2172 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2173 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2174 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2175 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2176 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2178 HDRR *hdr = &debug_info->symbolic_header;
2179 /* Running pointers */
2187 struct partial_symtab *pst;
2188 int textlow_not_set = 1;
2189 int past_first_source_file = 0;
2191 /* List of current psymtab's include files */
2192 char **psymtab_include_list;
2193 int includes_allocated;
2196 struct pst_map *fdr_to_pst;
2197 /* Index within current psymtab dependency list */
2198 struct partial_symtab **dependency_list;
2199 int dependencies_used, dependencies_allocated;
2200 struct cleanup *old_chain;
2202 enum language prev_language;
2203 asection *text_sect;
2204 int relocatable = 0;
2206 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2207 the shared libraries are prelinked at a high memory address.
2208 We have to adjust the start address of the object file for this case,
2209 by setting it to the start address of the first procedure in the file.
2210 But we should do no adjustments if we are debugging a .o file, where
2211 the text section (and fh->adr) really starts at zero. */
2212 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2213 if (text_sect != NULL
2214 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2217 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2218 sizeof (EXTR) * hdr->iextMax);
2220 includes_allocated = 30;
2222 psymtab_include_list = (char **) alloca (includes_allocated *
2224 next_symbol_text_func = mdebug_next_symbol_text;
2226 dependencies_allocated = 30;
2227 dependencies_used = 0;
2229 (struct partial_symtab **) alloca (dependencies_allocated *
2230 sizeof (struct partial_symtab *));
2232 last_source_file = NULL;
2237 * Only parse the Local and External symbols, and the Relative FDR.
2238 * Fixup enough of the loader symtab to be able to use it.
2239 * Allocate space only for the file's portions we need to
2244 max_glevel = MIN_GLEVEL;
2246 /* Allocate the map FDR -> PST.
2247 Minor hack: -O3 images might claim some global data belongs
2248 to FDR -1. We`ll go along with that */
2249 fdr_to_pst = (struct pst_map *) xzalloc ((hdr->ifdMax + 1) * sizeof *fdr_to_pst);
2250 old_chain = make_cleanup (xfree, fdr_to_pst);
2253 struct partial_symtab *pst = new_psymtab ("", objfile);
2254 fdr_to_pst[-1].pst = pst;
2258 /* Allocate the global pending list. */
2260 ((struct mdebug_pending **)
2261 obstack_alloc (&objfile->objfile_obstack,
2262 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2263 memset (pending_list, 0,
2264 hdr->ifdMax * sizeof (struct mdebug_pending *));
2266 /* Pass 0 over external syms: swap them in. */
2267 ext_block = (EXTR *) xmalloc (hdr->iextMax * sizeof (EXTR));
2268 make_cleanup (xfree, ext_block);
2270 ext_out = (char *) debug_info->external_ext;
2271 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2273 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2274 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2276 /* Pass 1 over external syms: Presize and partition the list */
2278 ext_in_end = ext_in + hdr->iextMax;
2279 for (; ext_in < ext_in_end; ext_in++)
2281 /* See calls to complain below. */
2282 if (ext_in->ifd >= -1
2283 && ext_in->ifd < hdr->ifdMax
2284 && ext_in->asym.iss >= 0
2285 && ext_in->asym.iss < hdr->issExtMax)
2286 fdr_to_pst[ext_in->ifd].n_globals++;
2289 /* Pass 1.5 over files: partition out global symbol space */
2291 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2293 fdr_to_pst[f_idx].globals_offset = s_idx;
2294 s_idx += fdr_to_pst[f_idx].n_globals;
2295 fdr_to_pst[f_idx].n_globals = 0;
2300 For ECOFF in ELF, we skip the creation of the minimal symbols.
2301 The ECOFF symbols should be a subset of the Elf symbols, and the
2302 section information of the elf symbols will be more accurate.
2303 FIXME! What about Irix 5's native linker?
2305 By default, Elf sections which don't exist in ECOFF
2306 get put in ECOFF's absolute section by the gnu linker.
2307 Since absolute sections don't get relocated, we
2308 end up calculating an address different from that of
2309 the symbol's minimal symbol (created earlier from the
2312 To fix this, either :
2313 1) don't create the duplicate symbol
2314 (assumes ECOFF symtab is a subset of the ELF symtab;
2315 assumes no side-effects result from ignoring ECOFF symbol)
2316 2) create it, only if lookup for existing symbol in ELF's minimal
2319 assumes no side-effects result from ignoring ECOFF symbol)
2320 3) create it, but lookup ELF's minimal symbol and use it's section
2321 during relocation, then modify "uniqify" phase to merge and
2322 eliminate the duplicate symbol
2323 (highly inefficient)
2325 I've implemented #1 here...
2326 Skip the creation of the minimal symbols based on the ECOFF
2329 /* Pass 2 over external syms: fill in external symbols */
2331 ext_in_end = ext_in + hdr->iextMax;
2332 for (; ext_in < ext_in_end; ext_in++)
2334 enum minimal_symbol_type ms_type = mst_text;
2335 CORE_ADDR svalue = ext_in->asym.value;
2337 /* The Irix 5 native tools seem to sometimes generate bogus
2338 external symbols. */
2339 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2341 complaint (&symfile_complaints,
2342 _("bad ifd for external symbol: %d (max %ld)"), ext_in->ifd,
2346 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2348 complaint (&symfile_complaints,
2349 _("bad iss for external symbol: %ld (max %ld)"),
2350 ext_in->asym.iss, hdr->issExtMax);
2354 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2355 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2358 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2362 /* Pass 3 over files, over local syms: fill in static symbols */
2363 name = debug_info->ssext + ext_in->asym.iss;
2365 /* Process ECOFF Symbol Types and Storage Classes */
2366 switch (ext_in->asym.st)
2369 /* Beginnning of Procedure */
2370 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2373 /* Load time only static procs */
2374 ms_type = mst_file_text;
2375 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2378 /* External symbol */
2379 if (SC_IS_COMMON (ext_in->asym.sc))
2381 /* The value of a common symbol is its size, not its address.
2385 else if (SC_IS_DATA (ext_in->asym.sc))
2388 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2390 else if (SC_IS_BSS (ext_in->asym.sc))
2393 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2395 else if (SC_IS_SBSS (ext_in->asym.sc))
2398 svalue += ANOFFSET (objfile->section_offsets,
2399 get_section_index (objfile, ".sbss"));
2407 /* On certain platforms, some extra label symbols can be
2408 generated by the linker. One possible usage for this kind
2409 of symbols is to represent the address of the begining of a
2410 given section. For instance, on Tru64 5.1, the address of
2411 the _ftext label is the start address of the .text section.
2413 The storage class of these symbols is usually directly
2414 related to the section to which the symbol refers. For
2415 instance, on Tru64 5.1, the storage class for the _fdata
2416 label is scData, refering to the .data section.
2418 It is actually possible that the section associated to the
2419 storage class of the label does not exist. On True64 5.1
2420 for instance, the libm.so shared library does not contain
2421 any .data section, although it contains a _fpdata label
2422 which storage class is scData... Since these symbols are
2423 usually useless for the debugger user anyway, we just
2424 discard these symbols.
2427 if (SC_IS_TEXT (ext_in->asym.sc))
2429 if (objfile->sect_index_text == -1)
2432 ms_type = mst_file_text;
2433 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2435 else if (SC_IS_DATA (ext_in->asym.sc))
2437 if (objfile->sect_index_data == -1)
2440 ms_type = mst_file_data;
2441 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2443 else if (SC_IS_BSS (ext_in->asym.sc))
2445 if (objfile->sect_index_bss == -1)
2448 ms_type = mst_file_bss;
2449 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2451 else if (SC_IS_SBSS (ext_in->asym.sc))
2453 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2455 if (sbss_sect_index == -1)
2458 ms_type = mst_file_bss;
2459 svalue += ANOFFSET (objfile->section_offsets, sbss_sect_index);
2466 /* The alpha has the section start addresses in stLocal symbols
2467 whose name starts with a `.'. Skip those but complain for all
2468 other stLocal symbols.
2469 Irix6 puts the section start addresses in stNil symbols, skip
2475 ms_type = mst_unknown;
2476 unknown_ext_complaint (name);
2478 if (!ECOFF_IN_ELF (cur_bfd))
2479 prim_record_minimal_symbol (name, svalue, ms_type, objfile);
2482 /* Pass 3 over files, over local syms: fill in static symbols */
2483 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2485 struct partial_symtab *save_pst;
2489 cur_fdr = fh = debug_info->fdr + f_idx;
2493 fdr_to_pst[f_idx].pst = NULL;
2497 /* Determine the start address for this object file from the
2498 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2502 if (relocatable || textlow != 0)
2503 textlow += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2507 pst = start_psymtab_common (objfile, objfile->section_offsets,
2510 objfile->global_psymbols.next,
2511 objfile->static_psymbols.next);
2512 pst->read_symtab_private = ((char *)
2513 obstack_alloc (&objfile->objfile_obstack,
2514 sizeof (struct symloc)));
2515 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2518 FDR_IDX (pst) = f_idx;
2519 CUR_BFD (pst) = cur_bfd;
2520 DEBUG_SWAP (pst) = debug_swap;
2521 DEBUG_INFO (pst) = debug_info;
2522 PENDING_LIST (pst) = pending_list;
2524 /* The way to turn this into a symtab is to call... */
2525 pst->read_symtab = mdebug_psymtab_to_symtab;
2527 /* Set up language for the pst.
2528 The language from the FDR is used if it is unambigious (e.g. cfront
2529 with native cc and g++ will set the language to C).
2530 Otherwise we have to deduce the language from the filename.
2531 Native ecoff has every header file in a separate FDR, so
2532 deduce_language_from_filename will return language_unknown for
2533 a header file, which is not what we want.
2534 But the FDRs for the header files are after the FDR for the source
2535 file, so we can assign the language of the source file to the
2536 following header files. Then we save the language in the private
2537 pst data so that we can reuse it when building symtabs. */
2538 prev_language = psymtab_language;
2542 case langCplusplusV2:
2543 psymtab_language = language_cplus;
2546 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2549 if (psymtab_language == language_unknown)
2550 psymtab_language = prev_language;
2551 PST_PRIVATE (pst)->pst_language = psymtab_language;
2553 pst->texthigh = pst->textlow;
2555 /* For stabs-in-ecoff files, the second symbol must be @stab.
2556 This symbol is emitted by mips-tfile to signal that the
2557 current object file uses encapsulated stabs instead of mips
2558 ecoff for local symbols. (It is the second symbol because
2559 the first symbol is the stFile used to signal the start of a
2561 processing_gcc_compilation = 0;
2564 (*swap_sym_in) (cur_bfd,
2565 ((char *) debug_info->external_sym
2566 + (fh->isymBase + 1) * external_sym_size),
2568 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2570 processing_gcc_compilation = 2;
2573 if (processing_gcc_compilation != 0)
2575 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2580 (*swap_sym_in) (cur_bfd,
2581 (((char *) debug_info->external_sym)
2582 + (fh->isymBase + cur_sdx) * external_sym_size),
2584 type_code = ECOFF_UNMARK_STAB (sh.index);
2585 if (!ECOFF_IS_STAB (&sh))
2587 if (sh.st == stProc || sh.st == stStaticProc)
2592 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2593 if (sh.st == stStaticProc)
2595 namestring = debug_info->ss + fh->issBase + sh.iss;
2596 prim_record_minimal_symbol_and_info (namestring,
2600 SECT_OFF_TEXT (objfile),
2604 procaddr = sh.value;
2606 isym = AUX_GET_ISYM (fh->fBigendian,
2607 (debug_info->external_aux
2610 (*swap_sym_in) (cur_bfd,
2611 ((char *) debug_info->external_sym
2612 + ((fh->isymBase + isym - 1)
2613 * external_sym_size)),
2617 CORE_ADDR high = procaddr + sh.value;
2619 /* Kludge for Irix 5.2 zero fh->adr. */
2621 && (pst->textlow == 0 || procaddr < pst->textlow))
2622 pst->textlow = procaddr;
2623 if (high > pst->texthigh)
2624 pst->texthigh = high;
2627 else if (sh.st == stStatic)
2642 namestring = debug_info->ss + fh->issBase + sh.iss;
2643 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2644 prim_record_minimal_symbol_and_info (namestring,
2648 SECT_OFF_DATA (objfile),
2654 /* FIXME! Shouldn't this use cases for bss,
2655 then have the default be abs? */
2656 namestring = debug_info->ss + fh->issBase + sh.iss;
2657 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2658 prim_record_minimal_symbol_and_info (namestring,
2662 SECT_OFF_BSS (objfile),
2670 /* Handle stabs continuation */
2672 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2673 int len = strlen (stabstring);
2674 while (stabstring[len - 1] == '\\')
2677 char *stabstring1 = stabstring;
2681 /* Ignore continuation char from 1st string */
2684 /* Read next stabstring */
2686 (*swap_sym_in) (cur_bfd,
2687 (((char *) debug_info->external_sym)
2688 + (fh->isymBase + cur_sdx)
2689 * external_sym_size),
2691 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2692 len2 = strlen (stabstring2);
2694 /* Concatinate stabstring2 with stabstring1 */
2696 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2697 stabstring = xrealloc (stabstring, len + len2 + 1);
2700 stabstring = xmalloc (len + len2 + 1);
2701 strcpy (stabstring, stabstring1);
2703 strcpy (stabstring + len, stabstring2);
2711 * Standard, external, non-debugger, symbols
2714 case N_TEXT | N_EXT:
2715 case N_NBTEXT | N_EXT:
2716 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2719 case N_DATA | N_EXT:
2720 case N_NBDATA | N_EXT:
2721 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2726 case N_NBBSS | N_EXT:
2727 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2728 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2735 /* Standard, local, non-debugger, symbols */
2739 /* We need to be able to deal with both N_FN or N_TEXT,
2740 because we have no way of knowing whether the sys-supplied ld
2741 or GNU ld was used to make the executable. Sequents throw
2742 in another wrinkle -- they renumbered N_FN. */
2750 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2753 case N_UNDF | N_EXT:
2754 continue; /* Just undefined, not COMMON */
2759 /* Lots of symbol types we can just ignore. */
2766 /* Keep going . . . */
2769 * Special symbol types for GNU
2772 case N_INDR | N_EXT:
2774 case N_SETA | N_EXT:
2776 case N_SETT | N_EXT:
2778 case N_SETD | N_EXT:
2780 case N_SETB | N_EXT:
2791 static int prev_so_symnum = -10;
2792 static int first_so_symnum;
2794 int prev_textlow_not_set;
2796 valu = sh.value + ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2798 prev_textlow_not_set = textlow_not_set;
2800 #ifdef SOFUN_ADDRESS_MAYBE_MISSING
2801 /* A zero value is probably an indication for the SunPRO 3.0
2802 compiler. end_psymtab explicitly tests for zero, so
2803 don't relocate it. */
2807 textlow_not_set = 1;
2811 textlow_not_set = 0;
2813 textlow_not_set = 0;
2815 past_first_source_file = 1;
2817 if (prev_so_symnum != symnum - 1)
2818 { /* Here if prev stab wasn't N_SO */
2819 first_so_symnum = symnum;
2823 pst = (struct partial_symtab *) 0;
2825 dependencies_used = 0;
2829 prev_so_symnum = symnum;
2831 /* End the current partial symtab and start a new one */
2833 /* SET_NAMESTRING ();*/
2834 namestring = stabstring;
2836 /* Null name means end of .o file. Don't start a new one. */
2837 if (*namestring == '\000')
2840 /* Some compilers (including gcc) emit a pair of initial N_SOs.
2841 The first one is a directory name; the second the file name.
2842 If pst exists, is empty, and has a filename ending in '/',
2843 we assume the previous N_SO was a directory name. */
2845 p = strrchr (namestring, '/');
2846 if (p && *(p + 1) == '\000')
2847 continue; /* Simply ignore directory name SOs */
2849 /* Some other compilers (C++ ones in particular) emit useless
2850 SOs for non-existant .c files. We ignore all subsequent SOs that
2851 immediately follow the first. */
2863 enum language tmp_language;
2864 /* Mark down an include file in the current psymtab */
2866 /* SET_NAMESTRING ();*/
2867 namestring = stabstring;
2869 tmp_language = deduce_language_from_filename (namestring);
2871 /* Only change the psymtab's language if we've learned
2872 something useful (eg. tmp_language is not language_unknown).
2873 In addition, to match what start_subfile does, never change
2875 if (tmp_language != language_unknown
2876 && (tmp_language != language_c
2877 || psymtab_language != language_cplus))
2878 psymtab_language = tmp_language;
2880 /* In C++, one may expect the same filename to come round many
2881 times, when code is coming alternately from the main file
2882 and from inline functions in other files. So I check to see
2883 if this is a file we've seen before -- either the main
2884 source file, or a previously included file.
2886 This seems to be a lot of time to be spending on N_SOL, but
2887 things like "break c-exp.y:435" need to work (I
2888 suppose the psymtab_include_list could be hashed or put
2889 in a binary tree, if profiling shows this is a major hog). */
2890 if (pst && strcmp (namestring, pst->filename) == 0)
2894 for (i = 0; i < includes_used; i++)
2895 if (strcmp (namestring,
2896 psymtab_include_list[i]) == 0)
2905 psymtab_include_list[includes_used++] = namestring;
2906 if (includes_used >= includes_allocated)
2908 char **orig = psymtab_include_list;
2910 psymtab_include_list = (char **)
2911 alloca ((includes_allocated *= 2) *
2913 memcpy (psymtab_include_list, orig,
2914 includes_used * sizeof (char *));
2918 case N_LSYM: /* Typedef or automatic variable. */
2919 case N_STSYM: /* Data seg var -- static */
2920 case N_LCSYM: /* BSS " */
2921 case N_ROSYM: /* Read-only data seg var -- static. */
2922 case N_NBSTS: /* Gould nobase. */
2923 case N_NBLCS: /* symbols. */
2925 case N_GSYM: /* Global (extern) variable; can be
2926 data or bss (sigh FIXME). */
2928 /* Following may probably be ignored; I'll leave them here
2929 for now (until I do Pascal and Modula 2 extensions). */
2931 case N_PC: /* I may or may not need this; I
2933 case N_M2C: /* I suspect that I can ignore this here. */
2934 case N_SCOPE: /* Same. */
2936 /* SET_NAMESTRING ();*/
2937 namestring = stabstring;
2938 p = (char *) strchr (namestring, ':');
2940 continue; /* Not a debugging symbol. */
2944 /* Main processing section for debugging symbols which
2945 the initial read through the symbol tables needs to worry
2946 about. If we reach this point, the symbol which we are
2947 considering is definitely one we are interested in.
2948 p must also contain the (valid) index into the namestring
2949 which indicates the debugging type symbol. */
2954 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2955 #ifdef STATIC_TRANSFORM_NAME
2956 namestring = STATIC_TRANSFORM_NAME (namestring);
2958 add_psymbol_to_list (namestring, p - namestring,
2959 VAR_DOMAIN, LOC_STATIC,
2960 &objfile->static_psymbols,
2962 psymtab_language, objfile);
2965 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2966 /* The addresses in these entries are reported to be
2967 wrong. See the code that reads 'G's for symtabs. */
2968 add_psymbol_to_list (namestring, p - namestring,
2969 VAR_DOMAIN, LOC_STATIC,
2970 &objfile->global_psymbols,
2972 psymtab_language, objfile);
2976 /* When a 'T' entry is defining an anonymous enum, it
2977 may have a name which is the empty string, or a
2978 single space. Since they're not really defining a
2979 symbol, those shouldn't go in the partial symbol
2980 table. We do pick up the elements of such enums at
2981 'check_enum:', below. */
2982 if (p >= namestring + 2
2983 || (p == namestring + 1
2984 && namestring[0] != ' '))
2986 add_psymbol_to_list (namestring, p - namestring,
2987 STRUCT_DOMAIN, LOC_TYPEDEF,
2988 &objfile->static_psymbols,
2990 psymtab_language, objfile);
2993 /* Also a typedef with the same name. */
2994 add_psymbol_to_list (namestring, p - namestring,
2995 VAR_DOMAIN, LOC_TYPEDEF,
2996 &objfile->static_psymbols,
2998 psymtab_language, objfile);
3004 if (p != namestring) /* a name is there, not just :T... */
3006 add_psymbol_to_list (namestring, p - namestring,
3007 VAR_DOMAIN, LOC_TYPEDEF,
3008 &objfile->static_psymbols,
3010 psymtab_language, objfile);
3013 /* If this is an enumerated type, we need to
3014 add all the enum constants to the partial symbol
3015 table. This does not cover enums without names, e.g.
3016 "enum {a, b} c;" in C, but fortunately those are
3017 rare. There is no way for GDB to find those from the
3018 enum type without spending too much time on it. Thus
3019 to solve this problem, the compiler needs to put out the
3020 enum in a nameless type. GCC2 does this. */
3022 /* We are looking for something of the form
3023 <name> ":" ("t" | "T") [<number> "="] "e"
3024 {<constant> ":" <value> ","} ";". */
3026 /* Skip over the colon and the 't' or 'T'. */
3028 /* This type may be given a number. Also, numbers can come
3029 in pairs like (0,26). Skip over it. */
3030 while ((*p >= '0' && *p <= '9')
3031 || *p == '(' || *p == ',' || *p == ')'
3037 /* The aix4 compiler emits extra crud before the members. */
3040 /* Skip over the type (?). */
3044 /* Skip over the colon. */
3048 /* We have found an enumerated type. */
3049 /* According to comments in read_enum_type
3050 a comma could end it instead of a semicolon.
3051 I don't know where that happens.
3053 while (*p && *p != ';' && *p != ',')
3057 /* Check for and handle cretinous dbx symbol name
3059 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3060 p = next_symbol_text (objfile);
3062 /* Point to the character after the name
3063 of the enum constant. */
3064 for (q = p; *q && *q != ':'; q++)
3066 /* Note that the value doesn't matter for
3067 enum constants in psymtabs, just in symtabs. */
3068 add_psymbol_to_list (p, q - p,
3069 VAR_DOMAIN, LOC_CONST,
3070 &objfile->static_psymbols, 0,
3071 0, psymtab_language, objfile);
3072 /* Point past the name. */
3074 /* Skip over the value. */
3075 while (*p && *p != ',')
3077 /* Advance past the comma. */
3084 /* Constant, e.g. from "const" in Pascal. */
3085 add_psymbol_to_list (namestring, p - namestring,
3086 VAR_DOMAIN, LOC_CONST,
3087 &objfile->static_psymbols, sh.value,
3088 0, psymtab_language, objfile);
3094 int name_len = p - namestring;
3095 char *name = xmalloc (name_len + 1);
3096 memcpy (name, namestring, name_len);
3097 name[name_len] = '\0';
3098 function_outside_compilation_unit_complaint (name);
3101 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3102 add_psymbol_to_list (namestring, p - namestring,
3103 VAR_DOMAIN, LOC_BLOCK,
3104 &objfile->static_psymbols,
3106 psymtab_language, objfile);
3109 /* Global functions were ignored here, but now they
3110 are put into the global psymtab like one would expect.
3111 They're also in the minimal symbol table. */
3115 int name_len = p - namestring;
3116 char *name = xmalloc (name_len + 1);
3117 memcpy (name, namestring, name_len);
3118 name[name_len] = '\0';
3119 function_outside_compilation_unit_complaint (name);
3122 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3123 add_psymbol_to_list (namestring, p - namestring,
3124 VAR_DOMAIN, LOC_BLOCK,
3125 &objfile->global_psymbols,
3127 psymtab_language, objfile);
3130 /* Two things show up here (hopefully); static symbols of
3131 local scope (static used inside braces) or extensions
3132 of structure symbols. We can ignore both. */
3146 case '#': /* for symbol identification (used in live ranges) */
3150 /* It is a C++ nested symbol. We don't need to record it
3151 (I don't think); if we try to look up foo::bar::baz,
3152 then symbols for the symtab containing foo should get
3153 read in, I think. */
3154 /* Someone says sun cc puts out symbols like
3155 /foo/baz/maclib::/usr/local/bin/maclib,
3156 which would get here with a symbol type of ':'. */
3160 /* Unexpected symbol descriptor. The second and subsequent stabs
3161 of a continued stab can show up here. The question is
3162 whether they ever can mimic a normal stab--it would be
3163 nice if not, since we certainly don't want to spend the
3164 time searching to the end of every string looking for
3167 complaint (&symfile_complaints,
3168 _("unknown symbol descriptor `%c'"), p[1]);
3170 /* Ignore it; perhaps it is an extension that we don't
3179 #ifdef SOFUN_ADDRESS_MAYBE_MISSING
3180 /* Solaris 2 end of module, finish current partial
3181 symbol table. END_PSYMTAB will set
3182 pst->texthigh to the proper value, which is
3183 necessary if a module compiled without
3184 debugging info follows this module. */
3187 pst = (struct partial_symtab *) 0;
3189 dependencies_used = 0;
3195 if (sh.value > save_pst->texthigh)
3196 save_pst->texthigh = sh.value;
3201 case N_SSYM: /* Claim: Structure or union element.
3202 Hopefully, I can ignore this. */
3203 case N_ENTRY: /* Alternate entry point; can ignore. */
3204 case N_MAIN: /* Can definitely ignore this. */
3205 case N_CATCH: /* These are GNU C++ extensions */
3206 case N_EHDECL: /* that can safely be ignored here. */
3216 case N_NSYMS: /* Ultrix 4.0: symbol count */
3217 case N_DEFD: /* GNU Modula-2 */
3218 case N_ALIAS: /* SunPro F77: alias name, ignore for now. */
3220 case N_OBJ: /* useless types from Solaris */
3222 /* These symbols aren't interesting; don't worry about them */
3227 /* If we haven't found it yet, ignore it. It's probably some
3228 new type we don't know about yet. */
3229 complaint (&symfile_complaints, _("unknown symbol type %s"),
3230 hex_string (type_code)); /*CUR_SYMBOL_TYPE*/
3234 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3237 /* end - Handle continuation */
3242 for (cur_sdx = 0; cur_sdx < fh->csym;)
3245 enum address_class class;
3247 (*swap_sym_in) (cur_bfd,
3248 ((char *) debug_info->external_sym
3249 + ((fh->isymBase + cur_sdx)
3250 * external_sym_size)),
3253 if (ECOFF_IS_STAB (&sh))
3259 /* Non absolute static symbols go into the minimal table. */
3260 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3261 || (sh.index == indexNil
3262 && (sh.st != stStatic || sh.sc == scAbs)))
3264 /* FIXME, premature? */
3269 name = debug_info->ss + fh->issBase + sh.iss;
3275 /* The value of a stEnd symbol is the displacement from the
3276 corresponding start symbol value, do not relocate it. */
3278 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3285 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3289 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
3300 prim_record_minimal_symbol_and_info (name, sh.value,
3301 mst_file_text, NULL,
3302 SECT_OFF_TEXT (objfile), NULL,
3308 /* Ignore all parameter symbol records. */
3309 if (sh.index >= hdr->iauxMax)
3311 /* Should not happen, but does when cross-compiling
3312 with the MIPS compiler. FIXME -- pull later. */
3313 index_complaint (name);
3314 new_sdx = cur_sdx + 1; /* Don't skip at all */
3317 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3318 (debug_info->external_aux
3322 if (new_sdx <= cur_sdx)
3324 /* This should not happen either... FIXME. */
3325 complaint (&symfile_complaints,
3326 _("bad proc end in aux found from symbol %s"),
3328 new_sdx = cur_sdx + 1; /* Don't skip backward */
3331 /* For stProc symbol records, we need to check the
3332 storage class as well, as only (stProc, scText)
3333 entries represent "real" procedures - See the
3334 Compaq document titled "Object File / Symbol Table
3335 Format Specification" for more information. If the
3336 storage class is not scText, we discard the whole
3337 block of symbol records for this stProc. */
3338 if (sh.st == stProc && sh.sc != scText)
3341 /* Usually there is a local and a global stProc symbol
3342 for a function. This means that the function name
3343 has already been entered into the mimimal symbol table
3344 while processing the global symbols in pass 2 above.
3345 One notable exception is the PROGRAM name from
3346 f77 compiled executables, it is only put out as
3347 local stProc symbol, and a global MAIN__ stProc symbol
3348 points to it. It doesn't matter though, as gdb is
3349 still able to find the PROGRAM name via the partial
3350 symbol table, and the MAIN__ symbol via the minimal
3352 if (sh.st == stProc)
3353 add_psymbol_to_list (name, strlen (name),
3354 VAR_DOMAIN, LOC_BLOCK,
3355 &objfile->global_psymbols,
3356 0, sh.value, psymtab_language, objfile);
3358 add_psymbol_to_list (name, strlen (name),
3359 VAR_DOMAIN, LOC_BLOCK,
3360 &objfile->static_psymbols,
3361 0, sh.value, psymtab_language, objfile);
3363 procaddr = sh.value;
3366 (*swap_sym_in) (cur_bfd,
3367 ((char *) debug_info->external_sym
3368 + ((fh->isymBase + cur_sdx - 1)
3369 * external_sym_size)),
3374 /* Kludge for Irix 5.2 zero fh->adr. */
3376 && (pst->textlow == 0 || procaddr < pst->textlow))
3377 pst->textlow = procaddr;
3379 high = procaddr + sh.value;
3380 if (high > pst->texthigh)
3381 pst->texthigh = high;
3384 case stStatic: /* Variable */
3385 if (SC_IS_DATA (sh.sc))
3386 prim_record_minimal_symbol_and_info (name, sh.value,
3387 mst_file_data, NULL,
3388 SECT_OFF_DATA (objfile),
3392 prim_record_minimal_symbol_and_info (name, sh.value,
3394 SECT_OFF_BSS (objfile),
3400 case stIndirect: /* Irix5 forward declaration */
3401 /* Skip forward declarations from Irix5 cc */
3404 case stTypedef: /* Typedef */
3405 /* Skip typedefs for forward declarations and opaque
3406 structs from alpha and mips cc. */
3407 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3409 class = LOC_TYPEDEF;
3412 case stConstant: /* Constant decl */
3419 case stBlock: /* { }, str, un, enum */
3420 /* Do not create a partial symbol for cc unnamed aggregates
3421 and gcc empty aggregates. */
3422 if ((sh.sc == scInfo
3423 || SC_IS_COMMON (sh.sc))
3425 && sh.index != cur_sdx + 2)
3427 add_psymbol_to_list (name, strlen (name),
3428 STRUCT_DOMAIN, LOC_TYPEDEF,
3429 &objfile->static_psymbols,
3431 psymtab_language, objfile);
3433 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3435 /* Skip over the block */
3437 if (new_sdx <= cur_sdx)
3439 /* This happens with the Ultrix kernel. */
3440 complaint (&symfile_complaints,
3441 _("bad aux index at block symbol %s"), name);
3442 new_sdx = cur_sdx + 1; /* Don't skip backward */
3447 case stFile: /* File headers */
3448 case stLabel: /* Labels */
3449 case stEnd: /* Ends of files */
3452 case stLocal: /* Local variables */
3453 /* Normally these are skipped because we skip over
3454 all blocks we see. However, these can occur
3455 as visible symbols in a .h file that contains code. */
3459 /* Both complaints are valid: one gives symbol name,
3460 the other the offending symbol type. */
3461 complaint (&symfile_complaints, _("unknown local symbol %s"),
3463 complaint (&symfile_complaints, _("with type %d"), sh.st);
3467 /* Use this gdb symbol */
3468 add_psymbol_to_list (name, strlen (name),
3470 &objfile->static_psymbols,
3471 0, sh.value, psymtab_language, objfile);
3473 cur_sdx++; /* Go to next file symbol */
3476 /* Now do enter the external symbols. */
3477 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3478 cur_sdx = fdr_to_pst[f_idx].n_globals;
3479 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3480 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3481 for (; --cur_sdx >= 0; ext_ptr++)
3483 enum address_class class;
3488 if (ext_ptr->ifd != f_idx)
3489 internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
3490 psh = &ext_ptr->asym;
3492 /* Do not add undefined symbols to the partial symbol table. */
3493 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3496 svalue = psh->value;
3501 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3508 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3512 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
3519 /* These are generated for static symbols in .o files,
3524 /* External procedure symbols have been entered
3525 into the minimal symbol table in pass 2 above.
3526 Ignore them, as parse_external will ignore them too. */
3532 unknown_ext_complaint (debug_info->ssext + psh->iss);
3533 /* Fall through, pretend it's global. */
3535 /* Global common symbols are resolved by the runtime loader,
3537 if (SC_IS_COMMON (psh->sc))
3543 name = debug_info->ssext + psh->iss;
3544 add_psymbol_to_list (name, strlen (name),
3546 &objfile->global_psymbols,
3548 psymtab_language, objfile);
3552 /* Link pst to FDR. end_psymtab returns NULL if the psymtab was
3553 empty and put on the free list. */
3554 fdr_to_pst[f_idx].pst = end_psymtab (save_pst,
3555 psymtab_include_list, includes_used,
3556 -1, save_pst->texthigh,
3557 dependency_list, dependencies_used, textlow_not_set);
3559 dependencies_used = 0;
3561 /* The objfile has its functions reordered if this partial symbol
3562 table overlaps any other partial symbol table.
3563 We cannot assume a reordered objfile if a partial symbol table
3564 is contained within another partial symbol table, as partial symbol
3565 tables for include files with executable code are contained
3566 within the partial symbol table for the including source file,
3567 and we do not want to flag the objfile reordered for these cases.
3569 This strategy works well for Irix-5.2 shared libraries, but we
3570 might have to use a more elaborate (and slower) algorithm for
3572 save_pst = fdr_to_pst[f_idx].pst;
3573 if (save_pst != NULL
3574 && save_pst->textlow != 0
3575 && !(objfile->flags & OBJF_REORDERED))
3577 ALL_OBJFILE_PSYMTABS (objfile, pst)
3580 && save_pst->textlow >= pst->textlow
3581 && save_pst->textlow < pst->texthigh
3582 && save_pst->texthigh > pst->texthigh)
3584 objfile->flags |= OBJF_REORDERED;
3591 /* Now scan the FDRs for dependencies */
3592 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3594 fh = f_idx + debug_info->fdr;
3595 pst = fdr_to_pst[f_idx].pst;
3597 if (pst == (struct partial_symtab *) NULL)
3600 /* This should catch stabs-in-ecoff. */
3604 /* Skip the first file indirect entry as it is a self dependency
3605 for source files or a reverse .h -> .c dependency for header files. */
3606 pst->number_of_dependencies = 0;
3608 ((struct partial_symtab **)
3609 obstack_alloc (&objfile->objfile_obstack,
3611 * sizeof (struct partial_symtab *))));
3612 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3616 (*swap_rfd_in) (cur_bfd,
3617 ((char *) debug_info->external_rfd
3618 + (fh->rfdBase + s_idx) * external_rfd_size),
3620 if (rh < 0 || rh >= hdr->ifdMax)
3622 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3626 /* Skip self dependencies of header files. */
3630 /* Do not add to dependeny list if psymtab was empty. */
3631 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3633 pst->dependencies[pst->number_of_dependencies++] = fdr_to_pst[rh].pst;
3637 /* Remove the dummy psymtab created for -O3 images above, if it is
3638 still empty, to enable the detection of stripped executables. */
3639 if (objfile->psymtabs->next == NULL
3640 && objfile->psymtabs->number_of_dependencies == 0
3641 && objfile->psymtabs->n_global_syms == 0
3642 && objfile->psymtabs->n_static_syms == 0)
3643 objfile->psymtabs = NULL;
3644 do_cleanups (old_chain);
3647 /* If the current psymbol has an enumerated type, we need to add
3648 all the the enum constants to the partial symbol table. */
3651 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3654 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3655 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3656 char *ext_sym = ((char *) debug_info->external_sym
3657 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3667 /* It is an enumerated type if the next symbol entry is a stMember
3668 and its auxiliary index is indexNil or its auxiliary entry
3669 is a plain btNil or btVoid.
3670 Alpha cc -migrate enums are recognized by a zero index and
3671 a zero symbol value.
3672 DU 4.0 cc enums are recognized by a member type of btEnum without
3673 qualifiers and a zero symbol value. */
3674 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3675 if (sh.st != stMember)
3678 if (sh.index == indexNil
3679 || (sh.index == 0 && svalue == 0))
3681 (*debug_swap->swap_tir_in) (fh->fBigendian,
3682 &(debug_info->external_aux
3683 + fh->iauxBase + sh.index)->a_ti,
3685 if ((tir.bt != btNil
3687 && (tir.bt != btEnum || svalue != 0))
3688 || tir.tq0 != tqNil)
3700 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3701 if (sh.st != stMember)
3703 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3705 /* Note that the value doesn't matter for enum constants
3706 in psymtabs, just in symtabs. */
3707 add_psymbol_to_list (name, strlen (name),
3708 VAR_DOMAIN, LOC_CONST,
3709 &objfile->static_psymbols, 0,
3710 (CORE_ADDR) 0, psymtab_language, objfile);
3711 ext_sym += external_sym_size;
3715 /* Get the next symbol. OBJFILE is unused. */
3718 mdebug_next_symbol_text (struct objfile *objfile)
3723 (*debug_swap->swap_sym_in) (cur_bfd,
3724 ((char *) debug_info->external_sym
3725 + ((cur_fdr->isymBase + cur_sdx)
3726 * debug_swap->external_sym_size)),
3728 return debug_info->ss + cur_fdr->issBase + sh.iss;
3731 /* Ancillary function to psymtab_to_symtab(). Does all the work
3732 for turning the partial symtab PST into a symtab, recurring
3733 first on all dependent psymtabs. The argument FILENAME is
3734 only passed so we can see in debug stack traces what file
3737 This function has a split personality, based on whether the
3738 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3739 The flow of control and even the memory allocation differs. FIXME. */
3742 psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
3744 bfd_size_type external_sym_size;
3745 bfd_size_type external_pdr_size;
3746 void (*swap_sym_in) (bfd *, void *, SYMR *);
3747 void (*swap_pdr_in) (bfd *, void *, PDR *);
3749 struct symtab *st = NULL;
3751 struct linetable *lines;
3752 CORE_ADDR lowest_pdr_addr = 0;
3753 int last_symtab_ended = 0;
3759 /* Read in all partial symbtabs on which this one is dependent.
3760 NOTE that we do have circular dependencies, sigh. We solved
3761 that by setting pst->readin before this point. */
3763 for (i = 0; i < pst->number_of_dependencies; i++)
3764 if (!pst->dependencies[i]->readin)
3766 /* Inform about additional files to be read in. */
3769 fputs_filtered (" ", gdb_stdout);
3771 fputs_filtered ("and ", gdb_stdout);
3773 printf_filtered ("%s...",
3774 pst->dependencies[i]->filename);
3775 wrap_here (""); /* Flush output */
3776 gdb_flush (gdb_stdout);
3778 /* We only pass the filename for debug purposes */
3779 psymtab_to_symtab_1 (pst->dependencies[i],
3780 pst->dependencies[i]->filename);
3783 /* Do nothing if this is a dummy psymtab. */
3785 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3786 && pst->textlow == 0 && pst->texthigh == 0)
3789 /* Now read the symbols for this symtab */
3791 cur_bfd = CUR_BFD (pst);
3792 debug_swap = DEBUG_SWAP (pst);
3793 debug_info = DEBUG_INFO (pst);
3794 pending_list = PENDING_LIST (pst);
3795 external_sym_size = debug_swap->external_sym_size;
3796 external_pdr_size = debug_swap->external_pdr_size;
3797 swap_sym_in = debug_swap->swap_sym_in;
3798 swap_pdr_in = debug_swap->swap_pdr_in;
3799 current_objfile = pst->objfile;
3800 cur_fd = FDR_IDX (pst);
3801 fh = ((cur_fd == -1)
3803 : debug_info->fdr + cur_fd);
3806 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3807 processing_gcc_compilation = 0;
3808 if (fh != (FDR *) NULL && fh->csym >= 2)
3812 (*swap_sym_in) (cur_bfd,
3813 ((char *) debug_info->external_sym
3814 + (fh->isymBase + 1) * external_sym_size),
3816 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3819 /* We indicate that this is a GCC compilation so that certain
3820 features will be enabled in stabsread/dbxread. */
3821 processing_gcc_compilation = 2;
3825 if (processing_gcc_compilation != 0)
3828 /* This symbol table contains stabs-in-ecoff entries. */
3830 /* Parse local symbols first */
3832 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr */
3834 current_objfile = NULL;
3837 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3843 (*swap_sym_in) (cur_bfd,
3844 (((char *) debug_info->external_sym)
3845 + (fh->isymBase + cur_sdx) * external_sym_size),
3847 name = debug_info->ss + fh->issBase + sh.iss;
3849 /* XXX This is a hack. It will go away! */
3850 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3852 int type_code = ECOFF_UNMARK_STAB (sh.index);
3854 /* We should never get non N_STAB symbols here, but they
3855 should be harmless, so keep process_one_symbol from
3856 complaining about them. */
3857 if (type_code & N_STAB)
3859 /* If we found a trailing N_SO with no name, process
3860 it here instead of in process_one_symbol, so we
3861 can keep a handle to its symtab. The symtab
3862 would otherwise be ended twice, once in
3863 process_one_symbol, and once after this loop. */
3864 if (type_code == N_SO
3866 && previous_stab_code != (unsigned char) N_SO
3869 valu += ANOFFSET (pst->section_offsets,
3870 SECT_OFF_TEXT (pst->objfile));
3871 previous_stab_code = N_SO;
3872 st = end_symtab (valu, pst->objfile,
3873 SECT_OFF_TEXT (pst->objfile));
3875 last_symtab_ended = 1;
3879 last_symtab_ended = 0;
3880 process_one_symbol (type_code, 0, valu, name,
3881 pst->section_offsets, pst->objfile);
3884 /* Similarly a hack. */
3885 else if (name[0] == '#')
3887 process_one_symbol (N_SLINE, 0, valu, name,
3888 pst->section_offsets, pst->objfile);
3890 if (type_code == N_FUN)
3892 /* Make up special symbol to contain
3893 procedure specific info */
3894 struct mdebug_extra_func_info *e =
3895 ((struct mdebug_extra_func_info *)
3896 obstack_alloc (¤t_objfile->objfile_obstack,
3897 sizeof (struct mdebug_extra_func_info)));
3898 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
3900 memset (e, 0, sizeof (struct mdebug_extra_func_info));
3901 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
3902 SYMBOL_CLASS (s) = LOC_CONST;
3903 SYMBOL_TYPE (s) = mdebug_type_void;
3904 SYMBOL_VALUE (s) = (long) e;
3905 e->pdr.framereg = -1;
3906 add_symbol_to_list (s, &local_symbols);
3909 else if (sh.st == stLabel)
3911 if (sh.index == indexNil)
3913 /* This is what the gcc2_compiled and __gnu_compiled_*
3914 show up as. So don't complain. */
3919 /* Handle encoded stab line number. */
3920 valu += ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile));
3921 record_line (current_subfile, sh.index, valu);
3924 else if (sh.st == stProc || sh.st == stStaticProc
3925 || sh.st == stStatic || sh.st == stEnd)
3926 /* These are generated by gcc-2.x, do not complain */
3929 complaint (&symfile_complaints, _("unknown stabs symbol %s"), name);
3932 if (! last_symtab_ended)
3934 st = end_symtab (pst->texthigh, pst->objfile, SECT_OFF_TEXT (pst->objfile));
3938 /* There used to be a call to sort_blocks here, but this should not
3939 be necessary for stabs symtabs. And as sort_blocks modifies the
3940 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
3941 it did the wrong thing if the first procedure in a file was
3942 generated via asm statements. */
3944 /* Fill in procedure info next. */
3948 struct cleanup *old_chain;
3954 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
3955 old_chain = make_cleanup (xfree, pr_block);
3957 pdr_ptr = ((char *) debug_info->external_pdr
3958 + fh->ipdFirst * external_pdr_size);
3959 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
3963 pdr_ptr += external_pdr_size, pdr_in++)
3965 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
3967 /* Determine lowest PDR address, the PDRs are not always
3969 if (pdr_in == pr_block)
3970 lowest_pdr_addr = pdr_in->adr;
3971 else if (pdr_in->adr < lowest_pdr_addr)
3972 lowest_pdr_addr = pdr_in->adr;
3976 pdr_in_end = pdr_in + fh->cpd;
3977 for (; pdr_in < pdr_in_end; pdr_in++)
3978 parse_procedure (pdr_in, st, pst);
3980 do_cleanups (old_chain);
3985 /* This symbol table contains ordinary ecoff entries. */
3994 st = new_symtab ("unknown", 0, pst->objfile);
3998 maxlines = 2 * fh->cline;
3999 st = new_symtab (pst->filename, maxlines, pst->objfile);
4001 /* The proper language was already determined when building
4002 the psymtab, use it. */
4003 st->language = PST_PRIVATE (pst)->pst_language;
4006 psymtab_language = st->language;
4008 lines = LINETABLE (st);
4010 /* Get a new lexical context */
4012 push_parse_stack ();
4013 top_stack->cur_st = st;
4014 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (st),
4016 BLOCK_START (top_stack->cur_block) = pst->textlow;
4017 BLOCK_END (top_stack->cur_block) = 0;
4018 top_stack->blocktype = stFile;
4019 top_stack->cur_type = 0;
4020 top_stack->procadr = 0;
4021 top_stack->numargs = 0;
4022 found_ecoff_debugging_info = 0;
4029 /* Parse local symbols first */
4030 sym_ptr = ((char *) debug_info->external_sym
4031 + fh->isymBase * external_sym_size);
4032 sym_end = sym_ptr + fh->csym * external_sym_size;
4033 while (sym_ptr < sym_end)
4038 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4039 c = parse_symbol (&sh,
4040 debug_info->external_aux + fh->iauxBase,
4041 sym_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
4042 sym_ptr += c * external_sym_size;
4045 /* Linenumbers. At the end, check if we can save memory.
4046 parse_lines has to look ahead an arbitrary number of PDR
4047 structures, so we swap them all first. */
4051 struct cleanup *old_chain;
4057 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4059 old_chain = make_cleanup (xfree, pr_block);
4061 pdr_ptr = ((char *) debug_info->external_pdr
4062 + fh->ipdFirst * external_pdr_size);
4063 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4067 pdr_ptr += external_pdr_size, pdr_in++)
4069 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4071 /* Determine lowest PDR address, the PDRs are not always
4073 if (pdr_in == pr_block)
4074 lowest_pdr_addr = pdr_in->adr;
4075 else if (pdr_in->adr < lowest_pdr_addr)
4076 lowest_pdr_addr = pdr_in->adr;
4079 parse_lines (fh, pr_block, lines, maxlines, pst, lowest_pdr_addr);
4080 if (lines->nitems < fh->cline)
4081 lines = shrink_linetable (lines);
4083 /* Fill in procedure info next. */
4085 pdr_in_end = pdr_in + fh->cpd;
4086 for (; pdr_in < pdr_in_end; pdr_in++)
4087 parse_procedure (pdr_in, 0, pst);
4089 do_cleanups (old_chain);
4093 LINETABLE (st) = lines;
4095 /* .. and our share of externals.
4096 XXX use the global list to speed up things here. how?
4097 FIXME, Maybe quit once we have found the right number of ext's? */
4098 top_stack->cur_st = st;
4099 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
4101 top_stack->blocktype = stFile;
4103 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4104 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4105 parse_external (ext_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
4107 /* If there are undefined symbols, tell the user.
4108 The alpha has an undefined symbol for every symbol that is
4109 from a shared library, so tell the user only if verbose is on. */
4110 if (info_verbose && n_undef_symbols)
4112 printf_filtered ("File %s contains %d unresolved references:",
4113 st->filename, n_undef_symbols);
4114 printf_filtered ("\n\t%4d variables\n\t%4d procedures\n\t%4d labels\n",
4115 n_undef_vars, n_undef_procs, n_undef_labels);
4116 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4126 /* Now link the psymtab and the symtab. */
4129 current_objfile = NULL;
4132 /* Ancillary parsing procedures. */
4134 /* Return 1 if the symbol pointed to by SH has a cross reference
4135 to an opaque aggregate type, else 0. */
4138 has_opaque_xref (FDR *fh, SYMR *sh)
4145 if (sh->index == indexNil)
4148 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4149 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4150 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4154 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4155 if (rn->rfd == 0xfff)
4156 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4164 /* Lookup the type at relative index RN. Return it in TPP
4165 if found and in any event come up with its name PNAME.
4166 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4167 Return value says how many aux symbols we ate. */
4170 cross_ref (int fd, union aux_ext *ax, struct type **tpp, enum type_code type_code, /* Use to alloc new type if none is found. */
4171 char **pname, int bigend, char *sym_name)
4180 struct mdebug_pending *pend;
4182 *tpp = (struct type *) NULL;
4184 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4186 /* Escape index means 'the next one' */
4187 if (rn->rfd == 0xfff)
4190 rf = AUX_GET_ISYM (bigend, ax + 1);
4197 /* mips cc uses a rf of -1 for opaque struct definitions.
4198 Set TYPE_FLAG_STUB for these types so that check_typedef will
4199 resolve them if the struct gets defined in another compilation unit. */
4202 *pname = "<undefined>";
4203 *tpp = init_type (type_code, 0, TYPE_FLAG_STUB, (char *) NULL, current_objfile);
4207 /* mips cc uses an escaped rn->index of 0 for struct return types
4208 of procedures that were compiled without -g. These will always remain
4210 if (rn->rfd == 0xfff && rn->index == 0)
4212 *pname = "<undefined>";
4216 /* Find the relative file descriptor and the symbol in it. */
4217 fh = get_rfd (fd, rf);
4218 xref_fd = fh - debug_info->fdr;
4220 if (rn->index >= fh->csym)
4222 /* File indirect entry is corrupt. */
4223 *pname = "<illegal>";
4224 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4228 /* If we have processed this symbol then we left a forwarding
4229 pointer to the type in the pending list. If not, we`ll put
4230 it in a list of pending types, to be processed later when
4231 the file will be. In any event, we collect the name for the
4234 esh = ((char *) debug_info->external_sym
4235 + ((fh->isymBase + rn->index)
4236 * debug_swap->external_sym_size));
4237 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4239 /* Make sure that this type of cross reference can be handled. */
4240 if ((sh.sc != scInfo
4241 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4242 && sh.st != stStruct && sh.st != stUnion
4243 && sh.st != stEnum))
4244 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4246 /* File indirect entry is corrupt. */
4247 *pname = "<illegal>";
4248 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4252 *pname = debug_info->ss + fh->issBase + sh.iss;
4254 pend = is_pending_symbol (fh, esh);
4259 /* We have not yet seen this type. */
4261 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4265 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4267 a) forward declarations of structs/unions/enums which are not
4268 defined in this compilation unit.
4269 For these the type will be void. This is a bad design decision
4270 as cross referencing across compilation units is impossible
4271 due to the missing name.
4272 b) forward declarations of structs/unions/enums/typedefs which
4273 are defined later in this file or in another file in the same
4274 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4275 Simply cross reference those again to get the true type.
4276 The forward references are not entered in the pending list and
4277 in the symbol table. */
4279 (*debug_swap->swap_tir_in) (bigend,
4280 &(debug_info->external_aux
4281 + fh->iauxBase + sh.index)->a_ti,
4283 if (tir.tq0 != tqNil)
4284 complaint (&symfile_complaints,
4285 _("illegal tq0 in forward typedef for %s"), sym_name);
4289 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4291 *pname = "<undefined>";
4298 (debug_info->external_aux
4299 + fh->iauxBase + sh.index + 1),
4300 tpp, type_code, pname,
4301 fh->fBigendian, sym_name);
4305 /* Follow a forward typedef. This might recursively
4306 call cross_ref till we get a non typedef'ed type.
4307 FIXME: This is not correct behaviour, but gdb currently
4308 cannot handle typedefs without type copying. Type
4309 copying is impossible as we might have mutual forward
4310 references between two files and the copied type would not
4311 get filled in when we later parse its definition. */
4312 *tpp = parse_type (xref_fd,
4313 debug_info->external_aux + fh->iauxBase,
4317 debug_info->ss + fh->issBase + sh.iss);
4318 add_pending (fh, esh, *tpp);
4322 complaint (&symfile_complaints,
4323 _("illegal bt %d in forward typedef for %s"), tir.bt,
4325 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4331 else if (sh.st == stTypedef)
4333 /* Parse the type for a normal typedef. This might recursively call
4334 cross_ref till we get a non typedef'ed type.
4335 FIXME: This is not correct behaviour, but gdb currently
4336 cannot handle typedefs without type copying. But type copying is
4337 impossible as we might have mutual forward references between
4338 two files and the copied type would not get filled in when
4339 we later parse its definition. */
4340 *tpp = parse_type (xref_fd,
4341 debug_info->external_aux + fh->iauxBase,
4345 debug_info->ss + fh->issBase + sh.iss);
4349 /* Cross reference to a struct/union/enum which is defined
4350 in another file in the same compilation unit but that file
4351 has not been parsed yet.
4352 Initialize the type only, it will be filled in when
4353 it's definition is parsed. */
4354 *tpp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
4356 add_pending (fh, esh, *tpp);
4359 /* We used one auxent normally, two if we got a "next one" rf. */
4364 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4365 keeping the symtab sorted */
4367 static struct symbol *
4368 mylookup_symbol (char *name, struct block *block,
4369 domain_enum domain, enum address_class class)
4371 struct dict_iterator iter;
4376 ALL_BLOCK_SYMBOLS (block, iter, sym)
4378 if (DEPRECATED_SYMBOL_NAME (sym)[0] == inc
4379 && SYMBOL_DOMAIN (sym) == domain
4380 && SYMBOL_CLASS (sym) == class
4381 && strcmp (DEPRECATED_SYMBOL_NAME (sym), name) == 0)
4385 block = BLOCK_SUPERBLOCK (block);
4387 return mylookup_symbol (name, block, domain, class);
4392 /* Add a new symbol S to a block B. */
4395 add_symbol (struct symbol *s, struct block *b)
4397 dict_add_symbol (BLOCK_DICT (b), s);
4400 /* Add a new block B to a symtab S */
4403 add_block (struct block *b, struct symtab *s)
4405 struct blockvector *bv = BLOCKVECTOR (s);
4407 bv = (struct blockvector *) xrealloc ((void *) bv,
4408 (sizeof (struct blockvector)
4409 + BLOCKVECTOR_NBLOCKS (bv)
4410 * sizeof (bv->block)));
4411 if (bv != BLOCKVECTOR (s))
4412 BLOCKVECTOR (s) = bv;
4414 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4417 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4418 MIPS' linenumber encoding might need more than one byte
4419 to describe it, LAST is used to detect these continuation lines.
4421 Combining lines with the same line number seems like a bad idea.
4422 E.g: There could be a line number entry with the same line number after the
4423 prologue and GDB should not ignore it (this is a better way to find
4424 a prologue than mips_skip_prologue).
4425 But due to the compressed line table format there are line number entries
4426 for the same line which are needed to bridge the gap to the next
4427 line number entry. These entries have a bogus address info with them
4428 and we are unable to tell them from intended duplicate line number
4430 This is another reason why -ggdb debugging format is preferable. */
4433 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4435 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4436 Change them to something sensible. */
4440 last = -2; /* make sure we record first line */
4442 if (last == lineno) /* skip continuation lines */
4445 lt->item[lt->nitems].line = lineno;
4446 lt->item[lt->nitems++].pc = adr << 2;
4450 /* Sorting and reordering procedures */
4452 /* Blocks with a smaller low bound should come first */
4455 compare_blocks (const void *arg1, const void *arg2)
4458 struct block **b1 = (struct block **) arg1;
4459 struct block **b2 = (struct block **) arg2;
4461 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4463 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4467 /* Sort the blocks of a symtab S.
4468 Reorder the blocks in the blockvector by code-address,
4469 as required by some MI search routines */
4472 sort_blocks (struct symtab *s)
4474 struct blockvector *bv = BLOCKVECTOR (s);
4476 if (BLOCKVECTOR_NBLOCKS (bv) <= 2)
4479 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4480 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4481 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4482 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4486 * This is very unfortunate: normally all functions are compiled in
4487 * the order they are found, but if the file is compiled -O3 things
4488 * are very different. It would be nice to find a reliable test
4489 * to detect -O3 images in advance.
4491 if (BLOCKVECTOR_NBLOCKS (bv) > 3)
4492 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4493 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4494 sizeof (struct block *),
4499 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4501 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4502 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4503 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4504 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4507 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4508 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4510 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4511 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4512 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4513 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4517 /* Constructor/restructor/destructor procedures */
4519 /* Allocate a new symtab for NAME. Needs an estimate of how many
4520 linenumbers MAXLINES we'll put in it */
4522 static struct symtab *
4523 new_symtab (char *name, int maxlines, struct objfile *objfile)
4525 struct symtab *s = allocate_symtab (name, objfile);
4527 LINETABLE (s) = new_linetable (maxlines);
4529 /* All symtabs must have at least two blocks */
4530 BLOCKVECTOR (s) = new_bvect (2);
4531 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK)
4532 = new_block (NON_FUNCTION_BLOCK);
4533 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
4534 = new_block (NON_FUNCTION_BLOCK);
4535 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)) =
4536 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
4538 s->free_code = free_linetable;
4539 s->debugformat = obsavestring ("ECOFF", 5,
4540 &objfile->objfile_obstack);
4544 /* Allocate a new partial_symtab NAME */
4546 static struct partial_symtab *
4547 new_psymtab (char *name, struct objfile *objfile)
4549 struct partial_symtab *psymtab;
4551 psymtab = allocate_psymtab (name, objfile);
4552 psymtab->section_offsets = objfile->section_offsets;
4554 /* Keep a backpointer to the file's symbols */
4556 psymtab->read_symtab_private = ((char *)
4557 obstack_alloc (&objfile->objfile_obstack,
4558 sizeof (struct symloc)));
4559 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4560 CUR_BFD (psymtab) = cur_bfd;
4561 DEBUG_SWAP (psymtab) = debug_swap;
4562 DEBUG_INFO (psymtab) = debug_info;
4563 PENDING_LIST (psymtab) = pending_list;
4565 /* The way to turn this into a symtab is to call... */
4566 psymtab->read_symtab = mdebug_psymtab_to_symtab;
4571 /* Allocate a linetable array of the given SIZE. Since the struct
4572 already includes one item, we subtract one when calculating the
4573 proper size to allocate. */
4575 static struct linetable *
4576 new_linetable (int size)
4578 struct linetable *l;
4580 size = (size - 1) * sizeof (l->item) + sizeof (struct linetable);
4581 l = (struct linetable *) xmalloc (size);
4586 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4587 I am not so sure about the 3.4 ones.
4589 Since the struct linetable already includes one item, we subtract one when
4590 calculating the proper size to allocate. */
4592 static struct linetable *
4593 shrink_linetable (struct linetable *lt)
4596 return (struct linetable *) xrealloc ((void *) lt,
4597 (sizeof (struct linetable)
4599 * sizeof (lt->item))));
4602 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4604 static struct blockvector *
4605 new_bvect (int nblocks)
4607 struct blockvector *bv;
4610 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4611 bv = (struct blockvector *) xzalloc (size);
4613 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4618 /* Allocate and zero a new block, and set its BLOCK_DICT. If function
4619 is non-zero, assume the block is associated to a function, and make
4620 sure that the symbols are stored linearly; otherwise, store them
4623 static struct block *
4624 new_block (enum block_type type)
4626 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4627 allocate the block. Which, in turn, suggests that the block
4628 should be allocated on an obstack. */
4629 struct block *retval = xzalloc (sizeof (struct block));
4631 if (type == FUNCTION_BLOCK)
4632 BLOCK_DICT (retval) = dict_create_linear_expandable ();
4634 BLOCK_DICT (retval) = dict_create_hashed_expandable ();
4639 /* Create a new symbol with printname NAME */
4641 static struct symbol *
4642 new_symbol (char *name)
4644 struct symbol *s = ((struct symbol *)
4645 obstack_alloc (¤t_objfile->objfile_obstack,
4646 sizeof (struct symbol)));
4648 memset (s, 0, sizeof (*s));
4649 SYMBOL_LANGUAGE (s) = psymtab_language;
4650 SYMBOL_SET_NAMES (s, name, strlen (name), current_objfile);
4654 /* Create a new type with printname NAME */
4656 static struct type *
4657 new_type (char *name)
4661 t = alloc_type (current_objfile);
4662 TYPE_NAME (t) = name;
4663 TYPE_CPLUS_SPECIFIC (t) = (struct cplus_struct_type *) &cplus_struct_default;
4667 /* Read ECOFF debugging information from a BFD section. This is
4668 called from elfread.c. It parses the section into a
4669 ecoff_debug_info struct, and then lets the rest of the file handle
4673 elfmdebug_build_psymtabs (struct objfile *objfile,
4674 const struct ecoff_debug_swap *swap, asection *sec)
4676 bfd *abfd = objfile->obfd;
4677 struct ecoff_debug_info *info;
4678 struct cleanup *back_to;
4680 /* FIXME: It's not clear whether we should be getting minimal symbol
4681 information from .mdebug in an ELF file, or whether we will.
4682 Re-initialize the minimal symbol reader in case we do. */
4684 init_minimal_symbol_collection ();
4685 back_to = make_cleanup_discard_minimal_symbols ();
4687 info = ((struct ecoff_debug_info *)
4688 obstack_alloc (&objfile->objfile_obstack,
4689 sizeof (struct ecoff_debug_info)));
4691 if (!(*swap->read_debug_info) (abfd, sec, info))
4692 error (_("Error reading ECOFF debugging information: %s"),
4693 bfd_errmsg (bfd_get_error ()));
4695 mdebug_build_psymtabs (objfile, swap, info);
4697 install_minimal_symbols (objfile);
4698 do_cleanups (back_to);
4702 _initialize_mdebugread (void)
4705 init_type (TYPE_CODE_VOID, 1,
4707 "void", (struct objfile *) NULL);
4709 init_type (TYPE_CODE_INT, 1,
4711 "char", (struct objfile *) NULL);
4712 mdebug_type_unsigned_char =
4713 init_type (TYPE_CODE_INT, 1,
4715 "unsigned char", (struct objfile *) NULL);
4717 init_type (TYPE_CODE_INT, 2,
4719 "short", (struct objfile *) NULL);
4720 mdebug_type_unsigned_short =
4721 init_type (TYPE_CODE_INT, 2,
4723 "unsigned short", (struct objfile *) NULL);
4724 mdebug_type_int_32 =
4725 init_type (TYPE_CODE_INT, 4,
4727 "int", (struct objfile *) NULL);
4728 mdebug_type_unsigned_int_32 =
4729 init_type (TYPE_CODE_INT, 4,
4731 "unsigned int", (struct objfile *) NULL);
4732 mdebug_type_int_64 =
4733 init_type (TYPE_CODE_INT, 8,
4735 "int", (struct objfile *) NULL);
4736 mdebug_type_unsigned_int_64 =
4737 init_type (TYPE_CODE_INT, 8,
4739 "unsigned int", (struct objfile *) NULL);
4740 mdebug_type_long_32 =
4741 init_type (TYPE_CODE_INT, 4,
4743 "long", (struct objfile *) NULL);
4744 mdebug_type_unsigned_long_32 =
4745 init_type (TYPE_CODE_INT, 4,
4747 "unsigned long", (struct objfile *) NULL);
4748 mdebug_type_long_64 =
4749 init_type (TYPE_CODE_INT, 8,
4751 "long", (struct objfile *) NULL);
4752 mdebug_type_unsigned_long_64 =
4753 init_type (TYPE_CODE_INT, 8,
4755 "unsigned long", (struct objfile *) NULL);
4756 mdebug_type_long_long_64 =
4757 init_type (TYPE_CODE_INT, 8,
4759 "long long", (struct objfile *) NULL);
4760 mdebug_type_unsigned_long_long_64 =
4761 init_type (TYPE_CODE_INT, 8,
4763 "unsigned long long", (struct objfile *) NULL);
4764 mdebug_type_adr_32 =
4765 init_type (TYPE_CODE_PTR, 4,
4767 "adr_32", (struct objfile *) NULL);
4768 TYPE_TARGET_TYPE (mdebug_type_adr_32) = mdebug_type_void;
4769 mdebug_type_adr_64 =
4770 init_type (TYPE_CODE_PTR, 8,
4772 "adr_64", (struct objfile *) NULL);
4773 TYPE_TARGET_TYPE (mdebug_type_adr_64) = mdebug_type_void;
4775 init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4777 "float", (struct objfile *) NULL);
4778 mdebug_type_double =
4779 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4781 "double", (struct objfile *) NULL);
4782 mdebug_type_complex =
4783 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4785 "complex", (struct objfile *) NULL);
4786 TYPE_TARGET_TYPE (mdebug_type_complex) = mdebug_type_float;
4787 mdebug_type_double_complex =
4788 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4790 "double complex", (struct objfile *) NULL);
4791 TYPE_TARGET_TYPE (mdebug_type_double_complex) = mdebug_type_double;
4793 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
4795 mdebug_type_string =
4796 init_type (TYPE_CODE_STRING,
4797 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
4799 (struct objfile *) NULL);
4801 /* We use TYPE_CODE_INT to print these as integers. Does this do any
4802 good? Would we be better off with TYPE_CODE_ERROR? Should
4803 TYPE_CODE_ERROR print things in hex if it knows the size? */
4804 mdebug_type_fixed_dec =
4805 init_type (TYPE_CODE_INT,
4806 TARGET_INT_BIT / TARGET_CHAR_BIT,
4808 (struct objfile *) NULL);
4810 mdebug_type_float_dec =
4811 init_type (TYPE_CODE_ERROR,
4812 TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4813 0, "floating decimal",
4814 (struct objfile *) NULL);
4816 nodebug_func_symbol_type = init_type (TYPE_CODE_FUNC, 1, 0,
4817 "<function, no debug info>", NULL);
4818 TYPE_TARGET_TYPE (nodebug_func_symbol_type) = mdebug_type_int;
4819 nodebug_var_symbol_type =
4820 init_type (TYPE_CODE_INT, TARGET_INT_BIT / HOST_CHAR_BIT, 0,
4821 "<variable, no debug info>", NULL);