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 int name_len = p - namestring;
3201 char *name = (char *) xmalloc (name_len + 1);
3203 memcpy (name, namestring, name_len);
3204 name[name_len] = '\0';
3205 function_outside_compilation_unit_complaint (name);
3208 add_psymbol_to_list (namestring, p - namestring, 1,
3209 VAR_DOMAIN, LOC_BLOCK,
3210 SECT_OFF_TEXT (objfile),
3211 &objfile->static_psymbols,
3213 psymtab_language, objfile);
3216 /* Global functions were ignored here, but now they
3217 are put into the global psymtab like one would
3218 expect. They're also in the minimal symbol
3223 int name_len = p - namestring;
3224 char *name = (char *) xmalloc (name_len + 1);
3226 memcpy (name, namestring, name_len);
3227 name[name_len] = '\0';
3228 function_outside_compilation_unit_complaint (name);
3231 add_psymbol_to_list (namestring, p - namestring, 1,
3232 VAR_DOMAIN, LOC_BLOCK,
3233 SECT_OFF_TEXT (objfile),
3234 &objfile->global_psymbols,
3236 psymtab_language, objfile);
3239 /* Two things show up here (hopefully); static
3240 symbols of local scope (static used inside
3241 braces) or extensions of structure symbols. We
3256 case '#': /* For symbol identification (used
3261 /* It is a C++ nested symbol. We don't need to
3262 record it (I don't think); if we try to look up
3263 foo::bar::baz, then symbols for the symtab
3264 containing foo should get read in, I think. */
3265 /* Someone says sun cc puts out symbols like
3266 /foo/baz/maclib::/usr/local/bin/maclib,
3267 which would get here with a symbol type of ':'. */
3271 /* Unexpected symbol descriptor. The second and
3272 subsequent stabs of a continued stab can show up
3273 here. The question is whether they ever can
3274 mimic a normal stab--it would be nice if not,
3275 since we certainly don't want to spend the time
3276 searching to the end of every string looking for
3279 complaint (_("unknown symbol descriptor `%c'"), p[1]);
3281 /* Ignore it; perhaps it is an extension that we don't
3290 /* Solaris 2 end of module, finish current partial
3291 symbol table. dbx_end_psymtab will set the
3292 high text address of PST to the proper value,
3293 which is necessary if a module compiled without
3294 debugging info follows this module. */
3296 && gdbarch_sofun_address_maybe_missing (gdbarch))
3298 pst = (struct partial_symtab *) 0;
3300 dependencies_used = 0;
3305 if (sh.value > save_pst->raw_text_high ())
3306 save_pst->set_text_high (sh.value);
3311 case N_SSYM: /* Claim: Structure or union
3312 element. Hopefully, I can
3314 case N_ENTRY: /* Alternate entry point; can
3316 case N_MAIN: /* Can definitely ignore this. */
3317 case N_CATCH: /* These are GNU C++ extensions. */
3318 case N_EHDECL: /* that can safely be ignored here. */
3328 case N_NSYMS: /* Ultrix 4.0: symbol count */
3329 case N_DEFD: /* GNU Modula-2 */
3330 case N_ALIAS: /* SunPro F77: alias name, ignore
3333 case N_OBJ: /* Useless types from Solaris. */
3335 /* These symbols aren't interesting; don't worry about
3341 /* If we haven't found it yet, ignore it. It's
3342 probably some new type we don't know about yet. */
3343 complaint (_("unknown symbol type %s"),
3344 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3348 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3351 /* end - Handle continuation */
3356 for (cur_sdx = 0; cur_sdx < fh->csym;)
3359 enum address_class theclass;
3360 CORE_ADDR minsym_value;
3363 (*swap_sym_in) (cur_bfd,
3364 ((char *) debug_info->external_sym
3365 + ((fh->isymBase + cur_sdx)
3366 * external_sym_size)),
3369 if (ECOFF_IS_STAB (&sh))
3375 /* Non absolute static symbols go into the minimal table. */
3376 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3377 || (sh.index == indexNil
3378 && (sh.st != stStatic || sh.sc == scAbs)))
3380 /* FIXME, premature? */
3385 sym_name = debug_info->ss + fh->issBase + sh.iss;
3387 minsym_value = sh.value;
3393 /* The value of a stEnd symbol is the displacement from the
3394 corresponding start symbol value, do not relocate it. */
3396 section = SECT_OFF_TEXT (objfile);
3403 section = SECT_OFF_DATA (objfile);
3407 section = SECT_OFF_BSS (objfile);
3418 reader.record_with_info (sym_name, minsym_value,
3420 SECT_OFF_TEXT (objfile));
3425 /* Ignore all parameter symbol records. */
3426 if (sh.index >= hdr->iauxMax)
3428 /* Should not happen, but does when cross-compiling
3429 with the MIPS compiler. FIXME -- pull later. */
3430 index_complaint (sym_name);
3431 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3434 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3435 (debug_info->external_aux
3439 if (new_sdx <= cur_sdx)
3441 /* This should not happen either... FIXME. */
3442 complaint (_("bad proc end in aux found from symbol %s"),
3444 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3447 /* For stProc symbol records, we need to check the
3448 storage class as well, as only (stProc, scText)
3449 entries represent "real" procedures - See the
3450 Compaq document titled "Object File / Symbol Table
3451 Format Specification" for more information. If the
3452 storage class is not scText, we discard the whole
3453 block of symbol records for this stProc. */
3454 if (sh.st == stProc && sh.sc != scText)
3457 /* Usually there is a local and a global stProc symbol
3458 for a function. This means that the function name
3459 has already been entered into the mimimal symbol table
3460 while processing the global symbols in pass 2 above.
3461 One notable exception is the PROGRAM name from
3462 f77 compiled executables, it is only put out as
3463 local stProc symbol, and a global MAIN__ stProc symbol
3464 points to it. It doesn't matter though, as gdb is
3465 still able to find the PROGRAM name via the partial
3466 symbol table, and the MAIN__ symbol via the minimal
3468 if (sh.st == stProc)
3469 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3470 VAR_DOMAIN, LOC_BLOCK,
3472 &objfile->global_psymbols,
3473 sh.value, psymtab_language, objfile);
3475 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3476 VAR_DOMAIN, LOC_BLOCK,
3478 &objfile->static_psymbols,
3479 sh.value, psymtab_language, objfile);
3481 procaddr = sh.value;
3484 (*swap_sym_in) (cur_bfd,
3485 ((char *) debug_info->external_sym
3486 + ((fh->isymBase + cur_sdx - 1)
3487 * external_sym_size)),
3492 /* Kludge for Irix 5.2 zero fh->adr. */
3494 && (!pst->text_low_valid
3495 || procaddr < pst->raw_text_low ()))
3496 pst->set_text_low (procaddr);
3498 high = procaddr + sh.value;
3499 if (high > pst->raw_text_high ())
3500 pst->set_text_high (high);
3503 case stStatic: /* Variable */
3504 if (SC_IS_DATA (sh.sc))
3505 reader.record_with_info (sym_name, minsym_value,
3507 SECT_OFF_DATA (objfile));
3509 reader.record_with_info (sym_name, minsym_value,
3511 SECT_OFF_BSS (objfile));
3512 theclass = LOC_STATIC;
3515 case stIndirect: /* Irix5 forward declaration */
3516 /* Skip forward declarations from Irix5 cc. */
3519 case stTypedef: /* Typedef */
3520 /* Skip typedefs for forward declarations and opaque
3521 structs from alpha and mips cc. */
3522 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3524 theclass = LOC_TYPEDEF;
3527 case stConstant: /* Constant decl */
3528 theclass = LOC_CONST;
3534 case stBlock: /* { }, str, un, enum */
3535 /* Do not create a partial symbol for cc unnamed aggregates
3536 and gcc empty aggregates. */
3537 if ((sh.sc == scInfo
3538 || SC_IS_COMMON (sh.sc))
3540 && sh.index != cur_sdx + 2)
3542 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3543 STRUCT_DOMAIN, LOC_TYPEDEF, -1,
3544 &objfile->static_psymbols,
3545 0, psymtab_language, objfile);
3547 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3549 /* Skip over the block. */
3551 if (new_sdx <= cur_sdx)
3553 /* This happens with the Ultrix kernel. */
3554 complaint (_("bad aux index at block symbol %s"),
3556 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3561 case stFile: /* File headers */
3562 case stLabel: /* Labels */
3563 case stEnd: /* Ends of files */
3566 case stLocal: /* Local variables */
3567 /* Normally these are skipped because we skip over
3568 all blocks we see. However, these can occur
3569 as visible symbols in a .h file that contains code. */
3573 /* Both complaints are valid: one gives symbol sym_name,
3574 the other the offending symbol type. */
3575 complaint (_("unknown local symbol %s"),
3577 complaint (_("with type %d"), sh.st);
3581 /* Use this gdb symbol. */
3582 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3583 VAR_DOMAIN, theclass, section,
3584 &objfile->static_psymbols,
3585 sh.value, psymtab_language, objfile);
3587 cur_sdx++; /* Go to next file symbol. */
3590 /* Now do enter the external symbols. */
3591 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3592 cur_sdx = fdr_to_pst[f_idx].n_globals;
3593 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3594 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3595 for (; --cur_sdx >= 0; ext_ptr++)
3597 enum address_class theclass;
3602 if (ext_ptr->ifd != f_idx)
3603 internal_error (__FILE__, __LINE__,
3604 _("failed internal consistency check"));
3605 psh = &ext_ptr->asym;
3607 /* Do not add undefined symbols to the partial symbol table. */
3608 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3611 svalue = psh->value;
3617 section = SECT_OFF_TEXT (objfile);
3624 section = SECT_OFF_DATA (objfile);
3628 section = SECT_OFF_BSS (objfile);
3635 /* These are generated for static symbols in .o files,
3640 /* External procedure symbols have been entered
3641 into the minimal symbol table in pass 2 above.
3642 Ignore them, as parse_external will ignore them too. */
3645 theclass = LOC_LABEL;
3648 unknown_ext_complaint (debug_info->ssext + psh->iss);
3649 /* Pretend it's global. */
3652 /* Global common symbols are resolved by the runtime loader,
3654 if (SC_IS_COMMON (psh->sc))
3657 theclass = LOC_STATIC;
3660 char *sym_name = debug_info->ssext + psh->iss;
3661 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3662 VAR_DOMAIN, theclass,
3664 &objfile->global_psymbols,
3665 svalue, psymtab_language, objfile);
3669 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3670 empty and put on the free list. */
3671 fdr_to_pst[f_idx].pst
3672 = dbx_end_psymtab (objfile, save_pst,
3673 psymtab_include_list, includes_used,
3674 -1, save_pst->raw_text_high (),
3675 dependency_list, dependencies_used,
3678 dependencies_used = 0;
3680 /* The objfile has its functions reordered if this partial symbol
3681 table overlaps any other partial symbol table.
3682 We cannot assume a reordered objfile if a partial symbol table
3683 is contained within another partial symbol table, as partial symbol
3684 tables for include files with executable code are contained
3685 within the partial symbol table for the including source file,
3686 and we do not want to flag the objfile reordered for these cases.
3688 This strategy works well for Irix-5.2 shared libraries, but we
3689 might have to use a more elaborate (and slower) algorithm for
3691 save_pst = fdr_to_pst[f_idx].pst;
3692 if (save_pst != NULL
3693 && save_pst->text_low_valid
3694 && !(objfile->flags & OBJF_REORDERED))
3696 ALL_OBJFILE_PSYMTABS (objfile, pst)
3699 && save_pst->raw_text_low () >= pst->raw_text_low ()
3700 && save_pst->raw_text_low () < pst->raw_text_high ()
3701 && save_pst->raw_text_high () > pst->raw_text_high ())
3703 objfile->flags |= OBJF_REORDERED;
3710 /* Now scan the FDRs for dependencies. */
3711 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3713 fh = f_idx + debug_info->fdr;
3714 pst = fdr_to_pst[f_idx].pst;
3716 if (pst == (struct partial_symtab *) NULL)
3719 /* This should catch stabs-in-ecoff. */
3723 /* Skip the first file indirect entry as it is a self dependency for
3724 source files or a reverse .h -> .c dependency for header files. */
3725 pst->number_of_dependencies = 0;
3726 pst->dependencies = XOBNEWVEC (&objfile->objfile_obstack,
3727 partial_symtab *, (fh->crfd - 1));
3728 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3732 (*swap_rfd_in) (cur_bfd,
3733 ((char *) debug_info->external_rfd
3734 + (fh->rfdBase + s_idx) * external_rfd_size),
3736 if (rh < 0 || rh >= hdr->ifdMax)
3738 complaint (_("bad file number %ld"), rh);
3742 /* Skip self dependencies of header files. */
3746 /* Do not add to dependeny list if psymtab was empty. */
3747 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3749 pst->dependencies[pst->number_of_dependencies++]
3750 = fdr_to_pst[rh].pst;
3754 /* Remove the dummy psymtab created for -O3 images above, if it is
3755 still empty, to enable the detection of stripped executables. */
3756 if (objfile->psymtabs->next == NULL
3757 && objfile->psymtabs->number_of_dependencies == 0
3758 && objfile->psymtabs->n_global_syms == 0
3759 && objfile->psymtabs->n_static_syms == 0)
3760 objfile->psymtabs = NULL;
3763 /* If the current psymbol has an enumerated type, we need to add
3764 all the enum constants to the partial symbol table. */
3767 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3770 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3771 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3772 char *ext_sym = ((char *) debug_info->external_sym
3773 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3783 /* It is an enumerated type if the next symbol entry is a stMember
3784 and its auxiliary index is indexNil or its auxiliary entry
3785 is a plain btNil or btVoid.
3786 Alpha cc -migrate enums are recognized by a zero index and
3787 a zero symbol value.
3788 DU 4.0 cc enums are recognized by a member type of btEnum without
3789 qualifiers and a zero symbol value. */
3790 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3791 if (sh.st != stMember)
3794 if (sh.index == indexNil
3795 || (sh.index == 0 && svalue == 0))
3797 (*debug_swap->swap_tir_in) (fh->fBigendian,
3798 &(debug_info->external_aux
3799 + fh->iauxBase + sh.index)->a_ti,
3801 if ((tir.bt != btNil
3803 && (tir.bt != btEnum || svalue != 0))
3804 || tir.tq0 != tqNil)
3816 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3817 if (sh.st != stMember)
3819 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3821 /* Note that the value doesn't matter for enum constants
3822 in psymtabs, just in symtabs. */
3823 add_psymbol_to_list (name, strlen (name), 1,
3824 VAR_DOMAIN, LOC_CONST, -1,
3825 &objfile->static_psymbols, 0,
3826 psymtab_language, objfile);
3827 ext_sym += external_sym_size;
3831 /* Get the next symbol. OBJFILE is unused. */
3834 mdebug_next_symbol_text (struct objfile *objfile)
3839 (*debug_swap->swap_sym_in) (cur_bfd,
3840 ((char *) debug_info->external_sym
3841 + ((cur_fdr->isymBase + cur_sdx)
3842 * debug_swap->external_sym_size)),
3844 return debug_info->ss + cur_fdr->issBase + sh.iss;
3847 /* Ancillary function to psymtab_to_symtab(). Does all the work
3848 for turning the partial symtab PST into a symtab, recurring
3849 first on all dependent psymtabs. The argument FILENAME is
3850 only passed so we can see in debug stack traces what file
3853 This function has a split personality, based on whether the
3854 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3855 The flow of control and even the memory allocation differs. FIXME. */
3858 psymtab_to_symtab_1 (struct objfile *objfile,
3859 struct partial_symtab *pst, const char *filename)
3861 bfd_size_type external_sym_size;
3862 bfd_size_type external_pdr_size;
3863 void (*swap_sym_in) (bfd *, void *, SYMR *);
3864 void (*swap_pdr_in) (bfd *, void *, PDR *);
3866 struct compunit_symtab *cust = NULL;
3868 struct linetable *lines;
3869 CORE_ADDR lowest_pdr_addr = 0;
3870 int last_symtab_ended = 0;
3871 struct section_offsets *section_offsets = objfile->section_offsets;
3877 /* Read in all partial symbtabs on which this one is dependent.
3878 NOTE that we do have circular dependencies, sigh. We solved
3879 that by setting pst->readin before this point. */
3881 for (i = 0; i < pst->number_of_dependencies; i++)
3882 if (!pst->dependencies[i]->readin)
3884 /* Inform about additional files to be read in. */
3887 fputs_filtered (" ", gdb_stdout);
3889 fputs_filtered ("and ", gdb_stdout);
3891 printf_filtered ("%s...",
3892 pst->dependencies[i]->filename);
3893 wrap_here (""); /* Flush output */
3894 gdb_flush (gdb_stdout);
3896 /* We only pass the filename for debug purposes. */
3897 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3898 pst->dependencies[i]->filename);
3901 /* Do nothing if this is a dummy psymtab. */
3903 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3904 && !pst->text_low_valid && !pst->text_high_valid)
3907 /* Now read the symbols for this symtab. */
3909 cur_bfd = CUR_BFD (pst);
3910 debug_swap = DEBUG_SWAP (pst);
3911 debug_info = DEBUG_INFO (pst);
3912 pending_list = PENDING_LIST (pst);
3913 external_sym_size = debug_swap->external_sym_size;
3914 external_pdr_size = debug_swap->external_pdr_size;
3915 swap_sym_in = debug_swap->swap_sym_in;
3916 swap_pdr_in = debug_swap->swap_pdr_in;
3917 mdebugread_objfile = objfile;
3918 cur_fd = FDR_IDX (pst);
3919 fh = ((cur_fd == -1)
3921 : debug_info->fdr + cur_fd);
3924 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3925 processing_gcc_compilation = 0;
3926 if (fh != (FDR *) NULL && fh->csym >= 2)
3930 (*swap_sym_in) (cur_bfd,
3931 ((char *) debug_info->external_sym
3932 + (fh->isymBase + 1) * external_sym_size),
3934 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3937 /* We indicate that this is a GCC compilation so that certain
3938 features will be enabled in stabsread/dbxread. */
3939 processing_gcc_compilation = 2;
3943 if (processing_gcc_compilation != 0)
3945 struct gdbarch *gdbarch = get_objfile_arch (objfile);
3947 /* This symbol table contains stabs-in-ecoff entries. */
3949 /* Parse local symbols first. */
3951 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
3953 mdebugread_objfile = NULL;
3956 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3962 (*swap_sym_in) (cur_bfd,
3963 (((char *) debug_info->external_sym)
3964 + (fh->isymBase + cur_sdx) * external_sym_size),
3966 name = debug_info->ss + fh->issBase + sh.iss;
3968 /* XXX This is a hack. It will go away! */
3969 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3971 int type_code = ECOFF_UNMARK_STAB (sh.index);
3972 enum language language = PST_PRIVATE (pst)->pst_language;
3974 /* We should never get non N_STAB symbols here, but they
3975 should be harmless, so keep process_one_symbol from
3976 complaining about them. */
3977 if (type_code & N_STAB)
3979 /* If we found a trailing N_SO with no name, process
3980 it here instead of in process_one_symbol, so we
3981 can keep a handle to its symtab. The symtab
3982 would otherwise be ended twice, once in
3983 process_one_symbol, and once after this loop. */
3984 if (type_code == N_SO
3985 && get_last_source_file ()
3986 && previous_stab_code != (unsigned char) N_SO
3989 valu += ANOFFSET (section_offsets,
3990 SECT_OFF_TEXT (objfile));
3991 previous_stab_code = N_SO;
3992 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
3994 last_symtab_ended = 1;
3998 last_symtab_ended = 0;
3999 process_one_symbol (type_code, 0, valu, name,
4000 section_offsets, objfile, language);
4003 /* Similarly a hack. */
4004 else if (name[0] == '#')
4006 process_one_symbol (N_SLINE, 0, valu, name,
4007 section_offsets, objfile, language);
4009 if (type_code == N_FUN)
4011 /* Make up special symbol to contain
4012 procedure specific info. */
4013 mdebug_extra_func_info *e
4014 = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
4015 mdebug_extra_func_info);
4016 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4018 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4019 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4020 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4021 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4022 e->pdr.framereg = -1;
4023 add_symbol_to_list (s, get_local_symbols ());
4026 else if (sh.st == stLabel)
4028 if (sh.index == indexNil)
4030 /* This is what the gcc2_compiled and __gnu_compiled_*
4031 show up as. So don't complain. */
4036 /* Handle encoded stab line number. */
4037 valu += ANOFFSET (section_offsets,
4038 SECT_OFF_TEXT (objfile));
4039 record_line (get_current_subfile (), sh.index,
4040 gdbarch_addr_bits_remove (gdbarch, valu));
4043 else if (sh.st == stProc || sh.st == stStaticProc
4044 || sh.st == stStatic || sh.st == stEnd)
4045 /* These are generated by gcc-2.x, do not complain. */
4048 complaint (_("unknown stabs symbol %s"), name);
4051 if (! last_symtab_ended)
4053 cust = end_symtab (pst->raw_text_high (), SECT_OFF_TEXT (objfile));
4057 /* There used to be a call to sort_blocks here, but this should not
4058 be necessary for stabs symtabs. And as sort_blocks modifies the
4059 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4060 it did the wrong thing if the first procedure in a file was
4061 generated via asm statements. */
4063 /* Fill in procedure info next. */
4071 gdb::def_vector<PDR> pr_block (fh->cpd);
4073 pdr_ptr = ((char *) debug_info->external_pdr
4074 + fh->ipdFirst * external_pdr_size);
4075 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4076 pdr_in = pr_block.data ();
4079 pdr_ptr += external_pdr_size, pdr_in++)
4081 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4083 /* Determine lowest PDR address, the PDRs are not always
4085 if (pdr_in == pr_block.data ())
4086 lowest_pdr_addr = pdr_in->adr;
4087 else if (pdr_in->adr < lowest_pdr_addr)
4088 lowest_pdr_addr = pdr_in->adr;
4091 pdr_in = pr_block.data ();
4092 pdr_in_end = pdr_in + fh->cpd;
4093 for (; pdr_in < pdr_in_end; pdr_in++)
4094 parse_procedure (pdr_in, cust, pst);
4099 /* This symbol table contains ordinary ecoff entries. */
4107 cust = new_symtab ("unknown", 0, objfile);
4111 maxlines = 2 * fh->cline;
4112 cust = new_symtab (pst->filename, maxlines, objfile);
4114 /* The proper language was already determined when building
4115 the psymtab, use it. */
4116 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4119 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4121 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4123 /* Get a new lexical context. */
4125 push_parse_stack ();
4126 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4127 top_stack->cur_block
4128 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4129 BLOCK_START (top_stack->cur_block) = pst->text_low (objfile);
4130 BLOCK_END (top_stack->cur_block) = 0;
4131 top_stack->blocktype = stFile;
4132 top_stack->cur_type = 0;
4133 top_stack->procadr = 0;
4134 top_stack->numargs = 0;
4135 found_ecoff_debugging_info = 0;
4142 /* Parse local symbols first. */
4143 sym_ptr = ((char *) debug_info->external_sym
4144 + fh->isymBase * external_sym_size);
4145 sym_end = sym_ptr + fh->csym * external_sym_size;
4146 while (sym_ptr < sym_end)
4151 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4152 c = parse_symbol (&sh,
4153 debug_info->external_aux + fh->iauxBase,
4154 sym_ptr, fh->fBigendian,
4155 section_offsets, objfile);
4156 sym_ptr += c * external_sym_size;
4159 /* Linenumbers. At the end, check if we can save memory.
4160 parse_lines has to look ahead an arbitrary number of PDR
4161 structures, so we swap them all first. */
4169 gdb::def_vector<PDR> pr_block (fh->cpd);
4171 pdr_ptr = ((char *) debug_info->external_pdr
4172 + fh->ipdFirst * external_pdr_size);
4173 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4174 pdr_in = pr_block.data ();
4177 pdr_ptr += external_pdr_size, pdr_in++)
4179 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4181 /* Determine lowest PDR address, the PDRs are not always
4183 if (pdr_in == pr_block.data ())
4184 lowest_pdr_addr = pdr_in->adr;
4185 else if (pdr_in->adr < lowest_pdr_addr)
4186 lowest_pdr_addr = pdr_in->adr;
4189 parse_lines (fh, pr_block.data (), lines, maxlines,
4190 pst->text_low (objfile), lowest_pdr_addr);
4191 if (lines->nitems < fh->cline)
4192 lines = shrink_linetable (lines);
4194 /* Fill in procedure info next. */
4195 pdr_in = pr_block.data ();
4196 pdr_in_end = pdr_in + fh->cpd;
4197 for (; pdr_in < pdr_in_end; pdr_in++)
4198 parse_procedure (pdr_in, NULL, pst);
4202 size = lines->nitems;
4205 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4206 = ((struct linetable *)
4207 obstack_copy (&mdebugread_objfile->objfile_obstack,
4208 lines, (sizeof (struct linetable)
4209 + size * sizeof (lines->item))));
4212 /* .. and our share of externals.
4213 XXX use the global list to speed up things here. How?
4214 FIXME, Maybe quit once we have found the right number of ext's? */
4215 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4216 top_stack->cur_block
4217 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4219 top_stack->blocktype = stFile;
4221 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4222 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4223 parse_external (ext_ptr, fh->fBigendian,
4224 section_offsets, objfile);
4226 /* If there are undefined symbols, tell the user.
4227 The alpha has an undefined symbol for every symbol that is
4228 from a shared library, so tell the user only if verbose is on. */
4229 if (info_verbose && n_undef_symbols)
4231 printf_filtered (_("File %s contains %d unresolved references:"),
4232 symtab_to_filename_for_display
4233 (COMPUNIT_FILETABS (cust)),
4235 printf_filtered ("\n\t%4d variables\n\t%4d "
4236 "procedures\n\t%4d labels\n",
4237 n_undef_vars, n_undef_procs, n_undef_labels);
4238 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4243 sort_blocks (COMPUNIT_FILETABS (cust));
4246 /* Now link the psymtab and the symtab. */
4247 pst->compunit_symtab = cust;
4249 mdebugread_objfile = NULL;
4252 /* Ancillary parsing procedures. */
4254 /* Return 1 if the symbol pointed to by SH has a cross reference
4255 to an opaque aggregate type, else 0. */
4258 has_opaque_xref (FDR *fh, SYMR *sh)
4265 if (sh->index == indexNil)
4268 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4269 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4270 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4274 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4275 if (rn->rfd == 0xfff)
4276 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4284 /* Lookup the type at relative index RN. Return it in TPP
4285 if found and in any event come up with its name PNAME.
4286 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4287 Return value says how many aux symbols we ate. */
4290 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4291 enum type_code type_code,
4292 /* Use to alloc new type if none is found. */
4293 const char **pname, int bigend, const char *sym_name)
4302 struct mdebug_pending *pend;
4306 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4308 /* Escape index means 'the next one'. */
4309 if (rn->rfd == 0xfff)
4312 rf = AUX_GET_ISYM (bigend, ax + 1);
4319 /* mips cc uses a rf of -1 for opaque struct definitions.
4320 Set TYPE_STUB for these types so that check_typedef will
4321 resolve them if the struct gets defined in another compilation unit. */
4324 *pname = "<undefined>";
4325 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4326 TYPE_STUB (*tpp) = 1;
4330 /* mips cc uses an escaped rn->index of 0 for struct return types
4331 of procedures that were compiled without -g. These will always remain
4333 if (rn->rfd == 0xfff && rn->index == 0)
4335 *pname = "<undefined>";
4339 /* Find the relative file descriptor and the symbol in it. */
4340 fh = get_rfd (fd, rf);
4341 xref_fd = fh - debug_info->fdr;
4343 if (rn->index >= fh->csym)
4345 /* File indirect entry is corrupt. */
4346 *pname = "<illegal>";
4347 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4351 /* If we have processed this symbol then we left a forwarding
4352 pointer to the type in the pending list. If not, we`ll put
4353 it in a list of pending types, to be processed later when
4354 the file will be. In any event, we collect the name for the
4357 esh = ((char *) debug_info->external_sym
4358 + ((fh->isymBase + rn->index)
4359 * debug_swap->external_sym_size));
4360 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4362 /* Make sure that this type of cross reference can be handled. */
4363 if ((sh.sc != scInfo
4364 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4365 && sh.st != stStruct && sh.st != stUnion
4366 && sh.st != stEnum))
4367 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4369 /* File indirect entry is corrupt. */
4370 *pname = "<illegal>";
4371 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4375 *pname = debug_info->ss + fh->issBase + sh.iss;
4377 pend = is_pending_symbol (fh, esh);
4382 /* We have not yet seen this type. */
4384 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4388 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4390 a) forward declarations of structs/unions/enums which are not
4391 defined in this compilation unit.
4392 For these the type will be void. This is a bad design decision
4393 as cross referencing across compilation units is impossible
4394 due to the missing name.
4395 b) forward declarations of structs/unions/enums/typedefs which
4396 are defined later in this file or in another file in the same
4397 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4398 Simply cross reference those again to get the true type.
4399 The forward references are not entered in the pending list and
4400 in the symbol table. */
4402 (*debug_swap->swap_tir_in) (bigend,
4403 &(debug_info->external_aux
4404 + fh->iauxBase + sh.index)->a_ti,
4406 if (tir.tq0 != tqNil)
4407 complaint (_("illegal tq0 in forward typedef for %s"), sym_name);
4411 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4412 *pname = "<undefined>";
4419 (debug_info->external_aux
4420 + fh->iauxBase + sh.index + 1),
4421 tpp, type_code, pname,
4422 fh->fBigendian, sym_name);
4426 /* Follow a forward typedef. This might recursively
4427 call cross_ref till we get a non typedef'ed type.
4428 FIXME: This is not correct behaviour, but gdb currently
4429 cannot handle typedefs without type copying. Type
4430 copying is impossible as we might have mutual forward
4431 references between two files and the copied type would not
4432 get filled in when we later parse its definition. */
4433 *tpp = parse_type (xref_fd,
4434 debug_info->external_aux + fh->iauxBase,
4438 debug_info->ss + fh->issBase + sh.iss);
4439 add_pending (fh, esh, *tpp);
4443 complaint (_("illegal bt %d in forward typedef for %s"), tir.bt,
4445 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4450 else if (sh.st == stTypedef)
4452 /* Parse the type for a normal typedef. This might recursively call
4453 cross_ref till we get a non typedef'ed type.
4454 FIXME: This is not correct behaviour, but gdb currently
4455 cannot handle typedefs without type copying. But type copying is
4456 impossible as we might have mutual forward references between
4457 two files and the copied type would not get filled in when
4458 we later parse its definition. */
4459 *tpp = parse_type (xref_fd,
4460 debug_info->external_aux + fh->iauxBase,
4464 debug_info->ss + fh->issBase + sh.iss);
4468 /* Cross reference to a struct/union/enum which is defined
4469 in another file in the same compilation unit but that file
4470 has not been parsed yet.
4471 Initialize the type only, it will be filled in when
4472 it's definition is parsed. */
4473 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4475 add_pending (fh, esh, *tpp);
4478 /* We used one auxent normally, two if we got a "next one" rf. */
4483 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4484 keeping the symtab sorted. */
4486 static struct symbol *
4487 mylookup_symbol (const char *name, const struct block *block,
4488 domain_enum domain, enum address_class theclass)
4490 struct block_iterator iter;
4495 ALL_BLOCK_SYMBOLS (block, iter, sym)
4497 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4498 && SYMBOL_DOMAIN (sym) == domain
4499 && SYMBOL_CLASS (sym) == theclass
4500 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4504 block = BLOCK_SUPERBLOCK (block);
4506 return mylookup_symbol (name, block, domain, theclass);
4511 /* Add a new symbol S to a block B. */
4514 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4516 symbol_set_symtab (s, symtab);
4517 dict_add_symbol (BLOCK_DICT (b), s);
4520 /* Add a new block B to a symtab S. */
4523 add_block (struct block *b, struct symtab *s)
4525 /* Cast away "const", but that's ok because we're building the
4526 symtab and blockvector here. */
4527 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4529 bv = (struct blockvector *) xrealloc ((void *) bv,
4530 (sizeof (struct blockvector)
4531 + BLOCKVECTOR_NBLOCKS (bv)
4532 * sizeof (bv->block)));
4533 if (bv != SYMTAB_BLOCKVECTOR (s))
4534 SYMTAB_BLOCKVECTOR (s) = bv;
4536 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4539 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4540 MIPS' linenumber encoding might need more than one byte
4541 to describe it, LAST is used to detect these continuation lines.
4543 Combining lines with the same line number seems like a bad idea.
4544 E.g: There could be a line number entry with the same line number after the
4545 prologue and GDB should not ignore it (this is a better way to find
4546 a prologue than mips_skip_prologue).
4547 But due to the compressed line table format there are line number entries
4548 for the same line which are needed to bridge the gap to the next
4549 line number entry. These entries have a bogus address info with them
4550 and we are unable to tell them from intended duplicate line number
4552 This is another reason why -ggdb debugging format is preferable. */
4555 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4557 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4558 Change them to something sensible. */
4562 last = -2; /* Make sure we record first line. */
4564 if (last == lineno) /* Skip continuation lines. */
4567 lt->item[lt->nitems].line = lineno;
4568 lt->item[lt->nitems++].pc = adr << 2;
4572 /* Sorting and reordering procedures. */
4574 /* Blocks with a smaller low bound should come first. */
4577 compare_blocks (const void *arg1, const void *arg2)
4580 struct block **b1 = (struct block **) arg1;
4581 struct block **b2 = (struct block **) arg2;
4583 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4585 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4589 /* Sort the blocks of a symtab S.
4590 Reorder the blocks in the blockvector by code-address,
4591 as required by some MI search routines. */
4594 sort_blocks (struct symtab *s)
4596 /* We have to cast away const here, but this is ok because we're
4597 constructing the blockvector in this code. */
4598 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4600 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4603 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4604 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4605 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4606 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4610 * This is very unfortunate: normally all functions are compiled in
4611 * the order they are found, but if the file is compiled -O3 things
4612 * are very different. It would be nice to find a reliable test
4613 * to detect -O3 images in advance.
4615 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4616 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4617 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4618 sizeof (struct block *),
4623 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4625 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4626 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4627 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4628 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4631 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4632 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4634 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4635 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4636 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4637 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4641 /* Constructor/restructor/destructor procedures. */
4643 /* Allocate a new symtab for NAME. Needs an estimate of how many
4644 linenumbers MAXLINES we'll put in it. */
4646 static struct compunit_symtab *
4647 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4649 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4650 struct symtab *symtab;
4651 struct blockvector *bv;
4654 add_compunit_symtab_to_objfile (cust);
4655 symtab = allocate_symtab (cust, name);
4657 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4658 lang = compunit_language (cust);
4660 /* All symtabs must have at least two blocks. */
4662 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4663 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4664 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4665 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4666 COMPUNIT_BLOCKVECTOR (cust) = bv;
4668 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4672 /* Allocate a new partial_symtab NAME. */
4674 static struct partial_symtab *
4675 new_psymtab (const char *name, struct objfile *objfile)
4677 struct partial_symtab *psymtab;
4679 psymtab = allocate_psymtab (name, objfile);
4681 /* Keep a backpointer to the file's symbols. */
4683 psymtab->read_symtab_private
4684 = OBSTACK_ZALLOC (&objfile->objfile_obstack, symloc);
4685 CUR_BFD (psymtab) = cur_bfd;
4686 DEBUG_SWAP (psymtab) = debug_swap;
4687 DEBUG_INFO (psymtab) = debug_info;
4688 PENDING_LIST (psymtab) = pending_list;
4690 /* The way to turn this into a symtab is to call... */
4691 psymtab->read_symtab = mdebug_read_symtab;
4696 /* Allocate a linetable array of the given SIZE. Since the struct
4697 already includes one item, we subtract one when calculating the
4698 proper size to allocate. */
4700 static struct linetable *
4701 new_linetable (int size)
4703 struct linetable *l;
4707 size = size * sizeof (l->item) + sizeof (struct linetable);
4708 l = (struct linetable *) xmalloc (size);
4713 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4714 I am not so sure about the 3.4 ones.
4716 Since the struct linetable already includes one item, we subtract one when
4717 calculating the proper size to allocate. */
4719 static struct linetable *
4720 shrink_linetable (struct linetable *lt)
4722 return (struct linetable *) xrealloc ((void *) lt,
4723 (sizeof (struct linetable)
4725 * sizeof (lt->item))));
4728 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4730 static struct blockvector *
4731 new_bvect (int nblocks)
4733 struct blockvector *bv;
4736 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4737 bv = (struct blockvector *) xzalloc (size);
4739 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4744 /* Allocate and zero a new block of language LANGUAGE, and set its
4745 BLOCK_DICT. If function is non-zero, assume the block is
4746 associated to a function, and make sure that the symbols are stored
4747 linearly; otherwise, store them hashed. */
4749 static struct block *
4750 new_block (enum block_type type, enum language language)
4752 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4753 allocate the block. Which, in turn, suggests that the block
4754 should be allocated on an obstack. */
4755 struct block *retval = XCNEW (struct block);
4757 if (type == FUNCTION_BLOCK)
4758 BLOCK_DICT (retval) = dict_create_linear_expandable (language);
4760 BLOCK_DICT (retval) = dict_create_hashed_expandable (language);
4765 /* Create a new symbol with printname NAME. */
4767 static struct symbol *
4768 new_symbol (const char *name)
4770 struct symbol *s = allocate_symbol (mdebugread_objfile);
4772 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4773 &mdebugread_objfile->objfile_obstack);
4774 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4778 /* Create a new type with printname NAME. */
4780 static struct type *
4781 new_type (char *name)
4785 t = alloc_type (mdebugread_objfile);
4786 TYPE_NAME (t) = name;
4787 INIT_CPLUS_SPECIFIC (t);
4791 /* Read ECOFF debugging information from a BFD section. This is
4792 called from elfread.c. It parses the section into a
4793 ecoff_debug_info struct, and then lets the rest of the file handle
4797 elfmdebug_build_psymtabs (struct objfile *objfile,
4798 const struct ecoff_debug_swap *swap, asection *sec)
4800 bfd *abfd = objfile->obfd;
4801 struct ecoff_debug_info *info;
4803 /* FIXME: It's not clear whether we should be getting minimal symbol
4804 information from .mdebug in an ELF file, or whether we will.
4805 Re-initialize the minimal symbol reader in case we do. */
4807 minimal_symbol_reader reader (objfile);
4809 info = XOBNEW (&objfile->objfile_obstack, ecoff_debug_info);
4811 if (!(*swap->read_debug_info) (abfd, sec, info))
4812 error (_("Error reading ECOFF debugging information: %s"),
4813 bfd_errmsg (bfd_get_error ()));
4815 mdebug_build_psymtabs (reader, objfile, swap, info);
4821 _initialize_mdebugread (void)
4823 basic_type_data = register_objfile_data ();
4825 mdebug_register_index
4826 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4827 mdebug_regparm_index
4828 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);