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"
49 #include "buildsym-legacy.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 (_("bad aux index at symbol %s"), arg1);
132 unknown_ext_complaint (const char *arg1)
134 complaint (_("unknown external symbol %s"), arg1);
138 basic_type_complaint (int arg1, const char *arg2)
140 complaint (_("cannot map ECOFF basic type 0x%x for %s"),
145 bad_tag_guess_complaint (const char *arg1)
147 complaint (_("guessed tag type of %s incorrectly"), arg1);
151 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
153 complaint (_("bad rfd entry for %s: file %d, index %d"),
158 unexpected_type_code_complaint (const char *arg1)
160 complaint (_("unexpected type code for %s"), arg1);
163 /* Macros and extra defs. */
165 /* Puns: hard to find whether -g was used and how. */
167 #define MIN_GLEVEL GLEVEL_0
168 #define compare_glevel(a,b) \
169 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
170 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
172 /* Things that really are local to this module. */
174 /* Remember what we deduced to be the source language of this psymtab. */
176 static enum language psymtab_language = language_unknown;
182 /* How to parse debugging information for CUR_BFD. */
184 static const struct ecoff_debug_swap *debug_swap;
186 /* Pointers to debugging information for CUR_BFD. */
188 static struct ecoff_debug_info *debug_info;
190 /* Pointer to current file decriptor record, and its index. */
195 /* Index of current symbol. */
199 /* Note how much "debuggable" this image is. We would like
200 to see at least one FDR with full symbols. */
202 static int max_gdbinfo;
203 static int max_glevel;
205 /* When examining .o files, report on undefined symbols. */
207 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
209 /* Pseudo symbol to use when putting stabs into the symbol table. */
211 static char stabs_symbol[] = STABS_SYMBOL;
213 /* Nonzero if we have seen ecoff debugging info for a file. */
215 static int found_ecoff_debugging_info;
217 /* Forward declarations. */
219 static int upgrade_type (int, struct type **, int, union aux_ext *,
222 static void parse_partial_symbols (minimal_symbol_reader &,
225 static int has_opaque_xref (FDR *, SYMR *);
227 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
228 const char **, int, const char *);
230 static struct symbol *new_symbol (const char *);
232 static struct type *new_type (char *);
234 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
236 static struct block *new_block (enum block_type, enum language);
238 static struct compunit_symtab *new_symtab (const char *, int, struct objfile *);
240 static struct linetable *new_linetable (int);
242 static struct blockvector *new_bvect (int);
244 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
247 static struct symbol *mylookup_symbol (const char *, const struct block *,
248 domain_enum, enum address_class);
250 static void sort_blocks (struct symtab *);
252 static struct partial_symtab *new_psymtab (const char *, struct objfile *);
254 static void psymtab_to_symtab_1 (struct objfile *objfile,
255 struct partial_symtab *, const char *);
257 static void add_block (struct block *, struct symtab *);
259 static void add_symbol (struct symbol *, struct symtab *, struct block *);
261 static int add_line (struct linetable *, int, CORE_ADDR, int);
263 static struct linetable *shrink_linetable (struct linetable *);
265 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
268 static const char *mdebug_next_symbol_text (struct objfile *);
270 /* Exported procedure: Builds a symtab from the partial symtab SELF.
271 Restores the environment in effect when SELF was created, delegates
272 most of the work to an ancillary procedure, and sorts
273 and reorders the symtab list at the end. SELF is not NULL. */
276 mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
280 printf_filtered (_("Reading in symbols for %s..."), self->filename);
281 gdb_flush (gdb_stdout);
284 next_symbol_text_func = mdebug_next_symbol_text;
286 psymtab_to_symtab_1 (objfile, self, self->filename);
288 /* Match with global symbols. This only needs to be done once,
289 after all of the symtabs and dependencies have been read in. */
290 scan_file_globals (objfile);
293 printf_filtered (_("done.\n"));
296 /* File-level interface functions. */
298 /* Find a file descriptor given its index RF relative to a file CF. */
301 get_rfd (int cf, int rf)
307 fdrs = debug_info->fdr;
309 /* Object files do not have the RFD table, all refs are absolute. */
312 (*debug_swap->swap_rfd_in) (cur_bfd,
313 ((char *) debug_info->external_rfd
315 * debug_swap->external_rfd_size)),
320 /* Return a safer print NAME for a file descriptor. */
326 return "<stripped file>";
329 return debug_info->ss + f->issBase + f->rss;
333 /* Read in and parse the symtab of the file OBJFILE. Symbols from
334 different sections are relocated via the SECTION_OFFSETS. */
337 mdebug_build_psymtabs (minimal_symbol_reader &reader,
338 struct objfile *objfile,
339 const struct ecoff_debug_swap *swap,
340 struct ecoff_debug_info *info)
342 cur_bfd = objfile->obfd;
346 stabsread_new_init ();
347 free_header_files ();
348 init_header_files ();
350 /* Make sure all the FDR information is swapped in. */
351 if (info->fdr == (FDR *) NULL)
357 info->fdr = (FDR *) XOBNEWVEC (&objfile->objfile_obstack, FDR,
358 info->symbolic_header.ifdMax);
359 fdr_src = (char *) info->external_fdr;
361 + info->symbolic_header.ifdMax * swap->external_fdr_size);
363 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
364 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
367 parse_partial_symbols (reader, objfile);
370 /* Check to make sure file was compiled with -g. If not, warn the
371 user of this limitation. */
372 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
374 if (max_gdbinfo == 0)
375 printf_unfiltered (_("\n%s not compiled with -g, "
376 "debugging support is limited.\n"),
378 printf_unfiltered (_("You should compile with -g2 or "
379 "-g3 for best debugging support.\n"));
380 gdb_flush (gdb_stdout);
385 /* Local utilities */
387 /* Map of FDR indexes to partial symtabs. */
391 struct partial_symtab *pst; /* the psymtab proper */
392 long n_globals; /* exported globals (external symbols) */
393 long globals_offset; /* cumulative */
397 /* Utility stack, used to nest procedures and blocks properly.
398 It is a doubly linked list, to avoid too many alloc/free.
399 Since we might need it quite a few times it is NOT deallocated
402 static struct parse_stack
404 struct parse_stack *next, *prev;
405 struct symtab *cur_st; /* Current symtab. */
406 struct block *cur_block; /* Block in it. */
408 /* What are we parsing. stFile, or stBlock are for files and
409 blocks. stProc or stStaticProc means we have seen the start of a
410 procedure, but not the start of the block within in. When we see
411 the start of that block, we change it to stNil, without pushing a
412 new block, i.e. stNil means both a procedure and a block. */
416 struct type *cur_type; /* Type we parse fields for. */
417 int cur_field; /* Field number in cur_type. */
418 CORE_ADDR procadr; /* Start addres of this procedure. */
419 int numargs; /* Its argument count. */
422 *top_stack; /* Top stack ptr */
425 /* Enter a new lexical context. */
428 push_parse_stack (void)
430 struct parse_stack *newobj;
432 /* Reuse frames if possible. */
433 if (top_stack && top_stack->prev)
434 newobj = top_stack->prev;
436 newobj = XCNEW (struct parse_stack);
437 /* Initialize new frame with previous content. */
440 struct parse_stack *prev = newobj->prev;
442 *newobj = *top_stack;
443 top_stack->prev = newobj;
445 newobj->next = top_stack;
450 /* Exit a lexical context. */
453 pop_parse_stack (void)
458 top_stack = top_stack->next;
462 /* Cross-references might be to things we haven't looked at
463 yet, e.g. type references. To avoid too many type
464 duplications we keep a quick fixup table, an array
465 of lists of references indexed by file descriptor. */
467 struct mdebug_pending
469 struct mdebug_pending *next; /* link */
470 char *s; /* the unswapped symbol */
471 struct type *t; /* its partial type descriptor */
475 /* The pending information is kept for an entire object file. We
476 allocate the pending information table when we create the partial
477 symbols, and we store a pointer to the single table in each
480 static struct mdebug_pending **pending_list;
482 /* Check whether we already saw symbol SH in file FH. */
484 static struct mdebug_pending *
485 is_pending_symbol (FDR *fh, char *sh)
487 int f_idx = fh - debug_info->fdr;
488 struct mdebug_pending *p;
490 /* Linear search is ok, list is typically no more than 10 deep. */
491 for (p = pending_list[f_idx]; p; p = p->next)
497 /* Add a new symbol SH of type T. */
500 add_pending (FDR *fh, char *sh, struct type *t)
502 int f_idx = fh - debug_info->fdr;
503 struct mdebug_pending *p = is_pending_symbol (fh, sh);
505 /* Make sure we do not make duplicates. */
508 p = XOBNEW (&mdebugread_objfile->objfile_obstack, mdebug_pending);
511 p->next = pending_list[f_idx];
512 pending_list[f_idx] = p;
517 /* Parsing Routines proper. */
520 reg_value_complaint (int regnum, int num_regs, const char *sym)
522 complaint (_("bad register number %d (max %d) in symbol %s"),
523 regnum, num_regs - 1, sym);
526 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
527 For blocks, procedures and types we open a new lexical context.
528 This is basically just a big switch on the symbol's type. Argument
529 AX is the base pointer of aux symbols for this file (fh->iauxBase).
530 EXT_SH points to the unswapped symbol, which is needed for struct,
531 union, etc., types; it is NULL for an EXTR. BIGEND says whether
532 aux symbols are big-endian or little-endian. Return count of
533 SYMR's handled (normally one). */
536 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
538 int regno = gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
541 || regno >= (gdbarch_num_regs (gdbarch)
542 + gdbarch_num_pseudo_regs (gdbarch)))
544 reg_value_complaint (regno,
545 gdbarch_num_regs (gdbarch)
546 + gdbarch_num_pseudo_regs (gdbarch),
547 SYMBOL_PRINT_NAME (sym));
549 regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless. */
555 static const struct symbol_register_ops mdebug_register_funcs = {
559 /* The "aclass" indices for computed symbols. */
561 static int mdebug_register_index;
562 static int mdebug_regparm_index;
564 /* Common code for symbols describing data. */
567 add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
568 struct symbol *s, int aclass_index, struct block *b,
569 struct objfile *objfile, const char *name)
571 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
572 SYMBOL_ACLASS_INDEX (s) = aclass_index;
573 add_symbol (s, top_stack->cur_st, b);
575 /* Type could be missing if file is compiled without debugging info. */
576 if (SC_IS_UNDEF (sh->sc)
577 || sh->sc == scNil || sh->index == indexNil)
578 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
580 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
581 /* Value of a data symbol is its memory address. */
585 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
586 struct section_offsets *section_offsets, struct objfile *objfile)
588 struct gdbarch *gdbarch = get_objfile_arch (objfile);
589 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
590 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
594 struct mdebug_pending *pend;
598 long svalue = sh->value;
601 if (ext_sh == (char *) NULL)
602 name = debug_info->ssext + sh->iss;
604 name = debug_info->ss + cur_fdr->issBase + sh->iss;
610 /* Do not relocate relative values.
611 The value of a stEnd symbol is the displacement from the
612 corresponding start symbol value.
613 The value of a stBlock symbol is the displacement from the
614 procedure address. */
615 if (sh->st != stEnd && sh->st != stBlock)
616 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
623 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
627 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
636 case stGlobal: /* External symbol, goes into global block. */
637 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
639 s = new_symbol (name);
640 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
641 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
644 case stStatic: /* Static data, goes into current block. */
645 b = top_stack->cur_block;
646 s = new_symbol (name);
647 if (SC_IS_COMMON (sh->sc))
649 /* It is a FORTRAN common block. At least for SGI Fortran the
650 address is not in the symbol; we need to fix it later in
651 scan_file_globals. */
652 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
653 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
654 global_sym_chain[bucket] = s;
657 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
658 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
661 case stLocal: /* Local variable, goes into current block. */
662 b = top_stack->cur_block;
663 s = new_symbol (name);
664 SYMBOL_VALUE (s) = svalue;
665 if (sh->sc == scRegister)
666 add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
669 add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
673 case stParam: /* Arg to procedure, goes into current
676 found_ecoff_debugging_info = 1;
677 top_stack->numargs++;
679 /* Special GNU C++ name. */
680 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
681 name = "this"; /* FIXME, not alloc'd in obstack. */
682 s = new_symbol (name);
684 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
685 SYMBOL_IS_ARGUMENT (s) = 1;
689 /* Pass by value in register. */
690 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
693 /* Pass by reference on stack. */
694 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
697 /* Pass by reference in register. */
698 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
701 /* Pass by value on stack. */
702 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
705 SYMBOL_VALUE (s) = svalue;
706 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
707 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
710 case stLabel: /* label, goes into current block. */
711 s = new_symbol (name);
712 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
713 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
714 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
715 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
716 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
719 case stProc: /* Procedure, usually goes into global block. */
720 case stStaticProc: /* Static procedure, goes into current block. */
721 /* For stProc symbol records, we need to check the storage class
722 as well, as only (stProc, scText) entries represent "real"
723 procedures - See the Compaq document titled "Object File /
724 Symbol Table Format Specification" for more information.
725 If the storage class is not scText, we discard the whole block
726 of symbol records for this stProc. */
727 if (sh->st == stProc && sh->sc != scText)
729 char *ext_tsym = ext_sh;
730 int keep_counting = 1;
733 while (keep_counting)
735 ext_tsym += external_sym_size;
736 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
746 complaint (_("unknown symbol type 0x%x"), sh->st);
752 s = new_symbol (name);
753 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
754 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
755 /* Type of the return value. */
756 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
757 t = objfile_type (objfile)->builtin_int;
760 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
761 if (strcmp (name, "malloc") == 0
762 && TYPE_CODE (t) == TYPE_CODE_VOID)
764 /* I don't know why, but, at least under Alpha GNU/Linux,
765 when linking against a malloc without debugging
766 symbols, its read as a function returning void---this
767 is bad because it means we cannot call functions with
768 string arguments interactively; i.e., "call
769 printf("howdy\n")" would fail with the error message
770 "program has no memory available". To avoid this, we
771 patch up the type and make it void*
772 instead. (davidm@azstarnet.com). */
773 t = make_pointer_type (t, NULL);
776 b = top_stack->cur_block;
777 if (sh->st == stProc)
779 const struct blockvector *bv
780 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
782 /* The next test should normally be true, but provides a
783 hook for nested functions (which we don't want to make
785 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
786 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
787 /* Irix 5 sometimes has duplicate names for the same
788 function. We want to add such names up at the global
789 level, not as a nested function. */
790 else if (sh->value == top_stack->procadr)
791 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
793 add_symbol (s, top_stack->cur_st, b);
795 /* Make a type for the procedure itself. */
796 SYMBOL_TYPE (s) = lookup_function_type (t);
798 /* All functions in C++ have prototypes. For C we don't have enough
799 information in the debug info. */
800 if (SYMBOL_LANGUAGE (s) == language_cplus)
801 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
803 /* Create and enter a new lexical context. */
804 b = new_block (FUNCTION_BLOCK, SYMBOL_LANGUAGE (s));
805 SYMBOL_BLOCK_VALUE (s) = b;
806 BLOCK_FUNCTION (b) = s;
807 BLOCK_START (b) = BLOCK_END (b) = sh->value;
808 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
809 add_block (b, top_stack->cur_st);
811 /* Not if we only have partial info. */
812 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
816 top_stack->cur_block = b;
817 top_stack->blocktype = sh->st;
818 top_stack->cur_type = SYMBOL_TYPE (s);
819 top_stack->cur_field = -1;
820 top_stack->procadr = sh->value;
821 top_stack->numargs = 0;
824 /* Beginning of code for structure, union, and enum definitions.
825 They all share a common set of local variables, defined here. */
827 enum type_code type_code;
833 case stStruct: /* Start a block defining a struct type. */
834 type_code = TYPE_CODE_STRUCT;
835 goto structured_common;
837 case stUnion: /* Start a block defining a union type. */
838 type_code = TYPE_CODE_UNION;
839 goto structured_common;
841 case stEnum: /* Start a block defining an enum type. */
842 type_code = TYPE_CODE_ENUM;
843 goto structured_common;
845 case stBlock: /* Either a lexical block, or some type. */
846 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
847 goto case_stBlock_code; /* Lexical block */
849 type_code = TYPE_CODE_UNDEF; /* We have a type. */
851 /* Common code for handling struct, union, enum, and/or as-yet-
852 unknown-type blocks of info about structured data. `type_code'
853 has been set to the proper TYPE_CODE, if we know it. */
855 found_ecoff_debugging_info = 1;
857 top_stack->blocktype = stBlock;
859 /* First count the number of fields and the highest value. */
862 for (ext_tsym = ext_sh + external_sym_size;
864 ext_tsym += external_sym_size)
868 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
873 /* C++ encodes class types as structures where there the
874 methods are encoded as stProc. The scope of stProc
875 symbols also ends with stEnd, thus creating a risk of
876 taking the wrong stEnd symbol record as the end of
877 the current struct, which would cause GDB to undercount
878 the real number of fields in this struct. To make sure
879 we really reached the right stEnd symbol record, we
880 check the associated name, and match it against the
881 struct name. Since method names are mangled while
882 the class name is not, there is no risk of having a
883 method whose name is identical to the class name
884 (in particular constructor method names are different
885 from the class name). There is therefore no risk that
886 this check stops the count on the StEnd of a method.
888 Also, assume that we're really at the end when tsym.iss
890 if (tsym.iss == issNull
891 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
897 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
899 /* If the type of the member is Nil (or Void),
900 without qualifiers, assume the tag is an
902 Alpha cc -migrate enums are recognized by a zero
903 index and a zero symbol value.
904 DU 4.0 cc enums are recognized by a member type of
905 btEnum without qualifiers and a zero symbol value. */
906 if (tsym.index == indexNil
907 || (tsym.index == 0 && sh->value == 0))
908 type_code = TYPE_CODE_ENUM;
911 (*debug_swap->swap_tir_in) (bigend,
912 &ax[tsym.index].a_ti,
914 if ((tir.bt == btNil || tir.bt == btVoid
915 || (tir.bt == btEnum && sh->value == 0))
917 type_code = TYPE_CODE_ENUM;
921 if (tsym.value > max_value)
922 max_value = tsym.value;
931 /* This is a no-op; is it trying to tell us something
932 we should be checking? */
933 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
937 /* This is something like a struct within a
938 struct. Skip over the fields of the inner
939 struct. The -1 is because the for loop will
940 increment ext_tsym. */
941 ext_tsym = ((char *) debug_info->external_sym
942 + ((cur_fdr->isymBase + tsym.index - 1)
943 * external_sym_size));
949 /* mips cc puts out a typedef for struct x if it is not yet
950 defined when it encounters
951 struct y { struct x *xp; };
956 /* Irix5 cc puts out a stIndirect for struct x if it is not
957 yet defined when it encounters
958 struct y { struct x *xp; };
963 complaint (_("declaration block contains "
964 "unhandled symbol type %d"),
970 /* In an stBlock, there is no way to distinguish structs,
971 unions, and enums at this point. This is a bug in the
972 original design (that has been fixed with the recent
973 addition of the stStruct, stUnion, and stEnum symbol
974 types.) The way you can tell is if/when you see a variable
975 or field of that type. In that case the variable's type
976 (in the AUX table) says if the type is struct, union, or
977 enum, and points back to the stBlock here. So you can
978 patch the tag kind up later - but only if there actually is
979 a variable or field of that type.
981 So until we know for sure, we will guess at this point.
983 If the first member has index==indexNil or a void type,
984 assume we have an enumeration.
985 Otherwise, if there is more than one member, and all
986 the members have offset 0, assume we have a union.
987 Otherwise, assume we have a struct.
989 The heuristic could guess wrong in the case of of an
990 enumeration with no members or a union with one (or zero)
991 members, or when all except the last field of a struct have
992 width zero. These are uncommon and/or illegal situations,
993 and in any case guessing wrong probably doesn't matter
996 But if we later do find out we were wrong, we fixup the tag
997 kind. Members of an enumeration must be handled
998 differently from struct/union fields, and that is harder to
999 patch up, but luckily we shouldn't need to. (If there are
1000 any enumeration members, we can tell for sure it's an enum
1003 if (type_code == TYPE_CODE_UNDEF)
1005 if (nfields > 1 && max_value == 0)
1006 type_code = TYPE_CODE_UNION;
1008 type_code = TYPE_CODE_STRUCT;
1011 /* Create a new type or use the pending type. */
1012 pend = is_pending_symbol (cur_fdr, ext_sh);
1013 if (pend == (struct mdebug_pending *) NULL)
1015 t = new_type (NULL);
1016 add_pending (cur_fdr, ext_sh, t);
1021 /* Do not set the tag name if it is a compiler generated tag name
1022 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1023 Alpha cc puts out an sh->iss of zero for those. */
1024 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1025 TYPE_NAME (t) = NULL;
1027 TYPE_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1028 name, (char *) NULL);
1030 TYPE_CODE (t) = type_code;
1031 TYPE_LENGTH (t) = sh->value;
1032 TYPE_NFIELDS (t) = nfields;
1033 TYPE_FIELDS (t) = f = ((struct field *)
1035 nfields * sizeof (struct field)));
1037 if (type_code == TYPE_CODE_ENUM)
1039 int unsigned_enum = 1;
1041 /* This is a non-empty enum. */
1043 /* DEC c89 has the number of enumerators in the sh.value field,
1044 not the type length, so we have to compensate for that
1045 incompatibility quirk.
1046 This might do the wrong thing for an enum with one or two
1047 enumerators and gcc -gcoff -fshort-enums, but these cases
1048 are hopefully rare enough.
1049 Alpha cc -migrate has a sh.value field of zero, we adjust
1051 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1052 || TYPE_LENGTH (t) == 0)
1053 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1054 for (ext_tsym = ext_sh + external_sym_size;
1056 ext_tsym += external_sym_size)
1059 struct symbol *enum_sym;
1061 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1063 if (tsym.st != stMember)
1066 SET_FIELD_ENUMVAL (*f, tsym.value);
1067 FIELD_TYPE (*f) = t;
1068 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1069 FIELD_BITSIZE (*f) = 0;
1071 enum_sym = allocate_symbol (mdebugread_objfile);
1072 SYMBOL_SET_LINKAGE_NAME
1074 (char *) obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1075 f->name, strlen (f->name)));
1076 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1077 SYMBOL_TYPE (enum_sym) = t;
1078 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1079 SYMBOL_VALUE (enum_sym) = tsym.value;
1080 if (SYMBOL_VALUE (enum_sym) < 0)
1082 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1084 /* Skip the stMembers that we've handled. */
1089 TYPE_UNSIGNED (t) = 1;
1091 /* Make this the current type. */
1092 top_stack->cur_type = t;
1093 top_stack->cur_field = 0;
1095 /* Do not create a symbol for alpha cc unnamed structs. */
1099 /* gcc puts out an empty struct for an opaque struct definitions,
1100 do not create a symbol for it either. */
1101 if (TYPE_NFIELDS (t) == 0)
1107 s = new_symbol (name);
1108 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1109 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1110 SYMBOL_VALUE (s) = 0;
1111 SYMBOL_TYPE (s) = t;
1112 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1115 /* End of local variables shared by struct, union, enum, and
1116 block (as yet unknown struct/union/enum) processing. */
1120 found_ecoff_debugging_info = 1;
1121 /* Beginnning of (code) block. Value of symbol
1122 is the displacement from procedure start. */
1123 push_parse_stack ();
1125 /* Do not start a new block if this is the outermost block of a
1126 procedure. This allows the LOC_BLOCK symbol to point to the
1127 block with the local variables, so funcname::var works. */
1128 if (top_stack->blocktype == stProc
1129 || top_stack->blocktype == stStaticProc)
1131 top_stack->blocktype = stNil;
1135 top_stack->blocktype = stBlock;
1136 b = new_block (NON_FUNCTION_BLOCK, psymtab_language);
1137 BLOCK_START (b) = sh->value + top_stack->procadr;
1138 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1139 top_stack->cur_block = b;
1140 add_block (b, top_stack->cur_st);
1143 case stEnd: /* end (of anything) */
1144 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1146 /* Finished with type */
1147 top_stack->cur_type = 0;
1149 else if (sh->sc == scText &&
1150 (top_stack->blocktype == stProc ||
1151 top_stack->blocktype == stStaticProc))
1153 /* Finished with procedure */
1154 const struct blockvector *bv
1155 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1156 struct mdebug_extra_func_info *e;
1157 struct block *cblock = top_stack->cur_block;
1158 struct type *ftype = top_stack->cur_type;
1161 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1163 /* Make up special symbol to contain procedure specific info. */
1164 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1165 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1166 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1167 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1168 e = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
1169 mdebug_extra_func_info);
1170 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1171 e->numargs = top_stack->numargs;
1172 e->pdr.framereg = -1;
1173 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1175 /* f77 emits proc-level with address bounds==[0,0],
1176 So look for such child blocks, and patch them. */
1177 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1179 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1181 if (BLOCK_SUPERBLOCK (b_bad) == cblock
1182 && BLOCK_START (b_bad) == top_stack->procadr
1183 && BLOCK_END (b_bad) == top_stack->procadr)
1185 BLOCK_START (b_bad) = BLOCK_START (cblock);
1186 BLOCK_END (b_bad) = BLOCK_END (cblock);
1190 if (TYPE_NFIELDS (ftype) <= 0)
1192 /* No parameter type information is recorded with the function's
1193 type. Set that from the type of the parameter symbols. */
1194 int nparams = top_stack->numargs;
1200 struct block_iterator iter;
1202 TYPE_NFIELDS (ftype) = nparams;
1203 TYPE_FIELDS (ftype) = (struct field *)
1204 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1207 ALL_BLOCK_SYMBOLS (cblock, iter, sym)
1209 if (iparams == nparams)
1212 if (SYMBOL_IS_ARGUMENT (sym))
1214 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1215 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1222 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1224 /* End of (code) block. The value of the symbol is the
1225 displacement from the procedure`s start address of the
1226 end of this block. */
1227 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1229 else if (sh->sc == scText && top_stack->blocktype == stNil)
1231 /* End of outermost block. Pop parse stack and ignore. The
1232 following stEnd of stProc will take care of the block. */
1235 else if (sh->sc == scText && top_stack->blocktype == stFile)
1237 /* End of file. Pop parse stack and ignore. Higher
1238 level code deals with this. */
1242 complaint (_("stEnd with storage class %d not handled"), sh->sc);
1244 pop_parse_stack (); /* Restore previous lexical context. */
1247 case stMember: /* member of struct or union */
1250 = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1251 FIELD_NAME (*f) = name;
1252 SET_FIELD_BITPOS (*f, sh->value);
1254 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1255 &bitsize, bigend, name);
1256 FIELD_BITSIZE (*f) = bitsize;
1260 case stIndirect: /* forward declaration on Irix5 */
1261 /* Forward declarations from Irix5 cc are handled by cross_ref,
1265 case stTypedef: /* type definition */
1266 found_ecoff_debugging_info = 1;
1268 /* Typedefs for forward declarations and opaque structs from alpha cc
1269 are handled by cross_ref, skip them. */
1273 /* Parse the type or use the pending type. */
1274 pend = is_pending_symbol (cur_fdr, ext_sh);
1275 if (pend == (struct mdebug_pending *) NULL)
1277 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1278 add_pending (cur_fdr, ext_sh, t);
1283 /* Mips cc puts out a typedef with the name of the struct for forward
1284 declarations. These should not go into the symbol table and
1285 TYPE_NAME should not be set for them.
1286 They can't be distinguished from an intentional typedef to
1287 the same name however:
1289 struct x { int ix; int jx; };
1293 struct xx {int ixx; int jxx; };
1294 generates a cross referencing stTypedef for x and xx.
1295 The user visible effect of this is that the type of a pointer
1296 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1297 The problem is fixed with alpha cc and Irix5 cc. */
1299 /* However if the typedef cross references to an opaque aggregate, it
1300 is safe to omit it from the symbol table. */
1302 if (has_opaque_xref (cur_fdr, sh))
1304 s = new_symbol (name);
1305 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1306 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1307 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1308 SYMBOL_TYPE (s) = t;
1309 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1311 /* Incomplete definitions of structs should not get a name. */
1312 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1313 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1314 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1315 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1317 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1318 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1320 /* If we are giving a name to a type such as "pointer to
1321 foo" or "function returning foo", we better not set
1322 the TYPE_NAME. If the program contains "typedef char
1323 *caddr_t;", we don't want all variables of type char
1324 * to print as caddr_t. This is not just a
1325 consequence of GDB's type management; CC and GCC (at
1326 least through version 2.4) both output variables of
1327 either type char * or caddr_t with the type
1328 refering to the stTypedef symbol for caddr_t. If a future
1329 compiler cleans this up it GDB is not ready for it
1330 yet, but if it becomes ready we somehow need to
1331 disable this check (without breaking the PCC/GCC2.4
1336 Fortunately, this check seems not to be necessary
1337 for anything except pointers or functions. */
1340 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1344 case stFile: /* file name */
1345 push_parse_stack ();
1346 top_stack->blocktype = sh->st;
1349 /* I`ve never seen these for C */
1351 break; /* register relocation */
1353 break; /* forwarding address */
1355 break; /* constant */
1357 complaint (_("unknown symbol type 0x%x"), sh->st);
1366 static const struct objfile_data *basic_type_data;
1368 static struct type *
1369 basic_type (int bt, struct objfile *objfile)
1371 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1372 struct type **map_bt
1373 = (struct type **) objfile_data (objfile, basic_type_data);
1381 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1382 btMax, struct type *);
1383 set_objfile_data (objfile, basic_type_data, map_bt);
1392 tp = objfile_type (objfile)->builtin_void;
1396 tp = init_pointer_type (objfile, 32, "adr_32",
1397 objfile_type (objfile)->builtin_void);
1401 tp = init_integer_type (objfile, 8, 0, "char");
1402 TYPE_NOSIGN (tp) = 1;
1406 tp = init_integer_type (objfile, 8, 1, "unsigned char");
1410 tp = init_integer_type (objfile, 16, 0, "short");
1414 tp = init_integer_type (objfile, 16, 1, "unsigned short");
1418 tp = init_integer_type (objfile, 32, 0, "int");
1422 tp = init_integer_type (objfile, 32, 1, "unsigned int");
1426 tp = init_integer_type (objfile, 32, 0, "long");
1430 tp = init_integer_type (objfile, 32, 1, "unsigned long");
1434 tp = init_float_type (objfile, gdbarch_float_bit (gdbarch),
1435 "float", gdbarch_float_format (gdbarch));
1439 tp = init_float_type (objfile, gdbarch_double_bit (gdbarch),
1440 "double", gdbarch_double_format (gdbarch));
1444 tp = init_complex_type (objfile, "complex",
1445 basic_type (btFloat, objfile));
1449 tp = init_complex_type (objfile, "double complex",
1450 basic_type (btFloat, objfile));
1454 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1455 good? Would we be better off with TYPE_CODE_ERROR? Should
1456 TYPE_CODE_ERROR print things in hex if it knows the size? */
1457 tp = init_integer_type (objfile, gdbarch_int_bit (gdbarch), 0,
1462 tp = init_type (objfile, TYPE_CODE_ERROR,
1463 gdbarch_double_bit (gdbarch), "floating decimal");
1467 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1469 tp = init_type (objfile, TYPE_CODE_STRING, TARGET_CHAR_BIT, "string");
1473 tp = objfile_type (objfile)->builtin_void;
1477 tp = init_integer_type (objfile, 64, 0, "long");
1481 tp = init_integer_type (objfile, 64, 1, "unsigned long");
1485 tp = init_integer_type (objfile, 64, 0, "long long");
1489 tp = init_integer_type (objfile, 64, 1, "unsigned long long");
1493 tp = init_pointer_type (objfile, 64, "adr_64",
1494 objfile_type (objfile)->builtin_void);
1498 tp = init_integer_type (objfile, 64, 0, "int");
1502 tp = init_integer_type (objfile, 64, 1, "unsigned int");
1514 /* Parse the type information provided in the raw AX entries for
1515 the symbol SH. Return the bitfield size in BS, in case.
1516 We must byte-swap the AX entries before we use them; BIGEND says whether
1517 they are big-endian or little-endian (from fh->fBigendian). */
1519 static struct type *
1520 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1521 int bigend, const char *sym_name)
1524 struct type *tp = 0;
1525 enum type_code type_code = TYPE_CODE_UNDEF;
1527 /* Handle undefined types, they have indexNil. */
1528 if (aux_index == indexNil)
1529 return basic_type (btInt, mdebugread_objfile);
1531 /* Handle corrupt aux indices. */
1532 if (aux_index >= (debug_info->fdr + fd)->caux)
1534 index_complaint (sym_name);
1535 return basic_type (btInt, mdebugread_objfile);
1539 /* Use aux as a type information record, map its basic type. */
1540 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1541 tp = basic_type (t->bt, mdebugread_objfile);
1544 /* Cannot use builtin types -- build our own. */
1548 type_code = TYPE_CODE_STRUCT;
1551 type_code = TYPE_CODE_UNION;
1554 type_code = TYPE_CODE_ENUM;
1557 type_code = TYPE_CODE_RANGE;
1560 type_code = TYPE_CODE_SET;
1563 /* alpha cc -migrate uses this for typedefs. The true type will
1564 be obtained by crossreferencing below. */
1565 type_code = TYPE_CODE_ERROR;
1568 /* alpha cc uses this for typedefs. The true type will be
1569 obtained by crossreferencing below. */
1570 type_code = TYPE_CODE_ERROR;
1573 basic_type_complaint (t->bt, sym_name);
1574 return basic_type (btInt, mdebugread_objfile);
1578 /* Move on to next aux. */
1583 int width = AUX_GET_WIDTH (bigend, ax);
1585 /* Inhibit core dumps if TIR is corrupted. */
1586 if (bs == (int *) NULL)
1588 /* Alpha cc -migrate encodes char and unsigned char types
1589 as short and unsigned short types with a field width of 8.
1590 Enum types also have a field width which we ignore for now. */
1591 if (t->bt == btShort && width == 8)
1592 tp = basic_type (btChar, mdebugread_objfile);
1593 else if (t->bt == btUShort && width == 8)
1594 tp = basic_type (btUChar, mdebugread_objfile);
1595 else if (t->bt == btEnum)
1598 complaint (_("can't handle TIR fBitfield for %s"),
1606 /* A btIndirect entry cross references to an aux entry containing
1608 if (t->bt == btIndirect)
1615 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1617 if (rn->rfd == 0xfff)
1619 rf = AUX_GET_ISYM (bigend, ax);
1627 complaint (_("unable to cross ref btIndirect for %s"), sym_name);
1628 return basic_type (btInt, mdebugread_objfile);
1630 xref_fh = get_rfd (fd, rf);
1631 xref_fd = xref_fh - debug_info->fdr;
1632 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1633 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1636 /* All these types really point to some (common) MIPS type
1637 definition, and only the type-qualifiers fully identify
1638 them. We'll make the same effort at sharing. */
1639 if (t->bt == btStruct ||
1643 /* btSet (I think) implies that the name is a tag name, not a typedef
1644 name. This apparently is a MIPS extension for C sets. */
1649 /* Try to cross reference this type, build new type on failure. */
1650 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1651 if (tp == (struct type *) NULL)
1652 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1654 /* DEC c89 produces cross references to qualified aggregate types,
1655 dereference them. */
1656 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1657 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1658 tp = TYPE_TARGET_TYPE (tp);
1660 /* Make sure that TYPE_CODE(tp) has an expected type code.
1661 Any type may be returned from cross_ref if file indirect entries
1663 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1664 && TYPE_CODE (tp) != TYPE_CODE_UNION
1665 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1667 unexpected_type_code_complaint (sym_name);
1671 /* Usually, TYPE_CODE(tp) is already type_code. The main
1672 exception is if we guessed wrong re struct/union/enum.
1673 But for struct vs. union a wrong guess is harmless, so
1674 don't complain(). */
1675 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1676 && type_code != TYPE_CODE_ENUM)
1677 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1678 && type_code == TYPE_CODE_ENUM))
1680 bad_tag_guess_complaint (sym_name);
1683 if (TYPE_CODE (tp) != type_code)
1685 TYPE_CODE (tp) = type_code;
1688 /* Do not set the tag name if it is a compiler generated tag name
1689 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1690 if (name[0] == '.' || name[0] == '\0')
1691 TYPE_NAME (tp) = NULL;
1692 else if (TYPE_NAME (tp) == NULL
1693 || strcmp (TYPE_NAME (tp), name) != 0)
1696 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1697 name, strlen (name)));
1701 /* All these types really point to some (common) MIPS type
1702 definition, and only the type-qualifiers fully identify
1703 them. We'll make the same effort at sharing.
1704 FIXME: We are not doing any guessing on range types. */
1705 if (t->bt == btRange)
1709 /* Try to cross reference this type, build new type on failure. */
1710 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1711 if (tp == (struct type *) NULL)
1712 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1714 /* Make sure that TYPE_CODE(tp) has an expected type code.
1715 Any type may be returned from cross_ref if file indirect entries
1717 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1719 unexpected_type_code_complaint (sym_name);
1723 /* Usually, TYPE_CODE(tp) is already type_code. The main
1724 exception is if we guessed wrong re struct/union/enum. */
1725 if (TYPE_CODE (tp) != type_code)
1727 bad_tag_guess_complaint (sym_name);
1728 TYPE_CODE (tp) = type_code;
1730 if (TYPE_NAME (tp) == NULL
1731 || strcmp (TYPE_NAME (tp), name) != 0)
1734 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1735 name, strlen (name)));
1738 if (t->bt == btTypedef)
1742 /* Try to cross reference this type, it should succeed. */
1743 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1744 if (tp == (struct type *) NULL)
1746 complaint (_("unable to cross ref btTypedef for %s"), sym_name);
1747 tp = basic_type (btInt, mdebugread_objfile);
1751 /* Deal with range types. */
1752 if (t->bt == btRange)
1754 TYPE_NFIELDS (tp) = 0;
1755 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1756 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1757 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1759 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1763 /* Parse all the type qualifiers now. If there are more
1764 than 6 the game will continue in the next aux. */
1768 #define PARSE_TQ(tq) \
1769 if (t->tq != tqNil) \
1770 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1782 /* mips cc 2.x and gcc never put out continued aux entries. */
1786 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1790 /* Complain for illegal continuations due to corrupt aux entries. */
1792 complaint (_("illegal TIR continued for %s"), sym_name);
1797 /* Make up a complex type from a basic one. Type is passed by
1798 reference in TPP and side-effected as necessary. The type
1799 qualifier TQ says how to handle the aux symbols at AX for
1800 the symbol SX we are currently analyzing. BIGEND says whether
1801 aux symbols are big-endian or little-endian.
1802 Returns the number of aux symbols we parsed. */
1805 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1806 const char *sym_name)
1811 /* Used in array processing. */
1822 t = lookup_pointer_type (*tpp);
1827 t = lookup_function_type (*tpp);
1834 /* Determine and record the domain type (type of index). */
1835 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1841 rf = AUX_GET_ISYM (bigend, ax);
1844 fh = get_rfd (fd, rf);
1846 indx = parse_type (fh - debug_info->fdr,
1847 debug_info->external_aux + fh->iauxBase,
1848 id, (int *) NULL, bigend, sym_name);
1850 /* The bounds type should be an integer type, but might be anything
1851 else due to corrupt aux entries. */
1852 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1854 complaint (_("illegal array index type for %s, assuming int"),
1856 indx = objfile_type (mdebugread_objfile)->builtin_int;
1859 /* Get the bounds, and create the array type. */
1861 lower = AUX_GET_DNLOW (bigend, ax);
1863 upper = AUX_GET_DNHIGH (bigend, ax);
1865 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1867 range = create_static_range_type ((struct type *) NULL, indx,
1870 t = create_array_type ((struct type *) NULL, *tpp, range);
1872 /* We used to fill in the supplied array element bitsize
1873 here if the TYPE_LENGTH of the target type was zero.
1874 This happens for a `pointer to an array of anonymous structs',
1875 but in this case the array element bitsize is also zero,
1876 so nothing is gained.
1877 And we used to check the TYPE_LENGTH of the target type against
1878 the supplied array element bitsize.
1879 gcc causes a mismatch for `pointer to array of object',
1880 since the sdb directives it uses do not have a way of
1881 specifying the bitsize, but it does no harm (the
1882 TYPE_LENGTH should be correct) and we should be able to
1883 ignore the erroneous bitsize from the auxiliary entry safely.
1884 dbx seems to ignore it too. */
1886 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1887 if (TYPE_LENGTH (*tpp) == 0)
1888 TYPE_TARGET_STUB (t) = 1;
1894 /* Volatile -- currently ignored */
1898 /* Const -- currently ignored */
1902 complaint (_("unknown type qualifier 0x%x"), tq);
1908 /* Parse a procedure descriptor record PR. Note that the procedure is
1909 parsed _after_ the local symbols, now we just insert the extra
1910 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1911 already been placed in the procedure's main block. Note also that
1912 images that have been partially stripped (ld -x) have been deprived
1913 of local symbols, and we have to cope with them here. FIRST_OFF is
1914 the offset of the first procedure for this FDR; we adjust the
1915 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1916 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1917 in question, or NULL to use top_stack->cur_block. */
1920 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1921 struct partial_symtab *pst)
1923 struct symbol *s, *i;
1924 const struct block *b;
1927 /* Simple rule to find files linked "-x". */
1928 if (cur_fdr->rss == -1)
1932 /* Static procedure at address pr->adr. Sigh. */
1933 /* FIXME-32x64. assuming pr->adr fits in long. */
1934 complaint (_("can't handle PDR for static proc at 0x%lx"),
1935 (unsigned long) pr->adr);
1943 (*debug_swap->swap_ext_in) (cur_bfd,
1944 ((char *) debug_info->external_ext
1946 * debug_swap->external_ext_size)),
1948 sh_name = debug_info->ssext + she.asym.iss;
1956 (*debug_swap->swap_sym_in) (cur_bfd,
1957 ((char *) debug_info->external_sym
1958 + ((cur_fdr->isymBase + pr->isym)
1959 * debug_swap->external_sym_size)),
1961 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1964 if (search_symtab != NULL)
1967 /* This loses both in the case mentioned (want a static, find a global),
1968 but also if we are looking up a non-mangled name which happens to
1969 match the name of a mangled function. */
1970 /* We have to save the cur_fdr across the call to lookup_symbol.
1971 If the pdr is for a static function and if a global function with
1972 the same name exists, lookup_symbol will eventually read in the symtab
1973 for the global function and clobber cur_fdr. */
1974 FDR *save_cur_fdr = cur_fdr;
1976 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1977 cur_fdr = save_cur_fdr;
1981 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
1988 s = mylookup_symbol (sh_name, top_stack->cur_block,
1989 VAR_DOMAIN, LOC_BLOCK);
1993 b = SYMBOL_BLOCK_VALUE (s);
1997 complaint (_("PDR for %s, but no symbol"), sh_name);
2001 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
2002 s = new_symbol (sh_name);
2003 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2004 SYMBOL_CLASS (s) = LOC_BLOCK;
2005 /* Donno its type, hope int is ok. */
2007 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2008 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2009 /* Won't have symbols for this one. */
2011 SYMBOL_BLOCK_VALUE (s) = b;
2012 BLOCK_FUNCTION (b) = s;
2013 BLOCK_START (b) = pr->adr;
2014 /* BOUND used to be the end of procedure's text, but the
2015 argument is no longer passed in. */
2016 BLOCK_END (b) = bound;
2017 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2018 add_block (b, top_stack->cur_st);
2022 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2026 struct mdebug_extra_func_info *e;
2028 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2031 /* GDB expects the absolute function start address for the
2032 procedure descriptor in e->pdr.adr.
2033 As the address in the procedure descriptor is usually relative,
2034 we would have to relocate e->pdr.adr with cur_fdr->adr and
2035 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2036 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2037 in shared libraries on some systems, and on other systems
2038 e->pdr.adr is sometimes offset by a bogus value.
2039 To work around these problems, we replace e->pdr.adr with
2040 the start address of the function. */
2041 e->pdr.adr = BLOCK_START (b);
2044 /* It would be reasonable that functions that have been compiled
2045 without debugging info have a btNil type for their return value,
2046 and functions that are void and are compiled with debugging info
2048 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2049 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2051 The glevel field in cur_fdr could be used to determine the presence
2052 of debugging info, but GCC doesn't always pass the -g switch settings
2053 to the assembler and GAS doesn't set the glevel field from the -g switch
2055 To work around these problems, the return value type of a TYPE_CODE_VOID
2056 function is adjusted accordingly if no debugging info was found in the
2057 compilation unit. */
2059 if (processing_gcc_compilation == 0
2060 && found_ecoff_debugging_info == 0
2061 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2062 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2065 /* Parse the external symbol ES. Just call parse_symbol() after
2066 making sure we know where the aux are for it.
2067 BIGEND says whether aux entries are big-endian or little-endian.
2069 This routine clobbers top_stack->cur_block and ->cur_st. */
2071 static void parse_external (EXTR *, int, struct section_offsets *,
2075 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2076 struct objfile *objfile)
2080 if (es->ifd != ifdNil)
2083 cur_fdr = debug_info->fdr + cur_fd;
2084 ax = debug_info->external_aux + cur_fdr->iauxBase;
2088 cur_fdr = debug_info->fdr;
2092 /* Reading .o files */
2093 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2096 switch (es->asym.st)
2099 /* These are generated for static symbols in .o files,
2120 /* FIXME: Turn this into a complaint? */
2122 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2123 what, debug_info->ssext + es->asym.iss,
2124 fdr_name (cur_fdr));
2128 switch (es->asym.st)
2132 /* There is no need to parse the external procedure symbols.
2133 If they are from objects compiled without -g, their index will
2134 be indexNil, and the symbol definition from the minimal symbol
2135 is preferrable (yielding a function returning int instead of int).
2136 If the index points to a local procedure symbol, the local
2137 symbol already provides the correct type.
2138 Note that the index of the external procedure symbol points
2139 to the local procedure symbol in the local symbol table, and
2140 _not_ to the auxiliary symbol info. */
2144 /* Global common symbols are resolved by the runtime loader,
2146 if (SC_IS_COMMON (es->asym.sc))
2149 /* Note that the case of a symbol with indexNil must be handled
2150 anyways by parse_symbol(). */
2151 parse_symbol (&es->asym, ax, (char *) NULL,
2152 bigend, section_offsets, objfile);
2159 /* Parse the line number info for file descriptor FH into
2160 GDB's linetable LT. MIPS' encoding requires a little bit
2161 of magic to get things out. Note also that MIPS' line
2162 numbers can go back and forth, apparently we can live
2163 with that and do not need to reorder our linetables. */
2166 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2167 CORE_ADDR textlow, CORE_ADDR lowest_pdr_addr)
2169 unsigned char *base;
2171 int delta, count, lineno = 0;
2173 if (fh->cbLine == 0)
2176 /* Scan by procedure descriptors. */
2178 for (j = 0; j < fh->cpd; j++, pr++)
2182 unsigned char *halt;
2184 /* No code for this one. */
2185 if (pr->iline == ilineNil ||
2186 pr->lnLow == -1 || pr->lnHigh == -1)
2189 /* Determine start and end address of compressed line bytes for
2191 base = debug_info->line + fh->cbLineOffset;
2192 if (j != (fh->cpd - 1))
2193 halt = base + pr[1].cbLineOffset;
2195 halt = base + fh->cbLine;
2196 base += pr->cbLineOffset;
2198 adr = textlow + pr->adr - lowest_pdr_addr;
2200 l = adr >> 2; /* in words */
2201 for (lineno = pr->lnLow; base < halt;)
2203 count = *base & 0x0f;
2204 delta = *base++ >> 4;
2209 delta = (base[0] << 8) | base[1];
2210 if (delta >= 0x8000)
2214 lineno += delta; /* first delta is 0 */
2216 /* Complain if the line table overflows. Could happen
2217 with corrupt binaries. */
2218 if (lt->nitems >= maxlines)
2220 complaint (_("guessed size of linetable for %s incorrectly"),
2224 k = add_line (lt, lineno, l, k);
2231 function_outside_compilation_unit_complaint (const char *arg1)
2233 complaint (_("function `%s' appears to be defined "
2234 "outside of all compilation units"),
2238 /* Use the STORAGE_CLASS to compute which section the given symbol
2239 belongs to, and then records this new minimal symbol. */
2242 record_minimal_symbol (minimal_symbol_reader &reader,
2243 const char *name, const CORE_ADDR address,
2244 enum minimal_symbol_type ms_type, int storage_class,
2245 struct objfile *objfile)
2249 switch (storage_class)
2252 section = SECT_OFF_TEXT (objfile);
2255 section = SECT_OFF_DATA (objfile);
2258 section = SECT_OFF_BSS (objfile);
2261 section = get_section_index (objfile, ".sdata");
2264 section = get_section_index (objfile, ".sbss");
2267 section = get_section_index (objfile, ".rdata");
2270 section = get_section_index (objfile, ".init");
2273 section = get_section_index (objfile, ".xdata");
2276 section = get_section_index (objfile, ".pdata");
2279 section = get_section_index (objfile, ".fini");
2282 section = get_section_index (objfile, ".rconst");
2286 section = get_section_index (objfile, ".tlsdata");
2291 section = get_section_index (objfile, ".tlsbss");
2295 /* This kind of symbol is not associated to a section. */
2299 reader.record_with_info (name, address, ms_type, section);
2302 /* Master parsing procedure for first-pass reading of file symbols
2303 into a partial_symtab. */
2306 parse_partial_symbols (minimal_symbol_reader &reader,
2307 struct objfile *objfile)
2309 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2310 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2311 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2312 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2313 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2314 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2315 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2317 HDRR *hdr = &debug_info->symbolic_header;
2318 /* Running pointers */
2325 struct partial_symtab *pst;
2326 int textlow_not_set = 1;
2328 /* List of current psymtab's include files. */
2329 const char **psymtab_include_list;
2330 int includes_allocated;
2333 struct pst_map *fdr_to_pst;
2334 /* Index within current psymtab dependency list. */
2335 struct partial_symtab **dependency_list;
2336 int dependencies_used, dependencies_allocated;
2338 enum language prev_language;
2339 asection *text_sect;
2340 int relocatable = 0;
2342 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2343 the shared libraries are prelinked at a high memory address.
2344 We have to adjust the start address of the object file for this case,
2345 by setting it to the start address of the first procedure in the file.
2346 But we should do no adjustments if we are debugging a .o file, where
2347 the text section (and fh->adr) really starts at zero. */
2348 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2349 if (text_sect != NULL
2350 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2353 extern_tab = XOBNEWVEC (&objfile->objfile_obstack, EXTR, hdr->iextMax);
2355 includes_allocated = 30;
2357 psymtab_include_list = (const char **) alloca (includes_allocated *
2358 sizeof (const char *));
2359 next_symbol_text_func = mdebug_next_symbol_text;
2361 dependencies_allocated = 30;
2362 dependencies_used = 0;
2364 (struct partial_symtab **) alloca (dependencies_allocated *
2365 sizeof (struct partial_symtab *));
2367 set_last_source_file (NULL);
2372 * Only parse the Local and External symbols, and the Relative FDR.
2373 * Fixup enough of the loader symtab to be able to use it.
2374 * Allocate space only for the file's portions we need to
2379 max_glevel = MIN_GLEVEL;
2381 /* Allocate the map FDR -> PST.
2382 Minor hack: -O3 images might claim some global data belongs
2383 to FDR -1. We`ll go along with that. */
2384 gdb::def_vector<struct pst_map> fdr_to_pst_holder (hdr->ifdMax + 1);
2385 fdr_to_pst = fdr_to_pst_holder.data ();
2388 struct partial_symtab *new_pst = new_psymtab ("", objfile);
2390 fdr_to_pst[-1].pst = new_pst;
2391 FDR_IDX (new_pst) = -1;
2394 /* Allocate the global pending list. */
2395 pending_list = XOBNEWVEC (&objfile->objfile_obstack, mdebug_pending *,
2397 memset (pending_list, 0,
2398 hdr->ifdMax * sizeof (struct mdebug_pending *));
2400 /* Pass 0 over external syms: swap them in. */
2401 gdb::def_vector<EXTR> ext_block (hdr->iextMax);
2403 ext_out = (char *) debug_info->external_ext;
2404 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2405 ext_in = ext_block.data ();
2406 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2407 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2409 /* Pass 1 over external syms: Presize and partition the list. */
2410 ext_in = ext_block.data ();
2411 ext_in_end = ext_in + hdr->iextMax;
2412 for (; ext_in < ext_in_end; ext_in++)
2414 /* See calls to complain below. */
2415 if (ext_in->ifd >= -1
2416 && ext_in->ifd < hdr->ifdMax
2417 && ext_in->asym.iss >= 0
2418 && ext_in->asym.iss < hdr->issExtMax)
2419 fdr_to_pst[ext_in->ifd].n_globals++;
2422 /* Pass 1.5 over files: partition out global symbol space. */
2424 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2426 fdr_to_pst[f_idx].globals_offset = s_idx;
2427 s_idx += fdr_to_pst[f_idx].n_globals;
2428 fdr_to_pst[f_idx].n_globals = 0;
2433 For ECOFF in ELF, we skip the creation of the minimal symbols.
2434 The ECOFF symbols should be a subset of the Elf symbols, and the
2435 section information of the elf symbols will be more accurate.
2436 FIXME! What about Irix 5's native linker?
2438 By default, Elf sections which don't exist in ECOFF
2439 get put in ECOFF's absolute section by the gnu linker.
2440 Since absolute sections don't get relocated, we
2441 end up calculating an address different from that of
2442 the symbol's minimal symbol (created earlier from the
2445 To fix this, either :
2446 1) don't create the duplicate symbol
2447 (assumes ECOFF symtab is a subset of the ELF symtab;
2448 assumes no side-effects result from ignoring ECOFF symbol)
2449 2) create it, only if lookup for existing symbol in ELF's minimal
2452 assumes no side-effects result from ignoring ECOFF symbol)
2453 3) create it, but lookup ELF's minimal symbol and use it's section
2454 during relocation, then modify "uniqify" phase to merge and
2455 eliminate the duplicate symbol
2456 (highly inefficient)
2458 I've implemented #1 here...
2459 Skip the creation of the minimal symbols based on the ECOFF
2462 /* Pass 2 over external syms: fill in external symbols. */
2463 ext_in = ext_block.data ();
2464 ext_in_end = ext_in + hdr->iextMax;
2465 for (; ext_in < ext_in_end; ext_in++)
2467 enum minimal_symbol_type ms_type = mst_text;
2468 CORE_ADDR svalue = ext_in->asym.value;
2470 /* The Irix 5 native tools seem to sometimes generate bogus
2471 external symbols. */
2472 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2474 complaint (_("bad ifd for external symbol: %d (max %ld)"),
2475 ext_in->ifd, hdr->ifdMax);
2478 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2480 complaint (_("bad iss for external symbol: %ld (max %ld)"),
2481 ext_in->asym.iss, hdr->issExtMax);
2485 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2486 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2489 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2493 /* Pass 3 over files, over local syms: fill in static symbols. */
2494 name = debug_info->ssext + ext_in->asym.iss;
2496 /* Process ECOFF Symbol Types and Storage Classes. */
2497 switch (ext_in->asym.st)
2500 /* Beginnning of Procedure */
2503 /* Load time only static procs */
2504 ms_type = mst_file_text;
2507 /* External symbol */
2508 if (SC_IS_COMMON (ext_in->asym.sc))
2510 /* The value of a common symbol is its size, not its address.
2514 else if (SC_IS_DATA (ext_in->asym.sc))
2518 else if (SC_IS_BSS (ext_in->asym.sc))
2522 else if (SC_IS_SBSS (ext_in->asym.sc))
2532 /* On certain platforms, some extra label symbols can be
2533 generated by the linker. One possible usage for this kind
2534 of symbols is to represent the address of the begining of a
2535 given section. For instance, on Tru64 5.1, the address of
2536 the _ftext label is the start address of the .text section.
2538 The storage class of these symbols is usually directly
2539 related to the section to which the symbol refers. For
2540 instance, on Tru64 5.1, the storage class for the _fdata
2541 label is scData, refering to the .data section.
2543 It is actually possible that the section associated to the
2544 storage class of the label does not exist. On True64 5.1
2545 for instance, the libm.so shared library does not contain
2546 any .data section, although it contains a _fpdata label
2547 which storage class is scData... Since these symbols are
2548 usually useless for the debugger user anyway, we just
2549 discard these symbols. */
2551 if (SC_IS_TEXT (ext_in->asym.sc))
2553 if (objfile->sect_index_text == -1)
2556 ms_type = mst_file_text;
2558 else if (SC_IS_DATA (ext_in->asym.sc))
2560 if (objfile->sect_index_data == -1)
2563 ms_type = mst_file_data;
2565 else if (SC_IS_BSS (ext_in->asym.sc))
2567 if (objfile->sect_index_bss == -1)
2570 ms_type = mst_file_bss;
2572 else if (SC_IS_SBSS (ext_in->asym.sc))
2574 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2576 if (sbss_sect_index == -1)
2579 ms_type = mst_file_bss;
2586 /* The alpha has the section start addresses in stLocal symbols
2587 whose name starts with a `.'. Skip those but complain for all
2588 other stLocal symbols.
2589 Irix6 puts the section start addresses in stNil symbols, skip
2595 ms_type = mst_unknown;
2596 unknown_ext_complaint (name);
2598 if (!ECOFF_IN_ELF (cur_bfd))
2599 record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
2603 /* Pass 3 over files, over local syms: fill in static symbols. */
2604 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2606 struct partial_symtab *save_pst;
2610 cur_fdr = fh = debug_info->fdr + f_idx;
2614 fdr_to_pst[f_idx].pst = NULL;
2618 /* Determine the start address for this object file from the
2619 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2624 pst = start_psymtab_common (objfile,
2627 objfile->global_psymbols,
2628 objfile->static_psymbols);
2629 pst->read_symtab_private = XOBNEW (&objfile->objfile_obstack, symloc);
2630 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2633 FDR_IDX (pst) = f_idx;
2634 CUR_BFD (pst) = cur_bfd;
2635 DEBUG_SWAP (pst) = debug_swap;
2636 DEBUG_INFO (pst) = debug_info;
2637 PENDING_LIST (pst) = pending_list;
2639 /* The way to turn this into a symtab is to call... */
2640 pst->read_symtab = mdebug_read_symtab;
2642 /* Set up language for the pst.
2643 The language from the FDR is used if it is unambigious (e.g. cfront
2644 with native cc and g++ will set the language to C).
2645 Otherwise we have to deduce the language from the filename.
2646 Native ecoff has every header file in a separate FDR, so
2647 deduce_language_from_filename will return language_unknown for
2648 a header file, which is not what we want.
2649 But the FDRs for the header files are after the FDR for the source
2650 file, so we can assign the language of the source file to the
2651 following header files. Then we save the language in the private
2652 pst data so that we can reuse it when building symtabs. */
2653 prev_language = psymtab_language;
2657 case langCplusplusV2:
2658 psymtab_language = language_cplus;
2661 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2664 if (psymtab_language == language_unknown)
2665 psymtab_language = prev_language;
2666 PST_PRIVATE (pst)->pst_language = psymtab_language;
2668 pst->set_text_high (pst->raw_text_low ());
2670 /* For stabs-in-ecoff files, the second symbol must be @stab.
2671 This symbol is emitted by mips-tfile to signal that the
2672 current object file uses encapsulated stabs instead of mips
2673 ecoff for local symbols. (It is the second symbol because
2674 the first symbol is the stFile used to signal the start of a
2676 processing_gcc_compilation = 0;
2679 (*swap_sym_in) (cur_bfd,
2680 ((char *) debug_info->external_sym
2681 + (fh->isymBase + 1) * external_sym_size),
2683 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2685 processing_gcc_compilation = 2;
2688 if (processing_gcc_compilation != 0)
2690 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2693 const char *namestring;
2695 (*swap_sym_in) (cur_bfd,
2696 (((char *) debug_info->external_sym)
2697 + (fh->isymBase + cur_sdx) * external_sym_size),
2699 type_code = ECOFF_UNMARK_STAB (sh.index);
2700 if (!ECOFF_IS_STAB (&sh))
2702 if (sh.st == stProc || sh.st == stStaticProc)
2707 if (sh.st == stStaticProc)
2709 namestring = debug_info->ss + fh->issBase + sh.iss;
2710 record_minimal_symbol (reader, namestring, sh.value,
2711 mst_file_text, sh.sc,
2714 procaddr = sh.value;
2716 isym = AUX_GET_ISYM (fh->fBigendian,
2717 (debug_info->external_aux
2720 (*swap_sym_in) (cur_bfd,
2721 ((char *) debug_info->external_sym
2722 + ((fh->isymBase + isym - 1)
2723 * external_sym_size)),
2727 CORE_ADDR high = procaddr + sh.value;
2729 /* Kludge for Irix 5.2 zero fh->adr. */
2731 && (!pst->text_low_valid
2732 || procaddr < pst->raw_text_low ()))
2733 pst->set_text_low (procaddr);
2734 if (high > pst->raw_text_high ())
2735 pst->set_text_high (high);
2738 else if (sh.st == stStatic)
2753 namestring = debug_info->ss + fh->issBase + sh.iss;
2754 record_minimal_symbol (reader, namestring, sh.value,
2755 mst_file_data, sh.sc,
2760 /* FIXME! Shouldn't this use cases for bss,
2761 then have the default be abs? */
2762 namestring = debug_info->ss + fh->issBase + sh.iss;
2763 record_minimal_symbol (reader, namestring, sh.value,
2764 mst_file_bss, sh.sc,
2771 /* Handle stabs continuation. */
2773 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2774 int len = strlen (stabstring);
2776 while (stabstring[len - 1] == '\\')
2779 char *stabstring1 = stabstring;
2783 /* Ignore continuation char from 1st string. */
2786 /* Read next stabstring. */
2788 (*swap_sym_in) (cur_bfd,
2789 (((char *) debug_info->external_sym)
2790 + (fh->isymBase + cur_sdx)
2791 * external_sym_size),
2793 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2794 len2 = strlen (stabstring2);
2796 /* Concatinate stabstring2 with stabstring1. */
2798 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2800 = (char *) xrealloc (stabstring, len + len2 + 1);
2803 stabstring = (char *) xmalloc (len + len2 + 1);
2804 strcpy (stabstring, stabstring1);
2806 strcpy (stabstring + len, stabstring2);
2814 /* Standard, external, non-debugger, symbols. */
2816 case N_TEXT | N_EXT:
2817 case N_NBTEXT | N_EXT:
2820 case N_DATA | N_EXT:
2821 case N_NBDATA | N_EXT:
2826 case N_NBBSS | N_EXT:
2827 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2834 /* Standard, local, non-debugger, symbols. */
2838 /* We need to be able to deal with both N_FN or
2839 N_TEXT, because we have no way of knowing
2840 whether the sys-supplied ld or GNU ld was used
2841 to make the executable. Sequents throw in
2842 another wrinkle -- they renumbered N_FN. */
2852 case N_UNDF | N_EXT:
2853 continue; /* Just undefined, not COMMON. */
2858 /* Lots of symbol types we can just ignore. */
2865 /* Keep going . . . */
2868 * Special symbol types for GNU
2871 case N_INDR | N_EXT:
2873 case N_SETA | N_EXT:
2875 case N_SETT | N_EXT:
2877 case N_SETD | N_EXT:
2879 case N_SETB | N_EXT:
2889 static int prev_so_symnum = -10;
2890 const char *basename;
2892 /* A zero value is probably an indication for the
2893 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2894 for zero, so don't relocate it. */
2897 && gdbarch_sofun_address_maybe_missing (gdbarch))
2898 textlow_not_set = 1;
2900 textlow_not_set = 0;
2902 if (prev_so_symnum != symnum - 1)
2903 { /* Here if prev stab wasn't N_SO. */
2906 pst = (struct partial_symtab *) 0;
2908 dependencies_used = 0;
2912 prev_so_symnum = symnum;
2914 /* End the current partial symtab and start a
2917 /* SET_NAMESTRING ();*/
2918 namestring = stabstring;
2920 /* Null name means end of .o file. Don't start a new
2922 if (*namestring == '\000')
2925 /* Some compilers (including gcc) emit a pair of
2926 initial N_SOs. The first one is a directory name;
2927 the second the file name. If pst exists, is
2928 empty, and has a filename ending in '/', we assume
2929 the previous N_SO was a directory name. */
2930 basename = lbasename (namestring);
2931 if (basename != namestring && *basename == '\000')
2932 continue; /* Simply ignore directory
2935 /* Some other compilers (C++ ones in particular) emit
2936 useless SOs for non-existant .c files. We ignore
2937 all subsequent SOs that immediately follow the
2950 enum language tmp_language;
2952 /* Mark down an include file in the current psymtab. */
2954 /* SET_NAMESTRING (); */
2955 namestring = stabstring;
2958 = deduce_language_from_filename (namestring);
2960 /* Only change the psymtab's language if we've
2961 learned something useful (eg. tmp_language is not
2962 language_unknown). In addition, to match what
2963 start_subfile does, never change from C++ to
2965 if (tmp_language != language_unknown
2966 && (tmp_language != language_c
2967 || psymtab_language != language_cplus))
2968 psymtab_language = tmp_language;
2970 /* In C++, one may expect the same filename to come
2971 round many times, when code is coming alternately
2972 from the main file and from inline functions in
2973 other files. So I check to see if this is a file
2974 we've seen before -- either the main source file,
2975 or a previously included file.
2977 This seems to be a lot of time to be spending on
2978 N_SOL, but things like "break c-exp.y:435" need to
2979 work (I suppose the psymtab_include_list could be
2980 hashed or put in a binary tree, if profiling shows
2981 this is a major hog). */
2982 if (pst && filename_cmp (namestring, pst->filename) == 0)
2988 for (i = 0; i < includes_used; i++)
2989 if (filename_cmp (namestring,
2990 psymtab_include_list[i]) == 0)
2999 psymtab_include_list[includes_used++] = namestring;
3000 if (includes_used >= includes_allocated)
3002 const char **orig = psymtab_include_list;
3004 psymtab_include_list = (const char **)
3005 alloca ((includes_allocated *= 2) *
3006 sizeof (const char *));
3007 memcpy (psymtab_include_list, orig,
3008 includes_used * sizeof (const char *));
3012 case N_LSYM: /* Typedef or automatic variable. */
3013 case N_STSYM: /* Data seg var -- static */
3014 case N_LCSYM: /* BSS " */
3015 case N_ROSYM: /* Read-only data seg var -- static. */
3016 case N_NBSTS: /* Gould nobase. */
3017 case N_NBLCS: /* symbols. */
3019 case N_GSYM: /* Global (extern) variable; can be
3020 data or bss (sigh FIXME). */
3022 /* Following may probably be ignored; I'll leave them here
3023 for now (until I do Pascal and Modula 2 extensions). */
3025 case N_PC: /* I may or may not need this; I
3027 case N_M2C: /* I suspect that I can ignore this
3029 case N_SCOPE: /* Same. */
3031 /* SET_NAMESTRING (); */
3032 namestring = stabstring;
3033 p = (char *) strchr (namestring, ':');
3035 continue; /* Not a debugging symbol. */
3039 /* Main processing section for debugging symbols which
3040 the initial read through the symbol tables needs to
3041 worry about. If we reach this point, the symbol
3042 which we are considering is definitely one we are
3043 interested in. p must also contain the (valid)
3044 index into the namestring which indicates the
3045 debugging type symbol. */
3050 if (gdbarch_static_transform_name_p (gdbarch))
3051 namestring = gdbarch_static_transform_name
3052 (gdbarch, namestring);
3054 add_psymbol_to_list (namestring, p - namestring, 1,
3055 VAR_DOMAIN, LOC_STATIC,
3056 SECT_OFF_DATA (objfile),
3057 &objfile->static_psymbols,
3059 psymtab_language, objfile);
3062 /* The addresses in these entries are reported
3063 to be wrong. See the code that reads 'G's
3065 add_psymbol_to_list (namestring, p - namestring, 1,
3066 VAR_DOMAIN, LOC_STATIC,
3067 SECT_OFF_DATA (objfile),
3068 &objfile->global_psymbols,
3070 psymtab_language, objfile);
3074 /* When a 'T' entry is defining an anonymous enum, it
3075 may have a name which is the empty string, or a
3076 single space. Since they're not really defining a
3077 symbol, those shouldn't go in the partial symbol
3078 table. We do pick up the elements of such enums at
3079 'check_enum:', below. */
3080 if (p >= namestring + 2
3081 || (p == namestring + 1
3082 && namestring[0] != ' '))
3084 add_psymbol_to_list (namestring, p - namestring, 1,
3085 STRUCT_DOMAIN, LOC_TYPEDEF,
3087 &objfile->static_psymbols,
3088 0, psymtab_language, objfile);
3091 /* Also a typedef with the same name. */
3092 add_psymbol_to_list (namestring,
3094 VAR_DOMAIN, LOC_TYPEDEF,
3096 &objfile->static_psymbols,
3097 0, psymtab_language,
3104 if (p != namestring) /* a name is there, not
3107 add_psymbol_to_list (namestring, p - namestring, 1,
3108 VAR_DOMAIN, LOC_TYPEDEF,
3110 &objfile->static_psymbols,
3111 0, psymtab_language, objfile);
3114 /* If this is an enumerated type, we need to add
3115 all the enum constants to the partial symbol
3116 table. This does not cover enums without names,
3117 e.g. "enum {a, b} c;" in C, but fortunately
3118 those are rare. There is no way for GDB to find
3119 those from the enum type without spending too
3120 much time on it. Thus to solve this problem,
3121 the compiler needs to put out the enum in a
3122 nameless type. GCC2 does this. */
3124 /* We are looking for something of the form
3125 <name> ":" ("t" | "T") [<number> "="] "e"
3126 {<constant> ":" <value> ","} ";". */
3128 /* Skip over the colon and the 't' or 'T'. */
3130 /* This type may be given a number. Also, numbers
3131 can come in pairs like (0,26). Skip over it. */
3132 while ((*p >= '0' && *p <= '9')
3133 || *p == '(' || *p == ',' || *p == ')'
3139 /* The aix4 compiler emits extra crud before
3143 /* Skip over the type (?). */
3147 /* Skip over the colon. */
3151 /* We have found an enumerated type. */
3152 /* According to comments in read_enum_type
3153 a comma could end it instead of a semicolon.
3154 I don't know where that happens.
3156 while (*p && *p != ';' && *p != ',')
3160 /* Check for and handle cretinous dbx
3161 symbol name continuation! */
3162 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3163 p = next_symbol_text (objfile);
3165 /* Point to the character after the name
3166 of the enum constant. */
3167 for (q = p; *q && *q != ':'; q++)
3169 /* Note that the value doesn't matter for
3170 enum constants in psymtabs, just in
3172 add_psymbol_to_list (p, q - p, 1,
3173 VAR_DOMAIN, LOC_CONST,
3175 &objfile->static_psymbols,
3176 0, psymtab_language,
3178 /* Point past the name. */
3180 /* Skip over the value. */
3181 while (*p && *p != ',')
3183 /* Advance past the comma. */
3190 /* Constant, e.g. from "const" in Pascal. */
3191 add_psymbol_to_list (namestring, p - namestring, 1,
3192 VAR_DOMAIN, LOC_CONST, -1,
3193 &objfile->static_psymbols,
3194 0, psymtab_language, objfile);
3200 std::string copy (namestring, p);
3201 function_outside_compilation_unit_complaint
3204 add_psymbol_to_list (namestring, p - namestring, 1,
3205 VAR_DOMAIN, LOC_BLOCK,
3206 SECT_OFF_TEXT (objfile),
3207 &objfile->static_psymbols,
3209 psymtab_language, objfile);
3212 /* Global functions were ignored here, but now they
3213 are put into the global psymtab like one would
3214 expect. They're also in the minimal symbol
3219 std::string copy (namestring, p);
3220 function_outside_compilation_unit_complaint
3223 add_psymbol_to_list (namestring, p - namestring, 1,
3224 VAR_DOMAIN, LOC_BLOCK,
3225 SECT_OFF_TEXT (objfile),
3226 &objfile->global_psymbols,
3228 psymtab_language, objfile);
3231 /* Two things show up here (hopefully); static
3232 symbols of local scope (static used inside
3233 braces) or extensions of structure symbols. We
3248 case '#': /* For symbol identification (used
3253 /* It is a C++ nested symbol. We don't need to
3254 record it (I don't think); if we try to look up
3255 foo::bar::baz, then symbols for the symtab
3256 containing foo should get read in, I think. */
3257 /* Someone says sun cc puts out symbols like
3258 /foo/baz/maclib::/usr/local/bin/maclib,
3259 which would get here with a symbol type of ':'. */
3263 /* Unexpected symbol descriptor. The second and
3264 subsequent stabs of a continued stab can show up
3265 here. The question is whether they ever can
3266 mimic a normal stab--it would be nice if not,
3267 since we certainly don't want to spend the time
3268 searching to the end of every string looking for
3271 complaint (_("unknown symbol descriptor `%c'"), p[1]);
3273 /* Ignore it; perhaps it is an extension that we don't
3282 /* Solaris 2 end of module, finish current partial
3283 symbol table. dbx_end_psymtab will set the
3284 high text address of PST to the proper value,
3285 which is necessary if a module compiled without
3286 debugging info follows this module. */
3288 && gdbarch_sofun_address_maybe_missing (gdbarch))
3290 pst = (struct partial_symtab *) 0;
3292 dependencies_used = 0;
3297 if (sh.value > save_pst->raw_text_high ())
3298 save_pst->set_text_high (sh.value);
3303 case N_SSYM: /* Claim: Structure or union
3304 element. Hopefully, I can
3306 case N_ENTRY: /* Alternate entry point; can
3308 case N_MAIN: /* Can definitely ignore this. */
3309 case N_CATCH: /* These are GNU C++ extensions. */
3310 case N_EHDECL: /* that can safely be ignored here. */
3320 case N_NSYMS: /* Ultrix 4.0: symbol count */
3321 case N_DEFD: /* GNU Modula-2 */
3322 case N_ALIAS: /* SunPro F77: alias name, ignore
3325 case N_OBJ: /* Useless types from Solaris. */
3327 /* These symbols aren't interesting; don't worry about
3333 /* If we haven't found it yet, ignore it. It's
3334 probably some new type we don't know about yet. */
3335 complaint (_("unknown symbol type %s"),
3336 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3340 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3343 /* end - Handle continuation */
3348 for (cur_sdx = 0; cur_sdx < fh->csym;)
3351 enum address_class theclass;
3352 CORE_ADDR minsym_value;
3355 (*swap_sym_in) (cur_bfd,
3356 ((char *) debug_info->external_sym
3357 + ((fh->isymBase + cur_sdx)
3358 * external_sym_size)),
3361 if (ECOFF_IS_STAB (&sh))
3367 /* Non absolute static symbols go into the minimal table. */
3368 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3369 || (sh.index == indexNil
3370 && (sh.st != stStatic || sh.sc == scAbs)))
3372 /* FIXME, premature? */
3377 sym_name = debug_info->ss + fh->issBase + sh.iss;
3379 minsym_value = sh.value;
3385 /* The value of a stEnd symbol is the displacement from the
3386 corresponding start symbol value, do not relocate it. */
3388 section = SECT_OFF_TEXT (objfile);
3395 section = SECT_OFF_DATA (objfile);
3399 section = SECT_OFF_BSS (objfile);
3410 reader.record_with_info (sym_name, minsym_value,
3412 SECT_OFF_TEXT (objfile));
3417 /* Ignore all parameter symbol records. */
3418 if (sh.index >= hdr->iauxMax)
3420 /* Should not happen, but does when cross-compiling
3421 with the MIPS compiler. FIXME -- pull later. */
3422 index_complaint (sym_name);
3423 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3426 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3427 (debug_info->external_aux
3431 if (new_sdx <= cur_sdx)
3433 /* This should not happen either... FIXME. */
3434 complaint (_("bad proc end in aux found from symbol %s"),
3436 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3439 /* For stProc symbol records, we need to check the
3440 storage class as well, as only (stProc, scText)
3441 entries represent "real" procedures - See the
3442 Compaq document titled "Object File / Symbol Table
3443 Format Specification" for more information. If the
3444 storage class is not scText, we discard the whole
3445 block of symbol records for this stProc. */
3446 if (sh.st == stProc && sh.sc != scText)
3449 /* Usually there is a local and a global stProc symbol
3450 for a function. This means that the function name
3451 has already been entered into the mimimal symbol table
3452 while processing the global symbols in pass 2 above.
3453 One notable exception is the PROGRAM name from
3454 f77 compiled executables, it is only put out as
3455 local stProc symbol, and a global MAIN__ stProc symbol
3456 points to it. It doesn't matter though, as gdb is
3457 still able to find the PROGRAM name via the partial
3458 symbol table, and the MAIN__ symbol via the minimal
3460 if (sh.st == stProc)
3461 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3462 VAR_DOMAIN, LOC_BLOCK,
3464 &objfile->global_psymbols,
3465 sh.value, psymtab_language, objfile);
3467 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3468 VAR_DOMAIN, LOC_BLOCK,
3470 &objfile->static_psymbols,
3471 sh.value, psymtab_language, objfile);
3473 procaddr = sh.value;
3476 (*swap_sym_in) (cur_bfd,
3477 ((char *) debug_info->external_sym
3478 + ((fh->isymBase + cur_sdx - 1)
3479 * external_sym_size)),
3484 /* Kludge for Irix 5.2 zero fh->adr. */
3486 && (!pst->text_low_valid
3487 || procaddr < pst->raw_text_low ()))
3488 pst->set_text_low (procaddr);
3490 high = procaddr + sh.value;
3491 if (high > pst->raw_text_high ())
3492 pst->set_text_high (high);
3495 case stStatic: /* Variable */
3496 if (SC_IS_DATA (sh.sc))
3497 reader.record_with_info (sym_name, minsym_value,
3499 SECT_OFF_DATA (objfile));
3501 reader.record_with_info (sym_name, minsym_value,
3503 SECT_OFF_BSS (objfile));
3504 theclass = LOC_STATIC;
3507 case stIndirect: /* Irix5 forward declaration */
3508 /* Skip forward declarations from Irix5 cc. */
3511 case stTypedef: /* Typedef */
3512 /* Skip typedefs for forward declarations and opaque
3513 structs from alpha and mips cc. */
3514 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3516 theclass = LOC_TYPEDEF;
3519 case stConstant: /* Constant decl */
3520 theclass = LOC_CONST;
3526 case stBlock: /* { }, str, un, enum */
3527 /* Do not create a partial symbol for cc unnamed aggregates
3528 and gcc empty aggregates. */
3529 if ((sh.sc == scInfo
3530 || SC_IS_COMMON (sh.sc))
3532 && sh.index != cur_sdx + 2)
3534 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3535 STRUCT_DOMAIN, LOC_TYPEDEF, -1,
3536 &objfile->static_psymbols,
3537 0, psymtab_language, objfile);
3539 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3541 /* Skip over the block. */
3543 if (new_sdx <= cur_sdx)
3545 /* This happens with the Ultrix kernel. */
3546 complaint (_("bad aux index at block symbol %s"),
3548 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3553 case stFile: /* File headers */
3554 case stLabel: /* Labels */
3555 case stEnd: /* Ends of files */
3558 case stLocal: /* Local variables */
3559 /* Normally these are skipped because we skip over
3560 all blocks we see. However, these can occur
3561 as visible symbols in a .h file that contains code. */
3565 /* Both complaints are valid: one gives symbol sym_name,
3566 the other the offending symbol type. */
3567 complaint (_("unknown local symbol %s"),
3569 complaint (_("with type %d"), sh.st);
3573 /* Use this gdb symbol. */
3574 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3575 VAR_DOMAIN, theclass, section,
3576 &objfile->static_psymbols,
3577 sh.value, psymtab_language, objfile);
3579 cur_sdx++; /* Go to next file symbol. */
3582 /* Now do enter the external symbols. */
3583 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3584 cur_sdx = fdr_to_pst[f_idx].n_globals;
3585 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3586 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3587 for (; --cur_sdx >= 0; ext_ptr++)
3589 enum address_class theclass;
3594 if (ext_ptr->ifd != f_idx)
3595 internal_error (__FILE__, __LINE__,
3596 _("failed internal consistency check"));
3597 psh = &ext_ptr->asym;
3599 /* Do not add undefined symbols to the partial symbol table. */
3600 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3603 svalue = psh->value;
3609 section = SECT_OFF_TEXT (objfile);
3616 section = SECT_OFF_DATA (objfile);
3620 section = SECT_OFF_BSS (objfile);
3627 /* These are generated for static symbols in .o files,
3632 /* External procedure symbols have been entered
3633 into the minimal symbol table in pass 2 above.
3634 Ignore them, as parse_external will ignore them too. */
3637 theclass = LOC_LABEL;
3640 unknown_ext_complaint (debug_info->ssext + psh->iss);
3641 /* Pretend it's global. */
3644 /* Global common symbols are resolved by the runtime loader,
3646 if (SC_IS_COMMON (psh->sc))
3649 theclass = LOC_STATIC;
3652 char *sym_name = debug_info->ssext + psh->iss;
3653 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3654 VAR_DOMAIN, theclass,
3656 &objfile->global_psymbols,
3657 svalue, psymtab_language, objfile);
3661 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3662 empty and put on the free list. */
3663 fdr_to_pst[f_idx].pst
3664 = dbx_end_psymtab (objfile, save_pst,
3665 psymtab_include_list, includes_used,
3666 -1, save_pst->raw_text_high (),
3667 dependency_list, dependencies_used,
3670 dependencies_used = 0;
3672 /* The objfile has its functions reordered if this partial symbol
3673 table overlaps any other partial symbol table.
3674 We cannot assume a reordered objfile if a partial symbol table
3675 is contained within another partial symbol table, as partial symbol
3676 tables for include files with executable code are contained
3677 within the partial symbol table for the including source file,
3678 and we do not want to flag the objfile reordered for these cases.
3680 This strategy works well for Irix-5.2 shared libraries, but we
3681 might have to use a more elaborate (and slower) algorithm for
3683 save_pst = fdr_to_pst[f_idx].pst;
3684 if (save_pst != NULL
3685 && save_pst->text_low_valid
3686 && !(objfile->flags & OBJF_REORDERED))
3688 ALL_OBJFILE_PSYMTABS (objfile, pst)
3691 && save_pst->raw_text_low () >= pst->raw_text_low ()
3692 && save_pst->raw_text_low () < pst->raw_text_high ()
3693 && save_pst->raw_text_high () > pst->raw_text_high ())
3695 objfile->flags |= OBJF_REORDERED;
3702 /* Now scan the FDRs for dependencies. */
3703 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3705 fh = f_idx + debug_info->fdr;
3706 pst = fdr_to_pst[f_idx].pst;
3708 if (pst == (struct partial_symtab *) NULL)
3711 /* This should catch stabs-in-ecoff. */
3715 /* Skip the first file indirect entry as it is a self dependency for
3716 source files or a reverse .h -> .c dependency for header files. */
3717 pst->number_of_dependencies = 0;
3718 pst->dependencies = XOBNEWVEC (&objfile->objfile_obstack,
3719 partial_symtab *, (fh->crfd - 1));
3720 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3724 (*swap_rfd_in) (cur_bfd,
3725 ((char *) debug_info->external_rfd
3726 + (fh->rfdBase + s_idx) * external_rfd_size),
3728 if (rh < 0 || rh >= hdr->ifdMax)
3730 complaint (_("bad file number %ld"), rh);
3734 /* Skip self dependencies of header files. */
3738 /* Do not add to dependeny list if psymtab was empty. */
3739 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3741 pst->dependencies[pst->number_of_dependencies++]
3742 = fdr_to_pst[rh].pst;
3746 /* Remove the dummy psymtab created for -O3 images above, if it is
3747 still empty, to enable the detection of stripped executables. */
3748 if (objfile->psymtabs->next == NULL
3749 && objfile->psymtabs->number_of_dependencies == 0
3750 && objfile->psymtabs->n_global_syms == 0
3751 && objfile->psymtabs->n_static_syms == 0)
3752 objfile->psymtabs = NULL;
3755 /* If the current psymbol has an enumerated type, we need to add
3756 all the enum constants to the partial symbol table. */
3759 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3762 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3763 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3764 char *ext_sym = ((char *) debug_info->external_sym
3765 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3775 /* It is an enumerated type if the next symbol entry is a stMember
3776 and its auxiliary index is indexNil or its auxiliary entry
3777 is a plain btNil or btVoid.
3778 Alpha cc -migrate enums are recognized by a zero index and
3779 a zero symbol value.
3780 DU 4.0 cc enums are recognized by a member type of btEnum without
3781 qualifiers and a zero symbol value. */
3782 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3783 if (sh.st != stMember)
3786 if (sh.index == indexNil
3787 || (sh.index == 0 && svalue == 0))
3789 (*debug_swap->swap_tir_in) (fh->fBigendian,
3790 &(debug_info->external_aux
3791 + fh->iauxBase + sh.index)->a_ti,
3793 if ((tir.bt != btNil
3795 && (tir.bt != btEnum || svalue != 0))
3796 || tir.tq0 != tqNil)
3808 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3809 if (sh.st != stMember)
3811 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3813 /* Note that the value doesn't matter for enum constants
3814 in psymtabs, just in symtabs. */
3815 add_psymbol_to_list (name, strlen (name), 1,
3816 VAR_DOMAIN, LOC_CONST, -1,
3817 &objfile->static_psymbols, 0,
3818 psymtab_language, objfile);
3819 ext_sym += external_sym_size;
3823 /* Get the next symbol. OBJFILE is unused. */
3826 mdebug_next_symbol_text (struct objfile *objfile)
3831 (*debug_swap->swap_sym_in) (cur_bfd,
3832 ((char *) debug_info->external_sym
3833 + ((cur_fdr->isymBase + cur_sdx)
3834 * debug_swap->external_sym_size)),
3836 return debug_info->ss + cur_fdr->issBase + sh.iss;
3839 /* Ancillary function to psymtab_to_symtab(). Does all the work
3840 for turning the partial symtab PST into a symtab, recurring
3841 first on all dependent psymtabs. The argument FILENAME is
3842 only passed so we can see in debug stack traces what file
3845 This function has a split personality, based on whether the
3846 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3847 The flow of control and even the memory allocation differs. FIXME. */
3850 psymtab_to_symtab_1 (struct objfile *objfile,
3851 struct partial_symtab *pst, const char *filename)
3853 bfd_size_type external_sym_size;
3854 bfd_size_type external_pdr_size;
3855 void (*swap_sym_in) (bfd *, void *, SYMR *);
3856 void (*swap_pdr_in) (bfd *, void *, PDR *);
3858 struct compunit_symtab *cust = NULL;
3860 struct linetable *lines;
3861 CORE_ADDR lowest_pdr_addr = 0;
3862 int last_symtab_ended = 0;
3863 struct section_offsets *section_offsets = objfile->section_offsets;
3869 /* Read in all partial symbtabs on which this one is dependent.
3870 NOTE that we do have circular dependencies, sigh. We solved
3871 that by setting pst->readin before this point. */
3873 for (i = 0; i < pst->number_of_dependencies; i++)
3874 if (!pst->dependencies[i]->readin)
3876 /* Inform about additional files to be read in. */
3879 fputs_filtered (" ", gdb_stdout);
3881 fputs_filtered ("and ", gdb_stdout);
3883 printf_filtered ("%s...",
3884 pst->dependencies[i]->filename);
3885 wrap_here (""); /* Flush output */
3886 gdb_flush (gdb_stdout);
3888 /* We only pass the filename for debug purposes. */
3889 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3890 pst->dependencies[i]->filename);
3893 /* Do nothing if this is a dummy psymtab. */
3895 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3896 && !pst->text_low_valid && !pst->text_high_valid)
3899 /* Now read the symbols for this symtab. */
3901 cur_bfd = CUR_BFD (pst);
3902 debug_swap = DEBUG_SWAP (pst);
3903 debug_info = DEBUG_INFO (pst);
3904 pending_list = PENDING_LIST (pst);
3905 external_sym_size = debug_swap->external_sym_size;
3906 external_pdr_size = debug_swap->external_pdr_size;
3907 swap_sym_in = debug_swap->swap_sym_in;
3908 swap_pdr_in = debug_swap->swap_pdr_in;
3909 mdebugread_objfile = objfile;
3910 cur_fd = FDR_IDX (pst);
3911 fh = ((cur_fd == -1)
3913 : debug_info->fdr + cur_fd);
3916 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3917 processing_gcc_compilation = 0;
3918 if (fh != (FDR *) NULL && fh->csym >= 2)
3922 (*swap_sym_in) (cur_bfd,
3923 ((char *) debug_info->external_sym
3924 + (fh->isymBase + 1) * external_sym_size),
3926 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3929 /* We indicate that this is a GCC compilation so that certain
3930 features will be enabled in stabsread/dbxread. */
3931 processing_gcc_compilation = 2;
3935 if (processing_gcc_compilation != 0)
3937 struct gdbarch *gdbarch = get_objfile_arch (objfile);
3939 /* This symbol table contains stabs-in-ecoff entries. */
3941 /* Parse local symbols first. */
3943 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
3945 mdebugread_objfile = NULL;
3948 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3954 (*swap_sym_in) (cur_bfd,
3955 (((char *) debug_info->external_sym)
3956 + (fh->isymBase + cur_sdx) * external_sym_size),
3958 name = debug_info->ss + fh->issBase + sh.iss;
3960 /* XXX This is a hack. It will go away! */
3961 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3963 int type_code = ECOFF_UNMARK_STAB (sh.index);
3964 enum language language = PST_PRIVATE (pst)->pst_language;
3966 /* We should never get non N_STAB symbols here, but they
3967 should be harmless, so keep process_one_symbol from
3968 complaining about them. */
3969 if (type_code & N_STAB)
3971 /* If we found a trailing N_SO with no name, process
3972 it here instead of in process_one_symbol, so we
3973 can keep a handle to its symtab. The symtab
3974 would otherwise be ended twice, once in
3975 process_one_symbol, and once after this loop. */
3976 if (type_code == N_SO
3977 && get_last_source_file ()
3978 && previous_stab_code != (unsigned char) N_SO
3981 valu += ANOFFSET (section_offsets,
3982 SECT_OFF_TEXT (objfile));
3983 previous_stab_code = N_SO;
3984 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
3986 last_symtab_ended = 1;
3990 last_symtab_ended = 0;
3991 process_one_symbol (type_code, 0, valu, name,
3992 section_offsets, objfile, language);
3995 /* Similarly a hack. */
3996 else if (name[0] == '#')
3998 process_one_symbol (N_SLINE, 0, valu, name,
3999 section_offsets, objfile, language);
4001 if (type_code == N_FUN)
4003 /* Make up special symbol to contain
4004 procedure specific info. */
4005 mdebug_extra_func_info *e
4006 = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
4007 mdebug_extra_func_info);
4008 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4010 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4011 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4012 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4013 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4014 e->pdr.framereg = -1;
4015 add_symbol_to_list (s, get_local_symbols ());
4018 else if (sh.st == stLabel)
4020 if (sh.index == indexNil)
4022 /* This is what the gcc2_compiled and __gnu_compiled_*
4023 show up as. So don't complain. */
4028 /* Handle encoded stab line number. */
4029 valu += ANOFFSET (section_offsets,
4030 SECT_OFF_TEXT (objfile));
4031 record_line (get_current_subfile (), sh.index,
4032 gdbarch_addr_bits_remove (gdbarch, valu));
4035 else if (sh.st == stProc || sh.st == stStaticProc
4036 || sh.st == stStatic || sh.st == stEnd)
4037 /* These are generated by gcc-2.x, do not complain. */
4040 complaint (_("unknown stabs symbol %s"), name);
4043 if (! last_symtab_ended)
4045 cust = end_symtab (pst->raw_text_high (), SECT_OFF_TEXT (objfile));
4049 /* There used to be a call to sort_blocks here, but this should not
4050 be necessary for stabs symtabs. And as sort_blocks modifies the
4051 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4052 it did the wrong thing if the first procedure in a file was
4053 generated via asm statements. */
4055 /* Fill in procedure info next. */
4063 gdb::def_vector<PDR> pr_block (fh->cpd);
4065 pdr_ptr = ((char *) debug_info->external_pdr
4066 + fh->ipdFirst * external_pdr_size);
4067 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4068 pdr_in = pr_block.data ();
4071 pdr_ptr += external_pdr_size, pdr_in++)
4073 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4075 /* Determine lowest PDR address, the PDRs are not always
4077 if (pdr_in == pr_block.data ())
4078 lowest_pdr_addr = pdr_in->adr;
4079 else if (pdr_in->adr < lowest_pdr_addr)
4080 lowest_pdr_addr = pdr_in->adr;
4083 pdr_in = pr_block.data ();
4084 pdr_in_end = pdr_in + fh->cpd;
4085 for (; pdr_in < pdr_in_end; pdr_in++)
4086 parse_procedure (pdr_in, cust, pst);
4091 /* This symbol table contains ordinary ecoff entries. */
4099 cust = new_symtab ("unknown", 0, objfile);
4103 maxlines = 2 * fh->cline;
4104 cust = new_symtab (pst->filename, maxlines, objfile);
4106 /* The proper language was already determined when building
4107 the psymtab, use it. */
4108 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4111 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4113 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4115 /* Get a new lexical context. */
4117 push_parse_stack ();
4118 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4119 top_stack->cur_block
4120 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4121 BLOCK_START (top_stack->cur_block) = pst->text_low (objfile);
4122 BLOCK_END (top_stack->cur_block) = 0;
4123 top_stack->blocktype = stFile;
4124 top_stack->cur_type = 0;
4125 top_stack->procadr = 0;
4126 top_stack->numargs = 0;
4127 found_ecoff_debugging_info = 0;
4134 /* Parse local symbols first. */
4135 sym_ptr = ((char *) debug_info->external_sym
4136 + fh->isymBase * external_sym_size);
4137 sym_end = sym_ptr + fh->csym * external_sym_size;
4138 while (sym_ptr < sym_end)
4143 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4144 c = parse_symbol (&sh,
4145 debug_info->external_aux + fh->iauxBase,
4146 sym_ptr, fh->fBigendian,
4147 section_offsets, objfile);
4148 sym_ptr += c * external_sym_size;
4151 /* Linenumbers. At the end, check if we can save memory.
4152 parse_lines has to look ahead an arbitrary number of PDR
4153 structures, so we swap them all first. */
4161 gdb::def_vector<PDR> pr_block (fh->cpd);
4163 pdr_ptr = ((char *) debug_info->external_pdr
4164 + fh->ipdFirst * external_pdr_size);
4165 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4166 pdr_in = pr_block.data ();
4169 pdr_ptr += external_pdr_size, pdr_in++)
4171 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4173 /* Determine lowest PDR address, the PDRs are not always
4175 if (pdr_in == pr_block.data ())
4176 lowest_pdr_addr = pdr_in->adr;
4177 else if (pdr_in->adr < lowest_pdr_addr)
4178 lowest_pdr_addr = pdr_in->adr;
4181 parse_lines (fh, pr_block.data (), lines, maxlines,
4182 pst->text_low (objfile), lowest_pdr_addr);
4183 if (lines->nitems < fh->cline)
4184 lines = shrink_linetable (lines);
4186 /* Fill in procedure info next. */
4187 pdr_in = pr_block.data ();
4188 pdr_in_end = pdr_in + fh->cpd;
4189 for (; pdr_in < pdr_in_end; pdr_in++)
4190 parse_procedure (pdr_in, NULL, pst);
4194 size = lines->nitems;
4197 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4198 = ((struct linetable *)
4199 obstack_copy (&mdebugread_objfile->objfile_obstack,
4200 lines, (sizeof (struct linetable)
4201 + size * sizeof (lines->item))));
4204 /* .. and our share of externals.
4205 XXX use the global list to speed up things here. How?
4206 FIXME, Maybe quit once we have found the right number of ext's? */
4207 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4208 top_stack->cur_block
4209 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4211 top_stack->blocktype = stFile;
4213 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4214 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4215 parse_external (ext_ptr, fh->fBigendian,
4216 section_offsets, objfile);
4218 /* If there are undefined symbols, tell the user.
4219 The alpha has an undefined symbol for every symbol that is
4220 from a shared library, so tell the user only if verbose is on. */
4221 if (info_verbose && n_undef_symbols)
4223 printf_filtered (_("File %s contains %d unresolved references:"),
4224 symtab_to_filename_for_display
4225 (COMPUNIT_FILETABS (cust)),
4227 printf_filtered ("\n\t%4d variables\n\t%4d "
4228 "procedures\n\t%4d labels\n",
4229 n_undef_vars, n_undef_procs, n_undef_labels);
4230 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4235 sort_blocks (COMPUNIT_FILETABS (cust));
4238 /* Now link the psymtab and the symtab. */
4239 pst->compunit_symtab = cust;
4241 mdebugread_objfile = NULL;
4244 /* Ancillary parsing procedures. */
4246 /* Return 1 if the symbol pointed to by SH has a cross reference
4247 to an opaque aggregate type, else 0. */
4250 has_opaque_xref (FDR *fh, SYMR *sh)
4257 if (sh->index == indexNil)
4260 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4261 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4262 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4266 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4267 if (rn->rfd == 0xfff)
4268 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4276 /* Lookup the type at relative index RN. Return it in TPP
4277 if found and in any event come up with its name PNAME.
4278 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4279 Return value says how many aux symbols we ate. */
4282 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4283 enum type_code type_code,
4284 /* Use to alloc new type if none is found. */
4285 const char **pname, int bigend, const char *sym_name)
4294 struct mdebug_pending *pend;
4298 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4300 /* Escape index means 'the next one'. */
4301 if (rn->rfd == 0xfff)
4304 rf = AUX_GET_ISYM (bigend, ax + 1);
4311 /* mips cc uses a rf of -1 for opaque struct definitions.
4312 Set TYPE_STUB for these types so that check_typedef will
4313 resolve them if the struct gets defined in another compilation unit. */
4316 *pname = "<undefined>";
4317 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4318 TYPE_STUB (*tpp) = 1;
4322 /* mips cc uses an escaped rn->index of 0 for struct return types
4323 of procedures that were compiled without -g. These will always remain
4325 if (rn->rfd == 0xfff && rn->index == 0)
4327 *pname = "<undefined>";
4331 /* Find the relative file descriptor and the symbol in it. */
4332 fh = get_rfd (fd, rf);
4333 xref_fd = fh - debug_info->fdr;
4335 if (rn->index >= fh->csym)
4337 /* File indirect entry is corrupt. */
4338 *pname = "<illegal>";
4339 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4343 /* If we have processed this symbol then we left a forwarding
4344 pointer to the type in the pending list. If not, we`ll put
4345 it in a list of pending types, to be processed later when
4346 the file will be. In any event, we collect the name for the
4349 esh = ((char *) debug_info->external_sym
4350 + ((fh->isymBase + rn->index)
4351 * debug_swap->external_sym_size));
4352 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4354 /* Make sure that this type of cross reference can be handled. */
4355 if ((sh.sc != scInfo
4356 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4357 && sh.st != stStruct && sh.st != stUnion
4358 && sh.st != stEnum))
4359 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4361 /* File indirect entry is corrupt. */
4362 *pname = "<illegal>";
4363 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4367 *pname = debug_info->ss + fh->issBase + sh.iss;
4369 pend = is_pending_symbol (fh, esh);
4374 /* We have not yet seen this type. */
4376 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4380 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4382 a) forward declarations of structs/unions/enums which are not
4383 defined in this compilation unit.
4384 For these the type will be void. This is a bad design decision
4385 as cross referencing across compilation units is impossible
4386 due to the missing name.
4387 b) forward declarations of structs/unions/enums/typedefs which
4388 are defined later in this file or in another file in the same
4389 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4390 Simply cross reference those again to get the true type.
4391 The forward references are not entered in the pending list and
4392 in the symbol table. */
4394 (*debug_swap->swap_tir_in) (bigend,
4395 &(debug_info->external_aux
4396 + fh->iauxBase + sh.index)->a_ti,
4398 if (tir.tq0 != tqNil)
4399 complaint (_("illegal tq0 in forward typedef for %s"), sym_name);
4403 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4404 *pname = "<undefined>";
4411 (debug_info->external_aux
4412 + fh->iauxBase + sh.index + 1),
4413 tpp, type_code, pname,
4414 fh->fBigendian, sym_name);
4418 /* Follow a forward typedef. This might recursively
4419 call cross_ref till we get a non typedef'ed type.
4420 FIXME: This is not correct behaviour, but gdb currently
4421 cannot handle typedefs without type copying. Type
4422 copying is impossible as we might have mutual forward
4423 references between two files and the copied type would not
4424 get filled in when we later parse its definition. */
4425 *tpp = parse_type (xref_fd,
4426 debug_info->external_aux + fh->iauxBase,
4430 debug_info->ss + fh->issBase + sh.iss);
4431 add_pending (fh, esh, *tpp);
4435 complaint (_("illegal bt %d in forward typedef for %s"), tir.bt,
4437 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4442 else if (sh.st == stTypedef)
4444 /* Parse the type for a normal typedef. This might recursively call
4445 cross_ref till we get a non typedef'ed type.
4446 FIXME: This is not correct behaviour, but gdb currently
4447 cannot handle typedefs without type copying. But type copying is
4448 impossible as we might have mutual forward references between
4449 two files and the copied type would not get filled in when
4450 we later parse its definition. */
4451 *tpp = parse_type (xref_fd,
4452 debug_info->external_aux + fh->iauxBase,
4456 debug_info->ss + fh->issBase + sh.iss);
4460 /* Cross reference to a struct/union/enum which is defined
4461 in another file in the same compilation unit but that file
4462 has not been parsed yet.
4463 Initialize the type only, it will be filled in when
4464 it's definition is parsed. */
4465 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4467 add_pending (fh, esh, *tpp);
4470 /* We used one auxent normally, two if we got a "next one" rf. */
4475 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4476 keeping the symtab sorted. */
4478 static struct symbol *
4479 mylookup_symbol (const char *name, const struct block *block,
4480 domain_enum domain, enum address_class theclass)
4482 struct block_iterator iter;
4487 ALL_BLOCK_SYMBOLS (block, iter, sym)
4489 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4490 && SYMBOL_DOMAIN (sym) == domain
4491 && SYMBOL_CLASS (sym) == theclass
4492 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4496 block = BLOCK_SUPERBLOCK (block);
4498 return mylookup_symbol (name, block, domain, theclass);
4503 /* Add a new symbol S to a block B. */
4506 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4508 symbol_set_symtab (s, symtab);
4509 dict_add_symbol (BLOCK_DICT (b), s);
4512 /* Add a new block B to a symtab S. */
4515 add_block (struct block *b, struct symtab *s)
4517 /* Cast away "const", but that's ok because we're building the
4518 symtab and blockvector here. */
4519 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4521 bv = (struct blockvector *) xrealloc ((void *) bv,
4522 (sizeof (struct blockvector)
4523 + BLOCKVECTOR_NBLOCKS (bv)
4524 * sizeof (bv->block)));
4525 if (bv != SYMTAB_BLOCKVECTOR (s))
4526 SYMTAB_BLOCKVECTOR (s) = bv;
4528 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4531 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4532 MIPS' linenumber encoding might need more than one byte
4533 to describe it, LAST is used to detect these continuation lines.
4535 Combining lines with the same line number seems like a bad idea.
4536 E.g: There could be a line number entry with the same line number after the
4537 prologue and GDB should not ignore it (this is a better way to find
4538 a prologue than mips_skip_prologue).
4539 But due to the compressed line table format there are line number entries
4540 for the same line which are needed to bridge the gap to the next
4541 line number entry. These entries have a bogus address info with them
4542 and we are unable to tell them from intended duplicate line number
4544 This is another reason why -ggdb debugging format is preferable. */
4547 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4549 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4550 Change them to something sensible. */
4554 last = -2; /* Make sure we record first line. */
4556 if (last == lineno) /* Skip continuation lines. */
4559 lt->item[lt->nitems].line = lineno;
4560 lt->item[lt->nitems++].pc = adr << 2;
4564 /* Sorting and reordering procedures. */
4566 /* Blocks with a smaller low bound should come first. */
4569 compare_blocks (const void *arg1, const void *arg2)
4572 struct block **b1 = (struct block **) arg1;
4573 struct block **b2 = (struct block **) arg2;
4575 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4577 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4581 /* Sort the blocks of a symtab S.
4582 Reorder the blocks in the blockvector by code-address,
4583 as required by some MI search routines. */
4586 sort_blocks (struct symtab *s)
4588 /* We have to cast away const here, but this is ok because we're
4589 constructing the blockvector in this code. */
4590 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4592 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4595 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4596 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4597 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4598 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4602 * This is very unfortunate: normally all functions are compiled in
4603 * the order they are found, but if the file is compiled -O3 things
4604 * are very different. It would be nice to find a reliable test
4605 * to detect -O3 images in advance.
4607 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4608 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4609 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4610 sizeof (struct block *),
4615 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4617 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4618 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4619 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4620 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4623 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4624 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4626 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4627 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4628 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4629 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4633 /* Constructor/restructor/destructor procedures. */
4635 /* Allocate a new symtab for NAME. Needs an estimate of how many
4636 linenumbers MAXLINES we'll put in it. */
4638 static struct compunit_symtab *
4639 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4641 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4642 struct symtab *symtab;
4643 struct blockvector *bv;
4646 add_compunit_symtab_to_objfile (cust);
4647 symtab = allocate_symtab (cust, name);
4649 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4650 lang = compunit_language (cust);
4652 /* All symtabs must have at least two blocks. */
4654 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4655 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4656 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4657 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4658 COMPUNIT_BLOCKVECTOR (cust) = bv;
4660 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4664 /* Allocate a new partial_symtab NAME. */
4666 static struct partial_symtab *
4667 new_psymtab (const char *name, struct objfile *objfile)
4669 struct partial_symtab *psymtab;
4671 psymtab = allocate_psymtab (name, objfile);
4673 /* Keep a backpointer to the file's symbols. */
4675 psymtab->read_symtab_private
4676 = OBSTACK_ZALLOC (&objfile->objfile_obstack, symloc);
4677 CUR_BFD (psymtab) = cur_bfd;
4678 DEBUG_SWAP (psymtab) = debug_swap;
4679 DEBUG_INFO (psymtab) = debug_info;
4680 PENDING_LIST (psymtab) = pending_list;
4682 /* The way to turn this into a symtab is to call... */
4683 psymtab->read_symtab = mdebug_read_symtab;
4688 /* Allocate a linetable array of the given SIZE. Since the struct
4689 already includes one item, we subtract one when calculating the
4690 proper size to allocate. */
4692 static struct linetable *
4693 new_linetable (int size)
4695 struct linetable *l;
4699 size = size * sizeof (l->item) + sizeof (struct linetable);
4700 l = (struct linetable *) xmalloc (size);
4705 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4706 I am not so sure about the 3.4 ones.
4708 Since the struct linetable already includes one item, we subtract one when
4709 calculating the proper size to allocate. */
4711 static struct linetable *
4712 shrink_linetable (struct linetable *lt)
4714 return (struct linetable *) xrealloc ((void *) lt,
4715 (sizeof (struct linetable)
4717 * sizeof (lt->item))));
4720 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4722 static struct blockvector *
4723 new_bvect (int nblocks)
4725 struct blockvector *bv;
4728 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4729 bv = (struct blockvector *) xzalloc (size);
4731 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4736 /* Allocate and zero a new block of language LANGUAGE, and set its
4737 BLOCK_DICT. If function is non-zero, assume the block is
4738 associated to a function, and make sure that the symbols are stored
4739 linearly; otherwise, store them hashed. */
4741 static struct block *
4742 new_block (enum block_type type, enum language language)
4744 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4745 allocate the block. Which, in turn, suggests that the block
4746 should be allocated on an obstack. */
4747 struct block *retval = XCNEW (struct block);
4749 if (type == FUNCTION_BLOCK)
4750 BLOCK_DICT (retval) = dict_create_linear_expandable (language);
4752 BLOCK_DICT (retval) = dict_create_hashed_expandable (language);
4757 /* Create a new symbol with printname NAME. */
4759 static struct symbol *
4760 new_symbol (const char *name)
4762 struct symbol *s = allocate_symbol (mdebugread_objfile);
4764 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4765 &mdebugread_objfile->objfile_obstack);
4766 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4770 /* Create a new type with printname NAME. */
4772 static struct type *
4773 new_type (char *name)
4777 t = alloc_type (mdebugread_objfile);
4778 TYPE_NAME (t) = name;
4779 INIT_CPLUS_SPECIFIC (t);
4783 /* Read ECOFF debugging information from a BFD section. This is
4784 called from elfread.c. It parses the section into a
4785 ecoff_debug_info struct, and then lets the rest of the file handle
4789 elfmdebug_build_psymtabs (struct objfile *objfile,
4790 const struct ecoff_debug_swap *swap, asection *sec)
4792 bfd *abfd = objfile->obfd;
4793 struct ecoff_debug_info *info;
4795 /* FIXME: It's not clear whether we should be getting minimal symbol
4796 information from .mdebug in an ELF file, or whether we will.
4797 Re-initialize the minimal symbol reader in case we do. */
4799 minimal_symbol_reader reader (objfile);
4801 info = XOBNEW (&objfile->objfile_obstack, ecoff_debug_info);
4803 if (!(*swap->read_debug_info) (abfd, sec, info))
4804 error (_("Error reading ECOFF debugging information: %s"),
4805 bfd_errmsg (bfd_get_error ()));
4807 mdebug_build_psymtabs (reader, objfile, swap, info);
4813 _initialize_mdebugread (void)
4815 basic_type_data = register_objfile_data ();
4817 mdebug_register_index
4818 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4819 mdebug_regparm_index
4820 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);