1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2018 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 /* Provide a way to test if we have both ECOFF and ELF symbol tables.
72 We use this define in order to know whether we should override a
73 symbol's ECOFF section with its ELF section. This is necessary in
74 case the symbol's ELF section could not be represented in ECOFF. */
75 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
76 && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
78 /* The objfile we are currently reading. */
80 static struct objfile *mdebugread_objfile;
84 /* We put a pointer to this structure in the read_symtab_private field
89 /* Index of the FDR that this psymtab represents. */
91 /* The BFD that the psymtab was created from. */
93 const struct ecoff_debug_swap *debug_swap;
94 struct ecoff_debug_info *debug_info;
95 struct mdebug_pending **pending_list;
96 /* Pointer to external symbols for this file. */
98 /* Size of extern_tab. */
100 enum language pst_language;
103 #define PST_PRIVATE(p) ((struct symloc *)(p)->read_symtab_private)
104 #define FDR_IDX(p) (PST_PRIVATE(p)->fdr_idx)
105 #define CUR_BFD(p) (PST_PRIVATE(p)->cur_bfd)
106 #define DEBUG_SWAP(p) (PST_PRIVATE(p)->debug_swap)
107 #define DEBUG_INFO(p) (PST_PRIVATE(p)->debug_info)
108 #define PENDING_LIST(p) (PST_PRIVATE(p)->pending_list)
110 #define SC_IS_TEXT(sc) ((sc) == scText \
111 || (sc) == scRConst \
114 #define SC_IS_DATA(sc) ((sc) == scData \
119 #define SC_IS_COMMON(sc) ((sc) == scCommon || (sc) == scSCommon)
120 #define SC_IS_BSS(sc) ((sc) == scBss)
121 #define SC_IS_SBSS(sc) ((sc) == scSBss)
122 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
124 /* Various complaints about symbol reading that don't abort the process. */
126 index_complaint (const char *arg1)
128 complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
132 unknown_ext_complaint (const char *arg1)
134 complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
138 basic_type_complaint (int arg1, const char *arg2)
140 complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
145 bad_tag_guess_complaint (const char *arg1)
147 complaint (&symfile_complaints,
148 _("guessed tag type of %s incorrectly"), arg1);
152 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
154 complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
159 unexpected_type_code_complaint (const char *arg1)
161 complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
164 /* Macros and extra defs. */
166 /* Puns: hard to find whether -g was used and how. */
168 #define MIN_GLEVEL GLEVEL_0
169 #define compare_glevel(a,b) \
170 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
171 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
173 /* Things that really are local to this module. */
175 /* Remember what we deduced to be the source language of this psymtab. */
177 static enum language psymtab_language = language_unknown;
183 /* How to parse debugging information for CUR_BFD. */
185 static const struct ecoff_debug_swap *debug_swap;
187 /* Pointers to debugging information for CUR_BFD. */
189 static struct ecoff_debug_info *debug_info;
191 /* Pointer to current file decriptor record, and its index. */
196 /* Index of current symbol. */
200 /* Note how much "debuggable" this image is. We would like
201 to see at least one FDR with full symbols. */
203 static int max_gdbinfo;
204 static int max_glevel;
206 /* When examining .o files, report on undefined symbols. */
208 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
210 /* Pseudo symbol to use when putting stabs into the symbol table. */
212 static char stabs_symbol[] = STABS_SYMBOL;
214 /* Nonzero if we have seen ecoff debugging info for a file. */
216 static int found_ecoff_debugging_info;
218 /* Forward declarations. */
220 static int upgrade_type (int, struct type **, int, union aux_ext *,
223 static void parse_partial_symbols (minimal_symbol_reader &,
226 static int has_opaque_xref (FDR *, SYMR *);
228 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
229 const char **, int, const char *);
231 static struct symbol *new_symbol (const char *);
233 static struct type *new_type (char *);
235 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
237 static struct block *new_block (enum block_type, enum language);
239 static struct compunit_symtab *new_symtab (const char *, int, struct objfile *);
241 static struct linetable *new_linetable (int);
243 static struct blockvector *new_bvect (int);
245 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
248 static struct symbol *mylookup_symbol (const char *, const struct block *,
249 domain_enum, enum address_class);
251 static void sort_blocks (struct symtab *);
253 static struct partial_symtab *new_psymtab (const char *, struct objfile *);
255 static void psymtab_to_symtab_1 (struct objfile *objfile,
256 struct partial_symtab *, const char *);
258 static void add_block (struct block *, struct symtab *);
260 static void add_symbol (struct symbol *, struct symtab *, struct block *);
262 static int add_line (struct linetable *, int, CORE_ADDR, int);
264 static struct linetable *shrink_linetable (struct linetable *);
266 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
269 static const char *mdebug_next_symbol_text (struct objfile *);
271 /* Exported procedure: Builds a symtab from the partial symtab SELF.
272 Restores the environment in effect when SELF was created, delegates
273 most of the work to an ancillary procedure, and sorts
274 and reorders the symtab list at the end. SELF is not NULL. */
277 mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
281 printf_filtered (_("Reading in symbols for %s..."), self->filename);
282 gdb_flush (gdb_stdout);
285 next_symbol_text_func = mdebug_next_symbol_text;
287 psymtab_to_symtab_1 (objfile, self, self->filename);
289 /* Match with global symbols. This only needs to be done once,
290 after all of the symtabs and dependencies have been read in. */
291 scan_file_globals (objfile);
294 printf_filtered (_("done.\n"));
297 /* File-level interface functions. */
299 /* Find a file descriptor given its index RF relative to a file CF. */
302 get_rfd (int cf, int rf)
308 fdrs = debug_info->fdr;
310 /* Object files do not have the RFD table, all refs are absolute. */
313 (*debug_swap->swap_rfd_in) (cur_bfd,
314 ((char *) debug_info->external_rfd
316 * debug_swap->external_rfd_size)),
321 /* Return a safer print NAME for a file descriptor. */
327 return "<stripped file>";
330 return debug_info->ss + f->issBase + f->rss;
334 /* Read in and parse the symtab of the file OBJFILE. Symbols from
335 different sections are relocated via the SECTION_OFFSETS. */
338 mdebug_build_psymtabs (minimal_symbol_reader &reader,
339 struct objfile *objfile,
340 const struct ecoff_debug_swap *swap,
341 struct ecoff_debug_info *info)
343 cur_bfd = objfile->obfd;
347 stabsread_new_init ();
348 buildsym_new_init ();
349 free_header_files ();
350 init_header_files ();
352 /* Make sure all the FDR information is swapped in. */
353 if (info->fdr == (FDR *) NULL)
359 info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
360 (info->symbolic_header.ifdMax
362 fdr_src = (char *) info->external_fdr;
364 + info->symbolic_header.ifdMax * swap->external_fdr_size);
366 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
367 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
370 parse_partial_symbols (reader, objfile);
373 /* Check to make sure file was compiled with -g. If not, warn the
374 user of this limitation. */
375 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
377 if (max_gdbinfo == 0)
378 printf_unfiltered (_("\n%s not compiled with -g, "
379 "debugging support is limited.\n"),
381 printf_unfiltered (_("You should compile with -g2 or "
382 "-g3 for best debugging support.\n"));
383 gdb_flush (gdb_stdout);
388 /* Local utilities */
390 /* Map of FDR indexes to partial symtabs. */
394 struct partial_symtab *pst; /* the psymtab proper */
395 long n_globals; /* exported globals (external symbols) */
396 long globals_offset; /* cumulative */
400 /* Utility stack, used to nest procedures and blocks properly.
401 It is a doubly linked list, to avoid too many alloc/free.
402 Since we might need it quite a few times it is NOT deallocated
405 static struct parse_stack
407 struct parse_stack *next, *prev;
408 struct symtab *cur_st; /* Current symtab. */
409 struct block *cur_block; /* Block in it. */
411 /* What are we parsing. stFile, or stBlock are for files and
412 blocks. stProc or stStaticProc means we have seen the start of a
413 procedure, but not the start of the block within in. When we see
414 the start of that block, we change it to stNil, without pushing a
415 new block, i.e. stNil means both a procedure and a block. */
419 struct type *cur_type; /* Type we parse fields for. */
420 int cur_field; /* Field number in cur_type. */
421 CORE_ADDR procadr; /* Start addres of this procedure. */
422 int numargs; /* Its argument count. */
425 *top_stack; /* Top stack ptr */
428 /* Enter a new lexical context. */
431 push_parse_stack (void)
433 struct parse_stack *newobj;
435 /* Reuse frames if possible. */
436 if (top_stack && top_stack->prev)
437 newobj = top_stack->prev;
439 newobj = XCNEW (struct parse_stack);
440 /* Initialize new frame with previous content. */
443 struct parse_stack *prev = newobj->prev;
445 *newobj = *top_stack;
446 top_stack->prev = newobj;
448 newobj->next = top_stack;
453 /* Exit a lexical context. */
456 pop_parse_stack (void)
461 top_stack = top_stack->next;
465 /* Cross-references might be to things we haven't looked at
466 yet, e.g. type references. To avoid too many type
467 duplications we keep a quick fixup table, an array
468 of lists of references indexed by file descriptor. */
470 struct mdebug_pending
472 struct mdebug_pending *next; /* link */
473 char *s; /* the unswapped symbol */
474 struct type *t; /* its partial type descriptor */
478 /* The pending information is kept for an entire object file. We
479 allocate the pending information table when we create the partial
480 symbols, and we store a pointer to the single table in each
483 static struct mdebug_pending **pending_list;
485 /* Check whether we already saw symbol SH in file FH. */
487 static struct mdebug_pending *
488 is_pending_symbol (FDR *fh, char *sh)
490 int f_idx = fh - debug_info->fdr;
491 struct mdebug_pending *p;
493 /* Linear search is ok, list is typically no more than 10 deep. */
494 for (p = pending_list[f_idx]; p; p = p->next)
500 /* Add a new symbol SH of type T. */
503 add_pending (FDR *fh, char *sh, struct type *t)
505 int f_idx = fh - debug_info->fdr;
506 struct mdebug_pending *p = is_pending_symbol (fh, sh);
508 /* Make sure we do not make duplicates. */
511 p = ((struct mdebug_pending *)
512 obstack_alloc (&mdebugread_objfile->objfile_obstack,
513 sizeof (struct mdebug_pending)));
516 p->next = pending_list[f_idx];
517 pending_list[f_idx] = p;
522 /* Parsing Routines proper. */
525 reg_value_complaint (int regnum, int num_regs, const char *sym)
527 complaint (&symfile_complaints,
528 _("bad register number %d (max %d) in symbol %s"),
529 regnum, num_regs - 1, sym);
532 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
533 For blocks, procedures and types we open a new lexical context.
534 This is basically just a big switch on the symbol's type. Argument
535 AX is the base pointer of aux symbols for this file (fh->iauxBase).
536 EXT_SH points to the unswapped symbol, which is needed for struct,
537 union, etc., types; it is NULL for an EXTR. BIGEND says whether
538 aux symbols are big-endian or little-endian. Return count of
539 SYMR's handled (normally one). */
542 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
544 int regno = gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
547 || regno >= (gdbarch_num_regs (gdbarch)
548 + gdbarch_num_pseudo_regs (gdbarch)))
550 reg_value_complaint (regno,
551 gdbarch_num_regs (gdbarch)
552 + gdbarch_num_pseudo_regs (gdbarch),
553 SYMBOL_PRINT_NAME (sym));
555 regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless. */
561 static const struct symbol_register_ops mdebug_register_funcs = {
565 /* The "aclass" indices for computed symbols. */
567 static int mdebug_register_index;
568 static int mdebug_regparm_index;
570 /* Common code for symbols describing data. */
573 add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
574 struct symbol *s, int aclass_index, struct block *b,
575 struct objfile *objfile, const char *name)
577 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
578 SYMBOL_ACLASS_INDEX (s) = aclass_index;
579 add_symbol (s, top_stack->cur_st, b);
581 /* Type could be missing if file is compiled without debugging info. */
582 if (SC_IS_UNDEF (sh->sc)
583 || sh->sc == scNil || sh->index == indexNil)
584 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
586 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
587 /* Value of a data symbol is its memory address. */
591 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
592 struct section_offsets *section_offsets, struct objfile *objfile)
594 struct gdbarch *gdbarch = get_objfile_arch (objfile);
595 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
596 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
600 struct mdebug_pending *pend;
605 long svalue = sh->value;
608 if (ext_sh == (char *) NULL)
609 name = debug_info->ssext + sh->iss;
611 name = debug_info->ss + cur_fdr->issBase + sh->iss;
617 /* Do not relocate relative values.
618 The value of a stEnd symbol is the displacement from the
619 corresponding start symbol value.
620 The value of a stBlock symbol is the displacement from the
621 procedure address. */
622 if (sh->st != stEnd && sh->st != stBlock)
623 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
630 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
634 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
643 case stGlobal: /* External symbol, goes into global block. */
644 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
646 s = new_symbol (name);
647 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
648 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
651 case stStatic: /* Static data, goes into current block. */
652 b = top_stack->cur_block;
653 s = new_symbol (name);
654 if (SC_IS_COMMON (sh->sc))
656 /* It is a FORTRAN common block. At least for SGI Fortran the
657 address is not in the symbol; we need to fix it later in
658 scan_file_globals. */
659 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
660 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
661 global_sym_chain[bucket] = s;
664 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
665 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
668 case stLocal: /* Local variable, goes into current block. */
669 b = top_stack->cur_block;
670 s = new_symbol (name);
671 SYMBOL_VALUE (s) = svalue;
672 if (sh->sc == scRegister)
673 add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
676 add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
680 case stParam: /* Arg to procedure, goes into current
683 found_ecoff_debugging_info = 1;
684 top_stack->numargs++;
686 /* Special GNU C++ name. */
687 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
688 name = "this"; /* FIXME, not alloc'd in obstack. */
689 s = new_symbol (name);
691 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
692 SYMBOL_IS_ARGUMENT (s) = 1;
696 /* Pass by value in register. */
697 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
700 /* Pass by reference on stack. */
701 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
704 /* Pass by reference in register. */
705 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
708 /* Pass by value on stack. */
709 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
712 SYMBOL_VALUE (s) = svalue;
713 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
714 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
717 case stLabel: /* label, goes into current block. */
718 s = new_symbol (name);
719 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
720 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
721 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
722 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
723 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
726 case stProc: /* Procedure, usually goes into global block. */
727 case stStaticProc: /* Static procedure, goes into current block. */
728 /* For stProc symbol records, we need to check the storage class
729 as well, as only (stProc, scText) entries represent "real"
730 procedures - See the Compaq document titled "Object File /
731 Symbol Table Format Specification" for more information.
732 If the storage class is not scText, we discard the whole block
733 of symbol records for this stProc. */
734 if (sh->st == stProc && sh->sc != scText)
736 char *ext_tsym = ext_sh;
737 int keep_counting = 1;
740 while (keep_counting)
742 ext_tsym += external_sym_size;
743 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
753 complaint (&symfile_complaints,
754 _("unknown symbol type 0x%x"), sh->st);
760 s = new_symbol (name);
761 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
762 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
763 /* Type of the return value. */
764 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
765 t = objfile_type (objfile)->builtin_int;
768 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
769 if (strcmp (name, "malloc") == 0
770 && TYPE_CODE (t) == TYPE_CODE_VOID)
772 /* I don't know why, but, at least under Alpha GNU/Linux,
773 when linking against a malloc without debugging
774 symbols, its read as a function returning void---this
775 is bad because it means we cannot call functions with
776 string arguments interactively; i.e., "call
777 printf("howdy\n")" would fail with the error message
778 "program has no memory available". To avoid this, we
779 patch up the type and make it void*
780 instead. (davidm@azstarnet.com). */
781 t = make_pointer_type (t, NULL);
784 b = top_stack->cur_block;
785 if (sh->st == stProc)
787 const struct blockvector *bv
788 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
790 /* The next test should normally be true, but provides a
791 hook for nested functions (which we don't want to make
793 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
794 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
795 /* Irix 5 sometimes has duplicate names for the same
796 function. We want to add such names up at the global
797 level, not as a nested function. */
798 else if (sh->value == top_stack->procadr)
799 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
801 add_symbol (s, top_stack->cur_st, b);
803 /* Make a type for the procedure itself. */
804 SYMBOL_TYPE (s) = lookup_function_type (t);
806 /* All functions in C++ have prototypes. For C we don't have enough
807 information in the debug info. */
808 if (SYMBOL_LANGUAGE (s) == language_cplus)
809 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
811 /* Create and enter a new lexical context. */
812 b = new_block (FUNCTION_BLOCK, SYMBOL_LANGUAGE (s));
813 SYMBOL_BLOCK_VALUE (s) = b;
814 BLOCK_FUNCTION (b) = s;
815 BLOCK_START (b) = BLOCK_END (b) = sh->value;
816 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
817 add_block (b, top_stack->cur_st);
819 /* Not if we only have partial info. */
820 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
824 top_stack->cur_block = b;
825 top_stack->blocktype = sh->st;
826 top_stack->cur_type = SYMBOL_TYPE (s);
827 top_stack->cur_field = -1;
828 top_stack->procadr = sh->value;
829 top_stack->numargs = 0;
832 /* Beginning of code for structure, union, and enum definitions.
833 They all share a common set of local variables, defined here. */
835 enum type_code type_code;
841 case stStruct: /* Start a block defining a struct type. */
842 type_code = TYPE_CODE_STRUCT;
843 goto structured_common;
845 case stUnion: /* Start a block defining a union type. */
846 type_code = TYPE_CODE_UNION;
847 goto structured_common;
849 case stEnum: /* Start a block defining an enum type. */
850 type_code = TYPE_CODE_ENUM;
851 goto structured_common;
853 case stBlock: /* Either a lexical block, or some type. */
854 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
855 goto case_stBlock_code; /* Lexical block */
857 type_code = TYPE_CODE_UNDEF; /* We have a type. */
859 /* Common code for handling struct, union, enum, and/or as-yet-
860 unknown-type blocks of info about structured data. `type_code'
861 has been set to the proper TYPE_CODE, if we know it. */
863 found_ecoff_debugging_info = 1;
865 top_stack->blocktype = stBlock;
867 /* First count the number of fields and the highest value. */
870 for (ext_tsym = ext_sh + external_sym_size;
872 ext_tsym += external_sym_size)
876 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
881 /* C++ encodes class types as structures where there the
882 methods are encoded as stProc. The scope of stProc
883 symbols also ends with stEnd, thus creating a risk of
884 taking the wrong stEnd symbol record as the end of
885 the current struct, which would cause GDB to undercount
886 the real number of fields in this struct. To make sure
887 we really reached the right stEnd symbol record, we
888 check the associated name, and match it against the
889 struct name. Since method names are mangled while
890 the class name is not, there is no risk of having a
891 method whose name is identical to the class name
892 (in particular constructor method names are different
893 from the class name). There is therefore no risk that
894 this check stops the count on the StEnd of a method.
896 Also, assume that we're really at the end when tsym.iss
898 if (tsym.iss == issNull
899 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
905 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
907 /* If the type of the member is Nil (or Void),
908 without qualifiers, assume the tag is an
910 Alpha cc -migrate enums are recognized by a zero
911 index and a zero symbol value.
912 DU 4.0 cc enums are recognized by a member type of
913 btEnum without qualifiers and a zero symbol value. */
914 if (tsym.index == indexNil
915 || (tsym.index == 0 && sh->value == 0))
916 type_code = TYPE_CODE_ENUM;
919 (*debug_swap->swap_tir_in) (bigend,
920 &ax[tsym.index].a_ti,
922 if ((tir.bt == btNil || tir.bt == btVoid
923 || (tir.bt == btEnum && sh->value == 0))
925 type_code = TYPE_CODE_ENUM;
929 if (tsym.value > max_value)
930 max_value = tsym.value;
939 /* This is a no-op; is it trying to tell us something
940 we should be checking? */
941 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
945 /* This is something like a struct within a
946 struct. Skip over the fields of the inner
947 struct. The -1 is because the for loop will
948 increment ext_tsym. */
949 ext_tsym = ((char *) debug_info->external_sym
950 + ((cur_fdr->isymBase + tsym.index - 1)
951 * external_sym_size));
957 /* mips cc puts out a typedef for struct x if it is not yet
958 defined when it encounters
959 struct y { struct x *xp; };
964 /* Irix5 cc puts out a stIndirect for struct x if it is not
965 yet defined when it encounters
966 struct y { struct x *xp; };
971 complaint (&symfile_complaints,
972 _("declaration block contains "
973 "unhandled symbol type %d"),
979 /* In an stBlock, there is no way to distinguish structs,
980 unions, and enums at this point. This is a bug in the
981 original design (that has been fixed with the recent
982 addition of the stStruct, stUnion, and stEnum symbol
983 types.) The way you can tell is if/when you see a variable
984 or field of that type. In that case the variable's type
985 (in the AUX table) says if the type is struct, union, or
986 enum, and points back to the stBlock here. So you can
987 patch the tag kind up later - but only if there actually is
988 a variable or field of that type.
990 So until we know for sure, we will guess at this point.
992 If the first member has index==indexNil or a void type,
993 assume we have an enumeration.
994 Otherwise, if there is more than one member, and all
995 the members have offset 0, assume we have a union.
996 Otherwise, assume we have a struct.
998 The heuristic could guess wrong in the case of of an
999 enumeration with no members or a union with one (or zero)
1000 members, or when all except the last field of a struct have
1001 width zero. These are uncommon and/or illegal situations,
1002 and in any case guessing wrong probably doesn't matter
1005 But if we later do find out we were wrong, we fixup the tag
1006 kind. Members of an enumeration must be handled
1007 differently from struct/union fields, and that is harder to
1008 patch up, but luckily we shouldn't need to. (If there are
1009 any enumeration members, we can tell for sure it's an enum
1012 if (type_code == TYPE_CODE_UNDEF)
1014 if (nfields > 1 && max_value == 0)
1015 type_code = TYPE_CODE_UNION;
1017 type_code = TYPE_CODE_STRUCT;
1020 /* Create a new type or use the pending type. */
1021 pend = is_pending_symbol (cur_fdr, ext_sh);
1022 if (pend == (struct mdebug_pending *) NULL)
1024 t = new_type (NULL);
1025 add_pending (cur_fdr, ext_sh, t);
1030 /* Do not set the tag name if it is a compiler generated tag name
1031 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1032 Alpha cc puts out an sh->iss of zero for those. */
1033 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1034 TYPE_TAG_NAME (t) = NULL;
1036 TYPE_TAG_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1037 name, (char *) NULL);
1039 TYPE_CODE (t) = type_code;
1040 TYPE_LENGTH (t) = sh->value;
1041 TYPE_NFIELDS (t) = nfields;
1042 TYPE_FIELDS (t) = f = ((struct field *)
1044 nfields * sizeof (struct field)));
1046 if (type_code == TYPE_CODE_ENUM)
1048 int unsigned_enum = 1;
1050 /* This is a non-empty enum. */
1052 /* DEC c89 has the number of enumerators in the sh.value field,
1053 not the type length, so we have to compensate for that
1054 incompatibility quirk.
1055 This might do the wrong thing for an enum with one or two
1056 enumerators and gcc -gcoff -fshort-enums, but these cases
1057 are hopefully rare enough.
1058 Alpha cc -migrate has a sh.value field of zero, we adjust
1060 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1061 || TYPE_LENGTH (t) == 0)
1062 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1063 for (ext_tsym = ext_sh + external_sym_size;
1065 ext_tsym += external_sym_size)
1068 struct symbol *enum_sym;
1070 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1072 if (tsym.st != stMember)
1075 SET_FIELD_ENUMVAL (*f, tsym.value);
1076 FIELD_TYPE (*f) = t;
1077 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1078 FIELD_BITSIZE (*f) = 0;
1080 enum_sym = allocate_symbol (mdebugread_objfile);
1081 SYMBOL_SET_LINKAGE_NAME
1083 (char *) obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1084 f->name, strlen (f->name)));
1085 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1086 SYMBOL_TYPE (enum_sym) = t;
1087 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1088 SYMBOL_VALUE (enum_sym) = tsym.value;
1089 if (SYMBOL_VALUE (enum_sym) < 0)
1091 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1093 /* Skip the stMembers that we've handled. */
1098 TYPE_UNSIGNED (t) = 1;
1100 /* Make this the current type. */
1101 top_stack->cur_type = t;
1102 top_stack->cur_field = 0;
1104 /* Do not create a symbol for alpha cc unnamed structs. */
1108 /* gcc puts out an empty struct for an opaque struct definitions,
1109 do not create a symbol for it either. */
1110 if (TYPE_NFIELDS (t) == 0)
1116 s = new_symbol (name);
1117 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1118 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1119 SYMBOL_VALUE (s) = 0;
1120 SYMBOL_TYPE (s) = t;
1121 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1124 /* End of local variables shared by struct, union, enum, and
1125 block (as yet unknown struct/union/enum) processing. */
1129 found_ecoff_debugging_info = 1;
1130 /* Beginnning of (code) block. Value of symbol
1131 is the displacement from procedure start. */
1132 push_parse_stack ();
1134 /* Do not start a new block if this is the outermost block of a
1135 procedure. This allows the LOC_BLOCK symbol to point to the
1136 block with the local variables, so funcname::var works. */
1137 if (top_stack->blocktype == stProc
1138 || top_stack->blocktype == stStaticProc)
1140 top_stack->blocktype = stNil;
1144 top_stack->blocktype = stBlock;
1145 b = new_block (NON_FUNCTION_BLOCK, psymtab_language);
1146 BLOCK_START (b) = sh->value + top_stack->procadr;
1147 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1148 top_stack->cur_block = b;
1149 add_block (b, top_stack->cur_st);
1152 case stEnd: /* end (of anything) */
1153 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1155 /* Finished with type */
1156 top_stack->cur_type = 0;
1158 else if (sh->sc == scText &&
1159 (top_stack->blocktype == stProc ||
1160 top_stack->blocktype == stStaticProc))
1162 /* Finished with procedure */
1163 const struct blockvector *bv
1164 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1165 struct mdebug_extra_func_info *e;
1166 struct block *b = top_stack->cur_block;
1167 struct type *ftype = top_stack->cur_type;
1170 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1172 /* Make up special symbol to contain procedure specific info. */
1173 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1174 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1175 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1176 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1177 e = ((struct mdebug_extra_func_info *)
1178 obstack_alloc (&mdebugread_objfile->objfile_obstack,
1179 sizeof (struct mdebug_extra_func_info)));
1180 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1181 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1182 e->numargs = top_stack->numargs;
1183 e->pdr.framereg = -1;
1184 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1186 /* f77 emits proc-level with address bounds==[0,0],
1187 So look for such child blocks, and patch them. */
1188 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1190 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1192 if (BLOCK_SUPERBLOCK (b_bad) == b
1193 && BLOCK_START (b_bad) == top_stack->procadr
1194 && BLOCK_END (b_bad) == top_stack->procadr)
1196 BLOCK_START (b_bad) = BLOCK_START (b);
1197 BLOCK_END (b_bad) = BLOCK_END (b);
1201 if (TYPE_NFIELDS (ftype) <= 0)
1203 /* No parameter type information is recorded with the function's
1204 type. Set that from the type of the parameter symbols. */
1205 int nparams = top_stack->numargs;
1211 struct block_iterator iter;
1213 TYPE_NFIELDS (ftype) = nparams;
1214 TYPE_FIELDS (ftype) = (struct field *)
1215 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1218 ALL_BLOCK_SYMBOLS (b, iter, sym)
1220 if (iparams == nparams)
1223 if (SYMBOL_IS_ARGUMENT (sym))
1225 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1226 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1233 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1235 /* End of (code) block. The value of the symbol is the
1236 displacement from the procedure`s start address of the
1237 end of this block. */
1238 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1240 else if (sh->sc == scText && top_stack->blocktype == stNil)
1242 /* End of outermost block. Pop parse stack and ignore. The
1243 following stEnd of stProc will take care of the block. */
1246 else if (sh->sc == scText && top_stack->blocktype == stFile)
1248 /* End of file. Pop parse stack and ignore. Higher
1249 level code deals with this. */
1253 complaint (&symfile_complaints,
1254 _("stEnd with storage class %d not handled"), sh->sc);
1256 pop_parse_stack (); /* Restore previous lexical context. */
1259 case stMember: /* member of struct or union */
1260 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1261 FIELD_NAME (*f) = name;
1262 SET_FIELD_BITPOS (*f, sh->value);
1264 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1265 &bitsize, bigend, name);
1266 FIELD_BITSIZE (*f) = bitsize;
1269 case stIndirect: /* forward declaration on Irix5 */
1270 /* Forward declarations from Irix5 cc are handled by cross_ref,
1274 case stTypedef: /* type definition */
1275 found_ecoff_debugging_info = 1;
1277 /* Typedefs for forward declarations and opaque structs from alpha cc
1278 are handled by cross_ref, skip them. */
1282 /* Parse the type or use the pending type. */
1283 pend = is_pending_symbol (cur_fdr, ext_sh);
1284 if (pend == (struct mdebug_pending *) NULL)
1286 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1287 add_pending (cur_fdr, ext_sh, t);
1292 /* Mips cc puts out a typedef with the name of the struct for forward
1293 declarations. These should not go into the symbol table and
1294 TYPE_NAME should not be set for them.
1295 They can't be distinguished from an intentional typedef to
1296 the same name however:
1298 struct x { int ix; int jx; };
1302 struct xx {int ixx; int jxx; };
1303 generates a cross referencing stTypedef for x and xx.
1304 The user visible effect of this is that the type of a pointer
1305 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1306 The problem is fixed with alpha cc and Irix5 cc. */
1308 /* However if the typedef cross references to an opaque aggregate, it
1309 is safe to omit it from the symbol table. */
1311 if (has_opaque_xref (cur_fdr, sh))
1313 s = new_symbol (name);
1314 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1315 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1316 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1317 SYMBOL_TYPE (s) = t;
1318 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1320 /* Incomplete definitions of structs should not get a name. */
1321 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1322 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1323 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1324 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1326 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1327 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1329 /* If we are giving a name to a type such as "pointer to
1330 foo" or "function returning foo", we better not set
1331 the TYPE_NAME. If the program contains "typedef char
1332 *caddr_t;", we don't want all variables of type char
1333 * to print as caddr_t. This is not just a
1334 consequence of GDB's type management; CC and GCC (at
1335 least through version 2.4) both output variables of
1336 either type char * or caddr_t with the type
1337 refering to the stTypedef symbol for caddr_t. If a future
1338 compiler cleans this up it GDB is not ready for it
1339 yet, but if it becomes ready we somehow need to
1340 disable this check (without breaking the PCC/GCC2.4
1345 Fortunately, this check seems not to be necessary
1346 for anything except pointers or functions. */
1349 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1353 case stFile: /* file name */
1354 push_parse_stack ();
1355 top_stack->blocktype = sh->st;
1358 /* I`ve never seen these for C */
1360 break; /* register relocation */
1362 break; /* forwarding address */
1364 break; /* constant */
1366 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1375 static const struct objfile_data *basic_type_data;
1377 static struct type *
1378 basic_type (int bt, struct objfile *objfile)
1380 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1381 struct type **map_bt
1382 = (struct type **) objfile_data (objfile, basic_type_data);
1390 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1391 btMax, struct type *);
1392 set_objfile_data (objfile, basic_type_data, map_bt);
1401 tp = objfile_type (objfile)->builtin_void;
1405 tp = init_pointer_type (objfile, 32, "adr_32",
1406 objfile_type (objfile)->builtin_void);
1410 tp = init_integer_type (objfile, 8, 0, "char");
1411 TYPE_NOSIGN (tp) = 1;
1415 tp = init_integer_type (objfile, 8, 1, "unsigned char");
1419 tp = init_integer_type (objfile, 16, 0, "short");
1423 tp = init_integer_type (objfile, 16, 1, "unsigned short");
1427 tp = init_integer_type (objfile, 32, 0, "int");
1431 tp = init_integer_type (objfile, 32, 1, "unsigned int");
1435 tp = init_integer_type (objfile, 32, 0, "long");
1439 tp = init_integer_type (objfile, 32, 1, "unsigned long");
1443 tp = init_float_type (objfile, gdbarch_float_bit (gdbarch),
1444 "float", gdbarch_float_format (gdbarch));
1448 tp = init_float_type (objfile, gdbarch_double_bit (gdbarch),
1449 "double", gdbarch_double_format (gdbarch));
1453 tp = init_complex_type (objfile, "complex",
1454 basic_type (btFloat, objfile));
1458 tp = init_complex_type (objfile, "double complex",
1459 basic_type (btFloat, objfile));
1463 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1464 good? Would we be better off with TYPE_CODE_ERROR? Should
1465 TYPE_CODE_ERROR print things in hex if it knows the size? */
1466 tp = init_integer_type (objfile, gdbarch_int_bit (gdbarch), 0,
1471 tp = init_type (objfile, TYPE_CODE_ERROR,
1472 gdbarch_double_bit (gdbarch), "floating decimal");
1476 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1478 tp = init_type (objfile, TYPE_CODE_STRING, TARGET_CHAR_BIT, "string");
1482 tp = objfile_type (objfile)->builtin_void;
1486 tp = init_integer_type (objfile, 64, 0, "long");
1490 tp = init_integer_type (objfile, 64, 1, "unsigned long");
1494 tp = init_integer_type (objfile, 64, 0, "long long");
1498 tp = init_integer_type (objfile, 64, 1, "unsigned long long");
1502 tp = init_pointer_type (objfile, 64, "adr_64",
1503 objfile_type (objfile)->builtin_void);
1507 tp = init_integer_type (objfile, 64, 0, "int");
1511 tp = init_integer_type (objfile, 64, 1, "unsigned int");
1523 /* Parse the type information provided in the raw AX entries for
1524 the symbol SH. Return the bitfield size in BS, in case.
1525 We must byte-swap the AX entries before we use them; BIGEND says whether
1526 they are big-endian or little-endian (from fh->fBigendian). */
1528 static struct type *
1529 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1530 int bigend, const char *sym_name)
1533 struct type *tp = 0;
1534 enum type_code type_code = TYPE_CODE_UNDEF;
1536 /* Handle undefined types, they have indexNil. */
1537 if (aux_index == indexNil)
1538 return basic_type (btInt, mdebugread_objfile);
1540 /* Handle corrupt aux indices. */
1541 if (aux_index >= (debug_info->fdr + fd)->caux)
1543 index_complaint (sym_name);
1544 return basic_type (btInt, mdebugread_objfile);
1548 /* Use aux as a type information record, map its basic type. */
1549 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1550 tp = basic_type (t->bt, mdebugread_objfile);
1553 /* Cannot use builtin types -- build our own. */
1557 type_code = TYPE_CODE_STRUCT;
1560 type_code = TYPE_CODE_UNION;
1563 type_code = TYPE_CODE_ENUM;
1566 type_code = TYPE_CODE_RANGE;
1569 type_code = TYPE_CODE_SET;
1572 /* alpha cc -migrate uses this for typedefs. The true type will
1573 be obtained by crossreferencing below. */
1574 type_code = TYPE_CODE_ERROR;
1577 /* alpha cc uses this for typedefs. The true type will be
1578 obtained by crossreferencing below. */
1579 type_code = TYPE_CODE_ERROR;
1582 basic_type_complaint (t->bt, sym_name);
1583 return basic_type (btInt, mdebugread_objfile);
1587 /* Move on to next aux. */
1592 int width = AUX_GET_WIDTH (bigend, ax);
1594 /* Inhibit core dumps if TIR is corrupted. */
1595 if (bs == (int *) NULL)
1597 /* Alpha cc -migrate encodes char and unsigned char types
1598 as short and unsigned short types with a field width of 8.
1599 Enum types also have a field width which we ignore for now. */
1600 if (t->bt == btShort && width == 8)
1601 tp = basic_type (btChar, mdebugread_objfile);
1602 else if (t->bt == btUShort && width == 8)
1603 tp = basic_type (btUChar, mdebugread_objfile);
1604 else if (t->bt == btEnum)
1607 complaint (&symfile_complaints,
1608 _("can't handle TIR fBitfield for %s"),
1616 /* A btIndirect entry cross references to an aux entry containing
1618 if (t->bt == btIndirect)
1625 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1627 if (rn->rfd == 0xfff)
1629 rf = AUX_GET_ISYM (bigend, ax);
1637 complaint (&symfile_complaints,
1638 _("unable to cross ref btIndirect for %s"), sym_name);
1639 return basic_type (btInt, mdebugread_objfile);
1641 xref_fh = get_rfd (fd, rf);
1642 xref_fd = xref_fh - debug_info->fdr;
1643 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1644 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1647 /* All these types really point to some (common) MIPS type
1648 definition, and only the type-qualifiers fully identify
1649 them. We'll make the same effort at sharing. */
1650 if (t->bt == btStruct ||
1654 /* btSet (I think) implies that the name is a tag name, not a typedef
1655 name. This apparently is a MIPS extension for C sets. */
1660 /* Try to cross reference this type, build new type on failure. */
1661 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1662 if (tp == (struct type *) NULL)
1663 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1665 /* DEC c89 produces cross references to qualified aggregate types,
1666 dereference them. */
1667 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1668 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1669 tp = TYPE_TARGET_TYPE (tp);
1671 /* Make sure that TYPE_CODE(tp) has an expected type code.
1672 Any type may be returned from cross_ref if file indirect entries
1674 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1675 && TYPE_CODE (tp) != TYPE_CODE_UNION
1676 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1678 unexpected_type_code_complaint (sym_name);
1682 /* Usually, TYPE_CODE(tp) is already type_code. The main
1683 exception is if we guessed wrong re struct/union/enum.
1684 But for struct vs. union a wrong guess is harmless, so
1685 don't complain(). */
1686 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1687 && type_code != TYPE_CODE_ENUM)
1688 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1689 && type_code == TYPE_CODE_ENUM))
1691 bad_tag_guess_complaint (sym_name);
1694 if (TYPE_CODE (tp) != type_code)
1696 TYPE_CODE (tp) = type_code;
1699 /* Do not set the tag name if it is a compiler generated tag name
1700 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1701 if (name[0] == '.' || name[0] == '\0')
1702 TYPE_TAG_NAME (tp) = NULL;
1703 else if (TYPE_TAG_NAME (tp) == NULL
1704 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1707 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1708 name, strlen (name)));
1712 /* All these types really point to some (common) MIPS type
1713 definition, and only the type-qualifiers fully identify
1714 them. We'll make the same effort at sharing.
1715 FIXME: We are not doing any guessing on range types. */
1716 if (t->bt == btRange)
1720 /* Try to cross reference this type, build new type on failure. */
1721 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1722 if (tp == (struct type *) NULL)
1723 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1725 /* Make sure that TYPE_CODE(tp) has an expected type code.
1726 Any type may be returned from cross_ref if file indirect entries
1728 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1730 unexpected_type_code_complaint (sym_name);
1734 /* Usually, TYPE_CODE(tp) is already type_code. The main
1735 exception is if we guessed wrong re struct/union/enum. */
1736 if (TYPE_CODE (tp) != type_code)
1738 bad_tag_guess_complaint (sym_name);
1739 TYPE_CODE (tp) = type_code;
1741 if (TYPE_NAME (tp) == NULL
1742 || strcmp (TYPE_NAME (tp), name) != 0)
1745 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1746 name, strlen (name)));
1749 if (t->bt == btTypedef)
1753 /* Try to cross reference this type, it should succeed. */
1754 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1755 if (tp == (struct type *) NULL)
1757 complaint (&symfile_complaints,
1758 _("unable to cross ref btTypedef for %s"), sym_name);
1759 tp = basic_type (btInt, mdebugread_objfile);
1763 /* Deal with range types. */
1764 if (t->bt == btRange)
1766 TYPE_NFIELDS (tp) = 0;
1767 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1768 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1769 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1771 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1775 /* Parse all the type qualifiers now. If there are more
1776 than 6 the game will continue in the next aux. */
1780 #define PARSE_TQ(tq) \
1781 if (t->tq != tqNil) \
1782 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1794 /* mips cc 2.x and gcc never put out continued aux entries. */
1798 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1802 /* Complain for illegal continuations due to corrupt aux entries. */
1804 complaint (&symfile_complaints,
1805 _("illegal TIR continued for %s"), sym_name);
1810 /* Make up a complex type from a basic one. Type is passed by
1811 reference in TPP and side-effected as necessary. The type
1812 qualifier TQ says how to handle the aux symbols at AX for
1813 the symbol SX we are currently analyzing. BIGEND says whether
1814 aux symbols are big-endian or little-endian.
1815 Returns the number of aux symbols we parsed. */
1818 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1819 const char *sym_name)
1824 /* Used in array processing. */
1835 t = lookup_pointer_type (*tpp);
1840 t = lookup_function_type (*tpp);
1847 /* Determine and record the domain type (type of index). */
1848 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1854 rf = AUX_GET_ISYM (bigend, ax);
1857 fh = get_rfd (fd, rf);
1859 indx = parse_type (fh - debug_info->fdr,
1860 debug_info->external_aux + fh->iauxBase,
1861 id, (int *) NULL, bigend, sym_name);
1863 /* The bounds type should be an integer type, but might be anything
1864 else due to corrupt aux entries. */
1865 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1867 complaint (&symfile_complaints,
1868 _("illegal array index type for %s, assuming int"),
1870 indx = objfile_type (mdebugread_objfile)->builtin_int;
1873 /* Get the bounds, and create the array type. */
1875 lower = AUX_GET_DNLOW (bigend, ax);
1877 upper = AUX_GET_DNHIGH (bigend, ax);
1879 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1881 range = create_static_range_type ((struct type *) NULL, indx,
1884 t = create_array_type ((struct type *) NULL, *tpp, range);
1886 /* We used to fill in the supplied array element bitsize
1887 here if the TYPE_LENGTH of the target type was zero.
1888 This happens for a `pointer to an array of anonymous structs',
1889 but in this case the array element bitsize is also zero,
1890 so nothing is gained.
1891 And we used to check the TYPE_LENGTH of the target type against
1892 the supplied array element bitsize.
1893 gcc causes a mismatch for `pointer to array of object',
1894 since the sdb directives it uses do not have a way of
1895 specifying the bitsize, but it does no harm (the
1896 TYPE_LENGTH should be correct) and we should be able to
1897 ignore the erroneous bitsize from the auxiliary entry safely.
1898 dbx seems to ignore it too. */
1900 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1901 if (TYPE_LENGTH (*tpp) == 0)
1902 TYPE_TARGET_STUB (t) = 1;
1908 /* Volatile -- currently ignored */
1912 /* Const -- currently ignored */
1916 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1922 /* Parse a procedure descriptor record PR. Note that the procedure is
1923 parsed _after_ the local symbols, now we just insert the extra
1924 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1925 already been placed in the procedure's main block. Note also that
1926 images that have been partially stripped (ld -x) have been deprived
1927 of local symbols, and we have to cope with them here. FIRST_OFF is
1928 the offset of the first procedure for this FDR; we adjust the
1929 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1930 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1931 in question, or NULL to use top_stack->cur_block. */
1934 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1935 struct partial_symtab *pst)
1937 struct symbol *s, *i;
1938 const struct block *b;
1941 /* Simple rule to find files linked "-x". */
1942 if (cur_fdr->rss == -1)
1946 /* Static procedure at address pr->adr. Sigh. */
1947 /* FIXME-32x64. assuming pr->adr fits in long. */
1948 complaint (&symfile_complaints,
1949 _("can't handle PDR for static proc at 0x%lx"),
1950 (unsigned long) pr->adr);
1958 (*debug_swap->swap_ext_in) (cur_bfd,
1959 ((char *) debug_info->external_ext
1961 * debug_swap->external_ext_size)),
1963 sh_name = debug_info->ssext + she.asym.iss;
1971 (*debug_swap->swap_sym_in) (cur_bfd,
1972 ((char *) debug_info->external_sym
1973 + ((cur_fdr->isymBase + pr->isym)
1974 * debug_swap->external_sym_size)),
1976 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1979 if (search_symtab != NULL)
1982 /* This loses both in the case mentioned (want a static, find a global),
1983 but also if we are looking up a non-mangled name which happens to
1984 match the name of a mangled function. */
1985 /* We have to save the cur_fdr across the call to lookup_symbol.
1986 If the pdr is for a static function and if a global function with
1987 the same name exists, lookup_symbol will eventually read in the symtab
1988 for the global function and clobber cur_fdr. */
1989 FDR *save_cur_fdr = cur_fdr;
1991 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1992 cur_fdr = save_cur_fdr;
1996 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
2003 s = mylookup_symbol (sh_name, top_stack->cur_block,
2004 VAR_DOMAIN, LOC_BLOCK);
2008 b = SYMBOL_BLOCK_VALUE (s);
2012 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
2016 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
2017 s = new_symbol (sh_name);
2018 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2019 SYMBOL_CLASS (s) = LOC_BLOCK;
2020 /* Donno its type, hope int is ok. */
2022 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2023 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2024 /* Won't have symbols for this one. */
2026 SYMBOL_BLOCK_VALUE (s) = b;
2027 BLOCK_FUNCTION (b) = s;
2028 BLOCK_START (b) = pr->adr;
2029 /* BOUND used to be the end of procedure's text, but the
2030 argument is no longer passed in. */
2031 BLOCK_END (b) = bound;
2032 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2033 add_block (b, top_stack->cur_st);
2037 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2041 struct mdebug_extra_func_info *e;
2043 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2046 /* GDB expects the absolute function start address for the
2047 procedure descriptor in e->pdr.adr.
2048 As the address in the procedure descriptor is usually relative,
2049 we would have to relocate e->pdr.adr with cur_fdr->adr and
2050 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2051 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2052 in shared libraries on some systems, and on other systems
2053 e->pdr.adr is sometimes offset by a bogus value.
2054 To work around these problems, we replace e->pdr.adr with
2055 the start address of the function. */
2056 e->pdr.adr = BLOCK_START (b);
2059 /* It would be reasonable that functions that have been compiled
2060 without debugging info have a btNil type for their return value,
2061 and functions that are void and are compiled with debugging info
2063 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2064 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2066 The glevel field in cur_fdr could be used to determine the presence
2067 of debugging info, but GCC doesn't always pass the -g switch settings
2068 to the assembler and GAS doesn't set the glevel field from the -g switch
2070 To work around these problems, the return value type of a TYPE_CODE_VOID
2071 function is adjusted accordingly if no debugging info was found in the
2072 compilation unit. */
2074 if (processing_gcc_compilation == 0
2075 && found_ecoff_debugging_info == 0
2076 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2077 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2080 /* Parse the external symbol ES. Just call parse_symbol() after
2081 making sure we know where the aux are for it.
2082 BIGEND says whether aux entries are big-endian or little-endian.
2084 This routine clobbers top_stack->cur_block and ->cur_st. */
2086 static void parse_external (EXTR *, int, struct section_offsets *,
2090 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2091 struct objfile *objfile)
2095 if (es->ifd != ifdNil)
2098 cur_fdr = debug_info->fdr + cur_fd;
2099 ax = debug_info->external_aux + cur_fdr->iauxBase;
2103 cur_fdr = debug_info->fdr;
2107 /* Reading .o files */
2108 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2111 switch (es->asym.st)
2114 /* These are generated for static symbols in .o files,
2135 /* FIXME: Turn this into a complaint? */
2137 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2138 what, debug_info->ssext + es->asym.iss,
2139 fdr_name (cur_fdr));
2143 switch (es->asym.st)
2147 /* There is no need to parse the external procedure symbols.
2148 If they are from objects compiled without -g, their index will
2149 be indexNil, and the symbol definition from the minimal symbol
2150 is preferrable (yielding a function returning int instead of int).
2151 If the index points to a local procedure symbol, the local
2152 symbol already provides the correct type.
2153 Note that the index of the external procedure symbol points
2154 to the local procedure symbol in the local symbol table, and
2155 _not_ to the auxiliary symbol info. */
2159 /* Global common symbols are resolved by the runtime loader,
2161 if (SC_IS_COMMON (es->asym.sc))
2164 /* Note that the case of a symbol with indexNil must be handled
2165 anyways by parse_symbol(). */
2166 parse_symbol (&es->asym, ax, (char *) NULL,
2167 bigend, section_offsets, objfile);
2174 /* Parse the line number info for file descriptor FH into
2175 GDB's linetable LT. MIPS' encoding requires a little bit
2176 of magic to get things out. Note also that MIPS' line
2177 numbers can go back and forth, apparently we can live
2178 with that and do not need to reorder our linetables. */
2180 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2181 struct partial_symtab *, CORE_ADDR);
2184 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2185 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2187 unsigned char *base;
2189 int delta, count, lineno = 0;
2191 if (fh->cbLine == 0)
2194 /* Scan by procedure descriptors. */
2196 for (j = 0; j < fh->cpd; j++, pr++)
2200 unsigned char *halt;
2202 /* No code for this one. */
2203 if (pr->iline == ilineNil ||
2204 pr->lnLow == -1 || pr->lnHigh == -1)
2207 /* Determine start and end address of compressed line bytes for
2209 base = debug_info->line + fh->cbLineOffset;
2210 if (j != (fh->cpd - 1))
2211 halt = base + pr[1].cbLineOffset;
2213 halt = base + fh->cbLine;
2214 base += pr->cbLineOffset;
2216 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2218 l = adr >> 2; /* in words */
2219 for (lineno = pr->lnLow; base < halt;)
2221 count = *base & 0x0f;
2222 delta = *base++ >> 4;
2227 delta = (base[0] << 8) | base[1];
2228 if (delta >= 0x8000)
2232 lineno += delta; /* first delta is 0 */
2234 /* Complain if the line table overflows. Could happen
2235 with corrupt binaries. */
2236 if (lt->nitems >= maxlines)
2238 complaint (&symfile_complaints,
2239 _("guessed size of linetable for %s incorrectly"),
2243 k = add_line (lt, lineno, l, k);
2250 function_outside_compilation_unit_complaint (const char *arg1)
2252 complaint (&symfile_complaints,
2253 _("function `%s' appears to be defined "
2254 "outside of all compilation units"),
2258 /* Use the STORAGE_CLASS to compute which section the given symbol
2259 belongs to, and then records this new minimal symbol. */
2262 record_minimal_symbol (minimal_symbol_reader &reader,
2263 const char *name, const CORE_ADDR address,
2264 enum minimal_symbol_type ms_type, int storage_class,
2265 struct objfile *objfile)
2269 switch (storage_class)
2272 section = SECT_OFF_TEXT (objfile);
2275 section = SECT_OFF_DATA (objfile);
2278 section = SECT_OFF_BSS (objfile);
2281 section = get_section_index (objfile, ".sdata");
2284 section = get_section_index (objfile, ".sbss");
2287 section = get_section_index (objfile, ".rdata");
2290 section = get_section_index (objfile, ".init");
2293 section = get_section_index (objfile, ".xdata");
2296 section = get_section_index (objfile, ".pdata");
2299 section = get_section_index (objfile, ".fini");
2302 section = get_section_index (objfile, ".rconst");
2306 section = get_section_index (objfile, ".tlsdata");
2311 section = get_section_index (objfile, ".tlsbss");
2315 /* This kind of symbol is not associated to a section. */
2319 reader.record_with_info (name, address, ms_type, section);
2322 /* Master parsing procedure for first-pass reading of file symbols
2323 into a partial_symtab. */
2326 parse_partial_symbols (minimal_symbol_reader &reader,
2327 struct objfile *objfile)
2329 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2330 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2331 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2332 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2333 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2334 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2335 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2337 HDRR *hdr = &debug_info->symbolic_header;
2338 /* Running pointers */
2345 struct partial_symtab *pst;
2346 int textlow_not_set = 1;
2348 /* List of current psymtab's include files. */
2349 const char **psymtab_include_list;
2350 int includes_allocated;
2353 struct pst_map *fdr_to_pst;
2354 /* Index within current psymtab dependency list. */
2355 struct partial_symtab **dependency_list;
2356 int dependencies_used, dependencies_allocated;
2358 enum language prev_language;
2359 asection *text_sect;
2360 int relocatable = 0;
2362 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2363 the shared libraries are prelinked at a high memory address.
2364 We have to adjust the start address of the object file for this case,
2365 by setting it to the start address of the first procedure in the file.
2366 But we should do no adjustments if we are debugging a .o file, where
2367 the text section (and fh->adr) really starts at zero. */
2368 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2369 if (text_sect != NULL
2370 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2373 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2374 sizeof (EXTR) * hdr->iextMax);
2376 includes_allocated = 30;
2378 psymtab_include_list = (const char **) alloca (includes_allocated *
2379 sizeof (const char *));
2380 next_symbol_text_func = mdebug_next_symbol_text;
2382 dependencies_allocated = 30;
2383 dependencies_used = 0;
2385 (struct partial_symtab **) alloca (dependencies_allocated *
2386 sizeof (struct partial_symtab *));
2388 set_last_source_file (NULL);
2393 * Only parse the Local and External symbols, and the Relative FDR.
2394 * Fixup enough of the loader symtab to be able to use it.
2395 * Allocate space only for the file's portions we need to
2400 max_glevel = MIN_GLEVEL;
2402 /* Allocate the map FDR -> PST.
2403 Minor hack: -O3 images might claim some global data belongs
2404 to FDR -1. We`ll go along with that. */
2405 gdb::def_vector<struct pst_map> fdr_to_pst_holder (hdr->ifdMax + 1);
2406 fdr_to_pst = fdr_to_pst_holder.data ();
2409 struct partial_symtab *pst = new_psymtab ("", objfile);
2411 fdr_to_pst[-1].pst = pst;
2415 /* Allocate the global pending list. */
2417 ((struct mdebug_pending **)
2418 obstack_alloc (&objfile->objfile_obstack,
2419 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2420 memset (pending_list, 0,
2421 hdr->ifdMax * sizeof (struct mdebug_pending *));
2423 /* Pass 0 over external syms: swap them in. */
2424 gdb::def_vector<EXTR> ext_block (hdr->iextMax);
2426 ext_out = (char *) debug_info->external_ext;
2427 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2428 ext_in = ext_block.data ();
2429 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2430 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2432 /* Pass 1 over external syms: Presize and partition the list. */
2433 ext_in = ext_block.data ();
2434 ext_in_end = ext_in + hdr->iextMax;
2435 for (; ext_in < ext_in_end; ext_in++)
2437 /* See calls to complain below. */
2438 if (ext_in->ifd >= -1
2439 && ext_in->ifd < hdr->ifdMax
2440 && ext_in->asym.iss >= 0
2441 && ext_in->asym.iss < hdr->issExtMax)
2442 fdr_to_pst[ext_in->ifd].n_globals++;
2445 /* Pass 1.5 over files: partition out global symbol space. */
2447 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2449 fdr_to_pst[f_idx].globals_offset = s_idx;
2450 s_idx += fdr_to_pst[f_idx].n_globals;
2451 fdr_to_pst[f_idx].n_globals = 0;
2456 For ECOFF in ELF, we skip the creation of the minimal symbols.
2457 The ECOFF symbols should be a subset of the Elf symbols, and the
2458 section information of the elf symbols will be more accurate.
2459 FIXME! What about Irix 5's native linker?
2461 By default, Elf sections which don't exist in ECOFF
2462 get put in ECOFF's absolute section by the gnu linker.
2463 Since absolute sections don't get relocated, we
2464 end up calculating an address different from that of
2465 the symbol's minimal symbol (created earlier from the
2468 To fix this, either :
2469 1) don't create the duplicate symbol
2470 (assumes ECOFF symtab is a subset of the ELF symtab;
2471 assumes no side-effects result from ignoring ECOFF symbol)
2472 2) create it, only if lookup for existing symbol in ELF's minimal
2475 assumes no side-effects result from ignoring ECOFF symbol)
2476 3) create it, but lookup ELF's minimal symbol and use it's section
2477 during relocation, then modify "uniqify" phase to merge and
2478 eliminate the duplicate symbol
2479 (highly inefficient)
2481 I've implemented #1 here...
2482 Skip the creation of the minimal symbols based on the ECOFF
2485 /* Pass 2 over external syms: fill in external symbols. */
2486 ext_in = ext_block.data ();
2487 ext_in_end = ext_in + hdr->iextMax;
2488 for (; ext_in < ext_in_end; ext_in++)
2490 enum minimal_symbol_type ms_type = mst_text;
2491 CORE_ADDR svalue = ext_in->asym.value;
2493 /* The Irix 5 native tools seem to sometimes generate bogus
2494 external symbols. */
2495 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2497 complaint (&symfile_complaints,
2498 _("bad ifd for external symbol: %d (max %ld)"),
2499 ext_in->ifd, hdr->ifdMax);
2502 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2504 complaint (&symfile_complaints,
2505 _("bad iss for external symbol: %ld (max %ld)"),
2506 ext_in->asym.iss, hdr->issExtMax);
2510 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2511 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2514 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2518 /* Pass 3 over files, over local syms: fill in static symbols. */
2519 name = debug_info->ssext + ext_in->asym.iss;
2521 /* Process ECOFF Symbol Types and Storage Classes. */
2522 switch (ext_in->asym.st)
2525 /* Beginnning of Procedure */
2528 /* Load time only static procs */
2529 ms_type = mst_file_text;
2532 /* External symbol */
2533 if (SC_IS_COMMON (ext_in->asym.sc))
2535 /* The value of a common symbol is its size, not its address.
2539 else if (SC_IS_DATA (ext_in->asym.sc))
2543 else if (SC_IS_BSS (ext_in->asym.sc))
2547 else if (SC_IS_SBSS (ext_in->asym.sc))
2557 /* On certain platforms, some extra label symbols can be
2558 generated by the linker. One possible usage for this kind
2559 of symbols is to represent the address of the begining of a
2560 given section. For instance, on Tru64 5.1, the address of
2561 the _ftext label is the start address of the .text section.
2563 The storage class of these symbols is usually directly
2564 related to the section to which the symbol refers. For
2565 instance, on Tru64 5.1, the storage class for the _fdata
2566 label is scData, refering to the .data section.
2568 It is actually possible that the section associated to the
2569 storage class of the label does not exist. On True64 5.1
2570 for instance, the libm.so shared library does not contain
2571 any .data section, although it contains a _fpdata label
2572 which storage class is scData... Since these symbols are
2573 usually useless for the debugger user anyway, we just
2574 discard these symbols. */
2576 if (SC_IS_TEXT (ext_in->asym.sc))
2578 if (objfile->sect_index_text == -1)
2581 ms_type = mst_file_text;
2583 else if (SC_IS_DATA (ext_in->asym.sc))
2585 if (objfile->sect_index_data == -1)
2588 ms_type = mst_file_data;
2590 else if (SC_IS_BSS (ext_in->asym.sc))
2592 if (objfile->sect_index_bss == -1)
2595 ms_type = mst_file_bss;
2597 else if (SC_IS_SBSS (ext_in->asym.sc))
2599 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2601 if (sbss_sect_index == -1)
2604 ms_type = mst_file_bss;
2611 /* The alpha has the section start addresses in stLocal symbols
2612 whose name starts with a `.'. Skip those but complain for all
2613 other stLocal symbols.
2614 Irix6 puts the section start addresses in stNil symbols, skip
2620 ms_type = mst_unknown;
2621 unknown_ext_complaint (name);
2623 if (!ECOFF_IN_ELF (cur_bfd))
2624 record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
2628 /* Pass 3 over files, over local syms: fill in static symbols. */
2629 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2631 struct partial_symtab *save_pst;
2635 cur_fdr = fh = debug_info->fdr + f_idx;
2639 fdr_to_pst[f_idx].pst = NULL;
2643 /* Determine the start address for this object file from the
2644 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2648 if (relocatable || textlow != 0)
2649 textlow += ANOFFSET (objfile->section_offsets,
2650 SECT_OFF_TEXT (objfile));
2654 pst = start_psymtab_common (objfile,
2657 objfile->global_psymbols,
2658 objfile->static_psymbols);
2659 pst->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
2660 sizeof (struct symloc));
2661 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2664 FDR_IDX (pst) = f_idx;
2665 CUR_BFD (pst) = cur_bfd;
2666 DEBUG_SWAP (pst) = debug_swap;
2667 DEBUG_INFO (pst) = debug_info;
2668 PENDING_LIST (pst) = pending_list;
2670 /* The way to turn this into a symtab is to call... */
2671 pst->read_symtab = mdebug_read_symtab;
2673 /* Set up language for the pst.
2674 The language from the FDR is used if it is unambigious (e.g. cfront
2675 with native cc and g++ will set the language to C).
2676 Otherwise we have to deduce the language from the filename.
2677 Native ecoff has every header file in a separate FDR, so
2678 deduce_language_from_filename will return language_unknown for
2679 a header file, which is not what we want.
2680 But the FDRs for the header files are after the FDR for the source
2681 file, so we can assign the language of the source file to the
2682 following header files. Then we save the language in the private
2683 pst data so that we can reuse it when building symtabs. */
2684 prev_language = psymtab_language;
2688 case langCplusplusV2:
2689 psymtab_language = language_cplus;
2692 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2695 if (psymtab_language == language_unknown)
2696 psymtab_language = prev_language;
2697 PST_PRIVATE (pst)->pst_language = psymtab_language;
2699 pst->texthigh = pst->textlow;
2701 /* For stabs-in-ecoff files, the second symbol must be @stab.
2702 This symbol is emitted by mips-tfile to signal that the
2703 current object file uses encapsulated stabs instead of mips
2704 ecoff for local symbols. (It is the second symbol because
2705 the first symbol is the stFile used to signal the start of a
2707 processing_gcc_compilation = 0;
2710 (*swap_sym_in) (cur_bfd,
2711 ((char *) debug_info->external_sym
2712 + (fh->isymBase + 1) * external_sym_size),
2714 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2716 processing_gcc_compilation = 2;
2719 if (processing_gcc_compilation != 0)
2721 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2724 const char *namestring;
2726 (*swap_sym_in) (cur_bfd,
2727 (((char *) debug_info->external_sym)
2728 + (fh->isymBase + cur_sdx) * external_sym_size),
2730 type_code = ECOFF_UNMARK_STAB (sh.index);
2731 if (!ECOFF_IS_STAB (&sh))
2733 if (sh.st == stProc || sh.st == stStaticProc)
2738 if (sh.st == stStaticProc)
2740 namestring = debug_info->ss + fh->issBase + sh.iss;
2741 record_minimal_symbol (reader, namestring, sh.value,
2742 mst_file_text, sh.sc,
2745 sh.value += ANOFFSET (objfile->section_offsets,
2746 SECT_OFF_TEXT (objfile));
2747 procaddr = sh.value;
2749 isym = AUX_GET_ISYM (fh->fBigendian,
2750 (debug_info->external_aux
2753 (*swap_sym_in) (cur_bfd,
2754 ((char *) debug_info->external_sym
2755 + ((fh->isymBase + isym - 1)
2756 * external_sym_size)),
2760 CORE_ADDR high = procaddr + sh.value;
2762 /* Kludge for Irix 5.2 zero fh->adr. */
2764 && (pst->textlow == 0 || procaddr < pst->textlow))
2765 pst->textlow = procaddr;
2766 if (high > pst->texthigh)
2767 pst->texthigh = high;
2770 else if (sh.st == stStatic)
2785 namestring = debug_info->ss + fh->issBase + sh.iss;
2786 record_minimal_symbol (reader, namestring, sh.value,
2787 mst_file_data, sh.sc,
2789 sh.value += ANOFFSET (objfile->section_offsets,
2790 SECT_OFF_DATA (objfile));
2794 /* FIXME! Shouldn't this use cases for bss,
2795 then have the default be abs? */
2796 namestring = debug_info->ss + fh->issBase + sh.iss;
2797 record_minimal_symbol (reader, namestring, sh.value,
2798 mst_file_bss, sh.sc,
2800 sh.value += ANOFFSET (objfile->section_offsets,
2801 SECT_OFF_BSS (objfile));
2807 /* Handle stabs continuation. */
2809 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2810 int len = strlen (stabstring);
2812 while (stabstring[len - 1] == '\\')
2815 char *stabstring1 = stabstring;
2819 /* Ignore continuation char from 1st string. */
2822 /* Read next stabstring. */
2824 (*swap_sym_in) (cur_bfd,
2825 (((char *) debug_info->external_sym)
2826 + (fh->isymBase + cur_sdx)
2827 * external_sym_size),
2829 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2830 len2 = strlen (stabstring2);
2832 /* Concatinate stabstring2 with stabstring1. */
2834 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2836 = (char *) xrealloc (stabstring, len + len2 + 1);
2839 stabstring = (char *) xmalloc (len + len2 + 1);
2840 strcpy (stabstring, stabstring1);
2842 strcpy (stabstring + len, stabstring2);
2850 /* Standard, external, non-debugger, symbols. */
2852 case N_TEXT | N_EXT:
2853 case N_NBTEXT | N_EXT:
2854 sh.value += ANOFFSET (objfile->section_offsets,
2855 SECT_OFF_TEXT (objfile));
2858 case N_DATA | N_EXT:
2859 case N_NBDATA | N_EXT:
2860 sh.value += ANOFFSET (objfile->section_offsets,
2861 SECT_OFF_DATA (objfile));
2866 case N_NBBSS | N_EXT:
2867 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2868 sh.value += ANOFFSET (objfile->section_offsets,
2869 SECT_OFF_BSS (objfile));
2876 /* Standard, local, non-debugger, symbols. */
2880 /* We need to be able to deal with both N_FN or
2881 N_TEXT, because we have no way of knowing
2882 whether the sys-supplied ld or GNU ld was used
2883 to make the executable. Sequents throw in
2884 another wrinkle -- they renumbered N_FN. */
2892 sh.value += ANOFFSET (objfile->section_offsets,
2893 SECT_OFF_DATA (objfile));
2896 case N_UNDF | N_EXT:
2897 continue; /* Just undefined, not COMMON. */
2902 /* Lots of symbol types we can just ignore. */
2909 /* Keep going . . . */
2912 * Special symbol types for GNU
2915 case N_INDR | N_EXT:
2917 case N_SETA | N_EXT:
2919 case N_SETT | N_EXT:
2921 case N_SETD | N_EXT:
2923 case N_SETB | N_EXT:
2933 static int prev_so_symnum = -10;
2936 /* A zero value is probably an indication for the
2937 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2938 for zero, so don't relocate it. */
2941 && gdbarch_sofun_address_maybe_missing (gdbarch))
2942 textlow_not_set = 1;
2944 textlow_not_set = 0;
2946 if (prev_so_symnum != symnum - 1)
2947 { /* Here if prev stab wasn't N_SO. */
2950 pst = (struct partial_symtab *) 0;
2952 dependencies_used = 0;
2956 prev_so_symnum = symnum;
2958 /* End the current partial symtab and start a
2961 /* SET_NAMESTRING ();*/
2962 namestring = stabstring;
2964 /* Null name means end of .o file. Don't start a new
2966 if (*namestring == '\000')
2969 /* Some compilers (including gcc) emit a pair of
2970 initial N_SOs. The first one is a directory name;
2971 the second the file name. If pst exists, is
2972 empty, and has a filename ending in '/', we assume
2973 the previous N_SO was a directory name. */
2974 p = lbasename (namestring);
2975 if (p != namestring && *p == '\000')
2976 continue; /* Simply ignore directory
2979 /* Some other compilers (C++ ones in particular) emit
2980 useless SOs for non-existant .c files. We ignore
2981 all subsequent SOs that immediately follow the
2994 enum language tmp_language;
2996 /* Mark down an include file in the current psymtab. */
2998 /* SET_NAMESTRING (); */
2999 namestring = stabstring;
3002 = deduce_language_from_filename (namestring);
3004 /* Only change the psymtab's language if we've
3005 learned something useful (eg. tmp_language is not
3006 language_unknown). In addition, to match what
3007 start_subfile does, never change from C++ to
3009 if (tmp_language != language_unknown
3010 && (tmp_language != language_c
3011 || psymtab_language != language_cplus))
3012 psymtab_language = tmp_language;
3014 /* In C++, one may expect the same filename to come
3015 round many times, when code is coming alternately
3016 from the main file and from inline functions in
3017 other files. So I check to see if this is a file
3018 we've seen before -- either the main source file,
3019 or a previously included file.
3021 This seems to be a lot of time to be spending on
3022 N_SOL, but things like "break c-exp.y:435" need to
3023 work (I suppose the psymtab_include_list could be
3024 hashed or put in a binary tree, if profiling shows
3025 this is a major hog). */
3026 if (pst && filename_cmp (namestring, pst->filename) == 0)
3032 for (i = 0; i < includes_used; i++)
3033 if (filename_cmp (namestring,
3034 psymtab_include_list[i]) == 0)
3043 psymtab_include_list[includes_used++] = namestring;
3044 if (includes_used >= includes_allocated)
3046 const char **orig = psymtab_include_list;
3048 psymtab_include_list = (const char **)
3049 alloca ((includes_allocated *= 2) *
3050 sizeof (const char *));
3051 memcpy (psymtab_include_list, orig,
3052 includes_used * sizeof (const char *));
3056 case N_LSYM: /* Typedef or automatic variable. */
3057 case N_STSYM: /* Data seg var -- static */
3058 case N_LCSYM: /* BSS " */
3059 case N_ROSYM: /* Read-only data seg var -- static. */
3060 case N_NBSTS: /* Gould nobase. */
3061 case N_NBLCS: /* symbols. */
3063 case N_GSYM: /* Global (extern) variable; can be
3064 data or bss (sigh FIXME). */
3066 /* Following may probably be ignored; I'll leave them here
3067 for now (until I do Pascal and Modula 2 extensions). */
3069 case N_PC: /* I may or may not need this; I
3071 case N_M2C: /* I suspect that I can ignore this
3073 case N_SCOPE: /* Same. */
3075 /* SET_NAMESTRING (); */
3076 namestring = stabstring;
3077 p = (char *) strchr (namestring, ':');
3079 continue; /* Not a debugging symbol. */
3083 /* Main processing section for debugging symbols which
3084 the initial read through the symbol tables needs to
3085 worry about. If we reach this point, the symbol
3086 which we are considering is definitely one we are
3087 interested in. p must also contain the (valid)
3088 index into the namestring which indicates the
3089 debugging type symbol. */
3094 sh.value += ANOFFSET (objfile->section_offsets,
3095 SECT_OFF_DATA (objfile));
3097 if (gdbarch_static_transform_name_p (gdbarch))
3098 namestring = gdbarch_static_transform_name
3099 (gdbarch, namestring);
3101 add_psymbol_to_list (namestring, p - namestring, 1,
3102 VAR_DOMAIN, LOC_STATIC,
3103 &objfile->static_psymbols,
3105 psymtab_language, objfile);
3108 sh.value += ANOFFSET (objfile->section_offsets,
3109 SECT_OFF_DATA (objfile));
3110 /* The addresses in these entries are reported
3111 to be wrong. See the code that reads 'G's
3113 add_psymbol_to_list (namestring, p - namestring, 1,
3114 VAR_DOMAIN, LOC_STATIC,
3115 &objfile->global_psymbols,
3117 psymtab_language, objfile);
3121 /* When a 'T' entry is defining an anonymous enum, it
3122 may have a name which is the empty string, or a
3123 single space. Since they're not really defining a
3124 symbol, those shouldn't go in the partial symbol
3125 table. We do pick up the elements of such enums at
3126 'check_enum:', below. */
3127 if (p >= namestring + 2
3128 || (p == namestring + 1
3129 && namestring[0] != ' '))
3131 add_psymbol_to_list (namestring, p - namestring, 1,
3132 STRUCT_DOMAIN, LOC_TYPEDEF,
3133 &objfile->static_psymbols,
3134 0, psymtab_language, objfile);
3137 /* Also a typedef with the same name. */
3138 add_psymbol_to_list (namestring,
3140 VAR_DOMAIN, LOC_TYPEDEF,
3141 &objfile->static_psymbols,
3142 0, psymtab_language,
3149 if (p != namestring) /* a name is there, not
3152 add_psymbol_to_list (namestring, p - namestring, 1,
3153 VAR_DOMAIN, LOC_TYPEDEF,
3154 &objfile->static_psymbols,
3155 0, psymtab_language, objfile);
3158 /* If this is an enumerated type, we need to add
3159 all the enum constants to the partial symbol
3160 table. This does not cover enums without names,
3161 e.g. "enum {a, b} c;" in C, but fortunately
3162 those are rare. There is no way for GDB to find
3163 those from the enum type without spending too
3164 much time on it. Thus to solve this problem,
3165 the compiler needs to put out the enum in a
3166 nameless type. GCC2 does this. */
3168 /* We are looking for something of the form
3169 <name> ":" ("t" | "T") [<number> "="] "e"
3170 {<constant> ":" <value> ","} ";". */
3172 /* Skip over the colon and the 't' or 'T'. */
3174 /* This type may be given a number. Also, numbers
3175 can come in pairs like (0,26). Skip over it. */
3176 while ((*p >= '0' && *p <= '9')
3177 || *p == '(' || *p == ',' || *p == ')'
3183 /* The aix4 compiler emits extra crud before
3187 /* Skip over the type (?). */
3191 /* Skip over the colon. */
3195 /* We have found an enumerated type. */
3196 /* According to comments in read_enum_type
3197 a comma could end it instead of a semicolon.
3198 I don't know where that happens.
3200 while (*p && *p != ';' && *p != ',')
3204 /* Check for and handle cretinous dbx
3205 symbol name continuation! */
3206 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3207 p = next_symbol_text (objfile);
3209 /* Point to the character after the name
3210 of the enum constant. */
3211 for (q = p; *q && *q != ':'; q++)
3213 /* Note that the value doesn't matter for
3214 enum constants in psymtabs, just in
3216 add_psymbol_to_list (p, q - p, 1,
3217 VAR_DOMAIN, LOC_CONST,
3218 &objfile->static_psymbols,
3219 0, psymtab_language,
3221 /* Point past the name. */
3223 /* Skip over the value. */
3224 while (*p && *p != ',')
3226 /* Advance past the comma. */
3233 /* Constant, e.g. from "const" in Pascal. */
3234 add_psymbol_to_list (namestring, p - namestring, 1,
3235 VAR_DOMAIN, LOC_CONST,
3236 &objfile->static_psymbols,
3237 0, psymtab_language, objfile);
3243 int name_len = p - namestring;
3244 char *name = (char *) xmalloc (name_len + 1);
3246 memcpy (name, namestring, name_len);
3247 name[name_len] = '\0';
3248 function_outside_compilation_unit_complaint (name);
3251 sh.value += ANOFFSET (objfile->section_offsets,
3252 SECT_OFF_TEXT (objfile));
3253 add_psymbol_to_list (namestring, p - namestring, 1,
3254 VAR_DOMAIN, LOC_BLOCK,
3255 &objfile->static_psymbols,
3257 psymtab_language, objfile);
3260 /* Global functions were ignored here, but now they
3261 are put into the global psymtab like one would
3262 expect. They're also in the minimal symbol
3267 int name_len = p - namestring;
3268 char *name = (char *) xmalloc (name_len + 1);
3270 memcpy (name, namestring, name_len);
3271 name[name_len] = '\0';
3272 function_outside_compilation_unit_complaint (name);
3275 sh.value += ANOFFSET (objfile->section_offsets,
3276 SECT_OFF_TEXT (objfile));
3277 add_psymbol_to_list (namestring, p - namestring, 1,
3278 VAR_DOMAIN, LOC_BLOCK,
3279 &objfile->global_psymbols,
3281 psymtab_language, objfile);
3284 /* Two things show up here (hopefully); static
3285 symbols of local scope (static used inside
3286 braces) or extensions of structure symbols. We
3301 case '#': /* For symbol identification (used
3306 /* It is a C++ nested symbol. We don't need to
3307 record it (I don't think); if we try to look up
3308 foo::bar::baz, then symbols for the symtab
3309 containing foo should get read in, I think. */
3310 /* Someone says sun cc puts out symbols like
3311 /foo/baz/maclib::/usr/local/bin/maclib,
3312 which would get here with a symbol type of ':'. */
3316 /* Unexpected symbol descriptor. The second and
3317 subsequent stabs of a continued stab can show up
3318 here. The question is whether they ever can
3319 mimic a normal stab--it would be nice if not,
3320 since we certainly don't want to spend the time
3321 searching to the end of every string looking for
3324 complaint (&symfile_complaints,
3325 _("unknown symbol descriptor `%c'"), p[1]);
3327 /* Ignore it; perhaps it is an extension that we don't
3336 /* Solaris 2 end of module, finish current partial
3337 symbol table. dbx_end_psymtab will set
3338 pst->texthigh to the proper value, which is
3339 necessary if a module compiled without
3340 debugging info follows this module. */
3342 && gdbarch_sofun_address_maybe_missing (gdbarch))
3344 pst = (struct partial_symtab *) 0;
3346 dependencies_used = 0;
3351 if (sh.value > save_pst->texthigh)
3352 save_pst->texthigh = sh.value;
3357 case N_SSYM: /* Claim: Structure or union
3358 element. Hopefully, I can
3360 case N_ENTRY: /* Alternate entry point; can
3362 case N_MAIN: /* Can definitely ignore this. */
3363 case N_CATCH: /* These are GNU C++ extensions. */
3364 case N_EHDECL: /* that can safely be ignored here. */
3374 case N_NSYMS: /* Ultrix 4.0: symbol count */
3375 case N_DEFD: /* GNU Modula-2 */
3376 case N_ALIAS: /* SunPro F77: alias name, ignore
3379 case N_OBJ: /* Useless types from Solaris. */
3381 /* These symbols aren't interesting; don't worry about
3387 /* If we haven't found it yet, ignore it. It's
3388 probably some new type we don't know about yet. */
3389 complaint (&symfile_complaints,
3390 _("unknown symbol type %s"),
3391 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3395 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3398 /* end - Handle continuation */
3403 for (cur_sdx = 0; cur_sdx < fh->csym;)
3406 enum address_class theclass;
3407 CORE_ADDR minsym_value;
3409 (*swap_sym_in) (cur_bfd,
3410 ((char *) debug_info->external_sym
3411 + ((fh->isymBase + cur_sdx)
3412 * external_sym_size)),
3415 if (ECOFF_IS_STAB (&sh))
3421 /* Non absolute static symbols go into the minimal table. */
3422 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3423 || (sh.index == indexNil
3424 && (sh.st != stStatic || sh.sc == scAbs)))
3426 /* FIXME, premature? */
3431 name = debug_info->ss + fh->issBase + sh.iss;
3433 minsym_value = sh.value;
3439 /* The value of a stEnd symbol is the displacement from the
3440 corresponding start symbol value, do not relocate it. */
3442 sh.value += ANOFFSET (objfile->section_offsets,
3443 SECT_OFF_TEXT (objfile));
3450 sh.value += ANOFFSET (objfile->section_offsets,
3451 SECT_OFF_DATA (objfile));
3455 sh.value += ANOFFSET (objfile->section_offsets,
3456 SECT_OFF_BSS (objfile));
3467 reader.record_with_info (name, minsym_value,
3469 SECT_OFF_TEXT (objfile));
3474 /* Ignore all parameter symbol records. */
3475 if (sh.index >= hdr->iauxMax)
3477 /* Should not happen, but does when cross-compiling
3478 with the MIPS compiler. FIXME -- pull later. */
3479 index_complaint (name);
3480 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3483 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3484 (debug_info->external_aux
3488 if (new_sdx <= cur_sdx)
3490 /* This should not happen either... FIXME. */
3491 complaint (&symfile_complaints,
3492 _("bad proc end in aux found from symbol %s"),
3494 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3497 /* For stProc symbol records, we need to check the
3498 storage class as well, as only (stProc, scText)
3499 entries represent "real" procedures - See the
3500 Compaq document titled "Object File / Symbol Table
3501 Format Specification" for more information. If the
3502 storage class is not scText, we discard the whole
3503 block of symbol records for this stProc. */
3504 if (sh.st == stProc && sh.sc != scText)
3507 /* Usually there is a local and a global stProc symbol
3508 for a function. This means that the function name
3509 has already been entered into the mimimal symbol table
3510 while processing the global symbols in pass 2 above.
3511 One notable exception is the PROGRAM name from
3512 f77 compiled executables, it is only put out as
3513 local stProc symbol, and a global MAIN__ stProc symbol
3514 points to it. It doesn't matter though, as gdb is
3515 still able to find the PROGRAM name via the partial
3516 symbol table, and the MAIN__ symbol via the minimal
3518 if (sh.st == stProc)
3519 add_psymbol_to_list (name, strlen (name), 1,
3520 VAR_DOMAIN, LOC_BLOCK,
3521 &objfile->global_psymbols,
3522 sh.value, psymtab_language, objfile);
3524 add_psymbol_to_list (name, strlen (name), 1,
3525 VAR_DOMAIN, LOC_BLOCK,
3526 &objfile->static_psymbols,
3527 sh.value, psymtab_language, objfile);
3529 procaddr = sh.value;
3532 (*swap_sym_in) (cur_bfd,
3533 ((char *) debug_info->external_sym
3534 + ((fh->isymBase + cur_sdx - 1)
3535 * external_sym_size)),
3540 /* Kludge for Irix 5.2 zero fh->adr. */
3542 && (pst->textlow == 0 || procaddr < pst->textlow))
3543 pst->textlow = procaddr;
3545 high = procaddr + sh.value;
3546 if (high > pst->texthigh)
3547 pst->texthigh = high;
3550 case stStatic: /* Variable */
3551 if (SC_IS_DATA (sh.sc))
3552 reader.record_with_info (name, minsym_value,
3554 SECT_OFF_DATA (objfile));
3556 reader.record_with_info (name, minsym_value,
3558 SECT_OFF_BSS (objfile));
3559 theclass = LOC_STATIC;
3562 case stIndirect: /* Irix5 forward declaration */
3563 /* Skip forward declarations from Irix5 cc. */
3566 case stTypedef: /* Typedef */
3567 /* Skip typedefs for forward declarations and opaque
3568 structs from alpha and mips cc. */
3569 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3571 theclass = LOC_TYPEDEF;
3574 case stConstant: /* Constant decl */
3575 theclass = LOC_CONST;
3581 case stBlock: /* { }, str, un, enum */
3582 /* Do not create a partial symbol for cc unnamed aggregates
3583 and gcc empty aggregates. */
3584 if ((sh.sc == scInfo
3585 || SC_IS_COMMON (sh.sc))
3587 && sh.index != cur_sdx + 2)
3589 add_psymbol_to_list (name, strlen (name), 1,
3590 STRUCT_DOMAIN, LOC_TYPEDEF,
3591 &objfile->static_psymbols,
3592 0, psymtab_language, objfile);
3594 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3596 /* Skip over the block. */
3598 if (new_sdx <= cur_sdx)
3600 /* This happens with the Ultrix kernel. */
3601 complaint (&symfile_complaints,
3602 _("bad aux index at block symbol %s"), name);
3603 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3608 case stFile: /* File headers */
3609 case stLabel: /* Labels */
3610 case stEnd: /* Ends of files */
3613 case stLocal: /* Local variables */
3614 /* Normally these are skipped because we skip over
3615 all blocks we see. However, these can occur
3616 as visible symbols in a .h file that contains code. */
3620 /* Both complaints are valid: one gives symbol name,
3621 the other the offending symbol type. */
3622 complaint (&symfile_complaints, _("unknown local symbol %s"),
3624 complaint (&symfile_complaints, _("with type %d"), sh.st);
3628 /* Use this gdb symbol. */
3629 add_psymbol_to_list (name, strlen (name), 1,
3630 VAR_DOMAIN, theclass,
3631 &objfile->static_psymbols,
3632 sh.value, psymtab_language, objfile);
3634 cur_sdx++; /* Go to next file symbol. */
3637 /* Now do enter the external symbols. */
3638 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3639 cur_sdx = fdr_to_pst[f_idx].n_globals;
3640 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3641 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3642 for (; --cur_sdx >= 0; ext_ptr++)
3644 enum address_class theclass;
3649 if (ext_ptr->ifd != f_idx)
3650 internal_error (__FILE__, __LINE__,
3651 _("failed internal consistency check"));
3652 psh = &ext_ptr->asym;
3654 /* Do not add undefined symbols to the partial symbol table. */
3655 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3658 svalue = psh->value;
3663 svalue += ANOFFSET (objfile->section_offsets,
3664 SECT_OFF_TEXT (objfile));
3671 svalue += ANOFFSET (objfile->section_offsets,
3672 SECT_OFF_DATA (objfile));
3676 svalue += ANOFFSET (objfile->section_offsets,
3677 SECT_OFF_BSS (objfile));
3684 /* These are generated for static symbols in .o files,
3689 /* External procedure symbols have been entered
3690 into the minimal symbol table in pass 2 above.
3691 Ignore them, as parse_external will ignore them too. */
3694 theclass = LOC_LABEL;
3697 unknown_ext_complaint (debug_info->ssext + psh->iss);
3698 /* Pretend it's global. */
3701 /* Global common symbols are resolved by the runtime loader,
3703 if (SC_IS_COMMON (psh->sc))
3706 theclass = LOC_STATIC;
3709 name = debug_info->ssext + psh->iss;
3710 add_psymbol_to_list (name, strlen (name), 1,
3711 VAR_DOMAIN, theclass,
3712 &objfile->global_psymbols,
3713 svalue, psymtab_language, objfile);
3717 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3718 empty and put on the free list. */
3719 fdr_to_pst[f_idx].pst
3720 = dbx_end_psymtab (objfile, save_pst,
3721 psymtab_include_list, includes_used,
3722 -1, save_pst->texthigh,
3723 dependency_list, dependencies_used,
3726 dependencies_used = 0;
3728 /* The objfile has its functions reordered if this partial symbol
3729 table overlaps any other partial symbol table.
3730 We cannot assume a reordered objfile if a partial symbol table
3731 is contained within another partial symbol table, as partial symbol
3732 tables for include files with executable code are contained
3733 within the partial symbol table for the including source file,
3734 and we do not want to flag the objfile reordered for these cases.
3736 This strategy works well for Irix-5.2 shared libraries, but we
3737 might have to use a more elaborate (and slower) algorithm for
3739 save_pst = fdr_to_pst[f_idx].pst;
3740 if (save_pst != NULL
3741 && save_pst->textlow != 0
3742 && !(objfile->flags & OBJF_REORDERED))
3744 ALL_OBJFILE_PSYMTABS (objfile, pst)
3747 && save_pst->textlow >= pst->textlow
3748 && save_pst->textlow < pst->texthigh
3749 && save_pst->texthigh > pst->texthigh)
3751 objfile->flags |= OBJF_REORDERED;
3758 /* Now scan the FDRs for dependencies. */
3759 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3761 fh = f_idx + debug_info->fdr;
3762 pst = fdr_to_pst[f_idx].pst;
3764 if (pst == (struct partial_symtab *) NULL)
3767 /* This should catch stabs-in-ecoff. */
3771 /* Skip the first file indirect entry as it is a self dependency for
3772 source files or a reverse .h -> .c dependency for header files. */
3773 pst->number_of_dependencies = 0;
3775 ((struct partial_symtab **)
3776 obstack_alloc (&objfile->objfile_obstack,
3778 * sizeof (struct partial_symtab *))));
3779 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3783 (*swap_rfd_in) (cur_bfd,
3784 ((char *) debug_info->external_rfd
3785 + (fh->rfdBase + s_idx) * external_rfd_size),
3787 if (rh < 0 || rh >= hdr->ifdMax)
3789 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3793 /* Skip self dependencies of header files. */
3797 /* Do not add to dependeny list if psymtab was empty. */
3798 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3800 pst->dependencies[pst->number_of_dependencies++]
3801 = fdr_to_pst[rh].pst;
3805 /* Remove the dummy psymtab created for -O3 images above, if it is
3806 still empty, to enable the detection of stripped executables. */
3807 if (objfile->psymtabs->next == NULL
3808 && objfile->psymtabs->number_of_dependencies == 0
3809 && objfile->psymtabs->n_global_syms == 0
3810 && objfile->psymtabs->n_static_syms == 0)
3811 objfile->psymtabs = NULL;
3814 /* If the current psymbol has an enumerated type, we need to add
3815 all the enum constants to the partial symbol table. */
3818 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3821 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3822 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3823 char *ext_sym = ((char *) debug_info->external_sym
3824 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3834 /* It is an enumerated type if the next symbol entry is a stMember
3835 and its auxiliary index is indexNil or its auxiliary entry
3836 is a plain btNil or btVoid.
3837 Alpha cc -migrate enums are recognized by a zero index and
3838 a zero symbol value.
3839 DU 4.0 cc enums are recognized by a member type of btEnum without
3840 qualifiers and a zero symbol value. */
3841 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3842 if (sh.st != stMember)
3845 if (sh.index == indexNil
3846 || (sh.index == 0 && svalue == 0))
3848 (*debug_swap->swap_tir_in) (fh->fBigendian,
3849 &(debug_info->external_aux
3850 + fh->iauxBase + sh.index)->a_ti,
3852 if ((tir.bt != btNil
3854 && (tir.bt != btEnum || svalue != 0))
3855 || tir.tq0 != tqNil)
3867 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3868 if (sh.st != stMember)
3870 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3872 /* Note that the value doesn't matter for enum constants
3873 in psymtabs, just in symtabs. */
3874 add_psymbol_to_list (name, strlen (name), 1,
3875 VAR_DOMAIN, LOC_CONST,
3876 &objfile->static_psymbols,
3877 0, psymtab_language, objfile);
3878 ext_sym += external_sym_size;
3882 /* Get the next symbol. OBJFILE is unused. */
3885 mdebug_next_symbol_text (struct objfile *objfile)
3890 (*debug_swap->swap_sym_in) (cur_bfd,
3891 ((char *) debug_info->external_sym
3892 + ((cur_fdr->isymBase + cur_sdx)
3893 * debug_swap->external_sym_size)),
3895 return debug_info->ss + cur_fdr->issBase + sh.iss;
3898 /* Ancillary function to psymtab_to_symtab(). Does all the work
3899 for turning the partial symtab PST into a symtab, recurring
3900 first on all dependent psymtabs. The argument FILENAME is
3901 only passed so we can see in debug stack traces what file
3904 This function has a split personality, based on whether the
3905 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3906 The flow of control and even the memory allocation differs. FIXME. */
3909 psymtab_to_symtab_1 (struct objfile *objfile,
3910 struct partial_symtab *pst, const char *filename)
3912 bfd_size_type external_sym_size;
3913 bfd_size_type external_pdr_size;
3914 void (*swap_sym_in) (bfd *, void *, SYMR *);
3915 void (*swap_pdr_in) (bfd *, void *, PDR *);
3917 struct compunit_symtab *cust = NULL;
3919 struct linetable *lines;
3920 CORE_ADDR lowest_pdr_addr = 0;
3921 int last_symtab_ended = 0;
3922 struct section_offsets *section_offsets = objfile->section_offsets;
3928 /* Read in all partial symbtabs on which this one is dependent.
3929 NOTE that we do have circular dependencies, sigh. We solved
3930 that by setting pst->readin before this point. */
3932 for (i = 0; i < pst->number_of_dependencies; i++)
3933 if (!pst->dependencies[i]->readin)
3935 /* Inform about additional files to be read in. */
3938 fputs_filtered (" ", gdb_stdout);
3940 fputs_filtered ("and ", gdb_stdout);
3942 printf_filtered ("%s...",
3943 pst->dependencies[i]->filename);
3944 wrap_here (""); /* Flush output */
3945 gdb_flush (gdb_stdout);
3947 /* We only pass the filename for debug purposes. */
3948 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3949 pst->dependencies[i]->filename);
3952 /* Do nothing if this is a dummy psymtab. */
3954 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3955 && pst->textlow == 0 && pst->texthigh == 0)
3958 /* Now read the symbols for this symtab. */
3960 cur_bfd = CUR_BFD (pst);
3961 debug_swap = DEBUG_SWAP (pst);
3962 debug_info = DEBUG_INFO (pst);
3963 pending_list = PENDING_LIST (pst);
3964 external_sym_size = debug_swap->external_sym_size;
3965 external_pdr_size = debug_swap->external_pdr_size;
3966 swap_sym_in = debug_swap->swap_sym_in;
3967 swap_pdr_in = debug_swap->swap_pdr_in;
3968 mdebugread_objfile = objfile;
3969 cur_fd = FDR_IDX (pst);
3970 fh = ((cur_fd == -1)
3972 : debug_info->fdr + cur_fd);
3975 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3976 processing_gcc_compilation = 0;
3977 if (fh != (FDR *) NULL && fh->csym >= 2)
3981 (*swap_sym_in) (cur_bfd,
3982 ((char *) debug_info->external_sym
3983 + (fh->isymBase + 1) * external_sym_size),
3985 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3988 /* We indicate that this is a GCC compilation so that certain
3989 features will be enabled in stabsread/dbxread. */
3990 processing_gcc_compilation = 2;
3994 if (processing_gcc_compilation != 0)
3996 struct gdbarch *gdbarch = get_objfile_arch (objfile);
3998 /* This symbol table contains stabs-in-ecoff entries. */
4000 /* Parse local symbols first. */
4002 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
4004 mdebugread_objfile = NULL;
4007 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
4013 (*swap_sym_in) (cur_bfd,
4014 (((char *) debug_info->external_sym)
4015 + (fh->isymBase + cur_sdx) * external_sym_size),
4017 name = debug_info->ss + fh->issBase + sh.iss;
4019 /* XXX This is a hack. It will go away! */
4020 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
4022 int type_code = ECOFF_UNMARK_STAB (sh.index);
4023 enum language language = PST_PRIVATE (pst)->pst_language;
4025 /* We should never get non N_STAB symbols here, but they
4026 should be harmless, so keep process_one_symbol from
4027 complaining about them. */
4028 if (type_code & N_STAB)
4030 /* If we found a trailing N_SO with no name, process
4031 it here instead of in process_one_symbol, so we
4032 can keep a handle to its symtab. The symtab
4033 would otherwise be ended twice, once in
4034 process_one_symbol, and once after this loop. */
4035 if (type_code == N_SO
4036 && get_last_source_file ()
4037 && previous_stab_code != (unsigned char) N_SO
4040 valu += ANOFFSET (section_offsets,
4041 SECT_OFF_TEXT (objfile));
4042 previous_stab_code = N_SO;
4043 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
4045 last_symtab_ended = 1;
4049 last_symtab_ended = 0;
4050 process_one_symbol (type_code, 0, valu, name,
4051 section_offsets, objfile, language);
4054 /* Similarly a hack. */
4055 else if (name[0] == '#')
4057 process_one_symbol (N_SLINE, 0, valu, name,
4058 section_offsets, objfile, language);
4060 if (type_code == N_FUN)
4062 /* Make up special symbol to contain
4063 procedure specific info. */
4064 struct mdebug_extra_func_info *e =
4065 ((struct mdebug_extra_func_info *)
4066 obstack_alloc (&mdebugread_objfile->objfile_obstack,
4067 sizeof (struct mdebug_extra_func_info)));
4068 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4070 memset (e, 0, sizeof (struct mdebug_extra_func_info));
4071 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4072 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4073 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4074 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4075 e->pdr.framereg = -1;
4076 add_symbol_to_list (s, &local_symbols);
4079 else if (sh.st == stLabel)
4081 if (sh.index == indexNil)
4083 /* This is what the gcc2_compiled and __gnu_compiled_*
4084 show up as. So don't complain. */
4089 /* Handle encoded stab line number. */
4090 valu += ANOFFSET (section_offsets,
4091 SECT_OFF_TEXT (objfile));
4092 record_line (current_subfile, sh.index,
4093 gdbarch_addr_bits_remove (gdbarch, valu));
4096 else if (sh.st == stProc || sh.st == stStaticProc
4097 || sh.st == stStatic || sh.st == stEnd)
4098 /* These are generated by gcc-2.x, do not complain. */
4101 complaint (&symfile_complaints,
4102 _("unknown stabs symbol %s"), name);
4105 if (! last_symtab_ended)
4107 cust = end_symtab (pst->texthigh, SECT_OFF_TEXT (objfile));
4111 /* There used to be a call to sort_blocks here, but this should not
4112 be necessary for stabs symtabs. And as sort_blocks modifies the
4113 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4114 it did the wrong thing if the first procedure in a file was
4115 generated via asm statements. */
4117 /* Fill in procedure info next. */
4125 gdb::def_vector<PDR> pr_block (fh->cpd);
4127 pdr_ptr = ((char *) debug_info->external_pdr
4128 + fh->ipdFirst * external_pdr_size);
4129 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4130 pdr_in = pr_block.data ();
4133 pdr_ptr += external_pdr_size, pdr_in++)
4135 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4137 /* Determine lowest PDR address, the PDRs are not always
4139 if (pdr_in == pr_block.data ())
4140 lowest_pdr_addr = pdr_in->adr;
4141 else if (pdr_in->adr < lowest_pdr_addr)
4142 lowest_pdr_addr = pdr_in->adr;
4145 pdr_in = pr_block.data ();
4146 pdr_in_end = pdr_in + fh->cpd;
4147 for (; pdr_in < pdr_in_end; pdr_in++)
4148 parse_procedure (pdr_in, cust, pst);
4153 /* This symbol table contains ordinary ecoff entries. */
4161 cust = new_symtab ("unknown", 0, objfile);
4165 maxlines = 2 * fh->cline;
4166 cust = new_symtab (pst->filename, maxlines, objfile);
4168 /* The proper language was already determined when building
4169 the psymtab, use it. */
4170 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4173 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4175 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4177 /* Get a new lexical context. */
4179 push_parse_stack ();
4180 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4181 top_stack->cur_block
4182 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4183 BLOCK_START (top_stack->cur_block) = pst->textlow;
4184 BLOCK_END (top_stack->cur_block) = 0;
4185 top_stack->blocktype = stFile;
4186 top_stack->cur_type = 0;
4187 top_stack->procadr = 0;
4188 top_stack->numargs = 0;
4189 found_ecoff_debugging_info = 0;
4196 /* Parse local symbols first. */
4197 sym_ptr = ((char *) debug_info->external_sym
4198 + fh->isymBase * external_sym_size);
4199 sym_end = sym_ptr + fh->csym * external_sym_size;
4200 while (sym_ptr < sym_end)
4205 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4206 c = parse_symbol (&sh,
4207 debug_info->external_aux + fh->iauxBase,
4208 sym_ptr, fh->fBigendian,
4209 section_offsets, objfile);
4210 sym_ptr += c * external_sym_size;
4213 /* Linenumbers. At the end, check if we can save memory.
4214 parse_lines has to look ahead an arbitrary number of PDR
4215 structures, so we swap them all first. */
4223 gdb::def_vector<PDR> pr_block (fh->cpd);
4225 pdr_ptr = ((char *) debug_info->external_pdr
4226 + fh->ipdFirst * external_pdr_size);
4227 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4228 pdr_in = pr_block.data ();
4231 pdr_ptr += external_pdr_size, pdr_in++)
4233 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4235 /* Determine lowest PDR address, the PDRs are not always
4237 if (pdr_in == pr_block.data ())
4238 lowest_pdr_addr = pdr_in->adr;
4239 else if (pdr_in->adr < lowest_pdr_addr)
4240 lowest_pdr_addr = pdr_in->adr;
4243 parse_lines (fh, pr_block.data (), lines, maxlines,
4244 pst, lowest_pdr_addr);
4245 if (lines->nitems < fh->cline)
4246 lines = shrink_linetable (lines);
4248 /* Fill in procedure info next. */
4249 pdr_in = pr_block.data ();
4250 pdr_in_end = pdr_in + fh->cpd;
4251 for (; pdr_in < pdr_in_end; pdr_in++)
4252 parse_procedure (pdr_in, NULL, pst);
4256 size = lines->nitems;
4259 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4260 = ((struct linetable *)
4261 obstack_copy (&mdebugread_objfile->objfile_obstack,
4262 lines, (sizeof (struct linetable)
4263 + size * sizeof (lines->item))));
4266 /* .. and our share of externals.
4267 XXX use the global list to speed up things here. How?
4268 FIXME, Maybe quit once we have found the right number of ext's? */
4269 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4270 top_stack->cur_block
4271 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4273 top_stack->blocktype = stFile;
4275 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4276 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4277 parse_external (ext_ptr, fh->fBigendian,
4278 section_offsets, objfile);
4280 /* If there are undefined symbols, tell the user.
4281 The alpha has an undefined symbol for every symbol that is
4282 from a shared library, so tell the user only if verbose is on. */
4283 if (info_verbose && n_undef_symbols)
4285 printf_filtered (_("File %s contains %d unresolved references:"),
4286 symtab_to_filename_for_display
4287 (COMPUNIT_FILETABS (cust)),
4289 printf_filtered ("\n\t%4d variables\n\t%4d "
4290 "procedures\n\t%4d labels\n",
4291 n_undef_vars, n_undef_procs, n_undef_labels);
4292 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4297 sort_blocks (COMPUNIT_FILETABS (cust));
4300 /* Now link the psymtab and the symtab. */
4301 pst->compunit_symtab = cust;
4303 mdebugread_objfile = NULL;
4306 /* Ancillary parsing procedures. */
4308 /* Return 1 if the symbol pointed to by SH has a cross reference
4309 to an opaque aggregate type, else 0. */
4312 has_opaque_xref (FDR *fh, SYMR *sh)
4319 if (sh->index == indexNil)
4322 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4323 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4324 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4328 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4329 if (rn->rfd == 0xfff)
4330 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4338 /* Lookup the type at relative index RN. Return it in TPP
4339 if found and in any event come up with its name PNAME.
4340 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4341 Return value says how many aux symbols we ate. */
4344 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4345 enum type_code type_code,
4346 /* Use to alloc new type if none is found. */
4347 const char **pname, int bigend, const char *sym_name)
4356 struct mdebug_pending *pend;
4360 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4362 /* Escape index means 'the next one'. */
4363 if (rn->rfd == 0xfff)
4366 rf = AUX_GET_ISYM (bigend, ax + 1);
4373 /* mips cc uses a rf of -1 for opaque struct definitions.
4374 Set TYPE_STUB for these types so that check_typedef will
4375 resolve them if the struct gets defined in another compilation unit. */
4378 *pname = "<undefined>";
4379 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4380 TYPE_STUB (*tpp) = 1;
4384 /* mips cc uses an escaped rn->index of 0 for struct return types
4385 of procedures that were compiled without -g. These will always remain
4387 if (rn->rfd == 0xfff && rn->index == 0)
4389 *pname = "<undefined>";
4393 /* Find the relative file descriptor and the symbol in it. */
4394 fh = get_rfd (fd, rf);
4395 xref_fd = fh - debug_info->fdr;
4397 if (rn->index >= fh->csym)
4399 /* File indirect entry is corrupt. */
4400 *pname = "<illegal>";
4401 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4405 /* If we have processed this symbol then we left a forwarding
4406 pointer to the type in the pending list. If not, we`ll put
4407 it in a list of pending types, to be processed later when
4408 the file will be. In any event, we collect the name for the
4411 esh = ((char *) debug_info->external_sym
4412 + ((fh->isymBase + rn->index)
4413 * debug_swap->external_sym_size));
4414 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4416 /* Make sure that this type of cross reference can be handled. */
4417 if ((sh.sc != scInfo
4418 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4419 && sh.st != stStruct && sh.st != stUnion
4420 && sh.st != stEnum))
4421 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4423 /* File indirect entry is corrupt. */
4424 *pname = "<illegal>";
4425 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4429 *pname = debug_info->ss + fh->issBase + sh.iss;
4431 pend = is_pending_symbol (fh, esh);
4436 /* We have not yet seen this type. */
4438 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4442 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4444 a) forward declarations of structs/unions/enums which are not
4445 defined in this compilation unit.
4446 For these the type will be void. This is a bad design decision
4447 as cross referencing across compilation units is impossible
4448 due to the missing name.
4449 b) forward declarations of structs/unions/enums/typedefs which
4450 are defined later in this file or in another file in the same
4451 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4452 Simply cross reference those again to get the true type.
4453 The forward references are not entered in the pending list and
4454 in the symbol table. */
4456 (*debug_swap->swap_tir_in) (bigend,
4457 &(debug_info->external_aux
4458 + fh->iauxBase + sh.index)->a_ti,
4460 if (tir.tq0 != tqNil)
4461 complaint (&symfile_complaints,
4462 _("illegal tq0 in forward typedef for %s"), sym_name);
4466 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4467 *pname = "<undefined>";
4474 (debug_info->external_aux
4475 + fh->iauxBase + sh.index + 1),
4476 tpp, type_code, pname,
4477 fh->fBigendian, sym_name);
4481 /* Follow a forward typedef. This might recursively
4482 call cross_ref till we get a non typedef'ed type.
4483 FIXME: This is not correct behaviour, but gdb currently
4484 cannot handle typedefs without type copying. Type
4485 copying is impossible as we might have mutual forward
4486 references between two files and the copied type would not
4487 get filled in when we later parse its definition. */
4488 *tpp = parse_type (xref_fd,
4489 debug_info->external_aux + fh->iauxBase,
4493 debug_info->ss + fh->issBase + sh.iss);
4494 add_pending (fh, esh, *tpp);
4498 complaint (&symfile_complaints,
4499 _("illegal bt %d in forward typedef for %s"), tir.bt,
4501 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4506 else if (sh.st == stTypedef)
4508 /* Parse the type for a normal typedef. This might recursively call
4509 cross_ref till we get a non typedef'ed type.
4510 FIXME: This is not correct behaviour, but gdb currently
4511 cannot handle typedefs without type copying. But type copying is
4512 impossible as we might have mutual forward references between
4513 two files and the copied type would not get filled in when
4514 we later parse its definition. */
4515 *tpp = parse_type (xref_fd,
4516 debug_info->external_aux + fh->iauxBase,
4520 debug_info->ss + fh->issBase + sh.iss);
4524 /* Cross reference to a struct/union/enum which is defined
4525 in another file in the same compilation unit but that file
4526 has not been parsed yet.
4527 Initialize the type only, it will be filled in when
4528 it's definition is parsed. */
4529 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4531 add_pending (fh, esh, *tpp);
4534 /* We used one auxent normally, two if we got a "next one" rf. */
4539 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4540 keeping the symtab sorted. */
4542 static struct symbol *
4543 mylookup_symbol (const char *name, const struct block *block,
4544 domain_enum domain, enum address_class theclass)
4546 struct block_iterator iter;
4551 ALL_BLOCK_SYMBOLS (block, iter, sym)
4553 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4554 && SYMBOL_DOMAIN (sym) == domain
4555 && SYMBOL_CLASS (sym) == theclass
4556 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4560 block = BLOCK_SUPERBLOCK (block);
4562 return mylookup_symbol (name, block, domain, theclass);
4567 /* Add a new symbol S to a block B. */
4570 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4572 symbol_set_symtab (s, symtab);
4573 dict_add_symbol (BLOCK_DICT (b), s);
4576 /* Add a new block B to a symtab S. */
4579 add_block (struct block *b, struct symtab *s)
4581 /* Cast away "const", but that's ok because we're building the
4582 symtab and blockvector here. */
4583 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4585 bv = (struct blockvector *) xrealloc ((void *) bv,
4586 (sizeof (struct blockvector)
4587 + BLOCKVECTOR_NBLOCKS (bv)
4588 * sizeof (bv->block)));
4589 if (bv != SYMTAB_BLOCKVECTOR (s))
4590 SYMTAB_BLOCKVECTOR (s) = bv;
4592 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4595 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4596 MIPS' linenumber encoding might need more than one byte
4597 to describe it, LAST is used to detect these continuation lines.
4599 Combining lines with the same line number seems like a bad idea.
4600 E.g: There could be a line number entry with the same line number after the
4601 prologue and GDB should not ignore it (this is a better way to find
4602 a prologue than mips_skip_prologue).
4603 But due to the compressed line table format there are line number entries
4604 for the same line which are needed to bridge the gap to the next
4605 line number entry. These entries have a bogus address info with them
4606 and we are unable to tell them from intended duplicate line number
4608 This is another reason why -ggdb debugging format is preferable. */
4611 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4613 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4614 Change them to something sensible. */
4618 last = -2; /* Make sure we record first line. */
4620 if (last == lineno) /* Skip continuation lines. */
4623 lt->item[lt->nitems].line = lineno;
4624 lt->item[lt->nitems++].pc = adr << 2;
4628 /* Sorting and reordering procedures. */
4630 /* Blocks with a smaller low bound should come first. */
4633 compare_blocks (const void *arg1, const void *arg2)
4636 struct block **b1 = (struct block **) arg1;
4637 struct block **b2 = (struct block **) arg2;
4639 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4641 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4645 /* Sort the blocks of a symtab S.
4646 Reorder the blocks in the blockvector by code-address,
4647 as required by some MI search routines. */
4650 sort_blocks (struct symtab *s)
4652 /* We have to cast away const here, but this is ok because we're
4653 constructing the blockvector in this code. */
4654 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4656 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4659 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4660 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4661 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4662 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4666 * This is very unfortunate: normally all functions are compiled in
4667 * the order they are found, but if the file is compiled -O3 things
4668 * are very different. It would be nice to find a reliable test
4669 * to detect -O3 images in advance.
4671 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4672 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4673 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4674 sizeof (struct block *),
4679 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4681 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4682 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4683 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4684 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4687 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4688 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4690 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4691 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4692 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4693 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4697 /* Constructor/restructor/destructor procedures. */
4699 /* Allocate a new symtab for NAME. Needs an estimate of how many
4700 linenumbers MAXLINES we'll put in it. */
4702 static struct compunit_symtab *
4703 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4705 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4706 struct symtab *symtab;
4707 struct blockvector *bv;
4710 add_compunit_symtab_to_objfile (cust);
4711 symtab = allocate_symtab (cust, name);
4713 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4714 lang = compunit_language (cust);
4716 /* All symtabs must have at least two blocks. */
4718 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4719 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4720 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4721 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4722 COMPUNIT_BLOCKVECTOR (cust) = bv;
4724 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4728 /* Allocate a new partial_symtab NAME. */
4730 static struct partial_symtab *
4731 new_psymtab (const char *name, struct objfile *objfile)
4733 struct partial_symtab *psymtab;
4735 psymtab = allocate_psymtab (name, objfile);
4737 /* Keep a backpointer to the file's symbols. */
4739 psymtab->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
4740 sizeof (struct symloc));
4741 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4742 CUR_BFD (psymtab) = cur_bfd;
4743 DEBUG_SWAP (psymtab) = debug_swap;
4744 DEBUG_INFO (psymtab) = debug_info;
4745 PENDING_LIST (psymtab) = pending_list;
4747 /* The way to turn this into a symtab is to call... */
4748 psymtab->read_symtab = mdebug_read_symtab;
4753 /* Allocate a linetable array of the given SIZE. Since the struct
4754 already includes one item, we subtract one when calculating the
4755 proper size to allocate. */
4757 static struct linetable *
4758 new_linetable (int size)
4760 struct linetable *l;
4764 size = size * sizeof (l->item) + sizeof (struct linetable);
4765 l = (struct linetable *) xmalloc (size);
4770 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4771 I am not so sure about the 3.4 ones.
4773 Since the struct linetable already includes one item, we subtract one when
4774 calculating the proper size to allocate. */
4776 static struct linetable *
4777 shrink_linetable (struct linetable *lt)
4779 return (struct linetable *) xrealloc ((void *) lt,
4780 (sizeof (struct linetable)
4782 * sizeof (lt->item))));
4785 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4787 static struct blockvector *
4788 new_bvect (int nblocks)
4790 struct blockvector *bv;
4793 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4794 bv = (struct blockvector *) xzalloc (size);
4796 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4801 /* Allocate and zero a new block of language LANGUAGE, and set its
4802 BLOCK_DICT. If function is non-zero, assume the block is
4803 associated to a function, and make sure that the symbols are stored
4804 linearly; otherwise, store them hashed. */
4806 static struct block *
4807 new_block (enum block_type type, enum language language)
4809 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4810 allocate the block. Which, in turn, suggests that the block
4811 should be allocated on an obstack. */
4812 struct block *retval = XCNEW (struct block);
4814 if (type == FUNCTION_BLOCK)
4815 BLOCK_DICT (retval) = dict_create_linear_expandable (language);
4817 BLOCK_DICT (retval) = dict_create_hashed_expandable (language);
4822 /* Create a new symbol with printname NAME. */
4824 static struct symbol *
4825 new_symbol (const char *name)
4827 struct symbol *s = allocate_symbol (mdebugread_objfile);
4829 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4830 &mdebugread_objfile->objfile_obstack);
4831 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4835 /* Create a new type with printname NAME. */
4837 static struct type *
4838 new_type (char *name)
4842 t = alloc_type (mdebugread_objfile);
4843 TYPE_NAME (t) = name;
4844 INIT_CPLUS_SPECIFIC (t);
4848 /* Read ECOFF debugging information from a BFD section. This is
4849 called from elfread.c. It parses the section into a
4850 ecoff_debug_info struct, and then lets the rest of the file handle
4854 elfmdebug_build_psymtabs (struct objfile *objfile,
4855 const struct ecoff_debug_swap *swap, asection *sec)
4857 bfd *abfd = objfile->obfd;
4858 struct ecoff_debug_info *info;
4860 /* FIXME: It's not clear whether we should be getting minimal symbol
4861 information from .mdebug in an ELF file, or whether we will.
4862 Re-initialize the minimal symbol reader in case we do. */
4864 minimal_symbol_reader reader (objfile);
4866 info = ((struct ecoff_debug_info *)
4867 obstack_alloc (&objfile->objfile_obstack,
4868 sizeof (struct ecoff_debug_info)));
4870 if (!(*swap->read_debug_info) (abfd, sec, info))
4871 error (_("Error reading ECOFF debugging information: %s"),
4872 bfd_errmsg (bfd_get_error ()));
4874 mdebug_build_psymtabs (reader, objfile, swap, info);
4880 _initialize_mdebugread (void)
4882 basic_type_data = register_objfile_data ();
4884 mdebug_register_index
4885 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4886 mdebug_regparm_index
4887 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);