1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2017 Free Software Foundation, Inc.
5 Original version contributed by Alessandro Forin (af@cs.cmu.edu) at
6 CMU. Major work by Per Bothner, John Gilmore and Ian Lance Taylor
9 This file is part of GDB.
11 This program is free software; you can redistribute it and/or modify
12 it under the terms of the GNU General Public License as published by
13 the Free Software Foundation; either version 3 of the License, or
14 (at your option) any later version.
16 This program is distributed in the hope that it will be useful,
17 but WITHOUT ANY WARRANTY; without even the implied warranty of
18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 GNU General Public License for more details.
21 You should have received a copy of the GNU General Public License
22 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 /* This module provides the function mdebug_build_psymtabs. It reads
25 ECOFF debugging information into partial symbol tables. The
26 debugging information is read from two structures. A struct
27 ecoff_debug_swap includes the sizes of each ECOFF structure and
28 swapping routines; these are fixed for a particular target. A
29 struct ecoff_debug_info points to the debugging information for a
30 particular object file.
32 ECOFF symbol tables are mostly written in the byte order of the
33 target machine. However, one section of the table (the auxiliary
34 symbol information) is written in the host byte order. There is a
35 bit in the other symbol info which describes which host byte order
36 was used. ECOFF thereby takes the trophy from Intel `b.out' for
37 the most brain-dead adaptation of a file format to byte order.
39 This module can read all four of the known byte-order combinations,
40 on any type of host. */
46 #include "filenames.h"
48 #include "gdb_obstack.h"
50 #include "stabsread.h"
51 #include "complaints.h"
53 #include "gdb-demangle.h"
55 #include "dictionary.h"
56 #include "mdebugread.h"
63 #include "coff/ecoff.h" /* COFF-like aspects of ecoff files. */
65 #include "libaout.h" /* Private BFD a.out information. */
66 #include "aout/aout64.h"
67 #include "aout/stab_gnu.h" /* STABS information. */
69 #include "expression.h"
71 extern void _initialize_mdebugread (void);
73 /* Provide a way to test if we have both ECOFF and ELF symbol tables.
74 We use this define in order to know whether we should override a
75 symbol's ECOFF section with its ELF section. This is necessary in
76 case the symbol's ELF section could not be represented in ECOFF. */
77 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
78 && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
80 /* The objfile we are currently reading. */
82 static struct objfile *mdebugread_objfile;
86 /* We put a pointer to this structure in the read_symtab_private field
91 /* Index of the FDR that this psymtab represents. */
93 /* The BFD that the psymtab was created from. */
95 const struct ecoff_debug_swap *debug_swap;
96 struct ecoff_debug_info *debug_info;
97 struct mdebug_pending **pending_list;
98 /* Pointer to external symbols for this file. */
100 /* Size of extern_tab. */
102 enum language pst_language;
105 #define PST_PRIVATE(p) ((struct symloc *)(p)->read_symtab_private)
106 #define FDR_IDX(p) (PST_PRIVATE(p)->fdr_idx)
107 #define CUR_BFD(p) (PST_PRIVATE(p)->cur_bfd)
108 #define DEBUG_SWAP(p) (PST_PRIVATE(p)->debug_swap)
109 #define DEBUG_INFO(p) (PST_PRIVATE(p)->debug_info)
110 #define PENDING_LIST(p) (PST_PRIVATE(p)->pending_list)
112 #define SC_IS_TEXT(sc) ((sc) == scText \
113 || (sc) == scRConst \
116 #define SC_IS_DATA(sc) ((sc) == scData \
121 #define SC_IS_COMMON(sc) ((sc) == scCommon || (sc) == scSCommon)
122 #define SC_IS_BSS(sc) ((sc) == scBss)
123 #define SC_IS_SBSS(sc) ((sc) == scSBss)
124 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
126 /* Various complaints about symbol reading that don't abort the process. */
128 index_complaint (const char *arg1)
130 complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
134 unknown_ext_complaint (const char *arg1)
136 complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
140 basic_type_complaint (int arg1, const char *arg2)
142 complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
147 bad_tag_guess_complaint (const char *arg1)
149 complaint (&symfile_complaints,
150 _("guessed tag type of %s incorrectly"), arg1);
154 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
156 complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
161 unexpected_type_code_complaint (const char *arg1)
163 complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
166 /* Macros and extra defs. */
168 /* Puns: hard to find whether -g was used and how. */
170 #define MIN_GLEVEL GLEVEL_0
171 #define compare_glevel(a,b) \
172 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
173 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
175 /* Things that really are local to this module. */
177 /* Remember what we deduced to be the source language of this psymtab. */
179 static enum language psymtab_language = language_unknown;
185 /* How to parse debugging information for CUR_BFD. */
187 static const struct ecoff_debug_swap *debug_swap;
189 /* Pointers to debugging information for CUR_BFD. */
191 static struct ecoff_debug_info *debug_info;
193 /* Pointer to current file decriptor record, and its index. */
198 /* Index of current symbol. */
202 /* Note how much "debuggable" this image is. We would like
203 to see at least one FDR with full symbols. */
205 static int max_gdbinfo;
206 static int max_glevel;
208 /* When examining .o files, report on undefined symbols. */
210 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
212 /* Pseudo symbol to use when putting stabs into the symbol table. */
214 static char stabs_symbol[] = STABS_SYMBOL;
216 /* Nonzero if we have seen ecoff debugging info for a file. */
218 static int found_ecoff_debugging_info;
220 /* Forward declarations. */
222 static int upgrade_type (int, struct type **, int, union aux_ext *,
225 static void parse_partial_symbols (minimal_symbol_reader &,
228 static int has_opaque_xref (FDR *, SYMR *);
230 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
231 const char **, int, const char *);
233 static struct symbol *new_symbol (const char *);
235 static struct type *new_type (char *);
237 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
239 static struct block *new_block (enum block_type);
241 static struct compunit_symtab *new_symtab (const char *, int, struct objfile *);
243 static struct linetable *new_linetable (int);
245 static struct blockvector *new_bvect (int);
247 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
250 static struct symbol *mylookup_symbol (const char *, const struct block *,
251 domain_enum, enum address_class);
253 static void sort_blocks (struct symtab *);
255 static struct partial_symtab *new_psymtab (const char *, struct objfile *);
257 static void psymtab_to_symtab_1 (struct objfile *objfile,
258 struct partial_symtab *, const char *);
260 static void add_block (struct block *, struct symtab *);
262 static void add_symbol (struct symbol *, struct symtab *, struct block *);
264 static int add_line (struct linetable *, int, CORE_ADDR, int);
266 static struct linetable *shrink_linetable (struct linetable *);
268 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
271 static const char *mdebug_next_symbol_text (struct objfile *);
273 /* Exported procedure: Builds a symtab from the partial symtab SELF.
274 Restores the environment in effect when SELF was created, delegates
275 most of the work to an ancillary procedure, and sorts
276 and reorders the symtab list at the end. SELF is not NULL. */
279 mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
283 printf_filtered (_("Reading in symbols for %s..."), self->filename);
284 gdb_flush (gdb_stdout);
287 next_symbol_text_func = mdebug_next_symbol_text;
289 psymtab_to_symtab_1 (objfile, self, self->filename);
291 /* Match with global symbols. This only needs to be done once,
292 after all of the symtabs and dependencies have been read in. */
293 scan_file_globals (objfile);
296 printf_filtered (_("done.\n"));
299 /* File-level interface functions. */
301 /* Find a file descriptor given its index RF relative to a file CF. */
304 get_rfd (int cf, int rf)
310 fdrs = debug_info->fdr;
312 /* Object files do not have the RFD table, all refs are absolute. */
315 (*debug_swap->swap_rfd_in) (cur_bfd,
316 ((char *) debug_info->external_rfd
318 * debug_swap->external_rfd_size)),
323 /* Return a safer print NAME for a file descriptor. */
329 return "<stripped file>";
332 return debug_info->ss + f->issBase + f->rss;
336 /* Read in and parse the symtab of the file OBJFILE. Symbols from
337 different sections are relocated via the SECTION_OFFSETS. */
340 mdebug_build_psymtabs (minimal_symbol_reader &reader,
341 struct objfile *objfile,
342 const struct ecoff_debug_swap *swap,
343 struct ecoff_debug_info *info)
345 cur_bfd = objfile->obfd;
349 stabsread_new_init ();
350 buildsym_new_init ();
351 free_header_files ();
352 init_header_files ();
354 /* Make sure all the FDR information is swapped in. */
355 if (info->fdr == (FDR *) NULL)
361 info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
362 (info->symbolic_header.ifdMax
364 fdr_src = (char *) info->external_fdr;
366 + info->symbolic_header.ifdMax * swap->external_fdr_size);
368 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
369 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
372 parse_partial_symbols (reader, objfile);
375 /* Check to make sure file was compiled with -g. If not, warn the
376 user of this limitation. */
377 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
379 if (max_gdbinfo == 0)
380 printf_unfiltered (_("\n%s not compiled with -g, "
381 "debugging support is limited.\n"),
383 printf_unfiltered (_("You should compile with -g2 or "
384 "-g3 for best debugging support.\n"));
385 gdb_flush (gdb_stdout);
390 /* Local utilities */
392 /* Map of FDR indexes to partial symtabs. */
396 struct partial_symtab *pst; /* the psymtab proper */
397 long n_globals; /* exported globals (external symbols) */
398 long globals_offset; /* cumulative */
402 /* Utility stack, used to nest procedures and blocks properly.
403 It is a doubly linked list, to avoid too many alloc/free.
404 Since we might need it quite a few times it is NOT deallocated
407 static struct parse_stack
409 struct parse_stack *next, *prev;
410 struct symtab *cur_st; /* Current symtab. */
411 struct block *cur_block; /* Block in it. */
413 /* What are we parsing. stFile, or stBlock are for files and
414 blocks. stProc or stStaticProc means we have seen the start of a
415 procedure, but not the start of the block within in. When we see
416 the start of that block, we change it to stNil, without pushing a
417 new block, i.e. stNil means both a procedure and a block. */
421 struct type *cur_type; /* Type we parse fields for. */
422 int cur_field; /* Field number in cur_type. */
423 CORE_ADDR procadr; /* Start addres of this procedure. */
424 int numargs; /* Its argument count. */
427 *top_stack; /* Top stack ptr */
430 /* Enter a new lexical context. */
433 push_parse_stack (void)
435 struct parse_stack *newobj;
437 /* Reuse frames if possible. */
438 if (top_stack && top_stack->prev)
439 newobj = top_stack->prev;
441 newobj = XCNEW (struct parse_stack);
442 /* Initialize new frame with previous content. */
445 struct parse_stack *prev = newobj->prev;
447 *newobj = *top_stack;
448 top_stack->prev = newobj;
450 newobj->next = top_stack;
455 /* Exit a lexical context. */
458 pop_parse_stack (void)
463 top_stack = top_stack->next;
467 /* Cross-references might be to things we haven't looked at
468 yet, e.g. type references. To avoid too many type
469 duplications we keep a quick fixup table, an array
470 of lists of references indexed by file descriptor. */
472 struct mdebug_pending
474 struct mdebug_pending *next; /* link */
475 char *s; /* the unswapped symbol */
476 struct type *t; /* its partial type descriptor */
480 /* The pending information is kept for an entire object file. We
481 allocate the pending information table when we create the partial
482 symbols, and we store a pointer to the single table in each
485 static struct mdebug_pending **pending_list;
487 /* Check whether we already saw symbol SH in file FH. */
489 static struct mdebug_pending *
490 is_pending_symbol (FDR *fh, char *sh)
492 int f_idx = fh - debug_info->fdr;
493 struct mdebug_pending *p;
495 /* Linear search is ok, list is typically no more than 10 deep. */
496 for (p = pending_list[f_idx]; p; p = p->next)
502 /* Add a new symbol SH of type T. */
505 add_pending (FDR *fh, char *sh, struct type *t)
507 int f_idx = fh - debug_info->fdr;
508 struct mdebug_pending *p = is_pending_symbol (fh, sh);
510 /* Make sure we do not make duplicates. */
513 p = ((struct mdebug_pending *)
514 obstack_alloc (&mdebugread_objfile->objfile_obstack,
515 sizeof (struct mdebug_pending)));
518 p->next = pending_list[f_idx];
519 pending_list[f_idx] = p;
524 /* Parsing Routines proper. */
527 reg_value_complaint (int regnum, int num_regs, const char *sym)
529 complaint (&symfile_complaints,
530 _("bad register number %d (max %d) in symbol %s"),
531 regnum, num_regs - 1, sym);
534 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
535 For blocks, procedures and types we open a new lexical context.
536 This is basically just a big switch on the symbol's type. Argument
537 AX is the base pointer of aux symbols for this file (fh->iauxBase).
538 EXT_SH points to the unswapped symbol, which is needed for struct,
539 union, etc., types; it is NULL for an EXTR. BIGEND says whether
540 aux symbols are big-endian or little-endian. Return count of
541 SYMR's handled (normally one). */
544 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
546 int regno = gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
549 || regno >= (gdbarch_num_regs (gdbarch)
550 + gdbarch_num_pseudo_regs (gdbarch)))
552 reg_value_complaint (regno,
553 gdbarch_num_regs (gdbarch)
554 + gdbarch_num_pseudo_regs (gdbarch),
555 SYMBOL_PRINT_NAME (sym));
557 regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless. */
563 static const struct symbol_register_ops mdebug_register_funcs = {
567 /* The "aclass" indices for computed symbols. */
569 static int mdebug_register_index;
570 static int mdebug_regparm_index;
572 /* Common code for symbols describing data. */
575 add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
576 struct symbol *s, int aclass_index, struct block *b,
577 struct objfile *objfile, const char *name)
579 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
580 SYMBOL_ACLASS_INDEX (s) = aclass_index;
581 add_symbol (s, top_stack->cur_st, b);
583 /* Type could be missing if file is compiled without debugging info. */
584 if (SC_IS_UNDEF (sh->sc)
585 || sh->sc == scNil || sh->index == indexNil)
586 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
588 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
589 /* Value of a data symbol is its memory address. */
593 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
594 struct section_offsets *section_offsets, struct objfile *objfile)
596 struct gdbarch *gdbarch = get_objfile_arch (objfile);
597 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
598 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
602 struct mdebug_pending *pend;
607 long svalue = sh->value;
610 if (ext_sh == (char *) NULL)
611 name = debug_info->ssext + sh->iss;
613 name = debug_info->ss + cur_fdr->issBase + sh->iss;
619 /* Do not relocate relative values.
620 The value of a stEnd symbol is the displacement from the
621 corresponding start symbol value.
622 The value of a stBlock symbol is the displacement from the
623 procedure address. */
624 if (sh->st != stEnd && sh->st != stBlock)
625 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
632 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
636 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
645 case stGlobal: /* External symbol, goes into global block. */
646 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
648 s = new_symbol (name);
649 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
650 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
653 case stStatic: /* Static data, goes into current block. */
654 b = top_stack->cur_block;
655 s = new_symbol (name);
656 if (SC_IS_COMMON (sh->sc))
658 /* It is a FORTRAN common block. At least for SGI Fortran the
659 address is not in the symbol; we need to fix it later in
660 scan_file_globals. */
661 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
662 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
663 global_sym_chain[bucket] = s;
666 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
667 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
670 case stLocal: /* Local variable, goes into current block. */
671 b = top_stack->cur_block;
672 s = new_symbol (name);
673 SYMBOL_VALUE (s) = svalue;
674 if (sh->sc == scRegister)
675 add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
678 add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
682 case stParam: /* Arg to procedure, goes into current
685 found_ecoff_debugging_info = 1;
686 top_stack->numargs++;
688 /* Special GNU C++ name. */
689 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
690 name = "this"; /* FIXME, not alloc'd in obstack. */
691 s = new_symbol (name);
693 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
694 SYMBOL_IS_ARGUMENT (s) = 1;
698 /* Pass by value in register. */
699 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
702 /* Pass by reference on stack. */
703 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
706 /* Pass by reference in register. */
707 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
710 /* Pass by value on stack. */
711 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
714 SYMBOL_VALUE (s) = svalue;
715 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
716 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
719 case stLabel: /* label, goes into current block. */
720 s = new_symbol (name);
721 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
722 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
723 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
724 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
725 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
728 case stProc: /* Procedure, usually goes into global block. */
729 case stStaticProc: /* Static procedure, goes into current block. */
730 /* For stProc symbol records, we need to check the storage class
731 as well, as only (stProc, scText) entries represent "real"
732 procedures - See the Compaq document titled "Object File /
733 Symbol Table Format Specification" for more information.
734 If the storage class is not scText, we discard the whole block
735 of symbol records for this stProc. */
736 if (sh->st == stProc && sh->sc != scText)
738 char *ext_tsym = ext_sh;
739 int keep_counting = 1;
742 while (keep_counting)
744 ext_tsym += external_sym_size;
745 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
755 complaint (&symfile_complaints,
756 _("unknown symbol type 0x%x"), sh->st);
762 s = new_symbol (name);
763 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
764 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
765 /* Type of the return value. */
766 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
767 t = objfile_type (objfile)->builtin_int;
770 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
771 if (strcmp (name, "malloc") == 0
772 && TYPE_CODE (t) == TYPE_CODE_VOID)
774 /* I don't know why, but, at least under Alpha GNU/Linux,
775 when linking against a malloc without debugging
776 symbols, its read as a function returning void---this
777 is bad because it means we cannot call functions with
778 string arguments interactively; i.e., "call
779 printf("howdy\n")" would fail with the error message
780 "program has no memory available". To avoid this, we
781 patch up the type and make it void*
782 instead. (davidm@azstarnet.com). */
783 t = make_pointer_type (t, NULL);
786 b = top_stack->cur_block;
787 if (sh->st == stProc)
789 const struct blockvector *bv
790 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
792 /* The next test should normally be true, but provides a
793 hook for nested functions (which we don't want to make
795 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
796 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
797 /* Irix 5 sometimes has duplicate names for the same
798 function. We want to add such names up at the global
799 level, not as a nested function. */
800 else if (sh->value == top_stack->procadr)
801 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
803 add_symbol (s, top_stack->cur_st, b);
805 /* Make a type for the procedure itself. */
806 SYMBOL_TYPE (s) = lookup_function_type (t);
808 /* All functions in C++ have prototypes. For C we don't have enough
809 information in the debug info. */
810 if (SYMBOL_LANGUAGE (s) == language_cplus)
811 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
813 /* Create and enter a new lexical context. */
814 b = new_block (FUNCTION_BLOCK);
815 SYMBOL_BLOCK_VALUE (s) = b;
816 BLOCK_FUNCTION (b) = s;
817 BLOCK_START (b) = BLOCK_END (b) = sh->value;
818 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
819 add_block (b, top_stack->cur_st);
821 /* Not if we only have partial info. */
822 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
826 top_stack->cur_block = b;
827 top_stack->blocktype = sh->st;
828 top_stack->cur_type = SYMBOL_TYPE (s);
829 top_stack->cur_field = -1;
830 top_stack->procadr = sh->value;
831 top_stack->numargs = 0;
834 /* Beginning of code for structure, union, and enum definitions.
835 They all share a common set of local variables, defined here. */
837 enum type_code type_code;
843 case stStruct: /* Start a block defining a struct type. */
844 type_code = TYPE_CODE_STRUCT;
845 goto structured_common;
847 case stUnion: /* Start a block defining a union type. */
848 type_code = TYPE_CODE_UNION;
849 goto structured_common;
851 case stEnum: /* Start a block defining an enum type. */
852 type_code = TYPE_CODE_ENUM;
853 goto structured_common;
855 case stBlock: /* Either a lexical block, or some type. */
856 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
857 goto case_stBlock_code; /* Lexical block */
859 type_code = TYPE_CODE_UNDEF; /* We have a type. */
861 /* Common code for handling struct, union, enum, and/or as-yet-
862 unknown-type blocks of info about structured data. `type_code'
863 has been set to the proper TYPE_CODE, if we know it. */
865 found_ecoff_debugging_info = 1;
867 top_stack->blocktype = stBlock;
869 /* First count the number of fields and the highest value. */
872 for (ext_tsym = ext_sh + external_sym_size;
874 ext_tsym += external_sym_size)
878 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
883 /* C++ encodes class types as structures where there the
884 methods are encoded as stProc. The scope of stProc
885 symbols also ends with stEnd, thus creating a risk of
886 taking the wrong stEnd symbol record as the end of
887 the current struct, which would cause GDB to undercount
888 the real number of fields in this struct. To make sure
889 we really reached the right stEnd symbol record, we
890 check the associated name, and match it against the
891 struct name. Since method names are mangled while
892 the class name is not, there is no risk of having a
893 method whose name is identical to the class name
894 (in particular constructor method names are different
895 from the class name). There is therefore no risk that
896 this check stops the count on the StEnd of a method.
898 Also, assume that we're really at the end when tsym.iss
900 if (tsym.iss == issNull
901 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
907 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
909 /* If the type of the member is Nil (or Void),
910 without qualifiers, assume the tag is an
912 Alpha cc -migrate enums are recognized by a zero
913 index and a zero symbol value.
914 DU 4.0 cc enums are recognized by a member type of
915 btEnum without qualifiers and a zero symbol value. */
916 if (tsym.index == indexNil
917 || (tsym.index == 0 && sh->value == 0))
918 type_code = TYPE_CODE_ENUM;
921 (*debug_swap->swap_tir_in) (bigend,
922 &ax[tsym.index].a_ti,
924 if ((tir.bt == btNil || tir.bt == btVoid
925 || (tir.bt == btEnum && sh->value == 0))
927 type_code = TYPE_CODE_ENUM;
931 if (tsym.value > max_value)
932 max_value = tsym.value;
941 /* This is a no-op; is it trying to tell us something
942 we should be checking? */
943 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
947 /* This is something like a struct within a
948 struct. Skip over the fields of the inner
949 struct. The -1 is because the for loop will
950 increment ext_tsym. */
951 ext_tsym = ((char *) debug_info->external_sym
952 + ((cur_fdr->isymBase + tsym.index - 1)
953 * external_sym_size));
959 /* mips cc puts out a typedef for struct x if it is not yet
960 defined when it encounters
961 struct y { struct x *xp; };
966 /* Irix5 cc puts out a stIndirect for struct x if it is not
967 yet defined when it encounters
968 struct y { struct x *xp; };
973 complaint (&symfile_complaints,
974 _("declaration block contains "
975 "unhandled symbol type %d"),
981 /* In an stBlock, there is no way to distinguish structs,
982 unions, and enums at this point. This is a bug in the
983 original design (that has been fixed with the recent
984 addition of the stStruct, stUnion, and stEnum symbol
985 types.) The way you can tell is if/when you see a variable
986 or field of that type. In that case the variable's type
987 (in the AUX table) says if the type is struct, union, or
988 enum, and points back to the stBlock here. So you can
989 patch the tag kind up later - but only if there actually is
990 a variable or field of that type.
992 So until we know for sure, we will guess at this point.
994 If the first member has index==indexNil or a void type,
995 assume we have an enumeration.
996 Otherwise, if there is more than one member, and all
997 the members have offset 0, assume we have a union.
998 Otherwise, assume we have a struct.
1000 The heuristic could guess wrong in the case of of an
1001 enumeration with no members or a union with one (or zero)
1002 members, or when all except the last field of a struct have
1003 width zero. These are uncommon and/or illegal situations,
1004 and in any case guessing wrong probably doesn't matter
1007 But if we later do find out we were wrong, we fixup the tag
1008 kind. Members of an enumeration must be handled
1009 differently from struct/union fields, and that is harder to
1010 patch up, but luckily we shouldn't need to. (If there are
1011 any enumeration members, we can tell for sure it's an enum
1014 if (type_code == TYPE_CODE_UNDEF)
1016 if (nfields > 1 && max_value == 0)
1017 type_code = TYPE_CODE_UNION;
1019 type_code = TYPE_CODE_STRUCT;
1022 /* Create a new type or use the pending type. */
1023 pend = is_pending_symbol (cur_fdr, ext_sh);
1024 if (pend == (struct mdebug_pending *) NULL)
1026 t = new_type (NULL);
1027 add_pending (cur_fdr, ext_sh, t);
1032 /* Do not set the tag name if it is a compiler generated tag name
1033 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1034 Alpha cc puts out an sh->iss of zero for those. */
1035 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1036 TYPE_TAG_NAME (t) = NULL;
1038 TYPE_TAG_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1039 name, (char *) NULL);
1041 TYPE_CODE (t) = type_code;
1042 TYPE_LENGTH (t) = sh->value;
1043 TYPE_NFIELDS (t) = nfields;
1044 TYPE_FIELDS (t) = f = ((struct field *)
1046 nfields * sizeof (struct field)));
1048 if (type_code == TYPE_CODE_ENUM)
1050 int unsigned_enum = 1;
1052 /* This is a non-empty enum. */
1054 /* DEC c89 has the number of enumerators in the sh.value field,
1055 not the type length, so we have to compensate for that
1056 incompatibility quirk.
1057 This might do the wrong thing for an enum with one or two
1058 enumerators and gcc -gcoff -fshort-enums, but these cases
1059 are hopefully rare enough.
1060 Alpha cc -migrate has a sh.value field of zero, we adjust
1062 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1063 || TYPE_LENGTH (t) == 0)
1064 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1065 for (ext_tsym = ext_sh + external_sym_size;
1067 ext_tsym += external_sym_size)
1070 struct symbol *enum_sym;
1072 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1074 if (tsym.st != stMember)
1077 SET_FIELD_ENUMVAL (*f, tsym.value);
1078 FIELD_TYPE (*f) = t;
1079 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1080 FIELD_BITSIZE (*f) = 0;
1082 enum_sym = allocate_symbol (mdebugread_objfile);
1083 SYMBOL_SET_LINKAGE_NAME
1085 (char *) obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1086 f->name, strlen (f->name)));
1087 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1088 SYMBOL_TYPE (enum_sym) = t;
1089 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1090 SYMBOL_VALUE (enum_sym) = tsym.value;
1091 if (SYMBOL_VALUE (enum_sym) < 0)
1093 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1095 /* Skip the stMembers that we've handled. */
1100 TYPE_UNSIGNED (t) = 1;
1102 /* Make this the current type. */
1103 top_stack->cur_type = t;
1104 top_stack->cur_field = 0;
1106 /* Do not create a symbol for alpha cc unnamed structs. */
1110 /* gcc puts out an empty struct for an opaque struct definitions,
1111 do not create a symbol for it either. */
1112 if (TYPE_NFIELDS (t) == 0)
1118 s = new_symbol (name);
1119 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1120 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1121 SYMBOL_VALUE (s) = 0;
1122 SYMBOL_TYPE (s) = t;
1123 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1126 /* End of local variables shared by struct, union, enum, and
1127 block (as yet unknown struct/union/enum) processing. */
1131 found_ecoff_debugging_info = 1;
1132 /* Beginnning of (code) block. Value of symbol
1133 is the displacement from procedure start. */
1134 push_parse_stack ();
1136 /* Do not start a new block if this is the outermost block of a
1137 procedure. This allows the LOC_BLOCK symbol to point to the
1138 block with the local variables, so funcname::var works. */
1139 if (top_stack->blocktype == stProc
1140 || top_stack->blocktype == stStaticProc)
1142 top_stack->blocktype = stNil;
1146 top_stack->blocktype = stBlock;
1147 b = new_block (NON_FUNCTION_BLOCK);
1148 BLOCK_START (b) = sh->value + top_stack->procadr;
1149 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1150 top_stack->cur_block = b;
1151 add_block (b, top_stack->cur_st);
1154 case stEnd: /* end (of anything) */
1155 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1157 /* Finished with type */
1158 top_stack->cur_type = 0;
1160 else if (sh->sc == scText &&
1161 (top_stack->blocktype == stProc ||
1162 top_stack->blocktype == stStaticProc))
1164 /* Finished with procedure */
1165 const struct blockvector *bv
1166 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1167 struct mdebug_extra_func_info *e;
1168 struct block *b = top_stack->cur_block;
1169 struct type *ftype = top_stack->cur_type;
1172 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1174 /* Make up special symbol to contain procedure specific info. */
1175 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1176 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1177 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1178 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1179 e = ((struct mdebug_extra_func_info *)
1180 obstack_alloc (&mdebugread_objfile->objfile_obstack,
1181 sizeof (struct mdebug_extra_func_info)));
1182 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1183 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1184 e->numargs = top_stack->numargs;
1185 e->pdr.framereg = -1;
1186 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1188 /* f77 emits proc-level with address bounds==[0,0],
1189 So look for such child blocks, and patch them. */
1190 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1192 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1194 if (BLOCK_SUPERBLOCK (b_bad) == b
1195 && BLOCK_START (b_bad) == top_stack->procadr
1196 && BLOCK_END (b_bad) == top_stack->procadr)
1198 BLOCK_START (b_bad) = BLOCK_START (b);
1199 BLOCK_END (b_bad) = BLOCK_END (b);
1203 if (TYPE_NFIELDS (ftype) <= 0)
1205 /* No parameter type information is recorded with the function's
1206 type. Set that from the type of the parameter symbols. */
1207 int nparams = top_stack->numargs;
1213 struct block_iterator iter;
1215 TYPE_NFIELDS (ftype) = nparams;
1216 TYPE_FIELDS (ftype) = (struct field *)
1217 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1220 ALL_BLOCK_SYMBOLS (b, iter, sym)
1222 if (iparams == nparams)
1225 if (SYMBOL_IS_ARGUMENT (sym))
1227 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1228 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1235 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1237 /* End of (code) block. The value of the symbol is the
1238 displacement from the procedure`s start address of the
1239 end of this block. */
1240 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1242 else if (sh->sc == scText && top_stack->blocktype == stNil)
1244 /* End of outermost block. Pop parse stack and ignore. The
1245 following stEnd of stProc will take care of the block. */
1248 else if (sh->sc == scText && top_stack->blocktype == stFile)
1250 /* End of file. Pop parse stack and ignore. Higher
1251 level code deals with this. */
1255 complaint (&symfile_complaints,
1256 _("stEnd with storage class %d not handled"), sh->sc);
1258 pop_parse_stack (); /* Restore previous lexical context. */
1261 case stMember: /* member of struct or union */
1262 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1263 FIELD_NAME (*f) = name;
1264 SET_FIELD_BITPOS (*f, sh->value);
1266 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1267 &bitsize, bigend, name);
1268 FIELD_BITSIZE (*f) = bitsize;
1271 case stIndirect: /* forward declaration on Irix5 */
1272 /* Forward declarations from Irix5 cc are handled by cross_ref,
1276 case stTypedef: /* type definition */
1277 found_ecoff_debugging_info = 1;
1279 /* Typedefs for forward declarations and opaque structs from alpha cc
1280 are handled by cross_ref, skip them. */
1284 /* Parse the type or use the pending type. */
1285 pend = is_pending_symbol (cur_fdr, ext_sh);
1286 if (pend == (struct mdebug_pending *) NULL)
1288 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1289 add_pending (cur_fdr, ext_sh, t);
1294 /* Mips cc puts out a typedef with the name of the struct for forward
1295 declarations. These should not go into the symbol table and
1296 TYPE_NAME should not be set for them.
1297 They can't be distinguished from an intentional typedef to
1298 the same name however:
1300 struct x { int ix; int jx; };
1304 struct xx {int ixx; int jxx; };
1305 generates a cross referencing stTypedef for x and xx.
1306 The user visible effect of this is that the type of a pointer
1307 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1308 The problem is fixed with alpha cc and Irix5 cc. */
1310 /* However if the typedef cross references to an opaque aggregate, it
1311 is safe to omit it from the symbol table. */
1313 if (has_opaque_xref (cur_fdr, sh))
1315 s = new_symbol (name);
1316 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1317 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1318 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1319 SYMBOL_TYPE (s) = t;
1320 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1322 /* Incomplete definitions of structs should not get a name. */
1323 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1324 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1325 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1326 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1328 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1329 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1331 /* If we are giving a name to a type such as "pointer to
1332 foo" or "function returning foo", we better not set
1333 the TYPE_NAME. If the program contains "typedef char
1334 *caddr_t;", we don't want all variables of type char
1335 * to print as caddr_t. This is not just a
1336 consequence of GDB's type management; CC and GCC (at
1337 least through version 2.4) both output variables of
1338 either type char * or caddr_t with the type
1339 refering to the stTypedef symbol for caddr_t. If a future
1340 compiler cleans this up it GDB is not ready for it
1341 yet, but if it becomes ready we somehow need to
1342 disable this check (without breaking the PCC/GCC2.4
1347 Fortunately, this check seems not to be necessary
1348 for anything except pointers or functions. */
1351 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1355 case stFile: /* file name */
1356 push_parse_stack ();
1357 top_stack->blocktype = sh->st;
1360 /* I`ve never seen these for C */
1362 break; /* register relocation */
1364 break; /* forwarding address */
1366 break; /* constant */
1368 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1377 static const struct objfile_data *basic_type_data;
1379 static struct type *
1380 basic_type (int bt, struct objfile *objfile)
1382 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1383 struct type **map_bt
1384 = (struct type **) objfile_data (objfile, basic_type_data);
1392 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1393 btMax, struct type *);
1394 set_objfile_data (objfile, basic_type_data, map_bt);
1403 tp = objfile_type (objfile)->builtin_void;
1407 tp = init_pointer_type (objfile, 32, "adr_32",
1408 objfile_type (objfile)->builtin_void);
1412 tp = init_integer_type (objfile, 8, 0, "char");
1413 TYPE_NOSIGN (tp) = 1;
1417 tp = init_integer_type (objfile, 8, 1, "unsigned char");
1421 tp = init_integer_type (objfile, 16, 0, "short");
1425 tp = init_integer_type (objfile, 16, 1, "unsigned short");
1429 tp = init_integer_type (objfile, 32, 0, "int");
1433 tp = init_integer_type (objfile, 32, 1, "unsigned int");
1437 tp = init_integer_type (objfile, 32, 0, "long");
1441 tp = init_integer_type (objfile, 32, 1, "unsigned long");
1445 tp = init_float_type (objfile, gdbarch_float_bit (gdbarch),
1446 "float", gdbarch_float_format (gdbarch));
1450 tp = init_float_type (objfile, gdbarch_double_bit (gdbarch),
1451 "double", gdbarch_double_format (gdbarch));
1455 tp = init_complex_type (objfile, "complex",
1456 basic_type (btFloat, objfile));
1460 tp = init_complex_type (objfile, "double complex",
1461 basic_type (btFloat, objfile));
1465 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1466 good? Would we be better off with TYPE_CODE_ERROR? Should
1467 TYPE_CODE_ERROR print things in hex if it knows the size? */
1468 tp = init_integer_type (objfile, gdbarch_int_bit (gdbarch), 0,
1473 tp = init_type (objfile, TYPE_CODE_ERROR,
1474 gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT,
1475 "floating decimal");
1479 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1481 tp = init_type (objfile, TYPE_CODE_STRING, 1, "string");
1485 tp = objfile_type (objfile)->builtin_void;
1489 tp = init_integer_type (objfile, 64, 0, "long");
1493 tp = init_integer_type (objfile, 64, 1, "unsigned long");
1497 tp = init_integer_type (objfile, 64, 0, "long long");
1501 tp = init_integer_type (objfile, 64, 1, "unsigned long long");
1505 tp = init_pointer_type (objfile, 64, "adr_64",
1506 objfile_type (objfile)->builtin_void);
1510 tp = init_integer_type (objfile, 64, 0, "int");
1514 tp = init_integer_type (objfile, 64, 1, "unsigned int");
1526 /* Parse the type information provided in the raw AX entries for
1527 the symbol SH. Return the bitfield size in BS, in case.
1528 We must byte-swap the AX entries before we use them; BIGEND says whether
1529 they are big-endian or little-endian (from fh->fBigendian). */
1531 static struct type *
1532 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1533 int bigend, const char *sym_name)
1536 struct type *tp = 0;
1537 enum type_code type_code = TYPE_CODE_UNDEF;
1539 /* Handle undefined types, they have indexNil. */
1540 if (aux_index == indexNil)
1541 return basic_type (btInt, mdebugread_objfile);
1543 /* Handle corrupt aux indices. */
1544 if (aux_index >= (debug_info->fdr + fd)->caux)
1546 index_complaint (sym_name);
1547 return basic_type (btInt, mdebugread_objfile);
1551 /* Use aux as a type information record, map its basic type. */
1552 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1553 tp = basic_type (t->bt, mdebugread_objfile);
1556 /* Cannot use builtin types -- build our own. */
1560 type_code = TYPE_CODE_STRUCT;
1563 type_code = TYPE_CODE_UNION;
1566 type_code = TYPE_CODE_ENUM;
1569 type_code = TYPE_CODE_RANGE;
1572 type_code = TYPE_CODE_SET;
1575 /* alpha cc -migrate uses this for typedefs. The true type will
1576 be obtained by crossreferencing below. */
1577 type_code = TYPE_CODE_ERROR;
1580 /* alpha cc uses this for typedefs. The true type will be
1581 obtained by crossreferencing below. */
1582 type_code = TYPE_CODE_ERROR;
1585 basic_type_complaint (t->bt, sym_name);
1586 return basic_type (btInt, mdebugread_objfile);
1590 /* Move on to next aux. */
1595 int width = AUX_GET_WIDTH (bigend, ax);
1597 /* Inhibit core dumps if TIR is corrupted. */
1598 if (bs == (int *) NULL)
1600 /* Alpha cc -migrate encodes char and unsigned char types
1601 as short and unsigned short types with a field width of 8.
1602 Enum types also have a field width which we ignore for now. */
1603 if (t->bt == btShort && width == 8)
1604 tp = basic_type (btChar, mdebugread_objfile);
1605 else if (t->bt == btUShort && width == 8)
1606 tp = basic_type (btUChar, mdebugread_objfile);
1607 else if (t->bt == btEnum)
1610 complaint (&symfile_complaints,
1611 _("can't handle TIR fBitfield for %s"),
1619 /* A btIndirect entry cross references to an aux entry containing
1621 if (t->bt == btIndirect)
1628 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1630 if (rn->rfd == 0xfff)
1632 rf = AUX_GET_ISYM (bigend, ax);
1640 complaint (&symfile_complaints,
1641 _("unable to cross ref btIndirect for %s"), sym_name);
1642 return basic_type (btInt, mdebugread_objfile);
1644 xref_fh = get_rfd (fd, rf);
1645 xref_fd = xref_fh - debug_info->fdr;
1646 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1647 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1650 /* All these types really point to some (common) MIPS type
1651 definition, and only the type-qualifiers fully identify
1652 them. We'll make the same effort at sharing. */
1653 if (t->bt == btStruct ||
1657 /* btSet (I think) implies that the name is a tag name, not a typedef
1658 name. This apparently is a MIPS extension for C sets. */
1663 /* Try to cross reference this type, build new type on failure. */
1664 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1665 if (tp == (struct type *) NULL)
1666 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1668 /* DEC c89 produces cross references to qualified aggregate types,
1669 dereference them. */
1670 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1671 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1672 tp = TYPE_TARGET_TYPE (tp);
1674 /* Make sure that TYPE_CODE(tp) has an expected type code.
1675 Any type may be returned from cross_ref if file indirect entries
1677 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1678 && TYPE_CODE (tp) != TYPE_CODE_UNION
1679 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1681 unexpected_type_code_complaint (sym_name);
1685 /* Usually, TYPE_CODE(tp) is already type_code. The main
1686 exception is if we guessed wrong re struct/union/enum.
1687 But for struct vs. union a wrong guess is harmless, so
1688 don't complain(). */
1689 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1690 && type_code != TYPE_CODE_ENUM)
1691 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1692 && type_code == TYPE_CODE_ENUM))
1694 bad_tag_guess_complaint (sym_name);
1697 if (TYPE_CODE (tp) != type_code)
1699 TYPE_CODE (tp) = type_code;
1702 /* Do not set the tag name if it is a compiler generated tag name
1703 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1704 if (name[0] == '.' || name[0] == '\0')
1705 TYPE_TAG_NAME (tp) = NULL;
1706 else if (TYPE_TAG_NAME (tp) == NULL
1707 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1710 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1711 name, strlen (name)));
1715 /* All these types really point to some (common) MIPS type
1716 definition, and only the type-qualifiers fully identify
1717 them. We'll make the same effort at sharing.
1718 FIXME: We are not doing any guessing on range types. */
1719 if (t->bt == btRange)
1723 /* Try to cross reference this type, build new type on failure. */
1724 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1725 if (tp == (struct type *) NULL)
1726 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1728 /* Make sure that TYPE_CODE(tp) has an expected type code.
1729 Any type may be returned from cross_ref if file indirect entries
1731 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1733 unexpected_type_code_complaint (sym_name);
1737 /* Usually, TYPE_CODE(tp) is already type_code. The main
1738 exception is if we guessed wrong re struct/union/enum. */
1739 if (TYPE_CODE (tp) != type_code)
1741 bad_tag_guess_complaint (sym_name);
1742 TYPE_CODE (tp) = type_code;
1744 if (TYPE_NAME (tp) == NULL
1745 || strcmp (TYPE_NAME (tp), name) != 0)
1748 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1749 name, strlen (name)));
1752 if (t->bt == btTypedef)
1756 /* Try to cross reference this type, it should succeed. */
1757 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1758 if (tp == (struct type *) NULL)
1760 complaint (&symfile_complaints,
1761 _("unable to cross ref btTypedef for %s"), sym_name);
1762 tp = basic_type (btInt, mdebugread_objfile);
1766 /* Deal with range types. */
1767 if (t->bt == btRange)
1769 TYPE_NFIELDS (tp) = 0;
1770 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1771 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1772 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1774 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1778 /* Parse all the type qualifiers now. If there are more
1779 than 6 the game will continue in the next aux. */
1783 #define PARSE_TQ(tq) \
1784 if (t->tq != tqNil) \
1785 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1797 /* mips cc 2.x and gcc never put out continued aux entries. */
1801 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1805 /* Complain for illegal continuations due to corrupt aux entries. */
1807 complaint (&symfile_complaints,
1808 _("illegal TIR continued for %s"), sym_name);
1813 /* Make up a complex type from a basic one. Type is passed by
1814 reference in TPP and side-effected as necessary. The type
1815 qualifier TQ says how to handle the aux symbols at AX for
1816 the symbol SX we are currently analyzing. BIGEND says whether
1817 aux symbols are big-endian or little-endian.
1818 Returns the number of aux symbols we parsed. */
1821 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1822 const char *sym_name)
1827 /* Used in array processing. */
1838 t = lookup_pointer_type (*tpp);
1843 t = lookup_function_type (*tpp);
1850 /* Determine and record the domain type (type of index). */
1851 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1857 rf = AUX_GET_ISYM (bigend, ax);
1860 fh = get_rfd (fd, rf);
1862 indx = parse_type (fh - debug_info->fdr,
1863 debug_info->external_aux + fh->iauxBase,
1864 id, (int *) NULL, bigend, sym_name);
1866 /* The bounds type should be an integer type, but might be anything
1867 else due to corrupt aux entries. */
1868 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1870 complaint (&symfile_complaints,
1871 _("illegal array index type for %s, assuming int"),
1873 indx = objfile_type (mdebugread_objfile)->builtin_int;
1876 /* Get the bounds, and create the array type. */
1878 lower = AUX_GET_DNLOW (bigend, ax);
1880 upper = AUX_GET_DNHIGH (bigend, ax);
1882 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1884 range = create_static_range_type ((struct type *) NULL, indx,
1887 t = create_array_type ((struct type *) NULL, *tpp, range);
1889 /* We used to fill in the supplied array element bitsize
1890 here if the TYPE_LENGTH of the target type was zero.
1891 This happens for a `pointer to an array of anonymous structs',
1892 but in this case the array element bitsize is also zero,
1893 so nothing is gained.
1894 And we used to check the TYPE_LENGTH of the target type against
1895 the supplied array element bitsize.
1896 gcc causes a mismatch for `pointer to array of object',
1897 since the sdb directives it uses do not have a way of
1898 specifying the bitsize, but it does no harm (the
1899 TYPE_LENGTH should be correct) and we should be able to
1900 ignore the erroneous bitsize from the auxiliary entry safely.
1901 dbx seems to ignore it too. */
1903 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1904 if (TYPE_LENGTH (*tpp) == 0)
1905 TYPE_TARGET_STUB (t) = 1;
1911 /* Volatile -- currently ignored */
1915 /* Const -- currently ignored */
1919 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1925 /* Parse a procedure descriptor record PR. Note that the procedure is
1926 parsed _after_ the local symbols, now we just insert the extra
1927 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1928 already been placed in the procedure's main block. Note also that
1929 images that have been partially stripped (ld -x) have been deprived
1930 of local symbols, and we have to cope with them here. FIRST_OFF is
1931 the offset of the first procedure for this FDR; we adjust the
1932 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1933 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1934 in question, or NULL to use top_stack->cur_block. */
1937 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1938 struct partial_symtab *pst)
1940 struct symbol *s, *i;
1941 const struct block *b;
1944 /* Simple rule to find files linked "-x". */
1945 if (cur_fdr->rss == -1)
1949 /* Static procedure at address pr->adr. Sigh. */
1950 /* FIXME-32x64. assuming pr->adr fits in long. */
1951 complaint (&symfile_complaints,
1952 _("can't handle PDR for static proc at 0x%lx"),
1953 (unsigned long) pr->adr);
1961 (*debug_swap->swap_ext_in) (cur_bfd,
1962 ((char *) debug_info->external_ext
1964 * debug_swap->external_ext_size)),
1966 sh_name = debug_info->ssext + she.asym.iss;
1974 (*debug_swap->swap_sym_in) (cur_bfd,
1975 ((char *) debug_info->external_sym
1976 + ((cur_fdr->isymBase + pr->isym)
1977 * debug_swap->external_sym_size)),
1979 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1982 if (search_symtab != NULL)
1985 /* This loses both in the case mentioned (want a static, find a global),
1986 but also if we are looking up a non-mangled name which happens to
1987 match the name of a mangled function. */
1988 /* We have to save the cur_fdr across the call to lookup_symbol.
1989 If the pdr is for a static function and if a global function with
1990 the same name exists, lookup_symbol will eventually read in the symtab
1991 for the global function and clobber cur_fdr. */
1992 FDR *save_cur_fdr = cur_fdr;
1994 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1995 cur_fdr = save_cur_fdr;
1999 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
2006 s = mylookup_symbol (sh_name, top_stack->cur_block,
2007 VAR_DOMAIN, LOC_BLOCK);
2011 b = SYMBOL_BLOCK_VALUE (s);
2015 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
2019 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
2020 s = new_symbol (sh_name);
2021 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2022 SYMBOL_CLASS (s) = LOC_BLOCK;
2023 /* Donno its type, hope int is ok. */
2025 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2026 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2027 /* Won't have symbols for this one. */
2029 SYMBOL_BLOCK_VALUE (s) = b;
2030 BLOCK_FUNCTION (b) = s;
2031 BLOCK_START (b) = pr->adr;
2032 /* BOUND used to be the end of procedure's text, but the
2033 argument is no longer passed in. */
2034 BLOCK_END (b) = bound;
2035 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2036 add_block (b, top_stack->cur_st);
2040 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2044 struct mdebug_extra_func_info *e;
2046 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2049 /* GDB expects the absolute function start address for the
2050 procedure descriptor in e->pdr.adr.
2051 As the address in the procedure descriptor is usually relative,
2052 we would have to relocate e->pdr.adr with cur_fdr->adr and
2053 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2054 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2055 in shared libraries on some systems, and on other systems
2056 e->pdr.adr is sometimes offset by a bogus value.
2057 To work around these problems, we replace e->pdr.adr with
2058 the start address of the function. */
2059 e->pdr.adr = BLOCK_START (b);
2062 /* It would be reasonable that functions that have been compiled
2063 without debugging info have a btNil type for their return value,
2064 and functions that are void and are compiled with debugging info
2066 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2067 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2069 The glevel field in cur_fdr could be used to determine the presence
2070 of debugging info, but GCC doesn't always pass the -g switch settings
2071 to the assembler and GAS doesn't set the glevel field from the -g switch
2073 To work around these problems, the return value type of a TYPE_CODE_VOID
2074 function is adjusted accordingly if no debugging info was found in the
2075 compilation unit. */
2077 if (processing_gcc_compilation == 0
2078 && found_ecoff_debugging_info == 0
2079 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2080 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2083 /* Parse the external symbol ES. Just call parse_symbol() after
2084 making sure we know where the aux are for it.
2085 BIGEND says whether aux entries are big-endian or little-endian.
2087 This routine clobbers top_stack->cur_block and ->cur_st. */
2089 static void parse_external (EXTR *, int, struct section_offsets *,
2093 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2094 struct objfile *objfile)
2098 if (es->ifd != ifdNil)
2101 cur_fdr = debug_info->fdr + cur_fd;
2102 ax = debug_info->external_aux + cur_fdr->iauxBase;
2106 cur_fdr = debug_info->fdr;
2110 /* Reading .o files */
2111 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2114 switch (es->asym.st)
2117 /* These are generated for static symbols in .o files,
2138 /* FIXME: Turn this into a complaint? */
2140 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2141 what, debug_info->ssext + es->asym.iss,
2142 fdr_name (cur_fdr));
2146 switch (es->asym.st)
2150 /* There is no need to parse the external procedure symbols.
2151 If they are from objects compiled without -g, their index will
2152 be indexNil, and the symbol definition from the minimal symbol
2153 is preferrable (yielding a function returning int instead of int).
2154 If the index points to a local procedure symbol, the local
2155 symbol already provides the correct type.
2156 Note that the index of the external procedure symbol points
2157 to the local procedure symbol in the local symbol table, and
2158 _not_ to the auxiliary symbol info. */
2162 /* Global common symbols are resolved by the runtime loader,
2164 if (SC_IS_COMMON (es->asym.sc))
2167 /* Note that the case of a symbol with indexNil must be handled
2168 anyways by parse_symbol(). */
2169 parse_symbol (&es->asym, ax, (char *) NULL,
2170 bigend, section_offsets, objfile);
2177 /* Parse the line number info for file descriptor FH into
2178 GDB's linetable LT. MIPS' encoding requires a little bit
2179 of magic to get things out. Note also that MIPS' line
2180 numbers can go back and forth, apparently we can live
2181 with that and do not need to reorder our linetables. */
2183 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2184 struct partial_symtab *, CORE_ADDR);
2187 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2188 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2190 unsigned char *base;
2192 int delta, count, lineno = 0;
2194 if (fh->cbLine == 0)
2197 /* Scan by procedure descriptors. */
2199 for (j = 0; j < fh->cpd; j++, pr++)
2203 unsigned char *halt;
2205 /* No code for this one. */
2206 if (pr->iline == ilineNil ||
2207 pr->lnLow == -1 || pr->lnHigh == -1)
2210 /* Determine start and end address of compressed line bytes for
2212 base = debug_info->line + fh->cbLineOffset;
2213 if (j != (fh->cpd - 1))
2214 halt = base + pr[1].cbLineOffset;
2216 halt = base + fh->cbLine;
2217 base += pr->cbLineOffset;
2219 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2221 l = adr >> 2; /* in words */
2222 for (lineno = pr->lnLow; base < halt;)
2224 count = *base & 0x0f;
2225 delta = *base++ >> 4;
2230 delta = (base[0] << 8) | base[1];
2231 if (delta >= 0x8000)
2235 lineno += delta; /* first delta is 0 */
2237 /* Complain if the line table overflows. Could happen
2238 with corrupt binaries. */
2239 if (lt->nitems >= maxlines)
2241 complaint (&symfile_complaints,
2242 _("guessed size of linetable for %s incorrectly"),
2246 k = add_line (lt, lineno, l, k);
2253 function_outside_compilation_unit_complaint (const char *arg1)
2255 complaint (&symfile_complaints,
2256 _("function `%s' appears to be defined "
2257 "outside of all compilation units"),
2261 /* Use the STORAGE_CLASS to compute which section the given symbol
2262 belongs to, and then records this new minimal symbol. */
2265 record_minimal_symbol (minimal_symbol_reader &reader,
2266 const char *name, const CORE_ADDR address,
2267 enum minimal_symbol_type ms_type, int storage_class,
2268 struct objfile *objfile)
2272 switch (storage_class)
2275 section = SECT_OFF_TEXT (objfile);
2278 section = SECT_OFF_DATA (objfile);
2281 section = SECT_OFF_BSS (objfile);
2284 section = get_section_index (objfile, ".sdata");
2287 section = get_section_index (objfile, ".sbss");
2290 section = get_section_index (objfile, ".rdata");
2293 section = get_section_index (objfile, ".init");
2296 section = get_section_index (objfile, ".xdata");
2299 section = get_section_index (objfile, ".pdata");
2302 section = get_section_index (objfile, ".fini");
2305 section = get_section_index (objfile, ".rconst");
2309 section = get_section_index (objfile, ".tlsdata");
2314 section = get_section_index (objfile, ".tlsbss");
2318 /* This kind of symbol is not associated to a section. */
2322 reader.record_with_info (name, address, ms_type, section);
2325 /* Master parsing procedure for first-pass reading of file symbols
2326 into a partial_symtab. */
2329 parse_partial_symbols (minimal_symbol_reader &reader,
2330 struct objfile *objfile)
2332 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2333 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2334 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2335 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2336 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2337 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2338 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2340 HDRR *hdr = &debug_info->symbolic_header;
2341 /* Running pointers */
2349 struct partial_symtab *pst;
2350 int textlow_not_set = 1;
2352 /* List of current psymtab's include files. */
2353 const char **psymtab_include_list;
2354 int includes_allocated;
2357 struct pst_map *fdr_to_pst;
2358 /* Index within current psymtab dependency list. */
2359 struct partial_symtab **dependency_list;
2360 int dependencies_used, dependencies_allocated;
2361 struct cleanup *old_chain;
2363 enum language prev_language;
2364 asection *text_sect;
2365 int relocatable = 0;
2367 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2368 the shared libraries are prelinked at a high memory address.
2369 We have to adjust the start address of the object file for this case,
2370 by setting it to the start address of the first procedure in the file.
2371 But we should do no adjustments if we are debugging a .o file, where
2372 the text section (and fh->adr) really starts at zero. */
2373 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2374 if (text_sect != NULL
2375 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2378 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2379 sizeof (EXTR) * hdr->iextMax);
2381 includes_allocated = 30;
2383 psymtab_include_list = (const char **) alloca (includes_allocated *
2384 sizeof (const char *));
2385 next_symbol_text_func = mdebug_next_symbol_text;
2387 dependencies_allocated = 30;
2388 dependencies_used = 0;
2390 (struct partial_symtab **) alloca (dependencies_allocated *
2391 sizeof (struct partial_symtab *));
2393 set_last_source_file (NULL);
2398 * Only parse the Local and External symbols, and the Relative FDR.
2399 * Fixup enough of the loader symtab to be able to use it.
2400 * Allocate space only for the file's portions we need to
2405 max_glevel = MIN_GLEVEL;
2407 /* Allocate the map FDR -> PST.
2408 Minor hack: -O3 images might claim some global data belongs
2409 to FDR -1. We`ll go along with that. */
2410 fdr_to_pst = XCNEWVEC (struct pst_map, hdr->ifdMax + 1);
2411 old_chain = make_cleanup (xfree, fdr_to_pst);
2414 struct partial_symtab *pst = new_psymtab ("", objfile);
2416 fdr_to_pst[-1].pst = pst;
2420 /* Allocate the global pending list. */
2422 ((struct mdebug_pending **)
2423 obstack_alloc (&objfile->objfile_obstack,
2424 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2425 memset (pending_list, 0,
2426 hdr->ifdMax * sizeof (struct mdebug_pending *));
2428 /* Pass 0 over external syms: swap them in. */
2429 ext_block = XNEWVEC (EXTR, hdr->iextMax);
2430 make_cleanup (xfree, ext_block);
2432 ext_out = (char *) debug_info->external_ext;
2433 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2435 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2436 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2438 /* Pass 1 over external syms: Presize and partition the list. */
2440 ext_in_end = ext_in + hdr->iextMax;
2441 for (; ext_in < ext_in_end; ext_in++)
2443 /* See calls to complain below. */
2444 if (ext_in->ifd >= -1
2445 && ext_in->ifd < hdr->ifdMax
2446 && ext_in->asym.iss >= 0
2447 && ext_in->asym.iss < hdr->issExtMax)
2448 fdr_to_pst[ext_in->ifd].n_globals++;
2451 /* Pass 1.5 over files: partition out global symbol space. */
2453 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2455 fdr_to_pst[f_idx].globals_offset = s_idx;
2456 s_idx += fdr_to_pst[f_idx].n_globals;
2457 fdr_to_pst[f_idx].n_globals = 0;
2462 For ECOFF in ELF, we skip the creation of the minimal symbols.
2463 The ECOFF symbols should be a subset of the Elf symbols, and the
2464 section information of the elf symbols will be more accurate.
2465 FIXME! What about Irix 5's native linker?
2467 By default, Elf sections which don't exist in ECOFF
2468 get put in ECOFF's absolute section by the gnu linker.
2469 Since absolute sections don't get relocated, we
2470 end up calculating an address different from that of
2471 the symbol's minimal symbol (created earlier from the
2474 To fix this, either :
2475 1) don't create the duplicate symbol
2476 (assumes ECOFF symtab is a subset of the ELF symtab;
2477 assumes no side-effects result from ignoring ECOFF symbol)
2478 2) create it, only if lookup for existing symbol in ELF's minimal
2481 assumes no side-effects result from ignoring ECOFF symbol)
2482 3) create it, but lookup ELF's minimal symbol and use it's section
2483 during relocation, then modify "uniqify" phase to merge and
2484 eliminate the duplicate symbol
2485 (highly inefficient)
2487 I've implemented #1 here...
2488 Skip the creation of the minimal symbols based on the ECOFF
2491 /* Pass 2 over external syms: fill in external symbols. */
2493 ext_in_end = ext_in + hdr->iextMax;
2494 for (; ext_in < ext_in_end; ext_in++)
2496 enum minimal_symbol_type ms_type = mst_text;
2497 CORE_ADDR svalue = ext_in->asym.value;
2499 /* The Irix 5 native tools seem to sometimes generate bogus
2500 external symbols. */
2501 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2503 complaint (&symfile_complaints,
2504 _("bad ifd for external symbol: %d (max %ld)"),
2505 ext_in->ifd, hdr->ifdMax);
2508 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2510 complaint (&symfile_complaints,
2511 _("bad iss for external symbol: %ld (max %ld)"),
2512 ext_in->asym.iss, hdr->issExtMax);
2516 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2517 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2520 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2524 /* Pass 3 over files, over local syms: fill in static symbols. */
2525 name = debug_info->ssext + ext_in->asym.iss;
2527 /* Process ECOFF Symbol Types and Storage Classes. */
2528 switch (ext_in->asym.st)
2531 /* Beginnning of Procedure */
2534 /* Load time only static procs */
2535 ms_type = mst_file_text;
2538 /* External symbol */
2539 if (SC_IS_COMMON (ext_in->asym.sc))
2541 /* The value of a common symbol is its size, not its address.
2545 else if (SC_IS_DATA (ext_in->asym.sc))
2549 else if (SC_IS_BSS (ext_in->asym.sc))
2553 else if (SC_IS_SBSS (ext_in->asym.sc))
2563 /* On certain platforms, some extra label symbols can be
2564 generated by the linker. One possible usage for this kind
2565 of symbols is to represent the address of the begining of a
2566 given section. For instance, on Tru64 5.1, the address of
2567 the _ftext label is the start address of the .text section.
2569 The storage class of these symbols is usually directly
2570 related to the section to which the symbol refers. For
2571 instance, on Tru64 5.1, the storage class for the _fdata
2572 label is scData, refering to the .data section.
2574 It is actually possible that the section associated to the
2575 storage class of the label does not exist. On True64 5.1
2576 for instance, the libm.so shared library does not contain
2577 any .data section, although it contains a _fpdata label
2578 which storage class is scData... Since these symbols are
2579 usually useless for the debugger user anyway, we just
2580 discard these symbols. */
2582 if (SC_IS_TEXT (ext_in->asym.sc))
2584 if (objfile->sect_index_text == -1)
2587 ms_type = mst_file_text;
2589 else if (SC_IS_DATA (ext_in->asym.sc))
2591 if (objfile->sect_index_data == -1)
2594 ms_type = mst_file_data;
2596 else if (SC_IS_BSS (ext_in->asym.sc))
2598 if (objfile->sect_index_bss == -1)
2601 ms_type = mst_file_bss;
2603 else if (SC_IS_SBSS (ext_in->asym.sc))
2605 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2607 if (sbss_sect_index == -1)
2610 ms_type = mst_file_bss;
2617 /* The alpha has the section start addresses in stLocal symbols
2618 whose name starts with a `.'. Skip those but complain for all
2619 other stLocal symbols.
2620 Irix6 puts the section start addresses in stNil symbols, skip
2626 ms_type = mst_unknown;
2627 unknown_ext_complaint (name);
2629 if (!ECOFF_IN_ELF (cur_bfd))
2630 record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
2634 /* Pass 3 over files, over local syms: fill in static symbols. */
2635 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2637 struct partial_symtab *save_pst;
2641 cur_fdr = fh = debug_info->fdr + f_idx;
2645 fdr_to_pst[f_idx].pst = NULL;
2649 /* Determine the start address for this object file from the
2650 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2654 if (relocatable || textlow != 0)
2655 textlow += ANOFFSET (objfile->section_offsets,
2656 SECT_OFF_TEXT (objfile));
2660 pst = start_psymtab_common (objfile,
2663 objfile->global_psymbols.next,
2664 objfile->static_psymbols.next);
2665 pst->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
2666 sizeof (struct symloc));
2667 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2670 FDR_IDX (pst) = f_idx;
2671 CUR_BFD (pst) = cur_bfd;
2672 DEBUG_SWAP (pst) = debug_swap;
2673 DEBUG_INFO (pst) = debug_info;
2674 PENDING_LIST (pst) = pending_list;
2676 /* The way to turn this into a symtab is to call... */
2677 pst->read_symtab = mdebug_read_symtab;
2679 /* Set up language for the pst.
2680 The language from the FDR is used if it is unambigious (e.g. cfront
2681 with native cc and g++ will set the language to C).
2682 Otherwise we have to deduce the language from the filename.
2683 Native ecoff has every header file in a separate FDR, so
2684 deduce_language_from_filename will return language_unknown for
2685 a header file, which is not what we want.
2686 But the FDRs for the header files are after the FDR for the source
2687 file, so we can assign the language of the source file to the
2688 following header files. Then we save the language in the private
2689 pst data so that we can reuse it when building symtabs. */
2690 prev_language = psymtab_language;
2694 case langCplusplusV2:
2695 psymtab_language = language_cplus;
2698 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2701 if (psymtab_language == language_unknown)
2702 psymtab_language = prev_language;
2703 PST_PRIVATE (pst)->pst_language = psymtab_language;
2705 pst->texthigh = pst->textlow;
2707 /* For stabs-in-ecoff files, the second symbol must be @stab.
2708 This symbol is emitted by mips-tfile to signal that the
2709 current object file uses encapsulated stabs instead of mips
2710 ecoff for local symbols. (It is the second symbol because
2711 the first symbol is the stFile used to signal the start of a
2713 processing_gcc_compilation = 0;
2716 (*swap_sym_in) (cur_bfd,
2717 ((char *) debug_info->external_sym
2718 + (fh->isymBase + 1) * external_sym_size),
2720 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2722 processing_gcc_compilation = 2;
2725 if (processing_gcc_compilation != 0)
2727 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2730 const char *namestring;
2732 (*swap_sym_in) (cur_bfd,
2733 (((char *) debug_info->external_sym)
2734 + (fh->isymBase + cur_sdx) * external_sym_size),
2736 type_code = ECOFF_UNMARK_STAB (sh.index);
2737 if (!ECOFF_IS_STAB (&sh))
2739 if (sh.st == stProc || sh.st == stStaticProc)
2744 if (sh.st == stStaticProc)
2746 namestring = debug_info->ss + fh->issBase + sh.iss;
2747 record_minimal_symbol (reader, namestring, sh.value,
2748 mst_file_text, sh.sc,
2751 sh.value += ANOFFSET (objfile->section_offsets,
2752 SECT_OFF_TEXT (objfile));
2753 procaddr = sh.value;
2755 isym = AUX_GET_ISYM (fh->fBigendian,
2756 (debug_info->external_aux
2759 (*swap_sym_in) (cur_bfd,
2760 ((char *) debug_info->external_sym
2761 + ((fh->isymBase + isym - 1)
2762 * external_sym_size)),
2766 CORE_ADDR high = procaddr + sh.value;
2768 /* Kludge for Irix 5.2 zero fh->adr. */
2770 && (pst->textlow == 0 || procaddr < pst->textlow))
2771 pst->textlow = procaddr;
2772 if (high > pst->texthigh)
2773 pst->texthigh = high;
2776 else if (sh.st == stStatic)
2791 namestring = debug_info->ss + fh->issBase + sh.iss;
2792 record_minimal_symbol (reader, namestring, sh.value,
2793 mst_file_data, sh.sc,
2795 sh.value += ANOFFSET (objfile->section_offsets,
2796 SECT_OFF_DATA (objfile));
2800 /* FIXME! Shouldn't this use cases for bss,
2801 then have the default be abs? */
2802 namestring = debug_info->ss + fh->issBase + sh.iss;
2803 record_minimal_symbol (reader, namestring, sh.value,
2804 mst_file_bss, sh.sc,
2806 sh.value += ANOFFSET (objfile->section_offsets,
2807 SECT_OFF_BSS (objfile));
2813 /* Handle stabs continuation. */
2815 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2816 int len = strlen (stabstring);
2818 while (stabstring[len - 1] == '\\')
2821 char *stabstring1 = stabstring;
2825 /* Ignore continuation char from 1st string. */
2828 /* Read next stabstring. */
2830 (*swap_sym_in) (cur_bfd,
2831 (((char *) debug_info->external_sym)
2832 + (fh->isymBase + cur_sdx)
2833 * external_sym_size),
2835 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2836 len2 = strlen (stabstring2);
2838 /* Concatinate stabstring2 with stabstring1. */
2840 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2842 = (char *) xrealloc (stabstring, len + len2 + 1);
2845 stabstring = (char *) xmalloc (len + len2 + 1);
2846 strcpy (stabstring, stabstring1);
2848 strcpy (stabstring + len, stabstring2);
2856 /* Standard, external, non-debugger, symbols. */
2858 case N_TEXT | N_EXT:
2859 case N_NBTEXT | N_EXT:
2860 sh.value += ANOFFSET (objfile->section_offsets,
2861 SECT_OFF_TEXT (objfile));
2864 case N_DATA | N_EXT:
2865 case N_NBDATA | N_EXT:
2866 sh.value += ANOFFSET (objfile->section_offsets,
2867 SECT_OFF_DATA (objfile));
2872 case N_NBBSS | N_EXT:
2873 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2874 sh.value += ANOFFSET (objfile->section_offsets,
2875 SECT_OFF_BSS (objfile));
2882 /* Standard, local, non-debugger, symbols. */
2886 /* We need to be able to deal with both N_FN or
2887 N_TEXT, because we have no way of knowing
2888 whether the sys-supplied ld or GNU ld was used
2889 to make the executable. Sequents throw in
2890 another wrinkle -- they renumbered N_FN. */
2898 sh.value += ANOFFSET (objfile->section_offsets,
2899 SECT_OFF_DATA (objfile));
2902 case N_UNDF | N_EXT:
2903 continue; /* Just undefined, not COMMON. */
2908 /* Lots of symbol types we can just ignore. */
2915 /* Keep going . . . */
2918 * Special symbol types for GNU
2921 case N_INDR | N_EXT:
2923 case N_SETA | N_EXT:
2925 case N_SETT | N_EXT:
2927 case N_SETD | N_EXT:
2929 case N_SETB | N_EXT:
2939 static int prev_so_symnum = -10;
2942 /* A zero value is probably an indication for the
2943 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2944 for zero, so don't relocate it. */
2947 && gdbarch_sofun_address_maybe_missing (gdbarch))
2948 textlow_not_set = 1;
2950 textlow_not_set = 0;
2952 if (prev_so_symnum != symnum - 1)
2953 { /* Here if prev stab wasn't N_SO. */
2956 pst = (struct partial_symtab *) 0;
2958 dependencies_used = 0;
2962 prev_so_symnum = symnum;
2964 /* End the current partial symtab and start a
2967 /* SET_NAMESTRING ();*/
2968 namestring = stabstring;
2970 /* Null name means end of .o file. Don't start a new
2972 if (*namestring == '\000')
2975 /* Some compilers (including gcc) emit a pair of
2976 initial N_SOs. The first one is a directory name;
2977 the second the file name. If pst exists, is
2978 empty, and has a filename ending in '/', we assume
2979 the previous N_SO was a directory name. */
2980 p = lbasename (namestring);
2981 if (p != namestring && *p == '\000')
2982 continue; /* Simply ignore directory
2985 /* Some other compilers (C++ ones in particular) emit
2986 useless SOs for non-existant .c files. We ignore
2987 all subsequent SOs that immediately follow the
3000 enum language tmp_language;
3002 /* Mark down an include file in the current psymtab. */
3004 /* SET_NAMESTRING (); */
3005 namestring = stabstring;
3008 = deduce_language_from_filename (namestring);
3010 /* Only change the psymtab's language if we've
3011 learned something useful (eg. tmp_language is not
3012 language_unknown). In addition, to match what
3013 start_subfile does, never change from C++ to
3015 if (tmp_language != language_unknown
3016 && (tmp_language != language_c
3017 || psymtab_language != language_cplus))
3018 psymtab_language = tmp_language;
3020 /* In C++, one may expect the same filename to come
3021 round many times, when code is coming alternately
3022 from the main file and from inline functions in
3023 other files. So I check to see if this is a file
3024 we've seen before -- either the main source file,
3025 or a previously included file.
3027 This seems to be a lot of time to be spending on
3028 N_SOL, but things like "break c-exp.y:435" need to
3029 work (I suppose the psymtab_include_list could be
3030 hashed or put in a binary tree, if profiling shows
3031 this is a major hog). */
3032 if (pst && filename_cmp (namestring, pst->filename) == 0)
3038 for (i = 0; i < includes_used; i++)
3039 if (filename_cmp (namestring,
3040 psymtab_include_list[i]) == 0)
3049 psymtab_include_list[includes_used++] = namestring;
3050 if (includes_used >= includes_allocated)
3052 const char **orig = psymtab_include_list;
3054 psymtab_include_list = (const char **)
3055 alloca ((includes_allocated *= 2) *
3056 sizeof (const char *));
3057 memcpy (psymtab_include_list, orig,
3058 includes_used * sizeof (const char *));
3062 case N_LSYM: /* Typedef or automatic variable. */
3063 case N_STSYM: /* Data seg var -- static */
3064 case N_LCSYM: /* BSS " */
3065 case N_ROSYM: /* Read-only data seg var -- static. */
3066 case N_NBSTS: /* Gould nobase. */
3067 case N_NBLCS: /* symbols. */
3069 case N_GSYM: /* Global (extern) variable; can be
3070 data or bss (sigh FIXME). */
3072 /* Following may probably be ignored; I'll leave them here
3073 for now (until I do Pascal and Modula 2 extensions). */
3075 case N_PC: /* I may or may not need this; I
3077 case N_M2C: /* I suspect that I can ignore this
3079 case N_SCOPE: /* Same. */
3081 /* SET_NAMESTRING (); */
3082 namestring = stabstring;
3083 p = (char *) strchr (namestring, ':');
3085 continue; /* Not a debugging symbol. */
3089 /* Main processing section for debugging symbols which
3090 the initial read through the symbol tables needs to
3091 worry about. If we reach this point, the symbol
3092 which we are considering is definitely one we are
3093 interested in. p must also contain the (valid)
3094 index into the namestring which indicates the
3095 debugging type symbol. */
3100 sh.value += ANOFFSET (objfile->section_offsets,
3101 SECT_OFF_DATA (objfile));
3103 if (gdbarch_static_transform_name_p (gdbarch))
3104 namestring = gdbarch_static_transform_name
3105 (gdbarch, namestring);
3107 add_psymbol_to_list (namestring, p - namestring, 1,
3108 VAR_DOMAIN, LOC_STATIC,
3109 &objfile->static_psymbols,
3111 psymtab_language, objfile);
3114 sh.value += ANOFFSET (objfile->section_offsets,
3115 SECT_OFF_DATA (objfile));
3116 /* The addresses in these entries are reported
3117 to be wrong. See the code that reads 'G's
3119 add_psymbol_to_list (namestring, p - namestring, 1,
3120 VAR_DOMAIN, LOC_STATIC,
3121 &objfile->global_psymbols,
3123 psymtab_language, objfile);
3127 /* When a 'T' entry is defining an anonymous enum, it
3128 may have a name which is the empty string, or a
3129 single space. Since they're not really defining a
3130 symbol, those shouldn't go in the partial symbol
3131 table. We do pick up the elements of such enums at
3132 'check_enum:', below. */
3133 if (p >= namestring + 2
3134 || (p == namestring + 1
3135 && namestring[0] != ' '))
3137 add_psymbol_to_list (namestring, p - namestring, 1,
3138 STRUCT_DOMAIN, LOC_TYPEDEF,
3139 &objfile->static_psymbols,
3140 0, psymtab_language, objfile);
3143 /* Also a typedef with the same name. */
3144 add_psymbol_to_list (namestring,
3146 VAR_DOMAIN, LOC_TYPEDEF,
3147 &objfile->static_psymbols,
3148 0, psymtab_language,
3155 if (p != namestring) /* a name is there, not
3158 add_psymbol_to_list (namestring, p - namestring, 1,
3159 VAR_DOMAIN, LOC_TYPEDEF,
3160 &objfile->static_psymbols,
3161 0, psymtab_language, objfile);
3164 /* If this is an enumerated type, we need to add
3165 all the enum constants to the partial symbol
3166 table. This does not cover enums without names,
3167 e.g. "enum {a, b} c;" in C, but fortunately
3168 those are rare. There is no way for GDB to find
3169 those from the enum type without spending too
3170 much time on it. Thus to solve this problem,
3171 the compiler needs to put out the enum in a
3172 nameless type. GCC2 does this. */
3174 /* We are looking for something of the form
3175 <name> ":" ("t" | "T") [<number> "="] "e"
3176 {<constant> ":" <value> ","} ";". */
3178 /* Skip over the colon and the 't' or 'T'. */
3180 /* This type may be given a number. Also, numbers
3181 can come in pairs like (0,26). Skip over it. */
3182 while ((*p >= '0' && *p <= '9')
3183 || *p == '(' || *p == ',' || *p == ')'
3189 /* The aix4 compiler emits extra crud before
3193 /* Skip over the type (?). */
3197 /* Skip over the colon. */
3201 /* We have found an enumerated type. */
3202 /* According to comments in read_enum_type
3203 a comma could end it instead of a semicolon.
3204 I don't know where that happens.
3206 while (*p && *p != ';' && *p != ',')
3210 /* Check for and handle cretinous dbx
3211 symbol name continuation! */
3212 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3213 p = next_symbol_text (objfile);
3215 /* Point to the character after the name
3216 of the enum constant. */
3217 for (q = p; *q && *q != ':'; q++)
3219 /* Note that the value doesn't matter for
3220 enum constants in psymtabs, just in
3222 add_psymbol_to_list (p, q - p, 1,
3223 VAR_DOMAIN, LOC_CONST,
3224 &objfile->static_psymbols,
3225 0, psymtab_language,
3227 /* Point past the name. */
3229 /* Skip over the value. */
3230 while (*p && *p != ',')
3232 /* Advance past the comma. */
3239 /* Constant, e.g. from "const" in Pascal. */
3240 add_psymbol_to_list (namestring, p - namestring, 1,
3241 VAR_DOMAIN, LOC_CONST,
3242 &objfile->static_psymbols,
3243 0, psymtab_language, objfile);
3249 int name_len = p - namestring;
3250 char *name = (char *) xmalloc (name_len + 1);
3252 memcpy (name, namestring, name_len);
3253 name[name_len] = '\0';
3254 function_outside_compilation_unit_complaint (name);
3257 sh.value += ANOFFSET (objfile->section_offsets,
3258 SECT_OFF_TEXT (objfile));
3259 add_psymbol_to_list (namestring, p - namestring, 1,
3260 VAR_DOMAIN, LOC_BLOCK,
3261 &objfile->static_psymbols,
3263 psymtab_language, objfile);
3266 /* Global functions were ignored here, but now they
3267 are put into the global psymtab like one would
3268 expect. They're also in the minimal symbol
3273 int name_len = p - namestring;
3274 char *name = (char *) xmalloc (name_len + 1);
3276 memcpy (name, namestring, name_len);
3277 name[name_len] = '\0';
3278 function_outside_compilation_unit_complaint (name);
3281 sh.value += ANOFFSET (objfile->section_offsets,
3282 SECT_OFF_TEXT (objfile));
3283 add_psymbol_to_list (namestring, p - namestring, 1,
3284 VAR_DOMAIN, LOC_BLOCK,
3285 &objfile->global_psymbols,
3287 psymtab_language, objfile);
3290 /* Two things show up here (hopefully); static
3291 symbols of local scope (static used inside
3292 braces) or extensions of structure symbols. We
3307 case '#': /* For symbol identification (used
3312 /* It is a C++ nested symbol. We don't need to
3313 record it (I don't think); if we try to look up
3314 foo::bar::baz, then symbols for the symtab
3315 containing foo should get read in, I think. */
3316 /* Someone says sun cc puts out symbols like
3317 /foo/baz/maclib::/usr/local/bin/maclib,
3318 which would get here with a symbol type of ':'. */
3322 /* Unexpected symbol descriptor. The second and
3323 subsequent stabs of a continued stab can show up
3324 here. The question is whether they ever can
3325 mimic a normal stab--it would be nice if not,
3326 since we certainly don't want to spend the time
3327 searching to the end of every string looking for
3330 complaint (&symfile_complaints,
3331 _("unknown symbol descriptor `%c'"), p[1]);
3333 /* Ignore it; perhaps it is an extension that we don't
3342 /* Solaris 2 end of module, finish current partial
3343 symbol table. dbx_end_psymtab will set
3344 pst->texthigh to the proper value, which is
3345 necessary if a module compiled without
3346 debugging info follows this module. */
3348 && gdbarch_sofun_address_maybe_missing (gdbarch))
3350 pst = (struct partial_symtab *) 0;
3352 dependencies_used = 0;
3357 if (sh.value > save_pst->texthigh)
3358 save_pst->texthigh = sh.value;
3363 case N_SSYM: /* Claim: Structure or union
3364 element. Hopefully, I can
3366 case N_ENTRY: /* Alternate entry point; can
3368 case N_MAIN: /* Can definitely ignore this. */
3369 case N_CATCH: /* These are GNU C++ extensions. */
3370 case N_EHDECL: /* that can safely be ignored here. */
3380 case N_NSYMS: /* Ultrix 4.0: symbol count */
3381 case N_DEFD: /* GNU Modula-2 */
3382 case N_ALIAS: /* SunPro F77: alias name, ignore
3385 case N_OBJ: /* Useless types from Solaris. */
3387 /* These symbols aren't interesting; don't worry about
3393 /* If we haven't found it yet, ignore it. It's
3394 probably some new type we don't know about yet. */
3395 complaint (&symfile_complaints,
3396 _("unknown symbol type %s"),
3397 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3401 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3404 /* end - Handle continuation */
3409 for (cur_sdx = 0; cur_sdx < fh->csym;)
3412 enum address_class theclass;
3413 CORE_ADDR minsym_value;
3415 (*swap_sym_in) (cur_bfd,
3416 ((char *) debug_info->external_sym
3417 + ((fh->isymBase + cur_sdx)
3418 * external_sym_size)),
3421 if (ECOFF_IS_STAB (&sh))
3427 /* Non absolute static symbols go into the minimal table. */
3428 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3429 || (sh.index == indexNil
3430 && (sh.st != stStatic || sh.sc == scAbs)))
3432 /* FIXME, premature? */
3437 name = debug_info->ss + fh->issBase + sh.iss;
3439 minsym_value = sh.value;
3445 /* The value of a stEnd symbol is the displacement from the
3446 corresponding start symbol value, do not relocate it. */
3448 sh.value += ANOFFSET (objfile->section_offsets,
3449 SECT_OFF_TEXT (objfile));
3456 sh.value += ANOFFSET (objfile->section_offsets,
3457 SECT_OFF_DATA (objfile));
3461 sh.value += ANOFFSET (objfile->section_offsets,
3462 SECT_OFF_BSS (objfile));
3473 reader.record_with_info (name, minsym_value,
3475 SECT_OFF_TEXT (objfile));
3480 /* Ignore all parameter symbol records. */
3481 if (sh.index >= hdr->iauxMax)
3483 /* Should not happen, but does when cross-compiling
3484 with the MIPS compiler. FIXME -- pull later. */
3485 index_complaint (name);
3486 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3489 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3490 (debug_info->external_aux
3494 if (new_sdx <= cur_sdx)
3496 /* This should not happen either... FIXME. */
3497 complaint (&symfile_complaints,
3498 _("bad proc end in aux found from symbol %s"),
3500 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3503 /* For stProc symbol records, we need to check the
3504 storage class as well, as only (stProc, scText)
3505 entries represent "real" procedures - See the
3506 Compaq document titled "Object File / Symbol Table
3507 Format Specification" for more information. If the
3508 storage class is not scText, we discard the whole
3509 block of symbol records for this stProc. */
3510 if (sh.st == stProc && sh.sc != scText)
3513 /* Usually there is a local and a global stProc symbol
3514 for a function. This means that the function name
3515 has already been entered into the mimimal symbol table
3516 while processing the global symbols in pass 2 above.
3517 One notable exception is the PROGRAM name from
3518 f77 compiled executables, it is only put out as
3519 local stProc symbol, and a global MAIN__ stProc symbol
3520 points to it. It doesn't matter though, as gdb is
3521 still able to find the PROGRAM name via the partial
3522 symbol table, and the MAIN__ symbol via the minimal
3524 if (sh.st == stProc)
3525 add_psymbol_to_list (name, strlen (name), 1,
3526 VAR_DOMAIN, LOC_BLOCK,
3527 &objfile->global_psymbols,
3528 sh.value, psymtab_language, objfile);
3530 add_psymbol_to_list (name, strlen (name), 1,
3531 VAR_DOMAIN, LOC_BLOCK,
3532 &objfile->static_psymbols,
3533 sh.value, psymtab_language, objfile);
3535 procaddr = sh.value;
3538 (*swap_sym_in) (cur_bfd,
3539 ((char *) debug_info->external_sym
3540 + ((fh->isymBase + cur_sdx - 1)
3541 * external_sym_size)),
3546 /* Kludge for Irix 5.2 zero fh->adr. */
3548 && (pst->textlow == 0 || procaddr < pst->textlow))
3549 pst->textlow = procaddr;
3551 high = procaddr + sh.value;
3552 if (high > pst->texthigh)
3553 pst->texthigh = high;
3556 case stStatic: /* Variable */
3557 if (SC_IS_DATA (sh.sc))
3558 reader.record_with_info (name, minsym_value,
3560 SECT_OFF_DATA (objfile));
3562 reader.record_with_info (name, minsym_value,
3564 SECT_OFF_BSS (objfile));
3565 theclass = LOC_STATIC;
3568 case stIndirect: /* Irix5 forward declaration */
3569 /* Skip forward declarations from Irix5 cc. */
3572 case stTypedef: /* Typedef */
3573 /* Skip typedefs for forward declarations and opaque
3574 structs from alpha and mips cc. */
3575 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3577 theclass = LOC_TYPEDEF;
3580 case stConstant: /* Constant decl */
3581 theclass = LOC_CONST;
3587 case stBlock: /* { }, str, un, enum */
3588 /* Do not create a partial symbol for cc unnamed aggregates
3589 and gcc empty aggregates. */
3590 if ((sh.sc == scInfo
3591 || SC_IS_COMMON (sh.sc))
3593 && sh.index != cur_sdx + 2)
3595 add_psymbol_to_list (name, strlen (name), 1,
3596 STRUCT_DOMAIN, LOC_TYPEDEF,
3597 &objfile->static_psymbols,
3598 0, psymtab_language, objfile);
3600 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3602 /* Skip over the block. */
3604 if (new_sdx <= cur_sdx)
3606 /* This happens with the Ultrix kernel. */
3607 complaint (&symfile_complaints,
3608 _("bad aux index at block symbol %s"), name);
3609 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3614 case stFile: /* File headers */
3615 case stLabel: /* Labels */
3616 case stEnd: /* Ends of files */
3619 case stLocal: /* Local variables */
3620 /* Normally these are skipped because we skip over
3621 all blocks we see. However, these can occur
3622 as visible symbols in a .h file that contains code. */
3626 /* Both complaints are valid: one gives symbol name,
3627 the other the offending symbol type. */
3628 complaint (&symfile_complaints, _("unknown local symbol %s"),
3630 complaint (&symfile_complaints, _("with type %d"), sh.st);
3634 /* Use this gdb symbol. */
3635 add_psymbol_to_list (name, strlen (name), 1,
3636 VAR_DOMAIN, theclass,
3637 &objfile->static_psymbols,
3638 sh.value, psymtab_language, objfile);
3640 cur_sdx++; /* Go to next file symbol. */
3643 /* Now do enter the external symbols. */
3644 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3645 cur_sdx = fdr_to_pst[f_idx].n_globals;
3646 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3647 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3648 for (; --cur_sdx >= 0; ext_ptr++)
3650 enum address_class theclass;
3655 if (ext_ptr->ifd != f_idx)
3656 internal_error (__FILE__, __LINE__,
3657 _("failed internal consistency check"));
3658 psh = &ext_ptr->asym;
3660 /* Do not add undefined symbols to the partial symbol table. */
3661 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3664 svalue = psh->value;
3669 svalue += ANOFFSET (objfile->section_offsets,
3670 SECT_OFF_TEXT (objfile));
3677 svalue += ANOFFSET (objfile->section_offsets,
3678 SECT_OFF_DATA (objfile));
3682 svalue += ANOFFSET (objfile->section_offsets,
3683 SECT_OFF_BSS (objfile));
3690 /* These are generated for static symbols in .o files,
3695 /* External procedure symbols have been entered
3696 into the minimal symbol table in pass 2 above.
3697 Ignore them, as parse_external will ignore them too. */
3700 theclass = LOC_LABEL;
3703 unknown_ext_complaint (debug_info->ssext + psh->iss);
3704 /* Fall through, pretend it's global. */
3706 /* Global common symbols are resolved by the runtime loader,
3708 if (SC_IS_COMMON (psh->sc))
3711 theclass = LOC_STATIC;
3714 name = debug_info->ssext + psh->iss;
3715 add_psymbol_to_list (name, strlen (name), 1,
3716 VAR_DOMAIN, theclass,
3717 &objfile->global_psymbols,
3718 svalue, psymtab_language, objfile);
3722 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3723 empty and put on the free list. */
3724 fdr_to_pst[f_idx].pst
3725 = dbx_end_psymtab (objfile, save_pst,
3726 psymtab_include_list, includes_used,
3727 -1, save_pst->texthigh,
3728 dependency_list, dependencies_used,
3731 dependencies_used = 0;
3733 /* The objfile has its functions reordered if this partial symbol
3734 table overlaps any other partial symbol table.
3735 We cannot assume a reordered objfile if a partial symbol table
3736 is contained within another partial symbol table, as partial symbol
3737 tables for include files with executable code are contained
3738 within the partial symbol table for the including source file,
3739 and we do not want to flag the objfile reordered for these cases.
3741 This strategy works well for Irix-5.2 shared libraries, but we
3742 might have to use a more elaborate (and slower) algorithm for
3744 save_pst = fdr_to_pst[f_idx].pst;
3745 if (save_pst != NULL
3746 && save_pst->textlow != 0
3747 && !(objfile->flags & OBJF_REORDERED))
3749 ALL_OBJFILE_PSYMTABS (objfile, pst)
3752 && save_pst->textlow >= pst->textlow
3753 && save_pst->textlow < pst->texthigh
3754 && save_pst->texthigh > pst->texthigh)
3756 objfile->flags |= OBJF_REORDERED;
3763 /* Now scan the FDRs for dependencies. */
3764 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3766 fh = f_idx + debug_info->fdr;
3767 pst = fdr_to_pst[f_idx].pst;
3769 if (pst == (struct partial_symtab *) NULL)
3772 /* This should catch stabs-in-ecoff. */
3776 /* Skip the first file indirect entry as it is a self dependency for
3777 source files or a reverse .h -> .c dependency for header files. */
3778 pst->number_of_dependencies = 0;
3780 ((struct partial_symtab **)
3781 obstack_alloc (&objfile->objfile_obstack,
3783 * sizeof (struct partial_symtab *))));
3784 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3788 (*swap_rfd_in) (cur_bfd,
3789 ((char *) debug_info->external_rfd
3790 + (fh->rfdBase + s_idx) * external_rfd_size),
3792 if (rh < 0 || rh >= hdr->ifdMax)
3794 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3798 /* Skip self dependencies of header files. */
3802 /* Do not add to dependeny list if psymtab was empty. */
3803 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3805 pst->dependencies[pst->number_of_dependencies++]
3806 = fdr_to_pst[rh].pst;
3810 /* Remove the dummy psymtab created for -O3 images above, if it is
3811 still empty, to enable the detection of stripped executables. */
3812 if (objfile->psymtabs->next == NULL
3813 && objfile->psymtabs->number_of_dependencies == 0
3814 && objfile->psymtabs->n_global_syms == 0
3815 && objfile->psymtabs->n_static_syms == 0)
3816 objfile->psymtabs = NULL;
3817 do_cleanups (old_chain);
3820 /* If the current psymbol has an enumerated type, we need to add
3821 all the enum constants to the partial symbol table. */
3824 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3827 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3828 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3829 char *ext_sym = ((char *) debug_info->external_sym
3830 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3840 /* It is an enumerated type if the next symbol entry is a stMember
3841 and its auxiliary index is indexNil or its auxiliary entry
3842 is a plain btNil or btVoid.
3843 Alpha cc -migrate enums are recognized by a zero index and
3844 a zero symbol value.
3845 DU 4.0 cc enums are recognized by a member type of btEnum without
3846 qualifiers and a zero symbol value. */
3847 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3848 if (sh.st != stMember)
3851 if (sh.index == indexNil
3852 || (sh.index == 0 && svalue == 0))
3854 (*debug_swap->swap_tir_in) (fh->fBigendian,
3855 &(debug_info->external_aux
3856 + fh->iauxBase + sh.index)->a_ti,
3858 if ((tir.bt != btNil
3860 && (tir.bt != btEnum || svalue != 0))
3861 || tir.tq0 != tqNil)
3873 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3874 if (sh.st != stMember)
3876 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3878 /* Note that the value doesn't matter for enum constants
3879 in psymtabs, just in symtabs. */
3880 add_psymbol_to_list (name, strlen (name), 1,
3881 VAR_DOMAIN, LOC_CONST,
3882 &objfile->static_psymbols,
3883 0, psymtab_language, objfile);
3884 ext_sym += external_sym_size;
3888 /* Get the next symbol. OBJFILE is unused. */
3891 mdebug_next_symbol_text (struct objfile *objfile)
3896 (*debug_swap->swap_sym_in) (cur_bfd,
3897 ((char *) debug_info->external_sym
3898 + ((cur_fdr->isymBase + cur_sdx)
3899 * debug_swap->external_sym_size)),
3901 return debug_info->ss + cur_fdr->issBase + sh.iss;
3904 /* Ancillary function to psymtab_to_symtab(). Does all the work
3905 for turning the partial symtab PST into a symtab, recurring
3906 first on all dependent psymtabs. The argument FILENAME is
3907 only passed so we can see in debug stack traces what file
3910 This function has a split personality, based on whether the
3911 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3912 The flow of control and even the memory allocation differs. FIXME. */
3915 psymtab_to_symtab_1 (struct objfile *objfile,
3916 struct partial_symtab *pst, const char *filename)
3918 bfd_size_type external_sym_size;
3919 bfd_size_type external_pdr_size;
3920 void (*swap_sym_in) (bfd *, void *, SYMR *);
3921 void (*swap_pdr_in) (bfd *, void *, PDR *);
3923 struct compunit_symtab *cust = NULL;
3925 struct linetable *lines;
3926 CORE_ADDR lowest_pdr_addr = 0;
3927 int last_symtab_ended = 0;
3928 struct section_offsets *section_offsets = objfile->section_offsets;
3934 /* Read in all partial symbtabs on which this one is dependent.
3935 NOTE that we do have circular dependencies, sigh. We solved
3936 that by setting pst->readin before this point. */
3938 for (i = 0; i < pst->number_of_dependencies; i++)
3939 if (!pst->dependencies[i]->readin)
3941 /* Inform about additional files to be read in. */
3944 fputs_filtered (" ", gdb_stdout);
3946 fputs_filtered ("and ", gdb_stdout);
3948 printf_filtered ("%s...",
3949 pst->dependencies[i]->filename);
3950 wrap_here (""); /* Flush output */
3951 gdb_flush (gdb_stdout);
3953 /* We only pass the filename for debug purposes. */
3954 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3955 pst->dependencies[i]->filename);
3958 /* Do nothing if this is a dummy psymtab. */
3960 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3961 && pst->textlow == 0 && pst->texthigh == 0)
3964 /* Now read the symbols for this symtab. */
3966 cur_bfd = CUR_BFD (pst);
3967 debug_swap = DEBUG_SWAP (pst);
3968 debug_info = DEBUG_INFO (pst);
3969 pending_list = PENDING_LIST (pst);
3970 external_sym_size = debug_swap->external_sym_size;
3971 external_pdr_size = debug_swap->external_pdr_size;
3972 swap_sym_in = debug_swap->swap_sym_in;
3973 swap_pdr_in = debug_swap->swap_pdr_in;
3974 mdebugread_objfile = objfile;
3975 cur_fd = FDR_IDX (pst);
3976 fh = ((cur_fd == -1)
3978 : debug_info->fdr + cur_fd);
3981 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3982 processing_gcc_compilation = 0;
3983 if (fh != (FDR *) NULL && fh->csym >= 2)
3987 (*swap_sym_in) (cur_bfd,
3988 ((char *) debug_info->external_sym
3989 + (fh->isymBase + 1) * external_sym_size),
3991 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3994 /* We indicate that this is a GCC compilation so that certain
3995 features will be enabled in stabsread/dbxread. */
3996 processing_gcc_compilation = 2;
4000 if (processing_gcc_compilation != 0)
4002 struct gdbarch *gdbarch = get_objfile_arch (objfile);
4004 /* This symbol table contains stabs-in-ecoff entries. */
4006 /* Parse local symbols first. */
4008 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
4010 mdebugread_objfile = NULL;
4013 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
4019 (*swap_sym_in) (cur_bfd,
4020 (((char *) debug_info->external_sym)
4021 + (fh->isymBase + cur_sdx) * external_sym_size),
4023 name = debug_info->ss + fh->issBase + sh.iss;
4025 /* XXX This is a hack. It will go away! */
4026 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
4028 int type_code = ECOFF_UNMARK_STAB (sh.index);
4030 /* We should never get non N_STAB symbols here, but they
4031 should be harmless, so keep process_one_symbol from
4032 complaining about them. */
4033 if (type_code & N_STAB)
4035 /* If we found a trailing N_SO with no name, process
4036 it here instead of in process_one_symbol, so we
4037 can keep a handle to its symtab. The symtab
4038 would otherwise be ended twice, once in
4039 process_one_symbol, and once after this loop. */
4040 if (type_code == N_SO
4041 && get_last_source_file ()
4042 && previous_stab_code != (unsigned char) N_SO
4045 valu += ANOFFSET (section_offsets,
4046 SECT_OFF_TEXT (objfile));
4047 previous_stab_code = N_SO;
4048 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
4050 last_symtab_ended = 1;
4054 last_symtab_ended = 0;
4055 process_one_symbol (type_code, 0, valu, name,
4056 section_offsets, objfile);
4059 /* Similarly a hack. */
4060 else if (name[0] == '#')
4062 process_one_symbol (N_SLINE, 0, valu, name,
4063 section_offsets, objfile);
4065 if (type_code == N_FUN)
4067 /* Make up special symbol to contain
4068 procedure specific info. */
4069 struct mdebug_extra_func_info *e =
4070 ((struct mdebug_extra_func_info *)
4071 obstack_alloc (&mdebugread_objfile->objfile_obstack,
4072 sizeof (struct mdebug_extra_func_info)));
4073 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4075 memset (e, 0, sizeof (struct mdebug_extra_func_info));
4076 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4077 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4078 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4079 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4080 e->pdr.framereg = -1;
4081 add_symbol_to_list (s, &local_symbols);
4084 else if (sh.st == stLabel)
4086 if (sh.index == indexNil)
4088 /* This is what the gcc2_compiled and __gnu_compiled_*
4089 show up as. So don't complain. */
4094 /* Handle encoded stab line number. */
4095 valu += ANOFFSET (section_offsets,
4096 SECT_OFF_TEXT (objfile));
4097 record_line (current_subfile, sh.index,
4098 gdbarch_addr_bits_remove (gdbarch, valu));
4101 else if (sh.st == stProc || sh.st == stStaticProc
4102 || sh.st == stStatic || sh.st == stEnd)
4103 /* These are generated by gcc-2.x, do not complain. */
4106 complaint (&symfile_complaints,
4107 _("unknown stabs symbol %s"), name);
4110 if (! last_symtab_ended)
4112 cust = end_symtab (pst->texthigh, SECT_OFF_TEXT (objfile));
4116 /* There used to be a call to sort_blocks here, but this should not
4117 be necessary for stabs symtabs. And as sort_blocks modifies the
4118 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4119 it did the wrong thing if the first procedure in a file was
4120 generated via asm statements. */
4122 /* Fill in procedure info next. */
4126 struct cleanup *old_chain;
4132 pr_block = XNEWVEC (PDR, fh->cpd);
4133 old_chain = make_cleanup (xfree, pr_block);
4135 pdr_ptr = ((char *) debug_info->external_pdr
4136 + fh->ipdFirst * external_pdr_size);
4137 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4141 pdr_ptr += external_pdr_size, pdr_in++)
4143 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4145 /* Determine lowest PDR address, the PDRs are not always
4147 if (pdr_in == pr_block)
4148 lowest_pdr_addr = pdr_in->adr;
4149 else if (pdr_in->adr < lowest_pdr_addr)
4150 lowest_pdr_addr = pdr_in->adr;
4154 pdr_in_end = pdr_in + fh->cpd;
4155 for (; pdr_in < pdr_in_end; pdr_in++)
4156 parse_procedure (pdr_in, cust, pst);
4158 do_cleanups (old_chain);
4163 /* This symbol table contains ordinary ecoff entries. */
4171 cust = new_symtab ("unknown", 0, objfile);
4175 maxlines = 2 * fh->cline;
4176 cust = new_symtab (pst->filename, maxlines, objfile);
4178 /* The proper language was already determined when building
4179 the psymtab, use it. */
4180 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4183 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4185 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4187 /* Get a new lexical context. */
4189 push_parse_stack ();
4190 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4191 top_stack->cur_block
4192 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4193 BLOCK_START (top_stack->cur_block) = pst->textlow;
4194 BLOCK_END (top_stack->cur_block) = 0;
4195 top_stack->blocktype = stFile;
4196 top_stack->cur_type = 0;
4197 top_stack->procadr = 0;
4198 top_stack->numargs = 0;
4199 found_ecoff_debugging_info = 0;
4206 /* Parse local symbols first. */
4207 sym_ptr = ((char *) debug_info->external_sym
4208 + fh->isymBase * external_sym_size);
4209 sym_end = sym_ptr + fh->csym * external_sym_size;
4210 while (sym_ptr < sym_end)
4215 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4216 c = parse_symbol (&sh,
4217 debug_info->external_aux + fh->iauxBase,
4218 sym_ptr, fh->fBigendian,
4219 section_offsets, objfile);
4220 sym_ptr += c * external_sym_size;
4223 /* Linenumbers. At the end, check if we can save memory.
4224 parse_lines has to look ahead an arbitrary number of PDR
4225 structures, so we swap them all first. */
4229 struct cleanup *old_chain;
4235 pr_block = XNEWVEC (PDR, fh->cpd);
4237 old_chain = make_cleanup (xfree, pr_block);
4239 pdr_ptr = ((char *) debug_info->external_pdr
4240 + fh->ipdFirst * external_pdr_size);
4241 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4245 pdr_ptr += external_pdr_size, pdr_in++)
4247 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4249 /* Determine lowest PDR address, the PDRs are not always
4251 if (pdr_in == pr_block)
4252 lowest_pdr_addr = pdr_in->adr;
4253 else if (pdr_in->adr < lowest_pdr_addr)
4254 lowest_pdr_addr = pdr_in->adr;
4257 parse_lines (fh, pr_block, lines, maxlines,
4258 pst, lowest_pdr_addr);
4259 if (lines->nitems < fh->cline)
4260 lines = shrink_linetable (lines);
4262 /* Fill in procedure info next. */
4264 pdr_in_end = pdr_in + fh->cpd;
4265 for (; pdr_in < pdr_in_end; pdr_in++)
4266 parse_procedure (pdr_in, NULL, pst);
4268 do_cleanups (old_chain);
4272 size = lines->nitems;
4275 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4276 = ((struct linetable *)
4277 obstack_copy (&mdebugread_objfile->objfile_obstack,
4278 lines, (sizeof (struct linetable)
4279 + size * sizeof (lines->item))));
4282 /* .. and our share of externals.
4283 XXX use the global list to speed up things here. How?
4284 FIXME, Maybe quit once we have found the right number of ext's? */
4285 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4286 top_stack->cur_block
4287 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4289 top_stack->blocktype = stFile;
4291 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4292 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4293 parse_external (ext_ptr, fh->fBigendian,
4294 section_offsets, objfile);
4296 /* If there are undefined symbols, tell the user.
4297 The alpha has an undefined symbol for every symbol that is
4298 from a shared library, so tell the user only if verbose is on. */
4299 if (info_verbose && n_undef_symbols)
4301 printf_filtered (_("File %s contains %d unresolved references:"),
4302 symtab_to_filename_for_display
4303 (COMPUNIT_FILETABS (cust)),
4305 printf_filtered ("\n\t%4d variables\n\t%4d "
4306 "procedures\n\t%4d labels\n",
4307 n_undef_vars, n_undef_procs, n_undef_labels);
4308 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4313 sort_blocks (COMPUNIT_FILETABS (cust));
4316 /* Now link the psymtab and the symtab. */
4317 pst->compunit_symtab = cust;
4319 mdebugread_objfile = NULL;
4322 /* Ancillary parsing procedures. */
4324 /* Return 1 if the symbol pointed to by SH has a cross reference
4325 to an opaque aggregate type, else 0. */
4328 has_opaque_xref (FDR *fh, SYMR *sh)
4335 if (sh->index == indexNil)
4338 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4339 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4340 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4344 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4345 if (rn->rfd == 0xfff)
4346 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4354 /* Lookup the type at relative index RN. Return it in TPP
4355 if found and in any event come up with its name PNAME.
4356 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4357 Return value says how many aux symbols we ate. */
4360 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4361 enum type_code type_code,
4362 /* Use to alloc new type if none is found. */
4363 const char **pname, int bigend, const char *sym_name)
4372 struct mdebug_pending *pend;
4376 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4378 /* Escape index means 'the next one'. */
4379 if (rn->rfd == 0xfff)
4382 rf = AUX_GET_ISYM (bigend, ax + 1);
4389 /* mips cc uses a rf of -1 for opaque struct definitions.
4390 Set TYPE_STUB for these types so that check_typedef will
4391 resolve them if the struct gets defined in another compilation unit. */
4394 *pname = "<undefined>";
4395 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4396 TYPE_STUB (*tpp) = 1;
4400 /* mips cc uses an escaped rn->index of 0 for struct return types
4401 of procedures that were compiled without -g. These will always remain
4403 if (rn->rfd == 0xfff && rn->index == 0)
4405 *pname = "<undefined>";
4409 /* Find the relative file descriptor and the symbol in it. */
4410 fh = get_rfd (fd, rf);
4411 xref_fd = fh - debug_info->fdr;
4413 if (rn->index >= fh->csym)
4415 /* File indirect entry is corrupt. */
4416 *pname = "<illegal>";
4417 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4421 /* If we have processed this symbol then we left a forwarding
4422 pointer to the type in the pending list. If not, we`ll put
4423 it in a list of pending types, to be processed later when
4424 the file will be. In any event, we collect the name for the
4427 esh = ((char *) debug_info->external_sym
4428 + ((fh->isymBase + rn->index)
4429 * debug_swap->external_sym_size));
4430 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4432 /* Make sure that this type of cross reference can be handled. */
4433 if ((sh.sc != scInfo
4434 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4435 && sh.st != stStruct && sh.st != stUnion
4436 && sh.st != stEnum))
4437 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4439 /* File indirect entry is corrupt. */
4440 *pname = "<illegal>";
4441 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4445 *pname = debug_info->ss + fh->issBase + sh.iss;
4447 pend = is_pending_symbol (fh, esh);
4452 /* We have not yet seen this type. */
4454 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4458 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4460 a) forward declarations of structs/unions/enums which are not
4461 defined in this compilation unit.
4462 For these the type will be void. This is a bad design decision
4463 as cross referencing across compilation units is impossible
4464 due to the missing name.
4465 b) forward declarations of structs/unions/enums/typedefs which
4466 are defined later in this file or in another file in the same
4467 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4468 Simply cross reference those again to get the true type.
4469 The forward references are not entered in the pending list and
4470 in the symbol table. */
4472 (*debug_swap->swap_tir_in) (bigend,
4473 &(debug_info->external_aux
4474 + fh->iauxBase + sh.index)->a_ti,
4476 if (tir.tq0 != tqNil)
4477 complaint (&symfile_complaints,
4478 _("illegal tq0 in forward typedef for %s"), sym_name);
4482 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4483 *pname = "<undefined>";
4490 (debug_info->external_aux
4491 + fh->iauxBase + sh.index + 1),
4492 tpp, type_code, pname,
4493 fh->fBigendian, sym_name);
4497 /* Follow a forward typedef. This might recursively
4498 call cross_ref till we get a non typedef'ed type.
4499 FIXME: This is not correct behaviour, but gdb currently
4500 cannot handle typedefs without type copying. Type
4501 copying is impossible as we might have mutual forward
4502 references between two files and the copied type would not
4503 get filled in when we later parse its definition. */
4504 *tpp = parse_type (xref_fd,
4505 debug_info->external_aux + fh->iauxBase,
4509 debug_info->ss + fh->issBase + sh.iss);
4510 add_pending (fh, esh, *tpp);
4514 complaint (&symfile_complaints,
4515 _("illegal bt %d in forward typedef for %s"), tir.bt,
4517 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4522 else if (sh.st == stTypedef)
4524 /* Parse the type for a normal typedef. This might recursively call
4525 cross_ref till we get a non typedef'ed type.
4526 FIXME: This is not correct behaviour, but gdb currently
4527 cannot handle typedefs without type copying. But type copying is
4528 impossible as we might have mutual forward references between
4529 two files and the copied type would not get filled in when
4530 we later parse its definition. */
4531 *tpp = parse_type (xref_fd,
4532 debug_info->external_aux + fh->iauxBase,
4536 debug_info->ss + fh->issBase + sh.iss);
4540 /* Cross reference to a struct/union/enum which is defined
4541 in another file in the same compilation unit but that file
4542 has not been parsed yet.
4543 Initialize the type only, it will be filled in when
4544 it's definition is parsed. */
4545 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4547 add_pending (fh, esh, *tpp);
4550 /* We used one auxent normally, two if we got a "next one" rf. */
4555 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4556 keeping the symtab sorted. */
4558 static struct symbol *
4559 mylookup_symbol (const char *name, const struct block *block,
4560 domain_enum domain, enum address_class theclass)
4562 struct block_iterator iter;
4567 ALL_BLOCK_SYMBOLS (block, iter, sym)
4569 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4570 && SYMBOL_DOMAIN (sym) == domain
4571 && SYMBOL_CLASS (sym) == theclass
4572 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4576 block = BLOCK_SUPERBLOCK (block);
4578 return mylookup_symbol (name, block, domain, theclass);
4583 /* Add a new symbol S to a block B. */
4586 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4588 symbol_set_symtab (s, symtab);
4589 dict_add_symbol (BLOCK_DICT (b), s);
4592 /* Add a new block B to a symtab S. */
4595 add_block (struct block *b, struct symtab *s)
4597 /* Cast away "const", but that's ok because we're building the
4598 symtab and blockvector here. */
4599 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4601 bv = (struct blockvector *) xrealloc ((void *) bv,
4602 (sizeof (struct blockvector)
4603 + BLOCKVECTOR_NBLOCKS (bv)
4604 * sizeof (bv->block)));
4605 if (bv != SYMTAB_BLOCKVECTOR (s))
4606 SYMTAB_BLOCKVECTOR (s) = bv;
4608 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4611 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4612 MIPS' linenumber encoding might need more than one byte
4613 to describe it, LAST is used to detect these continuation lines.
4615 Combining lines with the same line number seems like a bad idea.
4616 E.g: There could be a line number entry with the same line number after the
4617 prologue and GDB should not ignore it (this is a better way to find
4618 a prologue than mips_skip_prologue).
4619 But due to the compressed line table format there are line number entries
4620 for the same line which are needed to bridge the gap to the next
4621 line number entry. These entries have a bogus address info with them
4622 and we are unable to tell them from intended duplicate line number
4624 This is another reason why -ggdb debugging format is preferable. */
4627 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4629 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4630 Change them to something sensible. */
4634 last = -2; /* Make sure we record first line. */
4636 if (last == lineno) /* Skip continuation lines. */
4639 lt->item[lt->nitems].line = lineno;
4640 lt->item[lt->nitems++].pc = adr << 2;
4644 /* Sorting and reordering procedures. */
4646 /* Blocks with a smaller low bound should come first. */
4649 compare_blocks (const void *arg1, const void *arg2)
4652 struct block **b1 = (struct block **) arg1;
4653 struct block **b2 = (struct block **) arg2;
4655 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4657 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4661 /* Sort the blocks of a symtab S.
4662 Reorder the blocks in the blockvector by code-address,
4663 as required by some MI search routines. */
4666 sort_blocks (struct symtab *s)
4668 /* We have to cast away const here, but this is ok because we're
4669 constructing the blockvector in this code. */
4670 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4672 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4675 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4676 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4677 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4678 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4682 * This is very unfortunate: normally all functions are compiled in
4683 * the order they are found, but if the file is compiled -O3 things
4684 * are very different. It would be nice to find a reliable test
4685 * to detect -O3 images in advance.
4687 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4688 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4689 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4690 sizeof (struct block *),
4695 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4697 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4698 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4699 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4700 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4703 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4704 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4706 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4707 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4708 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4709 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4713 /* Constructor/restructor/destructor procedures. */
4715 /* Allocate a new symtab for NAME. Needs an estimate of how many
4716 linenumbers MAXLINES we'll put in it. */
4718 static struct compunit_symtab *
4719 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4721 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4722 struct symtab *symtab;
4723 struct blockvector *bv;
4725 add_compunit_symtab_to_objfile (cust);
4726 symtab = allocate_symtab (cust, name);
4728 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4730 /* All symtabs must have at least two blocks. */
4732 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK);
4733 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK);
4734 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4735 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4736 COMPUNIT_BLOCKVECTOR (cust) = bv;
4738 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4742 /* Allocate a new partial_symtab NAME. */
4744 static struct partial_symtab *
4745 new_psymtab (const char *name, struct objfile *objfile)
4747 struct partial_symtab *psymtab;
4749 psymtab = allocate_psymtab (name, objfile);
4751 /* Keep a backpointer to the file's symbols. */
4753 psymtab->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
4754 sizeof (struct symloc));
4755 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4756 CUR_BFD (psymtab) = cur_bfd;
4757 DEBUG_SWAP (psymtab) = debug_swap;
4758 DEBUG_INFO (psymtab) = debug_info;
4759 PENDING_LIST (psymtab) = pending_list;
4761 /* The way to turn this into a symtab is to call... */
4762 psymtab->read_symtab = mdebug_read_symtab;
4767 /* Allocate a linetable array of the given SIZE. Since the struct
4768 already includes one item, we subtract one when calculating the
4769 proper size to allocate. */
4771 static struct linetable *
4772 new_linetable (int size)
4774 struct linetable *l;
4778 size = size * sizeof (l->item) + sizeof (struct linetable);
4779 l = (struct linetable *) xmalloc (size);
4784 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4785 I am not so sure about the 3.4 ones.
4787 Since the struct linetable already includes one item, we subtract one when
4788 calculating the proper size to allocate. */
4790 static struct linetable *
4791 shrink_linetable (struct linetable *lt)
4793 return (struct linetable *) xrealloc ((void *) lt,
4794 (sizeof (struct linetable)
4796 * sizeof (lt->item))));
4799 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4801 static struct blockvector *
4802 new_bvect (int nblocks)
4804 struct blockvector *bv;
4807 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4808 bv = (struct blockvector *) xzalloc (size);
4810 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4815 /* Allocate and zero a new block, and set its BLOCK_DICT. If function
4816 is non-zero, assume the block is associated to a function, and make
4817 sure that the symbols are stored linearly; otherwise, store them
4820 static struct block *
4821 new_block (enum block_type type)
4823 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4824 allocate the block. Which, in turn, suggests that the block
4825 should be allocated on an obstack. */
4826 struct block *retval = XCNEW (struct block);
4828 if (type == FUNCTION_BLOCK)
4829 BLOCK_DICT (retval) = dict_create_linear_expandable ();
4831 BLOCK_DICT (retval) = dict_create_hashed_expandable ();
4836 /* Create a new symbol with printname NAME. */
4838 static struct symbol *
4839 new_symbol (const char *name)
4841 struct symbol *s = allocate_symbol (mdebugread_objfile);
4843 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4844 &mdebugread_objfile->objfile_obstack);
4845 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4849 /* Create a new type with printname NAME. */
4851 static struct type *
4852 new_type (char *name)
4856 t = alloc_type (mdebugread_objfile);
4857 TYPE_NAME (t) = name;
4858 INIT_CPLUS_SPECIFIC (t);
4862 /* Read ECOFF debugging information from a BFD section. This is
4863 called from elfread.c. It parses the section into a
4864 ecoff_debug_info struct, and then lets the rest of the file handle
4868 elfmdebug_build_psymtabs (struct objfile *objfile,
4869 const struct ecoff_debug_swap *swap, asection *sec)
4871 bfd *abfd = objfile->obfd;
4872 struct ecoff_debug_info *info;
4874 /* FIXME: It's not clear whether we should be getting minimal symbol
4875 information from .mdebug in an ELF file, or whether we will.
4876 Re-initialize the minimal symbol reader in case we do. */
4878 minimal_symbol_reader reader (objfile);
4880 info = ((struct ecoff_debug_info *)
4881 obstack_alloc (&objfile->objfile_obstack,
4882 sizeof (struct ecoff_debug_info)));
4884 if (!(*swap->read_debug_info) (abfd, sec, info))
4885 error (_("Error reading ECOFF debugging information: %s"),
4886 bfd_errmsg (bfd_get_error ()));
4888 mdebug_build_psymtabs (reader, objfile, swap, info);
4894 _initialize_mdebugread (void)
4896 basic_type_data = register_objfile_data ();
4898 mdebug_register_index
4899 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4900 mdebug_regparm_index
4901 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);