1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2019 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));
540 if (regno < 0 || regno >= gdbarch_num_cooked_regs (gdbarch))
542 reg_value_complaint (regno, gdbarch_num_cooked_regs (gdbarch),
543 SYMBOL_PRINT_NAME (sym));
545 regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless. */
551 static const struct symbol_register_ops mdebug_register_funcs = {
555 /* The "aclass" indices for computed symbols. */
557 static int mdebug_register_index;
558 static int mdebug_regparm_index;
560 /* Common code for symbols describing data. */
563 add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
564 struct symbol *s, int aclass_index, struct block *b,
565 struct objfile *objfile, const char *name)
567 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
568 SYMBOL_ACLASS_INDEX (s) = aclass_index;
569 add_symbol (s, top_stack->cur_st, b);
571 /* Type could be missing if file is compiled without debugging info. */
572 if (SC_IS_UNDEF (sh->sc)
573 || sh->sc == scNil || sh->index == indexNil)
574 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
576 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
577 /* Value of a data symbol is its memory address. */
581 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
582 struct section_offsets *section_offsets, struct objfile *objfile)
584 struct gdbarch *gdbarch = get_objfile_arch (objfile);
585 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
586 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
590 struct mdebug_pending *pend;
594 long svalue = sh->value;
597 if (ext_sh == (char *) NULL)
598 name = debug_info->ssext + sh->iss;
600 name = debug_info->ss + cur_fdr->issBase + sh->iss;
606 /* Do not relocate relative values.
607 The value of a stEnd symbol is the displacement from the
608 corresponding start symbol value.
609 The value of a stBlock symbol is the displacement from the
610 procedure address. */
611 if (sh->st != stEnd && sh->st != stBlock)
612 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
619 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
623 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
632 case stGlobal: /* External symbol, goes into global block. */
633 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
635 s = new_symbol (name);
636 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
637 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
640 case stStatic: /* Static data, goes into current block. */
641 b = top_stack->cur_block;
642 s = new_symbol (name);
643 if (SC_IS_COMMON (sh->sc))
645 /* It is a FORTRAN common block. At least for SGI Fortran the
646 address is not in the symbol; we need to fix it later in
647 scan_file_globals. */
648 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
649 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
650 global_sym_chain[bucket] = s;
653 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
654 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
657 case stLocal: /* Local variable, goes into current block. */
658 b = top_stack->cur_block;
659 s = new_symbol (name);
660 SYMBOL_VALUE (s) = svalue;
661 if (sh->sc == scRegister)
662 add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
665 add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
669 case stParam: /* Arg to procedure, goes into current
672 found_ecoff_debugging_info = 1;
673 top_stack->numargs++;
675 /* Special GNU C++ name. */
676 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
677 name = "this"; /* FIXME, not alloc'd in obstack. */
678 s = new_symbol (name);
680 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
681 SYMBOL_IS_ARGUMENT (s) = 1;
685 /* Pass by value in register. */
686 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
689 /* Pass by reference on stack. */
690 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
693 /* Pass by reference in register. */
694 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
697 /* Pass by value on stack. */
698 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
701 SYMBOL_VALUE (s) = svalue;
702 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
703 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
706 case stLabel: /* label, goes into current block. */
707 s = new_symbol (name);
708 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
709 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
710 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
711 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
712 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
715 case stProc: /* Procedure, usually goes into global block. */
716 case stStaticProc: /* Static procedure, goes into current block. */
717 /* For stProc symbol records, we need to check the storage class
718 as well, as only (stProc, scText) entries represent "real"
719 procedures - See the Compaq document titled "Object File /
720 Symbol Table Format Specification" for more information.
721 If the storage class is not scText, we discard the whole block
722 of symbol records for this stProc. */
723 if (sh->st == stProc && sh->sc != scText)
725 char *ext_tsym = ext_sh;
726 int keep_counting = 1;
729 while (keep_counting)
731 ext_tsym += external_sym_size;
732 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
742 complaint (_("unknown symbol type 0x%x"), sh->st);
748 s = new_symbol (name);
749 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
750 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
751 /* Type of the return value. */
752 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
753 t = objfile_type (objfile)->builtin_int;
756 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
757 if (strcmp (name, "malloc") == 0
758 && TYPE_CODE (t) == TYPE_CODE_VOID)
760 /* I don't know why, but, at least under Alpha GNU/Linux,
761 when linking against a malloc without debugging
762 symbols, its read as a function returning void---this
763 is bad because it means we cannot call functions with
764 string arguments interactively; i.e., "call
765 printf("howdy\n")" would fail with the error message
766 "program has no memory available". To avoid this, we
767 patch up the type and make it void*
768 instead. (davidm@azstarnet.com). */
769 t = make_pointer_type (t, NULL);
772 b = top_stack->cur_block;
773 if (sh->st == stProc)
775 const struct blockvector *bv
776 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
778 /* The next test should normally be true, but provides a
779 hook for nested functions (which we don't want to make
781 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
782 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
783 /* Irix 5 sometimes has duplicate names for the same
784 function. We want to add such names up at the global
785 level, not as a nested function. */
786 else if (sh->value == top_stack->procadr)
787 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
789 add_symbol (s, top_stack->cur_st, b);
791 /* Make a type for the procedure itself. */
792 SYMBOL_TYPE (s) = lookup_function_type (t);
794 /* All functions in C++ have prototypes. For C we don't have enough
795 information in the debug info. */
796 if (SYMBOL_LANGUAGE (s) == language_cplus)
797 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
799 /* Create and enter a new lexical context. */
800 b = new_block (FUNCTION_BLOCK, SYMBOL_LANGUAGE (s));
801 SYMBOL_BLOCK_VALUE (s) = b;
802 BLOCK_FUNCTION (b) = s;
803 BLOCK_START (b) = BLOCK_END (b) = sh->value;
804 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
805 add_block (b, top_stack->cur_st);
807 /* Not if we only have partial info. */
808 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
812 top_stack->cur_block = b;
813 top_stack->blocktype = sh->st;
814 top_stack->cur_type = SYMBOL_TYPE (s);
815 top_stack->cur_field = -1;
816 top_stack->procadr = sh->value;
817 top_stack->numargs = 0;
820 /* Beginning of code for structure, union, and enum definitions.
821 They all share a common set of local variables, defined here. */
823 enum type_code type_code;
829 case stStruct: /* Start a block defining a struct type. */
830 type_code = TYPE_CODE_STRUCT;
831 goto structured_common;
833 case stUnion: /* Start a block defining a union type. */
834 type_code = TYPE_CODE_UNION;
835 goto structured_common;
837 case stEnum: /* Start a block defining an enum type. */
838 type_code = TYPE_CODE_ENUM;
839 goto structured_common;
841 case stBlock: /* Either a lexical block, or some type. */
842 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
843 goto case_stBlock_code; /* Lexical block */
845 type_code = TYPE_CODE_UNDEF; /* We have a type. */
847 /* Common code for handling struct, union, enum, and/or as-yet-
848 unknown-type blocks of info about structured data. `type_code'
849 has been set to the proper TYPE_CODE, if we know it. */
851 found_ecoff_debugging_info = 1;
853 top_stack->blocktype = stBlock;
855 /* First count the number of fields and the highest value. */
858 for (ext_tsym = ext_sh + external_sym_size;
860 ext_tsym += external_sym_size)
864 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
869 /* C++ encodes class types as structures where there the
870 methods are encoded as stProc. The scope of stProc
871 symbols also ends with stEnd, thus creating a risk of
872 taking the wrong stEnd symbol record as the end of
873 the current struct, which would cause GDB to undercount
874 the real number of fields in this struct. To make sure
875 we really reached the right stEnd symbol record, we
876 check the associated name, and match it against the
877 struct name. Since method names are mangled while
878 the class name is not, there is no risk of having a
879 method whose name is identical to the class name
880 (in particular constructor method names are different
881 from the class name). There is therefore no risk that
882 this check stops the count on the StEnd of a method.
884 Also, assume that we're really at the end when tsym.iss
886 if (tsym.iss == issNull
887 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
893 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
895 /* If the type of the member is Nil (or Void),
896 without qualifiers, assume the tag is an
898 Alpha cc -migrate enums are recognized by a zero
899 index and a zero symbol value.
900 DU 4.0 cc enums are recognized by a member type of
901 btEnum without qualifiers and a zero symbol value. */
902 if (tsym.index == indexNil
903 || (tsym.index == 0 && sh->value == 0))
904 type_code = TYPE_CODE_ENUM;
907 (*debug_swap->swap_tir_in) (bigend,
908 &ax[tsym.index].a_ti,
910 if ((tir.bt == btNil || tir.bt == btVoid
911 || (tir.bt == btEnum && sh->value == 0))
913 type_code = TYPE_CODE_ENUM;
917 if (tsym.value > max_value)
918 max_value = tsym.value;
927 /* This is a no-op; is it trying to tell us something
928 we should be checking? */
929 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
933 /* This is something like a struct within a
934 struct. Skip over the fields of the inner
935 struct. The -1 is because the for loop will
936 increment ext_tsym. */
937 ext_tsym = ((char *) debug_info->external_sym
938 + ((cur_fdr->isymBase + tsym.index - 1)
939 * external_sym_size));
945 /* mips cc puts out a typedef for struct x if it is not yet
946 defined when it encounters
947 struct y { struct x *xp; };
952 /* Irix5 cc puts out a stIndirect for struct x if it is not
953 yet defined when it encounters
954 struct y { struct x *xp; };
959 complaint (_("declaration block contains "
960 "unhandled symbol type %d"),
966 /* In an stBlock, there is no way to distinguish structs,
967 unions, and enums at this point. This is a bug in the
968 original design (that has been fixed with the recent
969 addition of the stStruct, stUnion, and stEnum symbol
970 types.) The way you can tell is if/when you see a variable
971 or field of that type. In that case the variable's type
972 (in the AUX table) says if the type is struct, union, or
973 enum, and points back to the stBlock here. So you can
974 patch the tag kind up later - but only if there actually is
975 a variable or field of that type.
977 So until we know for sure, we will guess at this point.
979 If the first member has index==indexNil or a void type,
980 assume we have an enumeration.
981 Otherwise, if there is more than one member, and all
982 the members have offset 0, assume we have a union.
983 Otherwise, assume we have a struct.
985 The heuristic could guess wrong in the case of of an
986 enumeration with no members or a union with one (or zero)
987 members, or when all except the last field of a struct have
988 width zero. These are uncommon and/or illegal situations,
989 and in any case guessing wrong probably doesn't matter
992 But if we later do find out we were wrong, we fixup the tag
993 kind. Members of an enumeration must be handled
994 differently from struct/union fields, and that is harder to
995 patch up, but luckily we shouldn't need to. (If there are
996 any enumeration members, we can tell for sure it's an enum
999 if (type_code == TYPE_CODE_UNDEF)
1001 if (nfields > 1 && max_value == 0)
1002 type_code = TYPE_CODE_UNION;
1004 type_code = TYPE_CODE_STRUCT;
1007 /* Create a new type or use the pending type. */
1008 pend = is_pending_symbol (cur_fdr, ext_sh);
1009 if (pend == (struct mdebug_pending *) NULL)
1011 t = new_type (NULL);
1012 add_pending (cur_fdr, ext_sh, t);
1017 /* Do not set the tag name if it is a compiler generated tag name
1018 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1019 Alpha cc puts out an sh->iss of zero for those. */
1020 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1021 TYPE_NAME (t) = NULL;
1023 TYPE_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1024 name, (char *) NULL);
1026 TYPE_CODE (t) = type_code;
1027 TYPE_LENGTH (t) = sh->value;
1028 TYPE_NFIELDS (t) = nfields;
1029 TYPE_FIELDS (t) = f = ((struct field *)
1031 nfields * sizeof (struct field)));
1033 if (type_code == TYPE_CODE_ENUM)
1035 int unsigned_enum = 1;
1037 /* This is a non-empty enum. */
1039 /* DEC c89 has the number of enumerators in the sh.value field,
1040 not the type length, so we have to compensate for that
1041 incompatibility quirk.
1042 This might do the wrong thing for an enum with one or two
1043 enumerators and gcc -gcoff -fshort-enums, but these cases
1044 are hopefully rare enough.
1045 Alpha cc -migrate has a sh.value field of zero, we adjust
1047 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1048 || TYPE_LENGTH (t) == 0)
1049 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1050 for (ext_tsym = ext_sh + external_sym_size;
1052 ext_tsym += external_sym_size)
1055 struct symbol *enum_sym;
1057 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1059 if (tsym.st != stMember)
1062 SET_FIELD_ENUMVAL (*f, tsym.value);
1063 FIELD_TYPE (*f) = t;
1064 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1065 FIELD_BITSIZE (*f) = 0;
1067 enum_sym = allocate_symbol (mdebugread_objfile);
1068 SYMBOL_SET_LINKAGE_NAME
1070 (char *) obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1071 f->name, strlen (f->name)));
1072 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1073 SYMBOL_TYPE (enum_sym) = t;
1074 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1075 SYMBOL_VALUE (enum_sym) = tsym.value;
1076 if (SYMBOL_VALUE (enum_sym) < 0)
1078 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1080 /* Skip the stMembers that we've handled. */
1085 TYPE_UNSIGNED (t) = 1;
1087 /* Make this the current type. */
1088 top_stack->cur_type = t;
1089 top_stack->cur_field = 0;
1091 /* Do not create a symbol for alpha cc unnamed structs. */
1095 /* gcc puts out an empty struct for an opaque struct definitions,
1096 do not create a symbol for it either. */
1097 if (TYPE_NFIELDS (t) == 0)
1103 s = new_symbol (name);
1104 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1105 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1106 SYMBOL_VALUE (s) = 0;
1107 SYMBOL_TYPE (s) = t;
1108 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1111 /* End of local variables shared by struct, union, enum, and
1112 block (as yet unknown struct/union/enum) processing. */
1116 found_ecoff_debugging_info = 1;
1117 /* Beginnning of (code) block. Value of symbol
1118 is the displacement from procedure start. */
1119 push_parse_stack ();
1121 /* Do not start a new block if this is the outermost block of a
1122 procedure. This allows the LOC_BLOCK symbol to point to the
1123 block with the local variables, so funcname::var works. */
1124 if (top_stack->blocktype == stProc
1125 || top_stack->blocktype == stStaticProc)
1127 top_stack->blocktype = stNil;
1131 top_stack->blocktype = stBlock;
1132 b = new_block (NON_FUNCTION_BLOCK, psymtab_language);
1133 BLOCK_START (b) = sh->value + top_stack->procadr;
1134 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1135 top_stack->cur_block = b;
1136 add_block (b, top_stack->cur_st);
1139 case stEnd: /* end (of anything) */
1140 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1142 /* Finished with type */
1143 top_stack->cur_type = 0;
1145 else if (sh->sc == scText &&
1146 (top_stack->blocktype == stProc ||
1147 top_stack->blocktype == stStaticProc))
1149 /* Finished with procedure */
1150 const struct blockvector *bv
1151 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1152 struct mdebug_extra_func_info *e;
1153 struct block *cblock = top_stack->cur_block;
1154 struct type *ftype = top_stack->cur_type;
1157 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1159 /* Make up special symbol to contain procedure specific info. */
1160 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1161 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1162 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1163 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1164 e = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
1165 mdebug_extra_func_info);
1166 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1167 e->numargs = top_stack->numargs;
1168 e->pdr.framereg = -1;
1169 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1171 /* f77 emits proc-level with address bounds==[0,0],
1172 So look for such child blocks, and patch them. */
1173 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1175 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1177 if (BLOCK_SUPERBLOCK (b_bad) == cblock
1178 && BLOCK_START (b_bad) == top_stack->procadr
1179 && BLOCK_END (b_bad) == top_stack->procadr)
1181 BLOCK_START (b_bad) = BLOCK_START (cblock);
1182 BLOCK_END (b_bad) = BLOCK_END (cblock);
1186 if (TYPE_NFIELDS (ftype) <= 0)
1188 /* No parameter type information is recorded with the function's
1189 type. Set that from the type of the parameter symbols. */
1190 int nparams = top_stack->numargs;
1196 struct block_iterator iter;
1198 TYPE_NFIELDS (ftype) = nparams;
1199 TYPE_FIELDS (ftype) = (struct field *)
1200 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1203 ALL_BLOCK_SYMBOLS (cblock, iter, sym)
1205 if (iparams == nparams)
1208 if (SYMBOL_IS_ARGUMENT (sym))
1210 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1211 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1218 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1220 /* End of (code) block. The value of the symbol is the
1221 displacement from the procedure`s start address of the
1222 end of this block. */
1223 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1225 else if (sh->sc == scText && top_stack->blocktype == stNil)
1227 /* End of outermost block. Pop parse stack and ignore. The
1228 following stEnd of stProc will take care of the block. */
1231 else if (sh->sc == scText && top_stack->blocktype == stFile)
1233 /* End of file. Pop parse stack and ignore. Higher
1234 level code deals with this. */
1238 complaint (_("stEnd with storage class %d not handled"), sh->sc);
1240 pop_parse_stack (); /* Restore previous lexical context. */
1243 case stMember: /* member of struct or union */
1246 = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1247 FIELD_NAME (*f) = name;
1248 SET_FIELD_BITPOS (*f, sh->value);
1250 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1251 &bitsize, bigend, name);
1252 FIELD_BITSIZE (*f) = bitsize;
1256 case stIndirect: /* forward declaration on Irix5 */
1257 /* Forward declarations from Irix5 cc are handled by cross_ref,
1261 case stTypedef: /* type definition */
1262 found_ecoff_debugging_info = 1;
1264 /* Typedefs for forward declarations and opaque structs from alpha cc
1265 are handled by cross_ref, skip them. */
1269 /* Parse the type or use the pending type. */
1270 pend = is_pending_symbol (cur_fdr, ext_sh);
1271 if (pend == (struct mdebug_pending *) NULL)
1273 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1274 add_pending (cur_fdr, ext_sh, t);
1279 /* Mips cc puts out a typedef with the name of the struct for forward
1280 declarations. These should not go into the symbol table and
1281 TYPE_NAME should not be set for them.
1282 They can't be distinguished from an intentional typedef to
1283 the same name however:
1285 struct x { int ix; int jx; };
1289 struct xx {int ixx; int jxx; };
1290 generates a cross referencing stTypedef for x and xx.
1291 The user visible effect of this is that the type of a pointer
1292 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1293 The problem is fixed with alpha cc and Irix5 cc. */
1295 /* However if the typedef cross references to an opaque aggregate, it
1296 is safe to omit it from the symbol table. */
1298 if (has_opaque_xref (cur_fdr, sh))
1300 s = new_symbol (name);
1301 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1302 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1303 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1304 SYMBOL_TYPE (s) = t;
1305 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1307 /* Incomplete definitions of structs should not get a name. */
1308 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1309 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1310 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1311 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1313 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1314 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1316 /* If we are giving a name to a type such as "pointer to
1317 foo" or "function returning foo", we better not set
1318 the TYPE_NAME. If the program contains "typedef char
1319 *caddr_t;", we don't want all variables of type char
1320 * to print as caddr_t. This is not just a
1321 consequence of GDB's type management; CC and GCC (at
1322 least through version 2.4) both output variables of
1323 either type char * or caddr_t with the type
1324 refering to the stTypedef symbol for caddr_t. If a future
1325 compiler cleans this up it GDB is not ready for it
1326 yet, but if it becomes ready we somehow need to
1327 disable this check (without breaking the PCC/GCC2.4
1332 Fortunately, this check seems not to be necessary
1333 for anything except pointers or functions. */
1336 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1340 case stFile: /* file name */
1341 push_parse_stack ();
1342 top_stack->blocktype = sh->st;
1345 /* I`ve never seen these for C */
1347 break; /* register relocation */
1349 break; /* forwarding address */
1351 break; /* constant */
1353 complaint (_("unknown symbol type 0x%x"), sh->st);
1362 static const struct objfile_data *basic_type_data;
1364 static struct type *
1365 basic_type (int bt, struct objfile *objfile)
1367 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1368 struct type **map_bt
1369 = (struct type **) objfile_data (objfile, basic_type_data);
1377 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1378 btMax, struct type *);
1379 set_objfile_data (objfile, basic_type_data, map_bt);
1388 tp = objfile_type (objfile)->builtin_void;
1392 tp = init_pointer_type (objfile, 32, "adr_32",
1393 objfile_type (objfile)->builtin_void);
1397 tp = init_integer_type (objfile, 8, 0, "char");
1398 TYPE_NOSIGN (tp) = 1;
1402 tp = init_integer_type (objfile, 8, 1, "unsigned char");
1406 tp = init_integer_type (objfile, 16, 0, "short");
1410 tp = init_integer_type (objfile, 16, 1, "unsigned short");
1414 tp = init_integer_type (objfile, 32, 0, "int");
1418 tp = init_integer_type (objfile, 32, 1, "unsigned int");
1422 tp = init_integer_type (objfile, 32, 0, "long");
1426 tp = init_integer_type (objfile, 32, 1, "unsigned long");
1430 tp = init_float_type (objfile, gdbarch_float_bit (gdbarch),
1431 "float", gdbarch_float_format (gdbarch));
1435 tp = init_float_type (objfile, gdbarch_double_bit (gdbarch),
1436 "double", gdbarch_double_format (gdbarch));
1440 tp = init_complex_type (objfile, "complex",
1441 basic_type (btFloat, objfile));
1445 tp = init_complex_type (objfile, "double complex",
1446 basic_type (btFloat, objfile));
1450 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1451 good? Would we be better off with TYPE_CODE_ERROR? Should
1452 TYPE_CODE_ERROR print things in hex if it knows the size? */
1453 tp = init_integer_type (objfile, gdbarch_int_bit (gdbarch), 0,
1458 tp = init_type (objfile, TYPE_CODE_ERROR,
1459 gdbarch_double_bit (gdbarch), "floating decimal");
1463 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1465 tp = init_type (objfile, TYPE_CODE_STRING, TARGET_CHAR_BIT, "string");
1469 tp = objfile_type (objfile)->builtin_void;
1473 tp = init_integer_type (objfile, 64, 0, "long");
1477 tp = init_integer_type (objfile, 64, 1, "unsigned long");
1481 tp = init_integer_type (objfile, 64, 0, "long long");
1485 tp = init_integer_type (objfile, 64, 1, "unsigned long long");
1489 tp = init_pointer_type (objfile, 64, "adr_64",
1490 objfile_type (objfile)->builtin_void);
1494 tp = init_integer_type (objfile, 64, 0, "int");
1498 tp = init_integer_type (objfile, 64, 1, "unsigned int");
1510 /* Parse the type information provided in the raw AX entries for
1511 the symbol SH. Return the bitfield size in BS, in case.
1512 We must byte-swap the AX entries before we use them; BIGEND says whether
1513 they are big-endian or little-endian (from fh->fBigendian). */
1515 static struct type *
1516 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1517 int bigend, const char *sym_name)
1520 struct type *tp = 0;
1521 enum type_code type_code = TYPE_CODE_UNDEF;
1523 /* Handle undefined types, they have indexNil. */
1524 if (aux_index == indexNil)
1525 return basic_type (btInt, mdebugread_objfile);
1527 /* Handle corrupt aux indices. */
1528 if (aux_index >= (debug_info->fdr + fd)->caux)
1530 index_complaint (sym_name);
1531 return basic_type (btInt, mdebugread_objfile);
1535 /* Use aux as a type information record, map its basic type. */
1536 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1537 tp = basic_type (t->bt, mdebugread_objfile);
1540 /* Cannot use builtin types -- build our own. */
1544 type_code = TYPE_CODE_STRUCT;
1547 type_code = TYPE_CODE_UNION;
1550 type_code = TYPE_CODE_ENUM;
1553 type_code = TYPE_CODE_RANGE;
1556 type_code = TYPE_CODE_SET;
1559 /* alpha cc -migrate uses this for typedefs. The true type will
1560 be obtained by crossreferencing below. */
1561 type_code = TYPE_CODE_ERROR;
1564 /* alpha cc uses this for typedefs. The true type will be
1565 obtained by crossreferencing below. */
1566 type_code = TYPE_CODE_ERROR;
1569 basic_type_complaint (t->bt, sym_name);
1570 return basic_type (btInt, mdebugread_objfile);
1574 /* Move on to next aux. */
1579 int width = AUX_GET_WIDTH (bigend, ax);
1581 /* Inhibit core dumps if TIR is corrupted. */
1582 if (bs == (int *) NULL)
1584 /* Alpha cc -migrate encodes char and unsigned char types
1585 as short and unsigned short types with a field width of 8.
1586 Enum types also have a field width which we ignore for now. */
1587 if (t->bt == btShort && width == 8)
1588 tp = basic_type (btChar, mdebugread_objfile);
1589 else if (t->bt == btUShort && width == 8)
1590 tp = basic_type (btUChar, mdebugread_objfile);
1591 else if (t->bt == btEnum)
1594 complaint (_("can't handle TIR fBitfield for %s"),
1602 /* A btIndirect entry cross references to an aux entry containing
1604 if (t->bt == btIndirect)
1611 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1613 if (rn->rfd == 0xfff)
1615 rf = AUX_GET_ISYM (bigend, ax);
1623 complaint (_("unable to cross ref btIndirect for %s"), sym_name);
1624 return basic_type (btInt, mdebugread_objfile);
1626 xref_fh = get_rfd (fd, rf);
1627 xref_fd = xref_fh - debug_info->fdr;
1628 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1629 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1632 /* All these types really point to some (common) MIPS type
1633 definition, and only the type-qualifiers fully identify
1634 them. We'll make the same effort at sharing. */
1635 if (t->bt == btStruct ||
1639 /* btSet (I think) implies that the name is a tag name, not a typedef
1640 name. This apparently is a MIPS extension for C sets. */
1645 /* Try to cross reference this type, build new type on failure. */
1646 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1647 if (tp == (struct type *) NULL)
1648 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1650 /* DEC c89 produces cross references to qualified aggregate types,
1651 dereference them. */
1652 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1653 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1654 tp = TYPE_TARGET_TYPE (tp);
1656 /* Make sure that TYPE_CODE(tp) has an expected type code.
1657 Any type may be returned from cross_ref if file indirect entries
1659 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1660 && TYPE_CODE (tp) != TYPE_CODE_UNION
1661 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1663 unexpected_type_code_complaint (sym_name);
1667 /* Usually, TYPE_CODE(tp) is already type_code. The main
1668 exception is if we guessed wrong re struct/union/enum.
1669 But for struct vs. union a wrong guess is harmless, so
1670 don't complain(). */
1671 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1672 && type_code != TYPE_CODE_ENUM)
1673 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1674 && type_code == TYPE_CODE_ENUM))
1676 bad_tag_guess_complaint (sym_name);
1679 if (TYPE_CODE (tp) != type_code)
1681 TYPE_CODE (tp) = type_code;
1684 /* Do not set the tag name if it is a compiler generated tag name
1685 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1686 if (name[0] == '.' || name[0] == '\0')
1687 TYPE_NAME (tp) = NULL;
1688 else if (TYPE_NAME (tp) == NULL
1689 || strcmp (TYPE_NAME (tp), name) != 0)
1692 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1693 name, strlen (name)));
1697 /* All these types really point to some (common) MIPS type
1698 definition, and only the type-qualifiers fully identify
1699 them. We'll make the same effort at sharing.
1700 FIXME: We are not doing any guessing on range types. */
1701 if (t->bt == btRange)
1705 /* Try to cross reference this type, build new type on failure. */
1706 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1707 if (tp == (struct type *) NULL)
1708 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1710 /* Make sure that TYPE_CODE(tp) has an expected type code.
1711 Any type may be returned from cross_ref if file indirect entries
1713 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1715 unexpected_type_code_complaint (sym_name);
1719 /* Usually, TYPE_CODE(tp) is already type_code. The main
1720 exception is if we guessed wrong re struct/union/enum. */
1721 if (TYPE_CODE (tp) != type_code)
1723 bad_tag_guess_complaint (sym_name);
1724 TYPE_CODE (tp) = type_code;
1726 if (TYPE_NAME (tp) == NULL
1727 || strcmp (TYPE_NAME (tp), name) != 0)
1730 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1731 name, strlen (name)));
1734 if (t->bt == btTypedef)
1738 /* Try to cross reference this type, it should succeed. */
1739 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1740 if (tp == (struct type *) NULL)
1742 complaint (_("unable to cross ref btTypedef for %s"), sym_name);
1743 tp = basic_type (btInt, mdebugread_objfile);
1747 /* Deal with range types. */
1748 if (t->bt == btRange)
1750 TYPE_NFIELDS (tp) = 0;
1751 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1752 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1753 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1755 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1759 /* Parse all the type qualifiers now. If there are more
1760 than 6 the game will continue in the next aux. */
1764 #define PARSE_TQ(tq) \
1765 if (t->tq != tqNil) \
1766 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1778 /* mips cc 2.x and gcc never put out continued aux entries. */
1782 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1786 /* Complain for illegal continuations due to corrupt aux entries. */
1788 complaint (_("illegal TIR continued for %s"), sym_name);
1793 /* Make up a complex type from a basic one. Type is passed by
1794 reference in TPP and side-effected as necessary. The type
1795 qualifier TQ says how to handle the aux symbols at AX for
1796 the symbol SX we are currently analyzing. BIGEND says whether
1797 aux symbols are big-endian or little-endian.
1798 Returns the number of aux symbols we parsed. */
1801 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1802 const char *sym_name)
1807 /* Used in array processing. */
1818 t = lookup_pointer_type (*tpp);
1823 t = lookup_function_type (*tpp);
1830 /* Determine and record the domain type (type of index). */
1831 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1837 rf = AUX_GET_ISYM (bigend, ax);
1840 fh = get_rfd (fd, rf);
1842 indx = parse_type (fh - debug_info->fdr,
1843 debug_info->external_aux + fh->iauxBase,
1844 id, (int *) NULL, bigend, sym_name);
1846 /* The bounds type should be an integer type, but might be anything
1847 else due to corrupt aux entries. */
1848 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1850 complaint (_("illegal array index type for %s, assuming int"),
1852 indx = objfile_type (mdebugread_objfile)->builtin_int;
1855 /* Get the bounds, and create the array type. */
1857 lower = AUX_GET_DNLOW (bigend, ax);
1859 upper = AUX_GET_DNHIGH (bigend, ax);
1861 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1863 range = create_static_range_type ((struct type *) NULL, indx,
1866 t = create_array_type ((struct type *) NULL, *tpp, range);
1868 /* We used to fill in the supplied array element bitsize
1869 here if the TYPE_LENGTH of the target type was zero.
1870 This happens for a `pointer to an array of anonymous structs',
1871 but in this case the array element bitsize is also zero,
1872 so nothing is gained.
1873 And we used to check the TYPE_LENGTH of the target type against
1874 the supplied array element bitsize.
1875 gcc causes a mismatch for `pointer to array of object',
1876 since the sdb directives it uses do not have a way of
1877 specifying the bitsize, but it does no harm (the
1878 TYPE_LENGTH should be correct) and we should be able to
1879 ignore the erroneous bitsize from the auxiliary entry safely.
1880 dbx seems to ignore it too. */
1882 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1883 if (TYPE_LENGTH (*tpp) == 0)
1884 TYPE_TARGET_STUB (t) = 1;
1890 /* Volatile -- currently ignored */
1894 /* Const -- currently ignored */
1898 complaint (_("unknown type qualifier 0x%x"), tq);
1904 /* Parse a procedure descriptor record PR. Note that the procedure is
1905 parsed _after_ the local symbols, now we just insert the extra
1906 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1907 already been placed in the procedure's main block. Note also that
1908 images that have been partially stripped (ld -x) have been deprived
1909 of local symbols, and we have to cope with them here. FIRST_OFF is
1910 the offset of the first procedure for this FDR; we adjust the
1911 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1912 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1913 in question, or NULL to use top_stack->cur_block. */
1916 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1917 struct partial_symtab *pst)
1919 struct symbol *s, *i;
1920 const struct block *b;
1923 /* Simple rule to find files linked "-x". */
1924 if (cur_fdr->rss == -1)
1928 /* Static procedure at address pr->adr. Sigh. */
1929 /* FIXME-32x64. assuming pr->adr fits in long. */
1930 complaint (_("can't handle PDR for static proc at 0x%lx"),
1931 (unsigned long) pr->adr);
1939 (*debug_swap->swap_ext_in) (cur_bfd,
1940 ((char *) debug_info->external_ext
1942 * debug_swap->external_ext_size)),
1944 sh_name = debug_info->ssext + she.asym.iss;
1952 (*debug_swap->swap_sym_in) (cur_bfd,
1953 ((char *) debug_info->external_sym
1954 + ((cur_fdr->isymBase + pr->isym)
1955 * debug_swap->external_sym_size)),
1957 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1960 if (search_symtab != NULL)
1963 /* This loses both in the case mentioned (want a static, find a global),
1964 but also if we are looking up a non-mangled name which happens to
1965 match the name of a mangled function. */
1966 /* We have to save the cur_fdr across the call to lookup_symbol.
1967 If the pdr is for a static function and if a global function with
1968 the same name exists, lookup_symbol will eventually read in the symtab
1969 for the global function and clobber cur_fdr. */
1970 FDR *save_cur_fdr = cur_fdr;
1972 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1973 cur_fdr = save_cur_fdr;
1977 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
1984 s = mylookup_symbol (sh_name, top_stack->cur_block,
1985 VAR_DOMAIN, LOC_BLOCK);
1989 b = SYMBOL_BLOCK_VALUE (s);
1993 complaint (_("PDR for %s, but no symbol"), sh_name);
1997 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
1998 s = new_symbol (sh_name);
1999 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2000 SYMBOL_CLASS (s) = LOC_BLOCK;
2001 /* Donno its type, hope int is ok. */
2003 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2004 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2005 /* Won't have symbols for this one. */
2007 SYMBOL_BLOCK_VALUE (s) = b;
2008 BLOCK_FUNCTION (b) = s;
2009 BLOCK_START (b) = pr->adr;
2010 /* BOUND used to be the end of procedure's text, but the
2011 argument is no longer passed in. */
2012 BLOCK_END (b) = bound;
2013 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2014 add_block (b, top_stack->cur_st);
2018 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2022 struct mdebug_extra_func_info *e;
2024 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2027 /* GDB expects the absolute function start address for the
2028 procedure descriptor in e->pdr.adr.
2029 As the address in the procedure descriptor is usually relative,
2030 we would have to relocate e->pdr.adr with cur_fdr->adr and
2031 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2032 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2033 in shared libraries on some systems, and on other systems
2034 e->pdr.adr is sometimes offset by a bogus value.
2035 To work around these problems, we replace e->pdr.adr with
2036 the start address of the function. */
2037 e->pdr.adr = BLOCK_START (b);
2040 /* It would be reasonable that functions that have been compiled
2041 without debugging info have a btNil type for their return value,
2042 and functions that are void and are compiled with debugging info
2044 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2045 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2047 The glevel field in cur_fdr could be used to determine the presence
2048 of debugging info, but GCC doesn't always pass the -g switch settings
2049 to the assembler and GAS doesn't set the glevel field from the -g switch
2051 To work around these problems, the return value type of a TYPE_CODE_VOID
2052 function is adjusted accordingly if no debugging info was found in the
2053 compilation unit. */
2055 if (processing_gcc_compilation == 0
2056 && found_ecoff_debugging_info == 0
2057 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2058 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2061 /* Parse the external symbol ES. Just call parse_symbol() after
2062 making sure we know where the aux are for it.
2063 BIGEND says whether aux entries are big-endian or little-endian.
2065 This routine clobbers top_stack->cur_block and ->cur_st. */
2067 static void parse_external (EXTR *, int, struct section_offsets *,
2071 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2072 struct objfile *objfile)
2076 if (es->ifd != ifdNil)
2079 cur_fdr = debug_info->fdr + cur_fd;
2080 ax = debug_info->external_aux + cur_fdr->iauxBase;
2084 cur_fdr = debug_info->fdr;
2088 /* Reading .o files */
2089 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2092 switch (es->asym.st)
2095 /* These are generated for static symbols in .o files,
2116 /* FIXME: Turn this into a complaint? */
2118 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2119 what, debug_info->ssext + es->asym.iss,
2120 fdr_name (cur_fdr));
2124 switch (es->asym.st)
2128 /* There is no need to parse the external procedure symbols.
2129 If they are from objects compiled without -g, their index will
2130 be indexNil, and the symbol definition from the minimal symbol
2131 is preferrable (yielding a function returning int instead of int).
2132 If the index points to a local procedure symbol, the local
2133 symbol already provides the correct type.
2134 Note that the index of the external procedure symbol points
2135 to the local procedure symbol in the local symbol table, and
2136 _not_ to the auxiliary symbol info. */
2140 /* Global common symbols are resolved by the runtime loader,
2142 if (SC_IS_COMMON (es->asym.sc))
2145 /* Note that the case of a symbol with indexNil must be handled
2146 anyways by parse_symbol(). */
2147 parse_symbol (&es->asym, ax, (char *) NULL,
2148 bigend, section_offsets, objfile);
2155 /* Parse the line number info for file descriptor FH into
2156 GDB's linetable LT. MIPS' encoding requires a little bit
2157 of magic to get things out. Note also that MIPS' line
2158 numbers can go back and forth, apparently we can live
2159 with that and do not need to reorder our linetables. */
2162 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2163 CORE_ADDR textlow, CORE_ADDR lowest_pdr_addr)
2165 unsigned char *base;
2167 int delta, count, lineno = 0;
2169 if (fh->cbLine == 0)
2172 /* Scan by procedure descriptors. */
2174 for (j = 0; j < fh->cpd; j++, pr++)
2178 unsigned char *halt;
2180 /* No code for this one. */
2181 if (pr->iline == ilineNil ||
2182 pr->lnLow == -1 || pr->lnHigh == -1)
2185 /* Determine start and end address of compressed line bytes for
2187 base = debug_info->line + fh->cbLineOffset;
2188 if (j != (fh->cpd - 1))
2189 halt = base + pr[1].cbLineOffset;
2191 halt = base + fh->cbLine;
2192 base += pr->cbLineOffset;
2194 adr = textlow + pr->adr - lowest_pdr_addr;
2196 l = adr >> 2; /* in words */
2197 for (lineno = pr->lnLow; base < halt;)
2199 count = *base & 0x0f;
2200 delta = *base++ >> 4;
2205 delta = (base[0] << 8) | base[1];
2206 if (delta >= 0x8000)
2210 lineno += delta; /* first delta is 0 */
2212 /* Complain if the line table overflows. Could happen
2213 with corrupt binaries. */
2214 if (lt->nitems >= maxlines)
2216 complaint (_("guessed size of linetable for %s incorrectly"),
2220 k = add_line (lt, lineno, l, k);
2227 function_outside_compilation_unit_complaint (const char *arg1)
2229 complaint (_("function `%s' appears to be defined "
2230 "outside of all compilation units"),
2234 /* Use the STORAGE_CLASS to compute which section the given symbol
2235 belongs to, and then records this new minimal symbol. */
2238 record_minimal_symbol (minimal_symbol_reader &reader,
2239 const char *name, const CORE_ADDR address,
2240 enum minimal_symbol_type ms_type, int storage_class,
2241 struct objfile *objfile)
2245 switch (storage_class)
2248 section = SECT_OFF_TEXT (objfile);
2251 section = SECT_OFF_DATA (objfile);
2254 section = SECT_OFF_BSS (objfile);
2257 section = get_section_index (objfile, ".sdata");
2260 section = get_section_index (objfile, ".sbss");
2263 section = get_section_index (objfile, ".rdata");
2266 section = get_section_index (objfile, ".init");
2269 section = get_section_index (objfile, ".xdata");
2272 section = get_section_index (objfile, ".pdata");
2275 section = get_section_index (objfile, ".fini");
2278 section = get_section_index (objfile, ".rconst");
2282 section = get_section_index (objfile, ".tlsdata");
2287 section = get_section_index (objfile, ".tlsbss");
2291 /* This kind of symbol is not associated to a section. */
2295 reader.record_with_info (name, address, ms_type, section);
2298 /* Master parsing procedure for first-pass reading of file symbols
2299 into a partial_symtab. */
2302 parse_partial_symbols (minimal_symbol_reader &reader,
2303 struct objfile *objfile)
2305 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2306 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2307 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2308 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2309 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2310 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2311 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2313 HDRR *hdr = &debug_info->symbolic_header;
2314 /* Running pointers */
2321 struct partial_symtab *pst;
2322 int textlow_not_set = 1;
2324 /* List of current psymtab's include files. */
2325 const char **psymtab_include_list;
2326 int includes_allocated;
2329 struct pst_map *fdr_to_pst;
2330 /* Index within current psymtab dependency list. */
2331 struct partial_symtab **dependency_list;
2332 int dependencies_used, dependencies_allocated;
2334 enum language prev_language;
2335 asection *text_sect;
2336 int relocatable = 0;
2338 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2339 the shared libraries are prelinked at a high memory address.
2340 We have to adjust the start address of the object file for this case,
2341 by setting it to the start address of the first procedure in the file.
2342 But we should do no adjustments if we are debugging a .o file, where
2343 the text section (and fh->adr) really starts at zero. */
2344 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2345 if (text_sect != NULL
2346 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2349 extern_tab = XOBNEWVEC (&objfile->objfile_obstack, EXTR, hdr->iextMax);
2351 includes_allocated = 30;
2353 psymtab_include_list = (const char **) alloca (includes_allocated *
2354 sizeof (const char *));
2355 next_symbol_text_func = mdebug_next_symbol_text;
2357 dependencies_allocated = 30;
2358 dependencies_used = 0;
2360 (struct partial_symtab **) alloca (dependencies_allocated *
2361 sizeof (struct partial_symtab *));
2363 set_last_source_file (NULL);
2368 * Only parse the Local and External symbols, and the Relative FDR.
2369 * Fixup enough of the loader symtab to be able to use it.
2370 * Allocate space only for the file's portions we need to
2375 max_glevel = MIN_GLEVEL;
2377 /* Allocate the map FDR -> PST.
2378 Minor hack: -O3 images might claim some global data belongs
2379 to FDR -1. We`ll go along with that. */
2380 gdb::def_vector<struct pst_map> fdr_to_pst_holder (hdr->ifdMax + 1);
2381 fdr_to_pst = fdr_to_pst_holder.data ();
2384 struct partial_symtab *new_pst = new_psymtab ("", objfile);
2386 fdr_to_pst[-1].pst = new_pst;
2387 FDR_IDX (new_pst) = -1;
2390 /* Allocate the global pending list. */
2391 pending_list = XOBNEWVEC (&objfile->objfile_obstack, mdebug_pending *,
2393 memset (pending_list, 0,
2394 hdr->ifdMax * sizeof (struct mdebug_pending *));
2396 /* Pass 0 over external syms: swap them in. */
2397 gdb::def_vector<EXTR> ext_block (hdr->iextMax);
2399 ext_out = (char *) debug_info->external_ext;
2400 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2401 ext_in = ext_block.data ();
2402 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2403 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2405 /* Pass 1 over external syms: Presize and partition the list. */
2406 ext_in = ext_block.data ();
2407 ext_in_end = ext_in + hdr->iextMax;
2408 for (; ext_in < ext_in_end; ext_in++)
2410 /* See calls to complain below. */
2411 if (ext_in->ifd >= -1
2412 && ext_in->ifd < hdr->ifdMax
2413 && ext_in->asym.iss >= 0
2414 && ext_in->asym.iss < hdr->issExtMax)
2415 fdr_to_pst[ext_in->ifd].n_globals++;
2418 /* Pass 1.5 over files: partition out global symbol space. */
2420 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2422 fdr_to_pst[f_idx].globals_offset = s_idx;
2423 s_idx += fdr_to_pst[f_idx].n_globals;
2424 fdr_to_pst[f_idx].n_globals = 0;
2429 For ECOFF in ELF, we skip the creation of the minimal symbols.
2430 The ECOFF symbols should be a subset of the Elf symbols, and the
2431 section information of the elf symbols will be more accurate.
2432 FIXME! What about Irix 5's native linker?
2434 By default, Elf sections which don't exist in ECOFF
2435 get put in ECOFF's absolute section by the gnu linker.
2436 Since absolute sections don't get relocated, we
2437 end up calculating an address different from that of
2438 the symbol's minimal symbol (created earlier from the
2441 To fix this, either :
2442 1) don't create the duplicate symbol
2443 (assumes ECOFF symtab is a subset of the ELF symtab;
2444 assumes no side-effects result from ignoring ECOFF symbol)
2445 2) create it, only if lookup for existing symbol in ELF's minimal
2448 assumes no side-effects result from ignoring ECOFF symbol)
2449 3) create it, but lookup ELF's minimal symbol and use it's section
2450 during relocation, then modify "uniqify" phase to merge and
2451 eliminate the duplicate symbol
2452 (highly inefficient)
2454 I've implemented #1 here...
2455 Skip the creation of the minimal symbols based on the ECOFF
2458 /* Pass 2 over external syms: fill in external symbols. */
2459 ext_in = ext_block.data ();
2460 ext_in_end = ext_in + hdr->iextMax;
2461 for (; ext_in < ext_in_end; ext_in++)
2463 enum minimal_symbol_type ms_type = mst_text;
2464 CORE_ADDR svalue = ext_in->asym.value;
2466 /* The Irix 5 native tools seem to sometimes generate bogus
2467 external symbols. */
2468 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2470 complaint (_("bad ifd for external symbol: %d (max %ld)"),
2471 ext_in->ifd, hdr->ifdMax);
2474 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2476 complaint (_("bad iss for external symbol: %ld (max %ld)"),
2477 ext_in->asym.iss, hdr->issExtMax);
2481 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2482 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2485 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2489 /* Pass 3 over files, over local syms: fill in static symbols. */
2490 name = debug_info->ssext + ext_in->asym.iss;
2492 /* Process ECOFF Symbol Types and Storage Classes. */
2493 switch (ext_in->asym.st)
2496 /* Beginnning of Procedure */
2499 /* Load time only static procs */
2500 ms_type = mst_file_text;
2503 /* External symbol */
2504 if (SC_IS_COMMON (ext_in->asym.sc))
2506 /* The value of a common symbol is its size, not its address.
2510 else if (SC_IS_DATA (ext_in->asym.sc))
2514 else if (SC_IS_BSS (ext_in->asym.sc))
2518 else if (SC_IS_SBSS (ext_in->asym.sc))
2528 /* On certain platforms, some extra label symbols can be
2529 generated by the linker. One possible usage for this kind
2530 of symbols is to represent the address of the begining of a
2531 given section. For instance, on Tru64 5.1, the address of
2532 the _ftext label is the start address of the .text section.
2534 The storage class of these symbols is usually directly
2535 related to the section to which the symbol refers. For
2536 instance, on Tru64 5.1, the storage class for the _fdata
2537 label is scData, refering to the .data section.
2539 It is actually possible that the section associated to the
2540 storage class of the label does not exist. On True64 5.1
2541 for instance, the libm.so shared library does not contain
2542 any .data section, although it contains a _fpdata label
2543 which storage class is scData... Since these symbols are
2544 usually useless for the debugger user anyway, we just
2545 discard these symbols. */
2547 if (SC_IS_TEXT (ext_in->asym.sc))
2549 if (objfile->sect_index_text == -1)
2552 ms_type = mst_file_text;
2554 else if (SC_IS_DATA (ext_in->asym.sc))
2556 if (objfile->sect_index_data == -1)
2559 ms_type = mst_file_data;
2561 else if (SC_IS_BSS (ext_in->asym.sc))
2563 if (objfile->sect_index_bss == -1)
2566 ms_type = mst_file_bss;
2568 else if (SC_IS_SBSS (ext_in->asym.sc))
2570 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2572 if (sbss_sect_index == -1)
2575 ms_type = mst_file_bss;
2582 /* The alpha has the section start addresses in stLocal symbols
2583 whose name starts with a `.'. Skip those but complain for all
2584 other stLocal symbols.
2585 Irix6 puts the section start addresses in stNil symbols, skip
2591 ms_type = mst_unknown;
2592 unknown_ext_complaint (name);
2594 if (!ECOFF_IN_ELF (cur_bfd))
2595 record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
2599 /* Pass 3 over files, over local syms: fill in static symbols. */
2600 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2602 struct partial_symtab *save_pst;
2606 cur_fdr = fh = debug_info->fdr + f_idx;
2610 fdr_to_pst[f_idx].pst = NULL;
2614 /* Determine the start address for this object file from the
2615 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2620 pst = start_psymtab_common (objfile,
2623 objfile->global_psymbols,
2624 objfile->static_psymbols);
2625 pst->read_symtab_private = XOBNEW (&objfile->objfile_obstack, symloc);
2626 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2629 FDR_IDX (pst) = f_idx;
2630 CUR_BFD (pst) = cur_bfd;
2631 DEBUG_SWAP (pst) = debug_swap;
2632 DEBUG_INFO (pst) = debug_info;
2633 PENDING_LIST (pst) = pending_list;
2635 /* The way to turn this into a symtab is to call... */
2636 pst->read_symtab = mdebug_read_symtab;
2638 /* Set up language for the pst.
2639 The language from the FDR is used if it is unambigious (e.g. cfront
2640 with native cc and g++ will set the language to C).
2641 Otherwise we have to deduce the language from the filename.
2642 Native ecoff has every header file in a separate FDR, so
2643 deduce_language_from_filename will return language_unknown for
2644 a header file, which is not what we want.
2645 But the FDRs for the header files are after the FDR for the source
2646 file, so we can assign the language of the source file to the
2647 following header files. Then we save the language in the private
2648 pst data so that we can reuse it when building symtabs. */
2649 prev_language = psymtab_language;
2653 case langCplusplusV2:
2654 psymtab_language = language_cplus;
2657 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2660 if (psymtab_language == language_unknown)
2661 psymtab_language = prev_language;
2662 PST_PRIVATE (pst)->pst_language = psymtab_language;
2664 pst->set_text_high (pst->raw_text_low ());
2666 /* For stabs-in-ecoff files, the second symbol must be @stab.
2667 This symbol is emitted by mips-tfile to signal that the
2668 current object file uses encapsulated stabs instead of mips
2669 ecoff for local symbols. (It is the second symbol because
2670 the first symbol is the stFile used to signal the start of a
2672 processing_gcc_compilation = 0;
2675 (*swap_sym_in) (cur_bfd,
2676 ((char *) debug_info->external_sym
2677 + (fh->isymBase + 1) * external_sym_size),
2679 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2681 processing_gcc_compilation = 2;
2684 if (processing_gcc_compilation != 0)
2686 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2689 const char *namestring;
2691 (*swap_sym_in) (cur_bfd,
2692 (((char *) debug_info->external_sym)
2693 + (fh->isymBase + cur_sdx) * external_sym_size),
2695 type_code = ECOFF_UNMARK_STAB (sh.index);
2696 if (!ECOFF_IS_STAB (&sh))
2698 if (sh.st == stProc || sh.st == stStaticProc)
2703 if (sh.st == stStaticProc)
2705 namestring = debug_info->ss + fh->issBase + sh.iss;
2706 record_minimal_symbol (reader, namestring, sh.value,
2707 mst_file_text, sh.sc,
2710 procaddr = sh.value;
2712 isym = AUX_GET_ISYM (fh->fBigendian,
2713 (debug_info->external_aux
2716 (*swap_sym_in) (cur_bfd,
2717 ((char *) debug_info->external_sym
2718 + ((fh->isymBase + isym - 1)
2719 * external_sym_size)),
2723 CORE_ADDR high = procaddr + sh.value;
2725 /* Kludge for Irix 5.2 zero fh->adr. */
2727 && (!pst->text_low_valid
2728 || procaddr < pst->raw_text_low ()))
2729 pst->set_text_low (procaddr);
2730 if (high > pst->raw_text_high ())
2731 pst->set_text_high (high);
2734 else if (sh.st == stStatic)
2749 namestring = debug_info->ss + fh->issBase + sh.iss;
2750 record_minimal_symbol (reader, namestring, sh.value,
2751 mst_file_data, sh.sc,
2756 /* FIXME! Shouldn't this use cases for bss,
2757 then have the default be abs? */
2758 namestring = debug_info->ss + fh->issBase + sh.iss;
2759 record_minimal_symbol (reader, namestring, sh.value,
2760 mst_file_bss, sh.sc,
2767 /* Handle stabs continuation. */
2769 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2770 int len = strlen (stabstring);
2772 while (stabstring[len - 1] == '\\')
2775 char *stabstring1 = stabstring;
2779 /* Ignore continuation char from 1st string. */
2782 /* Read next stabstring. */
2784 (*swap_sym_in) (cur_bfd,
2785 (((char *) debug_info->external_sym)
2786 + (fh->isymBase + cur_sdx)
2787 * external_sym_size),
2789 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2790 len2 = strlen (stabstring2);
2792 /* Concatinate stabstring2 with stabstring1. */
2794 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2796 = (char *) xrealloc (stabstring, len + len2 + 1);
2799 stabstring = (char *) xmalloc (len + len2 + 1);
2800 strcpy (stabstring, stabstring1);
2802 strcpy (stabstring + len, stabstring2);
2810 /* Standard, external, non-debugger, symbols. */
2812 case N_TEXT | N_EXT:
2813 case N_NBTEXT | N_EXT:
2816 case N_DATA | N_EXT:
2817 case N_NBDATA | N_EXT:
2822 case N_NBBSS | N_EXT:
2823 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2830 /* Standard, local, non-debugger, symbols. */
2834 /* We need to be able to deal with both N_FN or
2835 N_TEXT, because we have no way of knowing
2836 whether the sys-supplied ld or GNU ld was used
2837 to make the executable. Sequents throw in
2838 another wrinkle -- they renumbered N_FN. */
2848 case N_UNDF | N_EXT:
2849 continue; /* Just undefined, not COMMON. */
2854 /* Lots of symbol types we can just ignore. */
2861 /* Keep going . . . */
2864 * Special symbol types for GNU
2867 case N_INDR | N_EXT:
2869 case N_SETA | N_EXT:
2871 case N_SETT | N_EXT:
2873 case N_SETD | N_EXT:
2875 case N_SETB | N_EXT:
2885 static int prev_so_symnum = -10;
2886 const char *basename;
2888 /* A zero value is probably an indication for the
2889 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2890 for zero, so don't relocate it. */
2893 && gdbarch_sofun_address_maybe_missing (gdbarch))
2894 textlow_not_set = 1;
2896 textlow_not_set = 0;
2898 if (prev_so_symnum != symnum - 1)
2899 { /* Here if prev stab wasn't N_SO. */
2902 pst = (struct partial_symtab *) 0;
2904 dependencies_used = 0;
2908 prev_so_symnum = symnum;
2910 /* End the current partial symtab and start a
2913 /* SET_NAMESTRING ();*/
2914 namestring = stabstring;
2916 /* Null name means end of .o file. Don't start a new
2918 if (*namestring == '\000')
2921 /* Some compilers (including gcc) emit a pair of
2922 initial N_SOs. The first one is a directory name;
2923 the second the file name. If pst exists, is
2924 empty, and has a filename ending in '/', we assume
2925 the previous N_SO was a directory name. */
2926 basename = lbasename (namestring);
2927 if (basename != namestring && *basename == '\000')
2928 continue; /* Simply ignore directory
2931 /* Some other compilers (C++ ones in particular) emit
2932 useless SOs for non-existant .c files. We ignore
2933 all subsequent SOs that immediately follow the
2946 enum language tmp_language;
2948 /* Mark down an include file in the current psymtab. */
2950 /* SET_NAMESTRING (); */
2951 namestring = stabstring;
2954 = deduce_language_from_filename (namestring);
2956 /* Only change the psymtab's language if we've
2957 learned something useful (eg. tmp_language is not
2958 language_unknown). In addition, to match what
2959 start_subfile does, never change from C++ to
2961 if (tmp_language != language_unknown
2962 && (tmp_language != language_c
2963 || psymtab_language != language_cplus))
2964 psymtab_language = tmp_language;
2966 /* In C++, one may expect the same filename to come
2967 round many times, when code is coming alternately
2968 from the main file and from inline functions in
2969 other files. So I check to see if this is a file
2970 we've seen before -- either the main source file,
2971 or a previously included file.
2973 This seems to be a lot of time to be spending on
2974 N_SOL, but things like "break c-exp.y:435" need to
2975 work (I suppose the psymtab_include_list could be
2976 hashed or put in a binary tree, if profiling shows
2977 this is a major hog). */
2978 if (pst && filename_cmp (namestring, pst->filename) == 0)
2984 for (i = 0; i < includes_used; i++)
2985 if (filename_cmp (namestring,
2986 psymtab_include_list[i]) == 0)
2995 psymtab_include_list[includes_used++] = namestring;
2996 if (includes_used >= includes_allocated)
2998 const char **orig = psymtab_include_list;
3000 psymtab_include_list = (const char **)
3001 alloca ((includes_allocated *= 2) *
3002 sizeof (const char *));
3003 memcpy (psymtab_include_list, orig,
3004 includes_used * sizeof (const char *));
3008 case N_LSYM: /* Typedef or automatic variable. */
3009 case N_STSYM: /* Data seg var -- static */
3010 case N_LCSYM: /* BSS " */
3011 case N_ROSYM: /* Read-only data seg var -- static. */
3012 case N_NBSTS: /* Gould nobase. */
3013 case N_NBLCS: /* symbols. */
3015 case N_GSYM: /* Global (extern) variable; can be
3016 data or bss (sigh FIXME). */
3018 /* Following may probably be ignored; I'll leave them here
3019 for now (until I do Pascal and Modula 2 extensions). */
3021 case N_PC: /* I may or may not need this; I
3023 case N_M2C: /* I suspect that I can ignore this
3025 case N_SCOPE: /* Same. */
3027 /* SET_NAMESTRING (); */
3028 namestring = stabstring;
3029 p = (char *) strchr (namestring, ':');
3031 continue; /* Not a debugging symbol. */
3035 /* Main processing section for debugging symbols which
3036 the initial read through the symbol tables needs to
3037 worry about. If we reach this point, the symbol
3038 which we are considering is definitely one we are
3039 interested in. p must also contain the (valid)
3040 index into the namestring which indicates the
3041 debugging type symbol. */
3046 if (gdbarch_static_transform_name_p (gdbarch))
3047 namestring = gdbarch_static_transform_name
3048 (gdbarch, namestring);
3050 add_psymbol_to_list (namestring, p - namestring, 1,
3051 VAR_DOMAIN, LOC_STATIC,
3052 SECT_OFF_DATA (objfile),
3053 &objfile->static_psymbols,
3055 psymtab_language, objfile);
3058 /* The addresses in these entries are reported
3059 to be wrong. See the code that reads 'G's
3061 add_psymbol_to_list (namestring, p - namestring, 1,
3062 VAR_DOMAIN, LOC_STATIC,
3063 SECT_OFF_DATA (objfile),
3064 &objfile->global_psymbols,
3066 psymtab_language, objfile);
3070 /* When a 'T' entry is defining an anonymous enum, it
3071 may have a name which is the empty string, or a
3072 single space. Since they're not really defining a
3073 symbol, those shouldn't go in the partial symbol
3074 table. We do pick up the elements of such enums at
3075 'check_enum:', below. */
3076 if (p >= namestring + 2
3077 || (p == namestring + 1
3078 && namestring[0] != ' '))
3080 add_psymbol_to_list (namestring, p - namestring, 1,
3081 STRUCT_DOMAIN, LOC_TYPEDEF,
3083 &objfile->static_psymbols,
3084 0, psymtab_language, objfile);
3087 /* Also a typedef with the same name. */
3088 add_psymbol_to_list (namestring,
3090 VAR_DOMAIN, LOC_TYPEDEF,
3092 &objfile->static_psymbols,
3093 0, psymtab_language,
3100 if (p != namestring) /* a name is there, not
3103 add_psymbol_to_list (namestring, p - namestring, 1,
3104 VAR_DOMAIN, LOC_TYPEDEF,
3106 &objfile->static_psymbols,
3107 0, psymtab_language, objfile);
3110 /* If this is an enumerated type, we need to add
3111 all the enum constants to the partial symbol
3112 table. This does not cover enums without names,
3113 e.g. "enum {a, b} c;" in C, but fortunately
3114 those are rare. There is no way for GDB to find
3115 those from the enum type without spending too
3116 much time on it. Thus to solve this problem,
3117 the compiler needs to put out the enum in a
3118 nameless type. GCC2 does this. */
3120 /* We are looking for something of the form
3121 <name> ":" ("t" | "T") [<number> "="] "e"
3122 {<constant> ":" <value> ","} ";". */
3124 /* Skip over the colon and the 't' or 'T'. */
3126 /* This type may be given a number. Also, numbers
3127 can come in pairs like (0,26). Skip over it. */
3128 while ((*p >= '0' && *p <= '9')
3129 || *p == '(' || *p == ',' || *p == ')'
3135 /* The aix4 compiler emits extra crud before
3139 /* Skip over the type (?). */
3143 /* Skip over the colon. */
3147 /* We have found an enumerated type. */
3148 /* According to comments in read_enum_type
3149 a comma could end it instead of a semicolon.
3150 I don't know where that happens.
3152 while (*p && *p != ';' && *p != ',')
3156 /* Check for and handle cretinous dbx
3157 symbol name continuation! */
3158 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3159 p = next_symbol_text (objfile);
3161 /* Point to the character after the name
3162 of the enum constant. */
3163 for (q = p; *q && *q != ':'; q++)
3165 /* Note that the value doesn't matter for
3166 enum constants in psymtabs, just in
3168 add_psymbol_to_list (p, q - p, 1,
3169 VAR_DOMAIN, LOC_CONST,
3171 &objfile->static_psymbols,
3172 0, psymtab_language,
3174 /* Point past the name. */
3176 /* Skip over the value. */
3177 while (*p && *p != ',')
3179 /* Advance past the comma. */
3186 /* Constant, e.g. from "const" in Pascal. */
3187 add_psymbol_to_list (namestring, p - namestring, 1,
3188 VAR_DOMAIN, LOC_CONST, -1,
3189 &objfile->static_psymbols,
3190 0, psymtab_language, objfile);
3196 std::string copy (namestring, p);
3197 function_outside_compilation_unit_complaint
3200 add_psymbol_to_list (namestring, p - namestring, 1,
3201 VAR_DOMAIN, LOC_BLOCK,
3202 SECT_OFF_TEXT (objfile),
3203 &objfile->static_psymbols,
3205 psymtab_language, objfile);
3208 /* Global functions were ignored here, but now they
3209 are put into the global psymtab like one would
3210 expect. They're also in the minimal symbol
3215 std::string copy (namestring, p);
3216 function_outside_compilation_unit_complaint
3219 add_psymbol_to_list (namestring, p - namestring, 1,
3220 VAR_DOMAIN, LOC_BLOCK,
3221 SECT_OFF_TEXT (objfile),
3222 &objfile->global_psymbols,
3224 psymtab_language, objfile);
3227 /* Two things show up here (hopefully); static
3228 symbols of local scope (static used inside
3229 braces) or extensions of structure symbols. We
3244 case '#': /* For symbol identification (used
3249 /* It is a C++ nested symbol. We don't need to
3250 record it (I don't think); if we try to look up
3251 foo::bar::baz, then symbols for the symtab
3252 containing foo should get read in, I think. */
3253 /* Someone says sun cc puts out symbols like
3254 /foo/baz/maclib::/usr/local/bin/maclib,
3255 which would get here with a symbol type of ':'. */
3259 /* Unexpected symbol descriptor. The second and
3260 subsequent stabs of a continued stab can show up
3261 here. The question is whether they ever can
3262 mimic a normal stab--it would be nice if not,
3263 since we certainly don't want to spend the time
3264 searching to the end of every string looking for
3267 complaint (_("unknown symbol descriptor `%c'"), p[1]);
3269 /* Ignore it; perhaps it is an extension that we don't
3278 /* Solaris 2 end of module, finish current partial
3279 symbol table. dbx_end_psymtab will set the
3280 high text address of PST to the proper value,
3281 which is necessary if a module compiled without
3282 debugging info follows this module. */
3284 && gdbarch_sofun_address_maybe_missing (gdbarch))
3286 pst = (struct partial_symtab *) 0;
3288 dependencies_used = 0;
3293 if (sh.value > save_pst->raw_text_high ())
3294 save_pst->set_text_high (sh.value);
3299 case N_SSYM: /* Claim: Structure or union
3300 element. Hopefully, I can
3302 case N_ENTRY: /* Alternate entry point; can
3304 case N_MAIN: /* Can definitely ignore this. */
3305 case N_CATCH: /* These are GNU C++ extensions. */
3306 case N_EHDECL: /* that can safely be ignored here. */
3316 case N_NSYMS: /* Ultrix 4.0: symbol count */
3317 case N_DEFD: /* GNU Modula-2 */
3318 case N_ALIAS: /* SunPro F77: alias name, ignore
3321 case N_OBJ: /* Useless types from Solaris. */
3323 /* These symbols aren't interesting; don't worry about
3329 /* If we haven't found it yet, ignore it. It's
3330 probably some new type we don't know about yet. */
3331 complaint (_("unknown symbol type %s"),
3332 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3336 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3339 /* end - Handle continuation */
3344 for (cur_sdx = 0; cur_sdx < fh->csym;)
3347 enum address_class theclass;
3348 CORE_ADDR minsym_value;
3351 (*swap_sym_in) (cur_bfd,
3352 ((char *) debug_info->external_sym
3353 + ((fh->isymBase + cur_sdx)
3354 * external_sym_size)),
3357 if (ECOFF_IS_STAB (&sh))
3363 /* Non absolute static symbols go into the minimal table. */
3364 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3365 || (sh.index == indexNil
3366 && (sh.st != stStatic || sh.sc == scAbs)))
3368 /* FIXME, premature? */
3373 sym_name = debug_info->ss + fh->issBase + sh.iss;
3375 minsym_value = sh.value;
3381 /* The value of a stEnd symbol is the displacement from the
3382 corresponding start symbol value, do not relocate it. */
3384 section = SECT_OFF_TEXT (objfile);
3391 section = SECT_OFF_DATA (objfile);
3395 section = SECT_OFF_BSS (objfile);
3406 reader.record_with_info (sym_name, minsym_value,
3408 SECT_OFF_TEXT (objfile));
3413 /* Ignore all parameter symbol records. */
3414 if (sh.index >= hdr->iauxMax)
3416 /* Should not happen, but does when cross-compiling
3417 with the MIPS compiler. FIXME -- pull later. */
3418 index_complaint (sym_name);
3419 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3422 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3423 (debug_info->external_aux
3427 if (new_sdx <= cur_sdx)
3429 /* This should not happen either... FIXME. */
3430 complaint (_("bad proc end in aux found from symbol %s"),
3432 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3435 /* For stProc symbol records, we need to check the
3436 storage class as well, as only (stProc, scText)
3437 entries represent "real" procedures - See the
3438 Compaq document titled "Object File / Symbol Table
3439 Format Specification" for more information. If the
3440 storage class is not scText, we discard the whole
3441 block of symbol records for this stProc. */
3442 if (sh.st == stProc && sh.sc != scText)
3445 /* Usually there is a local and a global stProc symbol
3446 for a function. This means that the function name
3447 has already been entered into the mimimal symbol table
3448 while processing the global symbols in pass 2 above.
3449 One notable exception is the PROGRAM name from
3450 f77 compiled executables, it is only put out as
3451 local stProc symbol, and a global MAIN__ stProc symbol
3452 points to it. It doesn't matter though, as gdb is
3453 still able to find the PROGRAM name via the partial
3454 symbol table, and the MAIN__ symbol via the minimal
3456 if (sh.st == stProc)
3457 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3458 VAR_DOMAIN, LOC_BLOCK,
3460 &objfile->global_psymbols,
3461 sh.value, psymtab_language, objfile);
3463 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3464 VAR_DOMAIN, LOC_BLOCK,
3466 &objfile->static_psymbols,
3467 sh.value, psymtab_language, objfile);
3469 procaddr = sh.value;
3472 (*swap_sym_in) (cur_bfd,
3473 ((char *) debug_info->external_sym
3474 + ((fh->isymBase + cur_sdx - 1)
3475 * external_sym_size)),
3480 /* Kludge for Irix 5.2 zero fh->adr. */
3482 && (!pst->text_low_valid
3483 || procaddr < pst->raw_text_low ()))
3484 pst->set_text_low (procaddr);
3486 high = procaddr + sh.value;
3487 if (high > pst->raw_text_high ())
3488 pst->set_text_high (high);
3491 case stStatic: /* Variable */
3492 if (SC_IS_DATA (sh.sc))
3493 reader.record_with_info (sym_name, minsym_value,
3495 SECT_OFF_DATA (objfile));
3497 reader.record_with_info (sym_name, minsym_value,
3499 SECT_OFF_BSS (objfile));
3500 theclass = LOC_STATIC;
3503 case stIndirect: /* Irix5 forward declaration */
3504 /* Skip forward declarations from Irix5 cc. */
3507 case stTypedef: /* Typedef */
3508 /* Skip typedefs for forward declarations and opaque
3509 structs from alpha and mips cc. */
3510 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3512 theclass = LOC_TYPEDEF;
3515 case stConstant: /* Constant decl */
3516 theclass = LOC_CONST;
3522 case stBlock: /* { }, str, un, enum */
3523 /* Do not create a partial symbol for cc unnamed aggregates
3524 and gcc empty aggregates. */
3525 if ((sh.sc == scInfo
3526 || SC_IS_COMMON (sh.sc))
3528 && sh.index != cur_sdx + 2)
3530 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3531 STRUCT_DOMAIN, LOC_TYPEDEF, -1,
3532 &objfile->static_psymbols,
3533 0, psymtab_language, objfile);
3535 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3537 /* Skip over the block. */
3539 if (new_sdx <= cur_sdx)
3541 /* This happens with the Ultrix kernel. */
3542 complaint (_("bad aux index at block symbol %s"),
3544 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3549 case stFile: /* File headers */
3550 case stLabel: /* Labels */
3551 case stEnd: /* Ends of files */
3554 case stLocal: /* Local variables */
3555 /* Normally these are skipped because we skip over
3556 all blocks we see. However, these can occur
3557 as visible symbols in a .h file that contains code. */
3561 /* Both complaints are valid: one gives symbol sym_name,
3562 the other the offending symbol type. */
3563 complaint (_("unknown local symbol %s"),
3565 complaint (_("with type %d"), sh.st);
3569 /* Use this gdb symbol. */
3570 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3571 VAR_DOMAIN, theclass, section,
3572 &objfile->static_psymbols,
3573 sh.value, psymtab_language, objfile);
3575 cur_sdx++; /* Go to next file symbol. */
3578 /* Now do enter the external symbols. */
3579 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3580 cur_sdx = fdr_to_pst[f_idx].n_globals;
3581 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3582 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3583 for (; --cur_sdx >= 0; ext_ptr++)
3585 enum address_class theclass;
3590 if (ext_ptr->ifd != f_idx)
3591 internal_error (__FILE__, __LINE__,
3592 _("failed internal consistency check"));
3593 psh = &ext_ptr->asym;
3595 /* Do not add undefined symbols to the partial symbol table. */
3596 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3599 svalue = psh->value;
3605 section = SECT_OFF_TEXT (objfile);
3612 section = SECT_OFF_DATA (objfile);
3616 section = SECT_OFF_BSS (objfile);
3623 /* These are generated for static symbols in .o files,
3628 /* External procedure symbols have been entered
3629 into the minimal symbol table in pass 2 above.
3630 Ignore them, as parse_external will ignore them too. */
3633 theclass = LOC_LABEL;
3636 unknown_ext_complaint (debug_info->ssext + psh->iss);
3637 /* Pretend it's global. */
3640 /* Global common symbols are resolved by the runtime loader,
3642 if (SC_IS_COMMON (psh->sc))
3645 theclass = LOC_STATIC;
3648 char *sym_name = debug_info->ssext + psh->iss;
3649 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3650 VAR_DOMAIN, theclass,
3652 &objfile->global_psymbols,
3653 svalue, psymtab_language, objfile);
3657 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3658 empty and put on the free list. */
3659 fdr_to_pst[f_idx].pst
3660 = dbx_end_psymtab (objfile, save_pst,
3661 psymtab_include_list, includes_used,
3662 -1, save_pst->raw_text_high (),
3663 dependency_list, dependencies_used,
3666 dependencies_used = 0;
3668 /* The objfile has its functions reordered if this partial symbol
3669 table overlaps any other partial symbol table.
3670 We cannot assume a reordered objfile if a partial symbol table
3671 is contained within another partial symbol table, as partial symbol
3672 tables for include files with executable code are contained
3673 within the partial symbol table for the including source file,
3674 and we do not want to flag the objfile reordered for these cases.
3676 This strategy works well for Irix-5.2 shared libraries, but we
3677 might have to use a more elaborate (and slower) algorithm for
3679 save_pst = fdr_to_pst[f_idx].pst;
3680 if (save_pst != NULL
3681 && save_pst->text_low_valid
3682 && !(objfile->flags & OBJF_REORDERED))
3684 for (partial_symtab *iter : objfile_psymtabs (objfile))
3686 if (save_pst != iter
3687 && save_pst->raw_text_low () >= iter->raw_text_low ()
3688 && save_pst->raw_text_low () < iter->raw_text_high ()
3689 && save_pst->raw_text_high () > iter->raw_text_high ())
3691 objfile->flags |= OBJF_REORDERED;
3698 /* Now scan the FDRs for dependencies. */
3699 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3701 fh = f_idx + debug_info->fdr;
3702 pst = fdr_to_pst[f_idx].pst;
3704 if (pst == (struct partial_symtab *) NULL)
3707 /* This should catch stabs-in-ecoff. */
3711 /* Skip the first file indirect entry as it is a self dependency for
3712 source files or a reverse .h -> .c dependency for header files. */
3713 pst->number_of_dependencies = 0;
3714 pst->dependencies = XOBNEWVEC (&objfile->objfile_obstack,
3715 partial_symtab *, (fh->crfd - 1));
3716 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3720 (*swap_rfd_in) (cur_bfd,
3721 ((char *) debug_info->external_rfd
3722 + (fh->rfdBase + s_idx) * external_rfd_size),
3724 if (rh < 0 || rh >= hdr->ifdMax)
3726 complaint (_("bad file number %ld"), rh);
3730 /* Skip self dependencies of header files. */
3734 /* Do not add to dependeny list if psymtab was empty. */
3735 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3737 pst->dependencies[pst->number_of_dependencies++]
3738 = fdr_to_pst[rh].pst;
3742 /* Remove the dummy psymtab created for -O3 images above, if it is
3743 still empty, to enable the detection of stripped executables. */
3744 if (objfile->psymtabs->next == NULL
3745 && objfile->psymtabs->number_of_dependencies == 0
3746 && objfile->psymtabs->n_global_syms == 0
3747 && objfile->psymtabs->n_static_syms == 0)
3748 objfile->psymtabs = NULL;
3751 /* If the current psymbol has an enumerated type, we need to add
3752 all the enum constants to the partial symbol table. */
3755 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3758 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3759 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3760 char *ext_sym = ((char *) debug_info->external_sym
3761 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3771 /* It is an enumerated type if the next symbol entry is a stMember
3772 and its auxiliary index is indexNil or its auxiliary entry
3773 is a plain btNil or btVoid.
3774 Alpha cc -migrate enums are recognized by a zero index and
3775 a zero symbol value.
3776 DU 4.0 cc enums are recognized by a member type of btEnum without
3777 qualifiers and a zero symbol value. */
3778 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3779 if (sh.st != stMember)
3782 if (sh.index == indexNil
3783 || (sh.index == 0 && svalue == 0))
3785 (*debug_swap->swap_tir_in) (fh->fBigendian,
3786 &(debug_info->external_aux
3787 + fh->iauxBase + sh.index)->a_ti,
3789 if ((tir.bt != btNil
3791 && (tir.bt != btEnum || svalue != 0))
3792 || tir.tq0 != tqNil)
3804 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3805 if (sh.st != stMember)
3807 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3809 /* Note that the value doesn't matter for enum constants
3810 in psymtabs, just in symtabs. */
3811 add_psymbol_to_list (name, strlen (name), 1,
3812 VAR_DOMAIN, LOC_CONST, -1,
3813 &objfile->static_psymbols, 0,
3814 psymtab_language, objfile);
3815 ext_sym += external_sym_size;
3819 /* Get the next symbol. OBJFILE is unused. */
3822 mdebug_next_symbol_text (struct objfile *objfile)
3827 (*debug_swap->swap_sym_in) (cur_bfd,
3828 ((char *) debug_info->external_sym
3829 + ((cur_fdr->isymBase + cur_sdx)
3830 * debug_swap->external_sym_size)),
3832 return debug_info->ss + cur_fdr->issBase + sh.iss;
3835 /* Ancillary function to psymtab_to_symtab(). Does all the work
3836 for turning the partial symtab PST into a symtab, recurring
3837 first on all dependent psymtabs. The argument FILENAME is
3838 only passed so we can see in debug stack traces what file
3841 This function has a split personality, based on whether the
3842 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3843 The flow of control and even the memory allocation differs. FIXME. */
3846 psymtab_to_symtab_1 (struct objfile *objfile,
3847 struct partial_symtab *pst, const char *filename)
3849 bfd_size_type external_sym_size;
3850 bfd_size_type external_pdr_size;
3851 void (*swap_sym_in) (bfd *, void *, SYMR *);
3852 void (*swap_pdr_in) (bfd *, void *, PDR *);
3854 struct compunit_symtab *cust = NULL;
3856 struct linetable *lines;
3857 CORE_ADDR lowest_pdr_addr = 0;
3858 int last_symtab_ended = 0;
3859 struct section_offsets *section_offsets = objfile->section_offsets;
3865 /* Read in all partial symbtabs on which this one is dependent.
3866 NOTE that we do have circular dependencies, sigh. We solved
3867 that by setting pst->readin before this point. */
3869 for (i = 0; i < pst->number_of_dependencies; i++)
3870 if (!pst->dependencies[i]->readin)
3872 /* Inform about additional files to be read in. */
3875 fputs_filtered (" ", gdb_stdout);
3877 fputs_filtered ("and ", gdb_stdout);
3879 printf_filtered ("%s...",
3880 pst->dependencies[i]->filename);
3881 wrap_here (""); /* Flush output */
3882 gdb_flush (gdb_stdout);
3884 /* We only pass the filename for debug purposes. */
3885 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3886 pst->dependencies[i]->filename);
3889 /* Do nothing if this is a dummy psymtab. */
3891 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3892 && !pst->text_low_valid && !pst->text_high_valid)
3895 /* Now read the symbols for this symtab. */
3897 cur_bfd = CUR_BFD (pst);
3898 debug_swap = DEBUG_SWAP (pst);
3899 debug_info = DEBUG_INFO (pst);
3900 pending_list = PENDING_LIST (pst);
3901 external_sym_size = debug_swap->external_sym_size;
3902 external_pdr_size = debug_swap->external_pdr_size;
3903 swap_sym_in = debug_swap->swap_sym_in;
3904 swap_pdr_in = debug_swap->swap_pdr_in;
3905 mdebugread_objfile = objfile;
3906 cur_fd = FDR_IDX (pst);
3907 fh = ((cur_fd == -1)
3909 : debug_info->fdr + cur_fd);
3912 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3913 processing_gcc_compilation = 0;
3914 if (fh != (FDR *) NULL && fh->csym >= 2)
3918 (*swap_sym_in) (cur_bfd,
3919 ((char *) debug_info->external_sym
3920 + (fh->isymBase + 1) * external_sym_size),
3922 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3925 /* We indicate that this is a GCC compilation so that certain
3926 features will be enabled in stabsread/dbxread. */
3927 processing_gcc_compilation = 2;
3931 if (processing_gcc_compilation != 0)
3933 struct gdbarch *gdbarch = get_objfile_arch (objfile);
3935 /* This symbol table contains stabs-in-ecoff entries. */
3937 /* Parse local symbols first. */
3939 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
3941 mdebugread_objfile = NULL;
3944 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3950 (*swap_sym_in) (cur_bfd,
3951 (((char *) debug_info->external_sym)
3952 + (fh->isymBase + cur_sdx) * external_sym_size),
3954 name = debug_info->ss + fh->issBase + sh.iss;
3956 /* XXX This is a hack. It will go away! */
3957 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3959 int type_code = ECOFF_UNMARK_STAB (sh.index);
3960 enum language language = PST_PRIVATE (pst)->pst_language;
3962 /* We should never get non N_STAB symbols here, but they
3963 should be harmless, so keep process_one_symbol from
3964 complaining about them. */
3965 if (type_code & N_STAB)
3967 /* If we found a trailing N_SO with no name, process
3968 it here instead of in process_one_symbol, so we
3969 can keep a handle to its symtab. The symtab
3970 would otherwise be ended twice, once in
3971 process_one_symbol, and once after this loop. */
3972 if (type_code == N_SO
3973 && get_last_source_file ()
3974 && previous_stab_code != (unsigned char) N_SO
3977 valu += ANOFFSET (section_offsets,
3978 SECT_OFF_TEXT (objfile));
3979 previous_stab_code = N_SO;
3980 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
3982 last_symtab_ended = 1;
3986 last_symtab_ended = 0;
3987 process_one_symbol (type_code, 0, valu, name,
3988 section_offsets, objfile, language);
3991 /* Similarly a hack. */
3992 else if (name[0] == '#')
3994 process_one_symbol (N_SLINE, 0, valu, name,
3995 section_offsets, objfile, language);
3997 if (type_code == N_FUN)
3999 /* Make up special symbol to contain
4000 procedure specific info. */
4001 mdebug_extra_func_info *e
4002 = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
4003 mdebug_extra_func_info);
4004 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4006 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4007 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4008 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4009 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4010 e->pdr.framereg = -1;
4011 add_symbol_to_list (s, get_local_symbols ());
4014 else if (sh.st == stLabel)
4016 if (sh.index == indexNil)
4018 /* This is what the gcc2_compiled and __gnu_compiled_*
4019 show up as. So don't complain. */
4024 /* Handle encoded stab line number. */
4025 valu += ANOFFSET (section_offsets,
4026 SECT_OFF_TEXT (objfile));
4027 record_line (get_current_subfile (), sh.index,
4028 gdbarch_addr_bits_remove (gdbarch, valu));
4031 else if (sh.st == stProc || sh.st == stStaticProc
4032 || sh.st == stStatic || sh.st == stEnd)
4033 /* These are generated by gcc-2.x, do not complain. */
4036 complaint (_("unknown stabs symbol %s"), name);
4039 if (! last_symtab_ended)
4041 cust = end_symtab (pst->raw_text_high (), SECT_OFF_TEXT (objfile));
4045 /* There used to be a call to sort_blocks here, but this should not
4046 be necessary for stabs symtabs. And as sort_blocks modifies the
4047 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4048 it did the wrong thing if the first procedure in a file was
4049 generated via asm statements. */
4051 /* Fill in procedure info next. */
4059 gdb::def_vector<PDR> pr_block (fh->cpd);
4061 pdr_ptr = ((char *) debug_info->external_pdr
4062 + fh->ipdFirst * external_pdr_size);
4063 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4064 pdr_in = pr_block.data ();
4067 pdr_ptr += external_pdr_size, pdr_in++)
4069 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4071 /* Determine lowest PDR address, the PDRs are not always
4073 if (pdr_in == pr_block.data ())
4074 lowest_pdr_addr = pdr_in->adr;
4075 else if (pdr_in->adr < lowest_pdr_addr)
4076 lowest_pdr_addr = pdr_in->adr;
4079 pdr_in = pr_block.data ();
4080 pdr_in_end = pdr_in + fh->cpd;
4081 for (; pdr_in < pdr_in_end; pdr_in++)
4082 parse_procedure (pdr_in, cust, pst);
4087 /* This symbol table contains ordinary ecoff entries. */
4095 cust = new_symtab ("unknown", 0, objfile);
4099 maxlines = 2 * fh->cline;
4100 cust = new_symtab (pst->filename, maxlines, objfile);
4102 /* The proper language was already determined when building
4103 the psymtab, use it. */
4104 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4107 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4109 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4111 /* Get a new lexical context. */
4113 push_parse_stack ();
4114 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4115 top_stack->cur_block
4116 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4117 BLOCK_START (top_stack->cur_block) = pst->text_low (objfile);
4118 BLOCK_END (top_stack->cur_block) = 0;
4119 top_stack->blocktype = stFile;
4120 top_stack->cur_type = 0;
4121 top_stack->procadr = 0;
4122 top_stack->numargs = 0;
4123 found_ecoff_debugging_info = 0;
4130 /* Parse local symbols first. */
4131 sym_ptr = ((char *) debug_info->external_sym
4132 + fh->isymBase * external_sym_size);
4133 sym_end = sym_ptr + fh->csym * external_sym_size;
4134 while (sym_ptr < sym_end)
4139 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4140 c = parse_symbol (&sh,
4141 debug_info->external_aux + fh->iauxBase,
4142 sym_ptr, fh->fBigendian,
4143 section_offsets, objfile);
4144 sym_ptr += c * external_sym_size;
4147 /* Linenumbers. At the end, check if we can save memory.
4148 parse_lines has to look ahead an arbitrary number of PDR
4149 structures, so we swap them all first. */
4157 gdb::def_vector<PDR> pr_block (fh->cpd);
4159 pdr_ptr = ((char *) debug_info->external_pdr
4160 + fh->ipdFirst * external_pdr_size);
4161 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4162 pdr_in = pr_block.data ();
4165 pdr_ptr += external_pdr_size, pdr_in++)
4167 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4169 /* Determine lowest PDR address, the PDRs are not always
4171 if (pdr_in == pr_block.data ())
4172 lowest_pdr_addr = pdr_in->adr;
4173 else if (pdr_in->adr < lowest_pdr_addr)
4174 lowest_pdr_addr = pdr_in->adr;
4177 parse_lines (fh, pr_block.data (), lines, maxlines,
4178 pst->text_low (objfile), lowest_pdr_addr);
4179 if (lines->nitems < fh->cline)
4180 lines = shrink_linetable (lines);
4182 /* Fill in procedure info next. */
4183 pdr_in = pr_block.data ();
4184 pdr_in_end = pdr_in + fh->cpd;
4185 for (; pdr_in < pdr_in_end; pdr_in++)
4186 parse_procedure (pdr_in, NULL, pst);
4190 size = lines->nitems;
4193 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4194 = ((struct linetable *)
4195 obstack_copy (&mdebugread_objfile->objfile_obstack,
4196 lines, (sizeof (struct linetable)
4197 + size * sizeof (lines->item))));
4200 /* .. and our share of externals.
4201 XXX use the global list to speed up things here. How?
4202 FIXME, Maybe quit once we have found the right number of ext's? */
4203 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4204 top_stack->cur_block
4205 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4207 top_stack->blocktype = stFile;
4209 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4210 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4211 parse_external (ext_ptr, fh->fBigendian,
4212 section_offsets, objfile);
4214 /* If there are undefined symbols, tell the user.
4215 The alpha has an undefined symbol for every symbol that is
4216 from a shared library, so tell the user only if verbose is on. */
4217 if (info_verbose && n_undef_symbols)
4219 printf_filtered (_("File %s contains %d unresolved references:"),
4220 symtab_to_filename_for_display
4221 (COMPUNIT_FILETABS (cust)),
4223 printf_filtered ("\n\t%4d variables\n\t%4d "
4224 "procedures\n\t%4d labels\n",
4225 n_undef_vars, n_undef_procs, n_undef_labels);
4226 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4231 sort_blocks (COMPUNIT_FILETABS (cust));
4234 /* Now link the psymtab and the symtab. */
4235 pst->compunit_symtab = cust;
4237 mdebugread_objfile = NULL;
4240 /* Ancillary parsing procedures. */
4242 /* Return 1 if the symbol pointed to by SH has a cross reference
4243 to an opaque aggregate type, else 0. */
4246 has_opaque_xref (FDR *fh, SYMR *sh)
4253 if (sh->index == indexNil)
4256 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4257 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4258 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4262 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4263 if (rn->rfd == 0xfff)
4264 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4272 /* Lookup the type at relative index RN. Return it in TPP
4273 if found and in any event come up with its name PNAME.
4274 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4275 Return value says how many aux symbols we ate. */
4278 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4279 enum type_code type_code,
4280 /* Use to alloc new type if none is found. */
4281 const char **pname, int bigend, const char *sym_name)
4290 struct mdebug_pending *pend;
4294 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4296 /* Escape index means 'the next one'. */
4297 if (rn->rfd == 0xfff)
4300 rf = AUX_GET_ISYM (bigend, ax + 1);
4307 /* mips cc uses a rf of -1 for opaque struct definitions.
4308 Set TYPE_STUB for these types so that check_typedef will
4309 resolve them if the struct gets defined in another compilation unit. */
4312 *pname = "<undefined>";
4313 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4314 TYPE_STUB (*tpp) = 1;
4318 /* mips cc uses an escaped rn->index of 0 for struct return types
4319 of procedures that were compiled without -g. These will always remain
4321 if (rn->rfd == 0xfff && rn->index == 0)
4323 *pname = "<undefined>";
4327 /* Find the relative file descriptor and the symbol in it. */
4328 fh = get_rfd (fd, rf);
4329 xref_fd = fh - debug_info->fdr;
4331 if (rn->index >= fh->csym)
4333 /* File indirect entry is corrupt. */
4334 *pname = "<illegal>";
4335 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4339 /* If we have processed this symbol then we left a forwarding
4340 pointer to the type in the pending list. If not, we`ll put
4341 it in a list of pending types, to be processed later when
4342 the file will be. In any event, we collect the name for the
4345 esh = ((char *) debug_info->external_sym
4346 + ((fh->isymBase + rn->index)
4347 * debug_swap->external_sym_size));
4348 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4350 /* Make sure that this type of cross reference can be handled. */
4351 if ((sh.sc != scInfo
4352 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4353 && sh.st != stStruct && sh.st != stUnion
4354 && sh.st != stEnum))
4355 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4357 /* File indirect entry is corrupt. */
4358 *pname = "<illegal>";
4359 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4363 *pname = debug_info->ss + fh->issBase + sh.iss;
4365 pend = is_pending_symbol (fh, esh);
4370 /* We have not yet seen this type. */
4372 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4376 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4378 a) forward declarations of structs/unions/enums which are not
4379 defined in this compilation unit.
4380 For these the type will be void. This is a bad design decision
4381 as cross referencing across compilation units is impossible
4382 due to the missing name.
4383 b) forward declarations of structs/unions/enums/typedefs which
4384 are defined later in this file or in another file in the same
4385 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4386 Simply cross reference those again to get the true type.
4387 The forward references are not entered in the pending list and
4388 in the symbol table. */
4390 (*debug_swap->swap_tir_in) (bigend,
4391 &(debug_info->external_aux
4392 + fh->iauxBase + sh.index)->a_ti,
4394 if (tir.tq0 != tqNil)
4395 complaint (_("illegal tq0 in forward typedef for %s"), sym_name);
4399 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4400 *pname = "<undefined>";
4407 (debug_info->external_aux
4408 + fh->iauxBase + sh.index + 1),
4409 tpp, type_code, pname,
4410 fh->fBigendian, sym_name);
4414 /* Follow a forward typedef. This might recursively
4415 call cross_ref till we get a non typedef'ed type.
4416 FIXME: This is not correct behaviour, but gdb currently
4417 cannot handle typedefs without type copying. Type
4418 copying is impossible as we might have mutual forward
4419 references between two files and the copied type would not
4420 get filled in when we later parse its definition. */
4421 *tpp = parse_type (xref_fd,
4422 debug_info->external_aux + fh->iauxBase,
4426 debug_info->ss + fh->issBase + sh.iss);
4427 add_pending (fh, esh, *tpp);
4431 complaint (_("illegal bt %d in forward typedef for %s"), tir.bt,
4433 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4438 else if (sh.st == stTypedef)
4440 /* Parse the type for a normal typedef. This might recursively call
4441 cross_ref till we get a non typedef'ed type.
4442 FIXME: This is not correct behaviour, but gdb currently
4443 cannot handle typedefs without type copying. But type copying is
4444 impossible as we might have mutual forward references between
4445 two files and the copied type would not get filled in when
4446 we later parse its definition. */
4447 *tpp = parse_type (xref_fd,
4448 debug_info->external_aux + fh->iauxBase,
4452 debug_info->ss + fh->issBase + sh.iss);
4456 /* Cross reference to a struct/union/enum which is defined
4457 in another file in the same compilation unit but that file
4458 has not been parsed yet.
4459 Initialize the type only, it will be filled in when
4460 it's definition is parsed. */
4461 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4463 add_pending (fh, esh, *tpp);
4466 /* We used one auxent normally, two if we got a "next one" rf. */
4471 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4472 keeping the symtab sorted. */
4474 static struct symbol *
4475 mylookup_symbol (const char *name, const struct block *block,
4476 domain_enum domain, enum address_class theclass)
4478 struct block_iterator iter;
4483 ALL_BLOCK_SYMBOLS (block, iter, sym)
4485 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4486 && SYMBOL_DOMAIN (sym) == domain
4487 && SYMBOL_CLASS (sym) == theclass
4488 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4492 block = BLOCK_SUPERBLOCK (block);
4494 return mylookup_symbol (name, block, domain, theclass);
4499 /* Add a new symbol S to a block B. */
4502 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4504 symbol_set_symtab (s, symtab);
4505 dict_add_symbol (BLOCK_DICT (b), s);
4508 /* Add a new block B to a symtab S. */
4511 add_block (struct block *b, struct symtab *s)
4513 /* Cast away "const", but that's ok because we're building the
4514 symtab and blockvector here. */
4515 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4517 bv = (struct blockvector *) xrealloc ((void *) bv,
4518 (sizeof (struct blockvector)
4519 + BLOCKVECTOR_NBLOCKS (bv)
4520 * sizeof (bv->block)));
4521 if (bv != SYMTAB_BLOCKVECTOR (s))
4522 SYMTAB_BLOCKVECTOR (s) = bv;
4524 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4527 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4528 MIPS' linenumber encoding might need more than one byte
4529 to describe it, LAST is used to detect these continuation lines.
4531 Combining lines with the same line number seems like a bad idea.
4532 E.g: There could be a line number entry with the same line number after the
4533 prologue and GDB should not ignore it (this is a better way to find
4534 a prologue than mips_skip_prologue).
4535 But due to the compressed line table format there are line number entries
4536 for the same line which are needed to bridge the gap to the next
4537 line number entry. These entries have a bogus address info with them
4538 and we are unable to tell them from intended duplicate line number
4540 This is another reason why -ggdb debugging format is preferable. */
4543 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4545 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4546 Change them to something sensible. */
4550 last = -2; /* Make sure we record first line. */
4552 if (last == lineno) /* Skip continuation lines. */
4555 lt->item[lt->nitems].line = lineno;
4556 lt->item[lt->nitems++].pc = adr << 2;
4560 /* Sorting and reordering procedures. */
4562 /* Blocks with a smaller low bound should come first. */
4565 compare_blocks (const void *arg1, const void *arg2)
4568 struct block **b1 = (struct block **) arg1;
4569 struct block **b2 = (struct block **) arg2;
4571 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4573 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4577 /* Sort the blocks of a symtab S.
4578 Reorder the blocks in the blockvector by code-address,
4579 as required by some MI search routines. */
4582 sort_blocks (struct symtab *s)
4584 /* We have to cast away const here, but this is ok because we're
4585 constructing the blockvector in this code. */
4586 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4588 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4591 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4592 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4593 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4594 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4598 * This is very unfortunate: normally all functions are compiled in
4599 * the order they are found, but if the file is compiled -O3 things
4600 * are very different. It would be nice to find a reliable test
4601 * to detect -O3 images in advance.
4603 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4604 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4605 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4606 sizeof (struct block *),
4611 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4613 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4614 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4615 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4616 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4619 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4620 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4622 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4623 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4624 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4625 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4629 /* Constructor/restructor/destructor procedures. */
4631 /* Allocate a new symtab for NAME. Needs an estimate of how many
4632 linenumbers MAXLINES we'll put in it. */
4634 static struct compunit_symtab *
4635 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4637 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4638 struct symtab *symtab;
4639 struct blockvector *bv;
4642 add_compunit_symtab_to_objfile (cust);
4643 symtab = allocate_symtab (cust, name);
4645 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4646 lang = compunit_language (cust);
4648 /* All symtabs must have at least two blocks. */
4650 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4651 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4652 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4653 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4654 COMPUNIT_BLOCKVECTOR (cust) = bv;
4656 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4660 /* Allocate a new partial_symtab NAME. */
4662 static struct partial_symtab *
4663 new_psymtab (const char *name, struct objfile *objfile)
4665 struct partial_symtab *psymtab;
4667 psymtab = allocate_psymtab (name, objfile);
4669 /* Keep a backpointer to the file's symbols. */
4671 psymtab->read_symtab_private
4672 = OBSTACK_ZALLOC (&objfile->objfile_obstack, symloc);
4673 CUR_BFD (psymtab) = cur_bfd;
4674 DEBUG_SWAP (psymtab) = debug_swap;
4675 DEBUG_INFO (psymtab) = debug_info;
4676 PENDING_LIST (psymtab) = pending_list;
4678 /* The way to turn this into a symtab is to call... */
4679 psymtab->read_symtab = mdebug_read_symtab;
4684 /* Allocate a linetable array of the given SIZE. Since the struct
4685 already includes one item, we subtract one when calculating the
4686 proper size to allocate. */
4688 static struct linetable *
4689 new_linetable (int size)
4691 struct linetable *l;
4695 size = size * sizeof (l->item) + sizeof (struct linetable);
4696 l = (struct linetable *) xmalloc (size);
4701 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4702 I am not so sure about the 3.4 ones.
4704 Since the struct linetable already includes one item, we subtract one when
4705 calculating the proper size to allocate. */
4707 static struct linetable *
4708 shrink_linetable (struct linetable *lt)
4710 return (struct linetable *) xrealloc ((void *) lt,
4711 (sizeof (struct linetable)
4713 * sizeof (lt->item))));
4716 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4718 static struct blockvector *
4719 new_bvect (int nblocks)
4721 struct blockvector *bv;
4724 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4725 bv = (struct blockvector *) xzalloc (size);
4727 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4732 /* Allocate and zero a new block of language LANGUAGE, and set its
4733 BLOCK_DICT. If function is non-zero, assume the block is
4734 associated to a function, and make sure that the symbols are stored
4735 linearly; otherwise, store them hashed. */
4737 static struct block *
4738 new_block (enum block_type type, enum language language)
4740 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4741 allocate the block. Which, in turn, suggests that the block
4742 should be allocated on an obstack. */
4743 struct block *retval = XCNEW (struct block);
4745 if (type == FUNCTION_BLOCK)
4746 BLOCK_DICT (retval) = dict_create_linear_expandable (language);
4748 BLOCK_DICT (retval) = dict_create_hashed_expandable (language);
4753 /* Create a new symbol with printname NAME. */
4755 static struct symbol *
4756 new_symbol (const char *name)
4758 struct symbol *s = allocate_symbol (mdebugread_objfile);
4760 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4761 &mdebugread_objfile->objfile_obstack);
4762 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4766 /* Create a new type with printname NAME. */
4768 static struct type *
4769 new_type (char *name)
4773 t = alloc_type (mdebugread_objfile);
4774 TYPE_NAME (t) = name;
4775 INIT_CPLUS_SPECIFIC (t);
4779 /* Read ECOFF debugging information from a BFD section. This is
4780 called from elfread.c. It parses the section into a
4781 ecoff_debug_info struct, and then lets the rest of the file handle
4785 elfmdebug_build_psymtabs (struct objfile *objfile,
4786 const struct ecoff_debug_swap *swap, asection *sec)
4788 bfd *abfd = objfile->obfd;
4789 struct ecoff_debug_info *info;
4791 /* FIXME: It's not clear whether we should be getting minimal symbol
4792 information from .mdebug in an ELF file, or whether we will.
4793 Re-initialize the minimal symbol reader in case we do. */
4795 minimal_symbol_reader reader (objfile);
4797 info = XOBNEW (&objfile->objfile_obstack, ecoff_debug_info);
4799 if (!(*swap->read_debug_info) (abfd, sec, info))
4800 error (_("Error reading ECOFF debugging information: %s"),
4801 bfd_errmsg (bfd_get_error ()));
4803 mdebug_build_psymtabs (reader, objfile, swap, info);
4809 _initialize_mdebugread (void)
4811 basic_type_data = register_objfile_data ();
4813 mdebug_register_index
4814 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4815 mdebug_regparm_index
4816 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);