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 == 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"));
384 /* Local utilities */
386 /* Map of FDR indexes to partial symtabs. */
390 struct partial_symtab *pst; /* the psymtab proper */
391 long n_globals; /* exported globals (external symbols) */
392 long globals_offset; /* cumulative */
396 /* Utility stack, used to nest procedures and blocks properly.
397 It is a doubly linked list, to avoid too many alloc/free.
398 Since we might need it quite a few times it is NOT deallocated
401 static struct parse_stack
403 struct parse_stack *next, *prev;
404 struct symtab *cur_st; /* Current symtab. */
405 struct block *cur_block; /* Block in it. */
407 /* What are we parsing. stFile, or stBlock are for files and
408 blocks. stProc or stStaticProc means we have seen the start of a
409 procedure, but not the start of the block within in. When we see
410 the start of that block, we change it to stNil, without pushing a
411 new block, i.e. stNil means both a procedure and a block. */
415 struct type *cur_type; /* Type we parse fields for. */
416 int cur_field; /* Field number in cur_type. */
417 CORE_ADDR procadr; /* Start addres of this procedure. */
418 int numargs; /* Its argument count. */
421 *top_stack; /* Top stack ptr */
424 /* Enter a new lexical context. */
427 push_parse_stack (void)
429 struct parse_stack *newobj;
431 /* Reuse frames if possible. */
432 if (top_stack && top_stack->prev)
433 newobj = top_stack->prev;
435 newobj = XCNEW (struct parse_stack);
436 /* Initialize new frame with previous content. */
439 struct parse_stack *prev = newobj->prev;
441 *newobj = *top_stack;
442 top_stack->prev = newobj;
444 newobj->next = top_stack;
449 /* Exit a lexical context. */
452 pop_parse_stack (void)
457 top_stack = top_stack->next;
461 /* Cross-references might be to things we haven't looked at
462 yet, e.g. type references. To avoid too many type
463 duplications we keep a quick fixup table, an array
464 of lists of references indexed by file descriptor. */
466 struct mdebug_pending
468 struct mdebug_pending *next; /* link */
469 char *s; /* the unswapped symbol */
470 struct type *t; /* its partial type descriptor */
474 /* The pending information is kept for an entire object file. We
475 allocate the pending information table when we create the partial
476 symbols, and we store a pointer to the single table in each
479 static struct mdebug_pending **pending_list;
481 /* Check whether we already saw symbol SH in file FH. */
483 static struct mdebug_pending *
484 is_pending_symbol (FDR *fh, char *sh)
486 int f_idx = fh - debug_info->fdr;
487 struct mdebug_pending *p;
489 /* Linear search is ok, list is typically no more than 10 deep. */
490 for (p = pending_list[f_idx]; p; p = p->next)
496 /* Add a new symbol SH of type T. */
499 add_pending (FDR *fh, char *sh, struct type *t)
501 int f_idx = fh - debug_info->fdr;
502 struct mdebug_pending *p = is_pending_symbol (fh, sh);
504 /* Make sure we do not make duplicates. */
507 p = XOBNEW (&mdebugread_objfile->objfile_obstack, mdebug_pending);
510 p->next = pending_list[f_idx];
511 pending_list[f_idx] = p;
516 /* Parsing Routines proper. */
519 reg_value_complaint (int regnum, int num_regs, const char *sym)
521 complaint (_("bad register number %d (max %d) in symbol %s"),
522 regnum, num_regs - 1, sym);
525 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
526 For blocks, procedures and types we open a new lexical context.
527 This is basically just a big switch on the symbol's type. Argument
528 AX is the base pointer of aux symbols for this file (fh->iauxBase).
529 EXT_SH points to the unswapped symbol, which is needed for struct,
530 union, etc., types; it is NULL for an EXTR. BIGEND says whether
531 aux symbols are big-endian or little-endian. Return count of
532 SYMR's handled (normally one). */
535 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
537 int regno = gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
539 if (regno < 0 || regno >= gdbarch_num_cooked_regs (gdbarch))
541 reg_value_complaint (regno, gdbarch_num_cooked_regs (gdbarch),
542 SYMBOL_PRINT_NAME (sym));
544 regno = gdbarch_sp_regnum (gdbarch); /* Known safe, though useless. */
550 static const struct symbol_register_ops mdebug_register_funcs = {
554 /* The "aclass" indices for computed symbols. */
556 static int mdebug_register_index;
557 static int mdebug_regparm_index;
559 /* Common code for symbols describing data. */
562 add_data_symbol (SYMR *sh, union aux_ext *ax, int bigend,
563 struct symbol *s, int aclass_index, struct block *b,
564 struct objfile *objfile, const char *name)
566 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
567 SYMBOL_ACLASS_INDEX (s) = aclass_index;
568 add_symbol (s, top_stack->cur_st, b);
570 /* Type could be missing if file is compiled without debugging info. */
571 if (SC_IS_UNDEF (sh->sc)
572 || sh->sc == scNil || sh->index == indexNil)
573 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
575 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
576 /* Value of a data symbol is its memory address. */
580 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
581 struct section_offsets *section_offsets, struct objfile *objfile)
583 struct gdbarch *gdbarch = get_objfile_arch (objfile);
584 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
585 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
589 struct mdebug_pending *pend;
593 long svalue = sh->value;
597 name = debug_info->ssext + sh->iss;
599 name = debug_info->ss + cur_fdr->issBase + sh->iss;
605 /* Do not relocate relative values.
606 The value of a stEnd symbol is the displacement from the
607 corresponding start symbol value.
608 The value of a stBlock symbol is the displacement from the
609 procedure address. */
610 if (sh->st != stEnd && sh->st != stBlock)
611 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
618 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
622 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
631 case stGlobal: /* External symbol, goes into global block. */
632 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
634 s = new_symbol (name);
635 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
636 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
639 case stStatic: /* Static data, goes into current block. */
640 b = top_stack->cur_block;
641 s = new_symbol (name);
642 if (SC_IS_COMMON (sh->sc))
644 /* It is a FORTRAN common block. At least for SGI Fortran the
645 address is not in the symbol; we need to fix it later in
646 scan_file_globals. */
647 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
648 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
649 global_sym_chain[bucket] = s;
652 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
653 add_data_symbol (sh, ax, bigend, s, LOC_STATIC, b, objfile, name);
656 case stLocal: /* Local variable, goes into current block. */
657 b = top_stack->cur_block;
658 s = new_symbol (name);
659 SYMBOL_VALUE (s) = svalue;
660 if (sh->sc == scRegister)
661 add_data_symbol (sh, ax, bigend, s, mdebug_register_index,
664 add_data_symbol (sh, ax, bigend, s, LOC_LOCAL,
668 case stParam: /* Arg to procedure, goes into current
671 found_ecoff_debugging_info = 1;
672 top_stack->numargs++;
674 /* Special GNU C++ name. */
675 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
676 name = "this"; /* FIXME, not alloc'd in obstack. */
677 s = new_symbol (name);
679 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
680 SYMBOL_IS_ARGUMENT (s) = 1;
684 /* Pass by value in register. */
685 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
688 /* Pass by reference on stack. */
689 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
692 /* Pass by reference in register. */
693 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
696 /* Pass by value on stack. */
697 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
700 SYMBOL_VALUE (s) = svalue;
701 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
702 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
705 case stLabel: /* label, goes into current block. */
706 s = new_symbol (name);
707 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
708 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
709 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
710 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
711 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
714 case stProc: /* Procedure, usually goes into global block. */
715 case stStaticProc: /* Static procedure, goes into current block. */
716 /* For stProc symbol records, we need to check the storage class
717 as well, as only (stProc, scText) entries represent "real"
718 procedures - See the Compaq document titled "Object File /
719 Symbol Table Format Specification" for more information.
720 If the storage class is not scText, we discard the whole block
721 of symbol records for this stProc. */
722 if (sh->st == stProc && sh->sc != scText)
724 char *ext_tsym = ext_sh;
725 int keep_counting = 1;
728 while (keep_counting)
730 ext_tsym += external_sym_size;
731 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
741 complaint (_("unknown symbol type 0x%x"), sh->st);
747 s = new_symbol (name);
748 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
749 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
750 /* Type of the return value. */
751 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
752 t = objfile_type (objfile)->builtin_int;
755 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
756 if (strcmp (name, "malloc") == 0
757 && TYPE_CODE (t) == TYPE_CODE_VOID)
759 /* I don't know why, but, at least under Alpha GNU/Linux,
760 when linking against a malloc without debugging
761 symbols, its read as a function returning void---this
762 is bad because it means we cannot call functions with
763 string arguments interactively; i.e., "call
764 printf("howdy\n")" would fail with the error message
765 "program has no memory available". To avoid this, we
766 patch up the type and make it void*
767 instead. (davidm@azstarnet.com). */
768 t = make_pointer_type (t, NULL);
771 b = top_stack->cur_block;
772 if (sh->st == stProc)
774 const struct blockvector *bv
775 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
777 /* The next test should normally be true, but provides a
778 hook for nested functions (which we don't want to make
780 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
781 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
782 /* Irix 5 sometimes has duplicate names for the same
783 function. We want to add such names up at the global
784 level, not as a nested function. */
785 else if (sh->value == top_stack->procadr)
786 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
788 add_symbol (s, top_stack->cur_st, b);
790 /* Make a type for the procedure itself. */
791 SYMBOL_TYPE (s) = lookup_function_type (t);
793 /* All functions in C++ have prototypes. For C we don't have enough
794 information in the debug info. */
795 if (SYMBOL_LANGUAGE (s) == language_cplus)
796 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
798 /* Create and enter a new lexical context. */
799 b = new_block (FUNCTION_BLOCK, SYMBOL_LANGUAGE (s));
800 SYMBOL_BLOCK_VALUE (s) = b;
801 BLOCK_FUNCTION (b) = s;
802 BLOCK_START (b) = BLOCK_END (b) = sh->value;
803 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
804 add_block (b, top_stack->cur_st);
806 /* Not if we only have partial info. */
807 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
811 top_stack->cur_block = b;
812 top_stack->blocktype = sh->st;
813 top_stack->cur_type = SYMBOL_TYPE (s);
814 top_stack->cur_field = -1;
815 top_stack->procadr = sh->value;
816 top_stack->numargs = 0;
819 /* Beginning of code for structure, union, and enum definitions.
820 They all share a common set of local variables, defined here. */
822 enum type_code type_code;
828 case stStruct: /* Start a block defining a struct type. */
829 type_code = TYPE_CODE_STRUCT;
830 goto structured_common;
832 case stUnion: /* Start a block defining a union type. */
833 type_code = TYPE_CODE_UNION;
834 goto structured_common;
836 case stEnum: /* Start a block defining an enum type. */
837 type_code = TYPE_CODE_ENUM;
838 goto structured_common;
840 case stBlock: /* Either a lexical block, or some type. */
841 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
842 goto case_stBlock_code; /* Lexical block */
844 type_code = TYPE_CODE_UNDEF; /* We have a type. */
846 /* Common code for handling struct, union, enum, and/or as-yet-
847 unknown-type blocks of info about structured data. `type_code'
848 has been set to the proper TYPE_CODE, if we know it. */
850 found_ecoff_debugging_info = 1;
852 top_stack->blocktype = stBlock;
854 /* First count the number of fields and the highest value. */
857 for (ext_tsym = ext_sh + external_sym_size;
859 ext_tsym += external_sym_size)
863 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
868 /* C++ encodes class types as structures where there the
869 methods are encoded as stProc. The scope of stProc
870 symbols also ends with stEnd, thus creating a risk of
871 taking the wrong stEnd symbol record as the end of
872 the current struct, which would cause GDB to undercount
873 the real number of fields in this struct. To make sure
874 we really reached the right stEnd symbol record, we
875 check the associated name, and match it against the
876 struct name. Since method names are mangled while
877 the class name is not, there is no risk of having a
878 method whose name is identical to the class name
879 (in particular constructor method names are different
880 from the class name). There is therefore no risk that
881 this check stops the count on the StEnd of a method.
883 Also, assume that we're really at the end when tsym.iss
885 if (tsym.iss == issNull
886 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
892 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
894 /* If the type of the member is Nil (or Void),
895 without qualifiers, assume the tag is an
897 Alpha cc -migrate enums are recognized by a zero
898 index and a zero symbol value.
899 DU 4.0 cc enums are recognized by a member type of
900 btEnum without qualifiers and a zero symbol value. */
901 if (tsym.index == indexNil
902 || (tsym.index == 0 && sh->value == 0))
903 type_code = TYPE_CODE_ENUM;
906 (*debug_swap->swap_tir_in) (bigend,
907 &ax[tsym.index].a_ti,
909 if ((tir.bt == btNil || tir.bt == btVoid
910 || (tir.bt == btEnum && sh->value == 0))
912 type_code = TYPE_CODE_ENUM;
916 if (tsym.value > max_value)
917 max_value = tsym.value;
926 /* This is a no-op; is it trying to tell us something
927 we should be checking? */
928 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
932 /* This is something like a struct within a
933 struct. Skip over the fields of the inner
934 struct. The -1 is because the for loop will
935 increment ext_tsym. */
936 ext_tsym = ((char *) debug_info->external_sym
937 + ((cur_fdr->isymBase + tsym.index - 1)
938 * external_sym_size));
944 /* mips cc puts out a typedef for struct x if it is not yet
945 defined when it encounters
946 struct y { struct x *xp; };
951 /* Irix5 cc puts out a stIndirect for struct x if it is not
952 yet defined when it encounters
953 struct y { struct x *xp; };
958 complaint (_("declaration block contains "
959 "unhandled symbol type %d"),
965 /* In an stBlock, there is no way to distinguish structs,
966 unions, and enums at this point. This is a bug in the
967 original design (that has been fixed with the recent
968 addition of the stStruct, stUnion, and stEnum symbol
969 types.) The way you can tell is if/when you see a variable
970 or field of that type. In that case the variable's type
971 (in the AUX table) says if the type is struct, union, or
972 enum, and points back to the stBlock here. So you can
973 patch the tag kind up later - but only if there actually is
974 a variable or field of that type.
976 So until we know for sure, we will guess at this point.
978 If the first member has index==indexNil or a void type,
979 assume we have an enumeration.
980 Otherwise, if there is more than one member, and all
981 the members have offset 0, assume we have a union.
982 Otherwise, assume we have a struct.
984 The heuristic could guess wrong in the case of of an
985 enumeration with no members or a union with one (or zero)
986 members, or when all except the last field of a struct have
987 width zero. These are uncommon and/or illegal situations,
988 and in any case guessing wrong probably doesn't matter
991 But if we later do find out we were wrong, we fixup the tag
992 kind. Members of an enumeration must be handled
993 differently from struct/union fields, and that is harder to
994 patch up, but luckily we shouldn't need to. (If there are
995 any enumeration members, we can tell for sure it's an enum
998 if (type_code == TYPE_CODE_UNDEF)
1000 if (nfields > 1 && max_value == 0)
1001 type_code = TYPE_CODE_UNION;
1003 type_code = TYPE_CODE_STRUCT;
1006 /* Create a new type or use the pending type. */
1007 pend = is_pending_symbol (cur_fdr, ext_sh);
1010 t = new_type (NULL);
1011 add_pending (cur_fdr, ext_sh, t);
1016 /* Do not set the tag name if it is a compiler generated tag name
1017 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1018 Alpha cc puts out an sh->iss of zero for those. */
1019 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1020 TYPE_NAME (t) = NULL;
1022 TYPE_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1023 name, (char *) NULL);
1025 TYPE_CODE (t) = type_code;
1026 TYPE_LENGTH (t) = sh->value;
1027 TYPE_NFIELDS (t) = nfields;
1028 TYPE_FIELDS (t) = f = ((struct field *)
1030 nfields * sizeof (struct field)));
1032 if (type_code == TYPE_CODE_ENUM)
1034 int unsigned_enum = 1;
1036 /* This is a non-empty enum. */
1038 /* DEC c89 has the number of enumerators in the sh.value field,
1039 not the type length, so we have to compensate for that
1040 incompatibility quirk.
1041 This might do the wrong thing for an enum with one or two
1042 enumerators and gcc -gcoff -fshort-enums, but these cases
1043 are hopefully rare enough.
1044 Alpha cc -migrate has a sh.value field of zero, we adjust
1046 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1047 || TYPE_LENGTH (t) == 0)
1048 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1049 for (ext_tsym = ext_sh + external_sym_size;
1051 ext_tsym += external_sym_size)
1054 struct symbol *enum_sym;
1056 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1058 if (tsym.st != stMember)
1061 SET_FIELD_ENUMVAL (*f, tsym.value);
1062 FIELD_TYPE (*f) = t;
1063 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1064 FIELD_BITSIZE (*f) = 0;
1066 enum_sym = allocate_symbol (mdebugread_objfile);
1067 SYMBOL_SET_LINKAGE_NAME
1069 obstack_strdup (&mdebugread_objfile->objfile_obstack,
1071 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1072 SYMBOL_TYPE (enum_sym) = t;
1073 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1074 SYMBOL_VALUE (enum_sym) = tsym.value;
1075 if (SYMBOL_VALUE (enum_sym) < 0)
1077 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1079 /* Skip the stMembers that we've handled. */
1084 TYPE_UNSIGNED (t) = 1;
1086 /* Make this the current type. */
1087 top_stack->cur_type = t;
1088 top_stack->cur_field = 0;
1090 /* Do not create a symbol for alpha cc unnamed structs. */
1094 /* gcc puts out an empty struct for an opaque struct definitions,
1095 do not create a symbol for it either. */
1096 if (TYPE_NFIELDS (t) == 0)
1102 s = new_symbol (name);
1103 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1104 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1105 SYMBOL_VALUE (s) = 0;
1106 SYMBOL_TYPE (s) = t;
1107 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1110 /* End of local variables shared by struct, union, enum, and
1111 block (as yet unknown struct/union/enum) processing. */
1115 found_ecoff_debugging_info = 1;
1116 /* Beginnning of (code) block. Value of symbol
1117 is the displacement from procedure start. */
1118 push_parse_stack ();
1120 /* Do not start a new block if this is the outermost block of a
1121 procedure. This allows the LOC_BLOCK symbol to point to the
1122 block with the local variables, so funcname::var works. */
1123 if (top_stack->blocktype == stProc
1124 || top_stack->blocktype == stStaticProc)
1126 top_stack->blocktype = stNil;
1130 top_stack->blocktype = stBlock;
1131 b = new_block (NON_FUNCTION_BLOCK, psymtab_language);
1132 BLOCK_START (b) = sh->value + top_stack->procadr;
1133 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1134 top_stack->cur_block = b;
1135 add_block (b, top_stack->cur_st);
1138 case stEnd: /* end (of anything) */
1139 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1141 /* Finished with type */
1142 top_stack->cur_type = 0;
1144 else if (sh->sc == scText &&
1145 (top_stack->blocktype == stProc ||
1146 top_stack->blocktype == stStaticProc))
1148 /* Finished with procedure */
1149 const struct blockvector *bv
1150 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1151 struct mdebug_extra_func_info *e;
1152 struct block *cblock = top_stack->cur_block;
1153 struct type *ftype = top_stack->cur_type;
1156 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1158 /* Make up special symbol to contain procedure specific info. */
1159 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1160 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1161 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1162 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1163 e = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
1164 mdebug_extra_func_info);
1165 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1166 e->numargs = top_stack->numargs;
1167 e->pdr.framereg = -1;
1168 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1170 /* f77 emits proc-level with address bounds==[0,0],
1171 So look for such child blocks, and patch them. */
1172 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1174 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1176 if (BLOCK_SUPERBLOCK (b_bad) == cblock
1177 && BLOCK_START (b_bad) == top_stack->procadr
1178 && BLOCK_END (b_bad) == top_stack->procadr)
1180 BLOCK_START (b_bad) = BLOCK_START (cblock);
1181 BLOCK_END (b_bad) = BLOCK_END (cblock);
1185 if (TYPE_NFIELDS (ftype) <= 0)
1187 /* No parameter type information is recorded with the function's
1188 type. Set that from the type of the parameter symbols. */
1189 int nparams = top_stack->numargs;
1195 struct block_iterator iter;
1197 TYPE_NFIELDS (ftype) = nparams;
1198 TYPE_FIELDS (ftype) = (struct field *)
1199 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1202 ALL_BLOCK_SYMBOLS (cblock, iter, sym)
1204 if (iparams == nparams)
1207 if (SYMBOL_IS_ARGUMENT (sym))
1209 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1210 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1217 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1219 /* End of (code) block. The value of the symbol is the
1220 displacement from the procedure`s start address of the
1221 end of this block. */
1222 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1224 else if (sh->sc == scText && top_stack->blocktype == stNil)
1226 /* End of outermost block. Pop parse stack and ignore. The
1227 following stEnd of stProc will take care of the block. */
1230 else if (sh->sc == scText && top_stack->blocktype == stFile)
1232 /* End of file. Pop parse stack and ignore. Higher
1233 level code deals with this. */
1237 complaint (_("stEnd with storage class %d not handled"), sh->sc);
1239 pop_parse_stack (); /* Restore previous lexical context. */
1242 case stMember: /* member of struct or union */
1245 = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1246 FIELD_NAME (*f) = name;
1247 SET_FIELD_BITPOS (*f, sh->value);
1249 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1250 &bitsize, bigend, name);
1251 FIELD_BITSIZE (*f) = bitsize;
1255 case stIndirect: /* forward declaration on Irix5 */
1256 /* Forward declarations from Irix5 cc are handled by cross_ref,
1260 case stTypedef: /* type definition */
1261 found_ecoff_debugging_info = 1;
1263 /* Typedefs for forward declarations and opaque structs from alpha cc
1264 are handled by cross_ref, skip them. */
1268 /* Parse the type or use the pending type. */
1269 pend = is_pending_symbol (cur_fdr, ext_sh);
1272 t = parse_type (cur_fd, ax, sh->index, NULL, bigend, name);
1273 add_pending (cur_fdr, ext_sh, t);
1278 /* Mips cc puts out a typedef with the name of the struct for forward
1279 declarations. These should not go into the symbol table and
1280 TYPE_NAME should not be set for them.
1281 They can't be distinguished from an intentional typedef to
1282 the same name however:
1284 struct x { int ix; int jx; };
1288 struct xx {int ixx; int jxx; };
1289 generates a cross referencing stTypedef for x and xx.
1290 The user visible effect of this is that the type of a pointer
1291 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1292 The problem is fixed with alpha cc and Irix5 cc. */
1294 /* However if the typedef cross references to an opaque aggregate, it
1295 is safe to omit it from the symbol table. */
1297 if (has_opaque_xref (cur_fdr, sh))
1299 s = new_symbol (name);
1300 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1301 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1302 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1303 SYMBOL_TYPE (s) = t;
1304 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1306 /* Incomplete definitions of structs should not get a name. */
1307 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1308 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1309 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1310 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1312 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1313 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1315 /* If we are giving a name to a type such as "pointer to
1316 foo" or "function returning foo", we better not set
1317 the TYPE_NAME. If the program contains "typedef char
1318 *caddr_t;", we don't want all variables of type char
1319 * to print as caddr_t. This is not just a
1320 consequence of GDB's type management; CC and GCC (at
1321 least through version 2.4) both output variables of
1322 either type char * or caddr_t with the type
1323 refering to the stTypedef symbol for caddr_t. If a future
1324 compiler cleans this up it GDB is not ready for it
1325 yet, but if it becomes ready we somehow need to
1326 disable this check (without breaking the PCC/GCC2.4
1331 Fortunately, this check seems not to be necessary
1332 for anything except pointers or functions. */
1335 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1339 case stFile: /* file name */
1340 push_parse_stack ();
1341 top_stack->blocktype = sh->st;
1344 /* I`ve never seen these for C */
1346 break; /* register relocation */
1348 break; /* forwarding address */
1350 break; /* constant */
1352 complaint (_("unknown symbol type 0x%x"), sh->st);
1361 static const struct objfile_key<struct type *,
1362 gdb::noop_deleter<struct type *>>
1365 static struct type *
1366 basic_type (int bt, struct objfile *objfile)
1368 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1369 struct type **map_bt = basic_type_data.get (objfile);
1377 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1378 btMax, struct type *);
1379 basic_type_data.set (objfile, 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. */
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, 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);
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)
1691 = obstack_strdup (&mdebugread_objfile->objfile_obstack, name);
1695 /* All these types really point to some (common) MIPS type
1696 definition, and only the type-qualifiers fully identify
1697 them. We'll make the same effort at sharing.
1698 FIXME: We are not doing any guessing on range types. */
1699 if (t->bt == btRange)
1703 /* Try to cross reference this type, build new type on failure. */
1704 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1706 tp = init_type (mdebugread_objfile, type_code, 0, NULL);
1708 /* Make sure that TYPE_CODE(tp) has an expected type code.
1709 Any type may be returned from cross_ref if file indirect entries
1711 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1713 unexpected_type_code_complaint (sym_name);
1717 /* Usually, TYPE_CODE(tp) is already type_code. The main
1718 exception is if we guessed wrong re struct/union/enum. */
1719 if (TYPE_CODE (tp) != type_code)
1721 bad_tag_guess_complaint (sym_name);
1722 TYPE_CODE (tp) = type_code;
1724 if (TYPE_NAME (tp) == NULL
1725 || strcmp (TYPE_NAME (tp), name) != 0)
1727 = obstack_strdup (&mdebugread_objfile->objfile_obstack, name);
1730 if (t->bt == btTypedef)
1734 /* Try to cross reference this type, it should succeed. */
1735 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1738 complaint (_("unable to cross ref btTypedef for %s"), sym_name);
1739 tp = basic_type (btInt, mdebugread_objfile);
1743 /* Deal with range types. */
1744 if (t->bt == btRange)
1746 TYPE_NFIELDS (tp) = 0;
1747 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1748 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1749 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1751 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1755 /* Parse all the type qualifiers now. If there are more
1756 than 6 the game will continue in the next aux. */
1760 #define PARSE_TQ(tq) \
1761 if (t->tq != tqNil) \
1762 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1774 /* mips cc 2.x and gcc never put out continued aux entries. */
1778 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1782 /* Complain for illegal continuations due to corrupt aux entries. */
1784 complaint (_("illegal TIR continued for %s"), sym_name);
1789 /* Make up a complex type from a basic one. Type is passed by
1790 reference in TPP and side-effected as necessary. The type
1791 qualifier TQ says how to handle the aux symbols at AX for
1792 the symbol SX we are currently analyzing. BIGEND says whether
1793 aux symbols are big-endian or little-endian.
1794 Returns the number of aux symbols we parsed. */
1797 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1798 const char *sym_name)
1803 /* Used in array processing. */
1814 t = lookup_pointer_type (*tpp);
1819 t = lookup_function_type (*tpp);
1826 /* Determine and record the domain type (type of index). */
1827 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1833 rf = AUX_GET_ISYM (bigend, ax);
1836 fh = get_rfd (fd, rf);
1838 indx = parse_type (fh - debug_info->fdr,
1839 debug_info->external_aux + fh->iauxBase,
1840 id, NULL, bigend, sym_name);
1842 /* The bounds type should be an integer type, but might be anything
1843 else due to corrupt aux entries. */
1844 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1846 complaint (_("illegal array index type for %s, assuming int"),
1848 indx = objfile_type (mdebugread_objfile)->builtin_int;
1851 /* Get the bounds, and create the array type. */
1853 lower = AUX_GET_DNLOW (bigend, ax);
1855 upper = AUX_GET_DNHIGH (bigend, ax);
1857 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1859 range = create_static_range_type (NULL, indx, lower, upper);
1861 t = create_array_type (NULL, *tpp, range);
1863 /* We used to fill in the supplied array element bitsize
1864 here if the TYPE_LENGTH of the target type was zero.
1865 This happens for a `pointer to an array of anonymous structs',
1866 but in this case the array element bitsize is also zero,
1867 so nothing is gained.
1868 And we used to check the TYPE_LENGTH of the target type against
1869 the supplied array element bitsize.
1870 gcc causes a mismatch for `pointer to array of object',
1871 since the sdb directives it uses do not have a way of
1872 specifying the bitsize, but it does no harm (the
1873 TYPE_LENGTH should be correct) and we should be able to
1874 ignore the erroneous bitsize from the auxiliary entry safely.
1875 dbx seems to ignore it too. */
1877 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1878 if (TYPE_LENGTH (*tpp) == 0)
1879 TYPE_TARGET_STUB (t) = 1;
1885 /* Volatile -- currently ignored */
1889 /* Const -- currently ignored */
1893 complaint (_("unknown type qualifier 0x%x"), tq);
1899 /* Parse a procedure descriptor record PR. Note that the procedure is
1900 parsed _after_ the local symbols, now we just insert the extra
1901 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1902 already been placed in the procedure's main block. Note also that
1903 images that have been partially stripped (ld -x) have been deprived
1904 of local symbols, and we have to cope with them here. FIRST_OFF is
1905 the offset of the first procedure for this FDR; we adjust the
1906 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1907 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1908 in question, or NULL to use top_stack->cur_block. */
1911 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1912 struct partial_symtab *pst)
1914 struct symbol *s, *i;
1915 const struct block *b;
1918 /* Simple rule to find files linked "-x". */
1919 if (cur_fdr->rss == -1)
1923 /* Static procedure at address pr->adr. Sigh. */
1924 /* FIXME-32x64. assuming pr->adr fits in long. */
1925 complaint (_("can't handle PDR for static proc at 0x%lx"),
1926 (unsigned long) pr->adr);
1934 (*debug_swap->swap_ext_in) (cur_bfd,
1935 ((char *) debug_info->external_ext
1937 * debug_swap->external_ext_size)),
1939 sh_name = debug_info->ssext + she.asym.iss;
1947 (*debug_swap->swap_sym_in) (cur_bfd,
1948 ((char *) debug_info->external_sym
1949 + ((cur_fdr->isymBase + pr->isym)
1950 * debug_swap->external_sym_size)),
1952 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1955 if (search_symtab != NULL)
1958 /* This loses both in the case mentioned (want a static, find a global),
1959 but also if we are looking up a non-mangled name which happens to
1960 match the name of a mangled function. */
1961 /* We have to save the cur_fdr across the call to lookup_symbol.
1962 If the pdr is for a static function and if a global function with
1963 the same name exists, lookup_symbol will eventually read in the symtab
1964 for the global function and clobber cur_fdr. */
1965 FDR *save_cur_fdr = cur_fdr;
1967 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1968 cur_fdr = save_cur_fdr;
1972 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
1979 s = mylookup_symbol (sh_name, top_stack->cur_block,
1980 VAR_DOMAIN, LOC_BLOCK);
1984 b = SYMBOL_BLOCK_VALUE (s);
1988 complaint (_("PDR for %s, but no symbol"), sh_name);
1992 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
1993 s = new_symbol (sh_name);
1994 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1995 SYMBOL_CLASS (s) = LOC_BLOCK;
1996 /* Donno its type, hope int is ok. */
1998 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
1999 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2000 /* Won't have symbols for this one. */
2002 SYMBOL_BLOCK_VALUE (s) = b;
2003 BLOCK_FUNCTION (b) = s;
2004 BLOCK_START (b) = pr->adr;
2005 /* BOUND used to be the end of procedure's text, but the
2006 argument is no longer passed in. */
2007 BLOCK_END (b) = bound;
2008 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2009 add_block (b, top_stack->cur_st);
2013 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2017 struct mdebug_extra_func_info *e;
2019 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2022 /* GDB expects the absolute function start address for the
2023 procedure descriptor in e->pdr.adr.
2024 As the address in the procedure descriptor is usually relative,
2025 we would have to relocate e->pdr.adr with cur_fdr->adr and
2026 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2027 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2028 in shared libraries on some systems, and on other systems
2029 e->pdr.adr is sometimes offset by a bogus value.
2030 To work around these problems, we replace e->pdr.adr with
2031 the start address of the function. */
2032 e->pdr.adr = BLOCK_START (b);
2035 /* It would be reasonable that functions that have been compiled
2036 without debugging info have a btNil type for their return value,
2037 and functions that are void and are compiled with debugging info
2039 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2040 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2042 The glevel field in cur_fdr could be used to determine the presence
2043 of debugging info, but GCC doesn't always pass the -g switch settings
2044 to the assembler and GAS doesn't set the glevel field from the -g switch
2046 To work around these problems, the return value type of a TYPE_CODE_VOID
2047 function is adjusted accordingly if no debugging info was found in the
2048 compilation unit. */
2050 if (processing_gcc_compilation == 0
2051 && found_ecoff_debugging_info == 0
2052 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2053 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2056 /* Parse the external symbol ES. Just call parse_symbol() after
2057 making sure we know where the aux are for it.
2058 BIGEND says whether aux entries are big-endian or little-endian.
2060 This routine clobbers top_stack->cur_block and ->cur_st. */
2062 static void parse_external (EXTR *, int, struct section_offsets *,
2066 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2067 struct objfile *objfile)
2071 if (es->ifd != ifdNil)
2074 cur_fdr = debug_info->fdr + cur_fd;
2075 ax = debug_info->external_aux + cur_fdr->iauxBase;
2079 cur_fdr = debug_info->fdr;
2083 /* Reading .o files */
2084 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2087 switch (es->asym.st)
2090 /* These are generated for static symbols in .o files,
2111 /* FIXME: Turn this into a complaint? */
2113 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2114 what, debug_info->ssext + es->asym.iss,
2115 fdr_name (cur_fdr));
2119 switch (es->asym.st)
2123 /* There is no need to parse the external procedure symbols.
2124 If they are from objects compiled without -g, their index will
2125 be indexNil, and the symbol definition from the minimal symbol
2126 is preferrable (yielding a function returning int instead of int).
2127 If the index points to a local procedure symbol, the local
2128 symbol already provides the correct type.
2129 Note that the index of the external procedure symbol points
2130 to the local procedure symbol in the local symbol table, and
2131 _not_ to the auxiliary symbol info. */
2135 /* Global common symbols are resolved by the runtime loader,
2137 if (SC_IS_COMMON (es->asym.sc))
2140 /* Note that the case of a symbol with indexNil must be handled
2141 anyways by parse_symbol(). */
2142 parse_symbol (&es->asym, ax, NULL,
2143 bigend, section_offsets, objfile);
2150 /* Parse the line number info for file descriptor FH into
2151 GDB's linetable LT. MIPS' encoding requires a little bit
2152 of magic to get things out. Note also that MIPS' line
2153 numbers can go back and forth, apparently we can live
2154 with that and do not need to reorder our linetables. */
2157 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2158 CORE_ADDR textlow, CORE_ADDR lowest_pdr_addr)
2160 unsigned char *base;
2162 int delta, count, lineno = 0;
2164 if (fh->cbLine == 0)
2167 /* Scan by procedure descriptors. */
2169 for (j = 0; j < fh->cpd; j++, pr++)
2173 unsigned char *halt;
2175 /* No code for this one. */
2176 if (pr->iline == ilineNil ||
2177 pr->lnLow == -1 || pr->lnHigh == -1)
2180 /* Determine start and end address of compressed line bytes for
2182 base = debug_info->line + fh->cbLineOffset;
2183 if (j != (fh->cpd - 1))
2184 halt = base + pr[1].cbLineOffset;
2186 halt = base + fh->cbLine;
2187 base += pr->cbLineOffset;
2189 adr = textlow + pr->adr - lowest_pdr_addr;
2191 l = adr >> 2; /* in words */
2192 for (lineno = pr->lnLow; base < halt;)
2194 count = *base & 0x0f;
2195 delta = *base++ >> 4;
2200 delta = (base[0] << 8) | base[1];
2201 if (delta >= 0x8000)
2205 lineno += delta; /* first delta is 0 */
2207 /* Complain if the line table overflows. Could happen
2208 with corrupt binaries. */
2209 if (lt->nitems >= maxlines)
2211 complaint (_("guessed size of linetable for %s incorrectly"),
2215 k = add_line (lt, lineno, l, k);
2222 function_outside_compilation_unit_complaint (const char *arg1)
2224 complaint (_("function `%s' appears to be defined "
2225 "outside of all compilation units"),
2229 /* Use the STORAGE_CLASS to compute which section the given symbol
2230 belongs to, and then records this new minimal symbol. */
2233 record_minimal_symbol (minimal_symbol_reader &reader,
2234 const char *name, const CORE_ADDR address,
2235 enum minimal_symbol_type ms_type, int storage_class,
2236 struct objfile *objfile)
2240 switch (storage_class)
2243 section = SECT_OFF_TEXT (objfile);
2246 section = SECT_OFF_DATA (objfile);
2249 section = SECT_OFF_BSS (objfile);
2252 section = get_section_index (objfile, ".sdata");
2255 section = get_section_index (objfile, ".sbss");
2258 section = get_section_index (objfile, ".rdata");
2261 section = get_section_index (objfile, ".init");
2264 section = get_section_index (objfile, ".xdata");
2267 section = get_section_index (objfile, ".pdata");
2270 section = get_section_index (objfile, ".fini");
2273 section = get_section_index (objfile, ".rconst");
2277 section = get_section_index (objfile, ".tlsdata");
2282 section = get_section_index (objfile, ".tlsbss");
2286 /* This kind of symbol is not associated to a section. */
2290 reader.record_with_info (name, address, ms_type, section);
2293 /* Master parsing procedure for first-pass reading of file symbols
2294 into a partial_symtab. */
2297 parse_partial_symbols (minimal_symbol_reader &reader,
2298 struct objfile *objfile)
2300 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2301 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2302 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2303 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2304 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2305 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2306 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2308 HDRR *hdr = &debug_info->symbolic_header;
2309 /* Running pointers */
2316 struct partial_symtab *pst;
2317 int textlow_not_set = 1;
2319 /* List of current psymtab's include files. */
2320 const char **psymtab_include_list;
2321 int includes_allocated;
2324 struct pst_map *fdr_to_pst;
2325 /* Index within current psymtab dependency list. */
2326 struct partial_symtab **dependency_list;
2327 int dependencies_used, dependencies_allocated;
2329 enum language prev_language;
2330 asection *text_sect;
2331 int relocatable = 0;
2333 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2334 the shared libraries are prelinked at a high memory address.
2335 We have to adjust the start address of the object file for this case,
2336 by setting it to the start address of the first procedure in the file.
2337 But we should do no adjustments if we are debugging a .o file, where
2338 the text section (and fh->adr) really starts at zero. */
2339 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2340 if (text_sect != NULL
2341 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2344 extern_tab = XOBNEWVEC (&objfile->objfile_obstack, EXTR, hdr->iextMax);
2346 includes_allocated = 30;
2348 psymtab_include_list = (const char **) alloca (includes_allocated *
2349 sizeof (const char *));
2350 next_symbol_text_func = mdebug_next_symbol_text;
2352 dependencies_allocated = 30;
2353 dependencies_used = 0;
2355 (struct partial_symtab **) alloca (dependencies_allocated *
2356 sizeof (struct partial_symtab *));
2358 set_last_source_file (NULL);
2363 * Only parse the Local and External symbols, and the Relative FDR.
2364 * Fixup enough of the loader symtab to be able to use it.
2365 * Allocate space only for the file's portions we need to
2370 max_glevel = MIN_GLEVEL;
2372 /* Allocate the map FDR -> PST.
2373 Minor hack: -O3 images might claim some global data belongs
2374 to FDR -1. We`ll go along with that. */
2375 gdb::def_vector<struct pst_map> fdr_to_pst_holder (hdr->ifdMax + 1);
2376 fdr_to_pst = fdr_to_pst_holder.data ();
2379 struct partial_symtab *new_pst = new_psymtab ("", objfile);
2381 fdr_to_pst[-1].pst = new_pst;
2382 FDR_IDX (new_pst) = -1;
2385 /* Allocate the global pending list. */
2386 pending_list = XOBNEWVEC (&objfile->objfile_obstack, mdebug_pending *,
2388 memset (pending_list, 0,
2389 hdr->ifdMax * sizeof (struct mdebug_pending *));
2391 /* Pass 0 over external syms: swap them in. */
2392 gdb::def_vector<EXTR> ext_block (hdr->iextMax);
2394 ext_out = (char *) debug_info->external_ext;
2395 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2396 ext_in = ext_block.data ();
2397 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2398 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2400 /* Pass 1 over external syms: Presize and partition the list. */
2401 ext_in = ext_block.data ();
2402 ext_in_end = ext_in + hdr->iextMax;
2403 for (; ext_in < ext_in_end; ext_in++)
2405 /* See calls to complain below. */
2406 if (ext_in->ifd >= -1
2407 && ext_in->ifd < hdr->ifdMax
2408 && ext_in->asym.iss >= 0
2409 && ext_in->asym.iss < hdr->issExtMax)
2410 fdr_to_pst[ext_in->ifd].n_globals++;
2413 /* Pass 1.5 over files: partition out global symbol space. */
2415 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2417 fdr_to_pst[f_idx].globals_offset = s_idx;
2418 s_idx += fdr_to_pst[f_idx].n_globals;
2419 fdr_to_pst[f_idx].n_globals = 0;
2424 For ECOFF in ELF, we skip the creation of the minimal symbols.
2425 The ECOFF symbols should be a subset of the Elf symbols, and the
2426 section information of the elf symbols will be more accurate.
2427 FIXME! What about Irix 5's native linker?
2429 By default, Elf sections which don't exist in ECOFF
2430 get put in ECOFF's absolute section by the gnu linker.
2431 Since absolute sections don't get relocated, we
2432 end up calculating an address different from that of
2433 the symbol's minimal symbol (created earlier from the
2436 To fix this, either :
2437 1) don't create the duplicate symbol
2438 (assumes ECOFF symtab is a subset of the ELF symtab;
2439 assumes no side-effects result from ignoring ECOFF symbol)
2440 2) create it, only if lookup for existing symbol in ELF's minimal
2443 assumes no side-effects result from ignoring ECOFF symbol)
2444 3) create it, but lookup ELF's minimal symbol and use it's section
2445 during relocation, then modify "uniqify" phase to merge and
2446 eliminate the duplicate symbol
2447 (highly inefficient)
2449 I've implemented #1 here...
2450 Skip the creation of the minimal symbols based on the ECOFF
2453 /* Pass 2 over external syms: fill in external symbols. */
2454 ext_in = ext_block.data ();
2455 ext_in_end = ext_in + hdr->iextMax;
2456 for (; ext_in < ext_in_end; ext_in++)
2458 enum minimal_symbol_type ms_type = mst_text;
2459 CORE_ADDR svalue = ext_in->asym.value;
2461 /* The Irix 5 native tools seem to sometimes generate bogus
2462 external symbols. */
2463 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2465 complaint (_("bad ifd for external symbol: %d (max %ld)"),
2466 ext_in->ifd, hdr->ifdMax);
2469 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2471 complaint (_("bad iss for external symbol: %ld (max %ld)"),
2472 ext_in->asym.iss, hdr->issExtMax);
2476 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2477 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2480 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2484 /* Pass 3 over files, over local syms: fill in static symbols. */
2485 name = debug_info->ssext + ext_in->asym.iss;
2487 /* Process ECOFF Symbol Types and Storage Classes. */
2488 switch (ext_in->asym.st)
2491 /* Beginnning of Procedure */
2494 /* Load time only static procs */
2495 ms_type = mst_file_text;
2498 /* External symbol */
2499 if (SC_IS_COMMON (ext_in->asym.sc))
2501 /* The value of a common symbol is its size, not its address.
2505 else if (SC_IS_DATA (ext_in->asym.sc))
2509 else if (SC_IS_BSS (ext_in->asym.sc))
2513 else if (SC_IS_SBSS (ext_in->asym.sc))
2523 /* On certain platforms, some extra label symbols can be
2524 generated by the linker. One possible usage for this kind
2525 of symbols is to represent the address of the begining of a
2526 given section. For instance, on Tru64 5.1, the address of
2527 the _ftext label is the start address of the .text section.
2529 The storage class of these symbols is usually directly
2530 related to the section to which the symbol refers. For
2531 instance, on Tru64 5.1, the storage class for the _fdata
2532 label is scData, refering to the .data section.
2534 It is actually possible that the section associated to the
2535 storage class of the label does not exist. On True64 5.1
2536 for instance, the libm.so shared library does not contain
2537 any .data section, although it contains a _fpdata label
2538 which storage class is scData... Since these symbols are
2539 usually useless for the debugger user anyway, we just
2540 discard these symbols. */
2542 if (SC_IS_TEXT (ext_in->asym.sc))
2544 if (objfile->sect_index_text == -1)
2547 ms_type = mst_file_text;
2549 else if (SC_IS_DATA (ext_in->asym.sc))
2551 if (objfile->sect_index_data == -1)
2554 ms_type = mst_file_data;
2556 else if (SC_IS_BSS (ext_in->asym.sc))
2558 if (objfile->sect_index_bss == -1)
2561 ms_type = mst_file_bss;
2563 else if (SC_IS_SBSS (ext_in->asym.sc))
2565 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2567 if (sbss_sect_index == -1)
2570 ms_type = mst_file_bss;
2577 /* The alpha has the section start addresses in stLocal symbols
2578 whose name starts with a `.'. Skip those but complain for all
2579 other stLocal symbols.
2580 Irix6 puts the section start addresses in stNil symbols, skip
2586 ms_type = mst_unknown;
2587 unknown_ext_complaint (name);
2589 if (!ECOFF_IN_ELF (cur_bfd))
2590 record_minimal_symbol (reader, name, svalue, ms_type, ext_in->asym.sc,
2594 /* Pass 3 over files, over local syms: fill in static symbols. */
2595 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2597 struct partial_symtab *save_pst;
2601 cur_fdr = fh = debug_info->fdr + f_idx;
2605 fdr_to_pst[f_idx].pst = NULL;
2609 /* Determine the start address for this object file from the
2610 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2615 pst = start_psymtab_common (objfile,
2618 pst->read_symtab_private = XOBNEW (&objfile->objfile_obstack, symloc);
2619 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2622 FDR_IDX (pst) = f_idx;
2623 CUR_BFD (pst) = cur_bfd;
2624 DEBUG_SWAP (pst) = debug_swap;
2625 DEBUG_INFO (pst) = debug_info;
2626 PENDING_LIST (pst) = pending_list;
2628 /* The way to turn this into a symtab is to call... */
2629 pst->read_symtab = mdebug_read_symtab;
2631 /* Set up language for the pst.
2632 The language from the FDR is used if it is unambigious (e.g. cfront
2633 with native cc and g++ will set the language to C).
2634 Otherwise we have to deduce the language from the filename.
2635 Native ecoff has every header file in a separate FDR, so
2636 deduce_language_from_filename will return language_unknown for
2637 a header file, which is not what we want.
2638 But the FDRs for the header files are after the FDR for the source
2639 file, so we can assign the language of the source file to the
2640 following header files. Then we save the language in the private
2641 pst data so that we can reuse it when building symtabs. */
2642 prev_language = psymtab_language;
2646 case langCplusplusV2:
2647 psymtab_language = language_cplus;
2650 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2653 if (psymtab_language == language_unknown)
2654 psymtab_language = prev_language;
2655 PST_PRIVATE (pst)->pst_language = psymtab_language;
2657 pst->set_text_high (pst->raw_text_low ());
2659 /* For stabs-in-ecoff files, the second symbol must be @stab.
2660 This symbol is emitted by mips-tfile to signal that the
2661 current object file uses encapsulated stabs instead of mips
2662 ecoff for local symbols. (It is the second symbol because
2663 the first symbol is the stFile used to signal the start of a
2665 processing_gcc_compilation = 0;
2668 (*swap_sym_in) (cur_bfd,
2669 ((char *) debug_info->external_sym
2670 + (fh->isymBase + 1) * external_sym_size),
2672 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2674 processing_gcc_compilation = 2;
2677 if (processing_gcc_compilation != 0)
2679 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2682 const char *namestring;
2684 (*swap_sym_in) (cur_bfd,
2685 (((char *) debug_info->external_sym)
2686 + (fh->isymBase + cur_sdx) * external_sym_size),
2688 type_code = ECOFF_UNMARK_STAB (sh.index);
2689 if (!ECOFF_IS_STAB (&sh))
2691 if (sh.st == stProc || sh.st == stStaticProc)
2696 if (sh.st == stStaticProc)
2698 namestring = debug_info->ss + fh->issBase + sh.iss;
2699 record_minimal_symbol (reader, namestring, sh.value,
2700 mst_file_text, sh.sc,
2703 procaddr = sh.value;
2705 isym = AUX_GET_ISYM (fh->fBigendian,
2706 (debug_info->external_aux
2709 (*swap_sym_in) (cur_bfd,
2710 ((char *) debug_info->external_sym
2711 + ((fh->isymBase + isym - 1)
2712 * external_sym_size)),
2716 CORE_ADDR high = procaddr + sh.value;
2718 /* Kludge for Irix 5.2 zero fh->adr. */
2720 && (!pst->text_low_valid
2721 || procaddr < pst->raw_text_low ()))
2722 pst->set_text_low (procaddr);
2723 if (high > pst->raw_text_high ())
2724 pst->set_text_high (high);
2727 else if (sh.st == stStatic)
2742 namestring = debug_info->ss + fh->issBase + sh.iss;
2743 record_minimal_symbol (reader, namestring, sh.value,
2744 mst_file_data, sh.sc,
2749 /* FIXME! Shouldn't this use cases for bss,
2750 then have the default be abs? */
2751 namestring = debug_info->ss + fh->issBase + sh.iss;
2752 record_minimal_symbol (reader, namestring, sh.value,
2753 mst_file_bss, sh.sc,
2760 /* Handle stabs continuation. */
2762 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2763 /* If we need to heap-allocate STABSTRING, this owns
2765 gdb::unique_xmalloc_ptr<char> stabstring_storage;
2766 int len = strlen (stabstring);
2768 while (stabstring[len - 1] == '\\')
2771 char *stabstring1 = stabstring;
2775 /* Ignore continuation char from 1st string. */
2778 /* Read next stabstring. */
2780 (*swap_sym_in) (cur_bfd,
2781 (((char *) debug_info->external_sym)
2782 + (fh->isymBase + cur_sdx)
2783 * external_sym_size),
2785 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2786 len2 = strlen (stabstring2);
2788 /* Concatenate stabstring2 with stabstring1. */
2789 if (stabstring_storage != nullptr)
2791 stabstring_storage.reset
2792 ((char *) xrealloc (stabstring_storage.release (),
2794 stabstring = stabstring_storage.get ();
2798 stabstring_storage.reset
2799 ((char *) xmalloc (len + len2 + 1));
2800 stabstring = stabstring_storage.get ();
2801 strcpy (stabstring, stabstring1);
2803 strcpy (stabstring + len, stabstring2);
2811 /* Standard, external, non-debugger, symbols. */
2813 case N_TEXT | N_EXT:
2814 case N_NBTEXT | N_EXT:
2817 case N_DATA | N_EXT:
2818 case N_NBDATA | N_EXT:
2823 case N_NBBSS | N_EXT:
2824 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2831 /* Standard, local, non-debugger, symbols. */
2835 /* We need to be able to deal with both N_FN or
2836 N_TEXT, because we have no way of knowing
2837 whether the sys-supplied ld or GNU ld was used
2838 to make the executable. Sequents throw in
2839 another wrinkle -- they renumbered N_FN. */
2849 case N_UNDF | N_EXT:
2850 continue; /* Just undefined, not COMMON. */
2855 /* Lots of symbol types we can just ignore. */
2862 /* Keep going . . . */
2865 * Special symbol types for GNU
2868 case N_INDR | N_EXT:
2870 case N_SETA | N_EXT:
2872 case N_SETT | N_EXT:
2874 case N_SETD | N_EXT:
2876 case N_SETB | N_EXT:
2886 static int prev_so_symnum = -10;
2887 const char *basename;
2889 /* A zero value is probably an indication for the
2890 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2891 for zero, so don't relocate it. */
2894 && gdbarch_sofun_address_maybe_missing (gdbarch))
2895 textlow_not_set = 1;
2897 textlow_not_set = 0;
2899 if (prev_so_symnum != symnum - 1)
2900 { /* Here if prev stab wasn't N_SO. */
2903 pst = (struct partial_symtab *) 0;
2905 dependencies_used = 0;
2909 prev_so_symnum = symnum;
2911 /* End the current partial symtab and start a
2914 /* SET_NAMESTRING ();*/
2915 namestring = stabstring;
2917 /* Null name means end of .o file. Don't start a new
2919 if (*namestring == '\000')
2922 /* Some compilers (including gcc) emit a pair of
2923 initial N_SOs. The first one is a directory name;
2924 the second the file name. If pst exists, is
2925 empty, and has a filename ending in '/', we assume
2926 the previous N_SO was a directory name. */
2927 basename = lbasename (namestring);
2928 if (basename != namestring && *basename == '\000')
2929 continue; /* Simply ignore directory
2932 /* Some other compilers (C++ ones in particular) emit
2933 useless SOs for non-existant .c files. We ignore
2934 all subsequent SOs that immediately follow the
2947 enum language tmp_language;
2949 /* Mark down an include file in the current psymtab. */
2951 /* SET_NAMESTRING (); */
2952 namestring = stabstring;
2955 = deduce_language_from_filename (namestring);
2957 /* Only change the psymtab's language if we've
2958 learned something useful (eg. tmp_language is not
2959 language_unknown). In addition, to match what
2960 start_subfile does, never change from C++ to
2962 if (tmp_language != language_unknown
2963 && (tmp_language != language_c
2964 || psymtab_language != language_cplus))
2965 psymtab_language = tmp_language;
2967 /* In C++, one may expect the same filename to come
2968 round many times, when code is coming alternately
2969 from the main file and from inline functions in
2970 other files. So I check to see if this is a file
2971 we've seen before -- either the main source file,
2972 or a previously included file.
2974 This seems to be a lot of time to be spending on
2975 N_SOL, but things like "break c-exp.y:435" need to
2976 work (I suppose the psymtab_include_list could be
2977 hashed or put in a binary tree, if profiling shows
2978 this is a major hog). */
2979 if (pst && filename_cmp (namestring, pst->filename) == 0)
2985 for (i = 0; i < includes_used; i++)
2986 if (filename_cmp (namestring,
2987 psymtab_include_list[i]) == 0)
2996 psymtab_include_list[includes_used++] = namestring;
2997 if (includes_used >= includes_allocated)
2999 const char **orig = psymtab_include_list;
3001 psymtab_include_list = (const char **)
3002 alloca ((includes_allocated *= 2) *
3003 sizeof (const char *));
3004 memcpy (psymtab_include_list, orig,
3005 includes_used * sizeof (const char *));
3009 case N_LSYM: /* Typedef or automatic variable. */
3010 case N_STSYM: /* Data seg var -- static */
3011 case N_LCSYM: /* BSS " */
3012 case N_ROSYM: /* Read-only data seg var -- static. */
3013 case N_NBSTS: /* Gould nobase. */
3014 case N_NBLCS: /* symbols. */
3016 case N_GSYM: /* Global (extern) variable; can be
3017 data or bss (sigh FIXME). */
3019 /* Following may probably be ignored; I'll leave them here
3020 for now (until I do Pascal and Modula 2 extensions). */
3022 case N_PC: /* I may or may not need this; I
3024 case N_M2C: /* I suspect that I can ignore this
3026 case N_SCOPE: /* Same. */
3028 /* SET_NAMESTRING (); */
3029 namestring = stabstring;
3030 p = (char *) strchr (namestring, ':');
3032 continue; /* Not a debugging symbol. */
3036 /* Main processing section for debugging symbols which
3037 the initial read through the symbol tables needs to
3038 worry about. If we reach this point, the symbol
3039 which we are considering is definitely one we are
3040 interested in. p must also contain the (valid)
3041 index into the namestring which indicates the
3042 debugging type symbol. */
3047 if (gdbarch_static_transform_name_p (gdbarch))
3048 namestring = gdbarch_static_transform_name
3049 (gdbarch, namestring);
3051 add_psymbol_to_list (namestring, p - namestring, 1,
3052 VAR_DOMAIN, LOC_STATIC,
3053 SECT_OFF_DATA (objfile),
3054 psymbol_placement::STATIC,
3056 psymtab_language, objfile);
3059 /* The addresses in these entries are reported
3060 to be wrong. See the code that reads 'G's
3062 add_psymbol_to_list (namestring, p - namestring, 1,
3063 VAR_DOMAIN, LOC_STATIC,
3064 SECT_OFF_DATA (objfile),
3065 psymbol_placement::GLOBAL,
3067 psymtab_language, objfile);
3071 /* When a 'T' entry is defining an anonymous enum, it
3072 may have a name which is the empty string, or a
3073 single space. Since they're not really defining a
3074 symbol, those shouldn't go in the partial symbol
3075 table. We do pick up the elements of such enums at
3076 'check_enum:', below. */
3077 if (p >= namestring + 2
3078 || (p == namestring + 1
3079 && namestring[0] != ' '))
3081 add_psymbol_to_list (namestring, p - namestring, 1,
3082 STRUCT_DOMAIN, LOC_TYPEDEF,
3084 psymbol_placement::STATIC,
3085 0, psymtab_language, objfile);
3088 /* Also a typedef with the same name. */
3089 add_psymbol_to_list (namestring,
3091 VAR_DOMAIN, LOC_TYPEDEF,
3093 psymbol_placement::STATIC,
3094 0, psymtab_language,
3101 if (p != namestring) /* a name is there, not
3104 add_psymbol_to_list (namestring, p - namestring, 1,
3105 VAR_DOMAIN, LOC_TYPEDEF,
3107 psymbol_placement::STATIC,
3108 0, psymtab_language, objfile);
3111 /* If this is an enumerated type, we need to add
3112 all the enum constants to the partial symbol
3113 table. This does not cover enums without names,
3114 e.g. "enum {a, b} c;" in C, but fortunately
3115 those are rare. There is no way for GDB to find
3116 those from the enum type without spending too
3117 much time on it. Thus to solve this problem,
3118 the compiler needs to put out the enum in a
3119 nameless type. GCC2 does this. */
3121 /* We are looking for something of the form
3122 <name> ":" ("t" | "T") [<number> "="] "e"
3123 {<constant> ":" <value> ","} ";". */
3125 /* Skip over the colon and the 't' or 'T'. */
3127 /* This type may be given a number. Also, numbers
3128 can come in pairs like (0,26). Skip over it. */
3129 while ((*p >= '0' && *p <= '9')
3130 || *p == '(' || *p == ',' || *p == ')'
3136 /* The aix4 compiler emits extra crud before
3140 /* Skip over the type (?). */
3144 /* Skip over the colon. */
3148 /* We have found an enumerated type. */
3149 /* According to comments in read_enum_type
3150 a comma could end it instead of a semicolon.
3151 I don't know where that happens.
3153 while (*p && *p != ';' && *p != ',')
3157 /* Check for and handle cretinous dbx
3158 symbol name continuation! */
3159 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3160 p = next_symbol_text (objfile);
3162 /* Point to the character after the name
3163 of the enum constant. */
3164 for (q = p; *q && *q != ':'; q++)
3166 /* Note that the value doesn't matter for
3167 enum constants in psymtabs, just in
3169 add_psymbol_to_list (p, q - p, 1,
3170 VAR_DOMAIN, LOC_CONST,
3172 psymbol_placement::STATIC,
3173 0, psymtab_language,
3175 /* Point past the name. */
3177 /* Skip over the value. */
3178 while (*p && *p != ',')
3180 /* Advance past the comma. */
3187 /* Constant, e.g. from "const" in Pascal. */
3188 add_psymbol_to_list (namestring, p - namestring, 1,
3189 VAR_DOMAIN, LOC_CONST, -1,
3190 psymbol_placement::STATIC,
3191 0, psymtab_language, objfile);
3197 std::string copy (namestring, p);
3198 function_outside_compilation_unit_complaint
3201 add_psymbol_to_list (namestring, p - namestring, 1,
3202 VAR_DOMAIN, LOC_BLOCK,
3203 SECT_OFF_TEXT (objfile),
3204 psymbol_placement::STATIC,
3206 psymtab_language, objfile);
3209 /* Global functions were ignored here, but now they
3210 are put into the global psymtab like one would
3211 expect. They're also in the minimal symbol
3216 std::string copy (namestring, p);
3217 function_outside_compilation_unit_complaint
3220 add_psymbol_to_list (namestring, p - namestring, 1,
3221 VAR_DOMAIN, LOC_BLOCK,
3222 SECT_OFF_TEXT (objfile),
3223 psymbol_placement::GLOBAL,
3225 psymtab_language, objfile);
3228 /* Two things show up here (hopefully); static
3229 symbols of local scope (static used inside
3230 braces) or extensions of structure symbols. We
3245 case '#': /* For symbol identification (used
3250 /* It is a C++ nested symbol. We don't need to
3251 record it (I don't think); if we try to look up
3252 foo::bar::baz, then symbols for the symtab
3253 containing foo should get read in, I think. */
3254 /* Someone says sun cc puts out symbols like
3255 /foo/baz/maclib::/usr/local/bin/maclib,
3256 which would get here with a symbol type of ':'. */
3260 /* Unexpected symbol descriptor. The second and
3261 subsequent stabs of a continued stab can show up
3262 here. The question is whether they ever can
3263 mimic a normal stab--it would be nice if not,
3264 since we certainly don't want to spend the time
3265 searching to the end of every string looking for
3268 complaint (_("unknown symbol descriptor `%c'"), p[1]);
3270 /* Ignore it; perhaps it is an extension that we don't
3279 /* Solaris 2 end of module, finish current partial
3280 symbol table. dbx_end_psymtab will set the
3281 high text address of PST to the proper value,
3282 which is necessary if a module compiled without
3283 debugging info follows this module. */
3285 && gdbarch_sofun_address_maybe_missing (gdbarch))
3287 pst = (struct partial_symtab *) 0;
3289 dependencies_used = 0;
3294 if (sh.value > save_pst->raw_text_high ())
3295 save_pst->set_text_high (sh.value);
3300 case N_SSYM: /* Claim: Structure or union
3301 element. Hopefully, I can
3303 case N_ENTRY: /* Alternate entry point; can
3305 case N_MAIN: /* Can definitely ignore this. */
3306 case N_CATCH: /* These are GNU C++ extensions. */
3307 case N_EHDECL: /* that can safely be ignored here. */
3317 case N_NSYMS: /* Ultrix 4.0: symbol count */
3318 case N_DEFD: /* GNU Modula-2 */
3319 case N_ALIAS: /* SunPro F77: alias name, ignore
3322 case N_OBJ: /* Useless types from Solaris. */
3324 /* These symbols aren't interesting; don't worry about
3330 /* If we haven't found it yet, ignore it. It's
3331 probably some new type we don't know about yet. */
3332 complaint (_("unknown symbol type %s"),
3333 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3337 /* end - Handle continuation */
3342 for (cur_sdx = 0; cur_sdx < fh->csym;)
3345 enum address_class theclass;
3346 CORE_ADDR minsym_value;
3349 (*swap_sym_in) (cur_bfd,
3350 ((char *) debug_info->external_sym
3351 + ((fh->isymBase + cur_sdx)
3352 * external_sym_size)),
3355 if (ECOFF_IS_STAB (&sh))
3361 /* Non absolute static symbols go into the minimal table. */
3362 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3363 || (sh.index == indexNil
3364 && (sh.st != stStatic || sh.sc == scAbs)))
3366 /* FIXME, premature? */
3371 sym_name = debug_info->ss + fh->issBase + sh.iss;
3373 minsym_value = sh.value;
3379 /* The value of a stEnd symbol is the displacement from the
3380 corresponding start symbol value, do not relocate it. */
3382 section = SECT_OFF_TEXT (objfile);
3389 section = SECT_OFF_DATA (objfile);
3393 section = SECT_OFF_BSS (objfile);
3404 reader.record_with_info (sym_name, minsym_value,
3406 SECT_OFF_TEXT (objfile));
3411 /* Ignore all parameter symbol records. */
3412 if (sh.index >= hdr->iauxMax)
3414 /* Should not happen, but does when cross-compiling
3415 with the MIPS compiler. FIXME -- pull later. */
3416 index_complaint (sym_name);
3417 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3420 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3421 (debug_info->external_aux
3425 if (new_sdx <= cur_sdx)
3427 /* This should not happen either... FIXME. */
3428 complaint (_("bad proc end in aux found from symbol %s"),
3430 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3433 /* For stProc symbol records, we need to check the
3434 storage class as well, as only (stProc, scText)
3435 entries represent "real" procedures - See the
3436 Compaq document titled "Object File / Symbol Table
3437 Format Specification" for more information. If the
3438 storage class is not scText, we discard the whole
3439 block of symbol records for this stProc. */
3440 if (sh.st == stProc && sh.sc != scText)
3443 /* Usually there is a local and a global stProc symbol
3444 for a function. This means that the function name
3445 has already been entered into the mimimal symbol table
3446 while processing the global symbols in pass 2 above.
3447 One notable exception is the PROGRAM name from
3448 f77 compiled executables, it is only put out as
3449 local stProc symbol, and a global MAIN__ stProc symbol
3450 points to it. It doesn't matter though, as gdb is
3451 still able to find the PROGRAM name via the partial
3452 symbol table, and the MAIN__ symbol via the minimal
3454 if (sh.st == stProc)
3455 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3456 VAR_DOMAIN, LOC_BLOCK,
3458 psymbol_placement::GLOBAL,
3459 sh.value, psymtab_language, objfile);
3461 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3462 VAR_DOMAIN, LOC_BLOCK,
3464 psymbol_placement::STATIC,
3465 sh.value, psymtab_language, objfile);
3467 procaddr = sh.value;
3470 (*swap_sym_in) (cur_bfd,
3471 ((char *) debug_info->external_sym
3472 + ((fh->isymBase + cur_sdx - 1)
3473 * external_sym_size)),
3478 /* Kludge for Irix 5.2 zero fh->adr. */
3480 && (!pst->text_low_valid
3481 || procaddr < pst->raw_text_low ()))
3482 pst->set_text_low (procaddr);
3484 high = procaddr + sh.value;
3485 if (high > pst->raw_text_high ())
3486 pst->set_text_high (high);
3489 case stStatic: /* Variable */
3490 if (SC_IS_DATA (sh.sc))
3491 reader.record_with_info (sym_name, minsym_value,
3493 SECT_OFF_DATA (objfile));
3495 reader.record_with_info (sym_name, minsym_value,
3497 SECT_OFF_BSS (objfile));
3498 theclass = LOC_STATIC;
3501 case stIndirect: /* Irix5 forward declaration */
3502 /* Skip forward declarations from Irix5 cc. */
3505 case stTypedef: /* Typedef */
3506 /* Skip typedefs for forward declarations and opaque
3507 structs from alpha and mips cc. */
3508 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3510 theclass = LOC_TYPEDEF;
3513 case stConstant: /* Constant decl */
3514 theclass = LOC_CONST;
3520 case stBlock: /* { }, str, un, enum */
3521 /* Do not create a partial symbol for cc unnamed aggregates
3522 and gcc empty aggregates. */
3523 if ((sh.sc == scInfo
3524 || SC_IS_COMMON (sh.sc))
3526 && sh.index != cur_sdx + 2)
3528 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3529 STRUCT_DOMAIN, LOC_TYPEDEF, -1,
3530 psymbol_placement::STATIC,
3531 0, psymtab_language, objfile);
3533 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3535 /* Skip over the block. */
3537 if (new_sdx <= cur_sdx)
3539 /* This happens with the Ultrix kernel. */
3540 complaint (_("bad aux index at block symbol %s"),
3542 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3547 case stFile: /* File headers */
3548 case stLabel: /* Labels */
3549 case stEnd: /* Ends of files */
3552 case stLocal: /* Local variables */
3553 /* Normally these are skipped because we skip over
3554 all blocks we see. However, these can occur
3555 as visible symbols in a .h file that contains code. */
3559 /* Both complaints are valid: one gives symbol sym_name,
3560 the other the offending symbol type. */
3561 complaint (_("unknown local symbol %s"),
3563 complaint (_("with type %d"), sh.st);
3567 /* Use this gdb symbol. */
3568 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3569 VAR_DOMAIN, theclass, section,
3570 psymbol_placement::STATIC,
3571 sh.value, psymtab_language, objfile);
3573 cur_sdx++; /* Go to next file symbol. */
3576 /* Now do enter the external symbols. */
3577 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3578 cur_sdx = fdr_to_pst[f_idx].n_globals;
3579 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3580 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3581 for (; --cur_sdx >= 0; ext_ptr++)
3583 enum address_class theclass;
3588 if (ext_ptr->ifd != f_idx)
3589 internal_error (__FILE__, __LINE__,
3590 _("failed internal consistency check"));
3591 psh = &ext_ptr->asym;
3593 /* Do not add undefined symbols to the partial symbol table. */
3594 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3597 svalue = psh->value;
3603 section = SECT_OFF_TEXT (objfile);
3610 section = SECT_OFF_DATA (objfile);
3614 section = SECT_OFF_BSS (objfile);
3621 /* These are generated for static symbols in .o files,
3626 /* External procedure symbols have been entered
3627 into the minimal symbol table in pass 2 above.
3628 Ignore them, as parse_external will ignore them too. */
3631 theclass = LOC_LABEL;
3634 unknown_ext_complaint (debug_info->ssext + psh->iss);
3635 /* Pretend it's global. */
3638 /* Global common symbols are resolved by the runtime loader,
3640 if (SC_IS_COMMON (psh->sc))
3643 theclass = LOC_STATIC;
3646 char *sym_name = debug_info->ssext + psh->iss;
3647 add_psymbol_to_list (sym_name, strlen (sym_name), 1,
3648 VAR_DOMAIN, theclass,
3650 psymbol_placement::GLOBAL,
3651 svalue, psymtab_language, objfile);
3655 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3656 empty and put on the free list. */
3657 fdr_to_pst[f_idx].pst
3658 = dbx_end_psymtab (objfile, save_pst,
3659 psymtab_include_list, includes_used,
3660 -1, save_pst->raw_text_high (),
3661 dependency_list, dependencies_used,
3664 dependencies_used = 0;
3666 /* The objfile has its functions reordered if this partial symbol
3667 table overlaps any other partial symbol table.
3668 We cannot assume a reordered objfile if a partial symbol table
3669 is contained within another partial symbol table, as partial symbol
3670 tables for include files with executable code are contained
3671 within the partial symbol table for the including source file,
3672 and we do not want to flag the objfile reordered for these cases.
3674 This strategy works well for Irix-5.2 shared libraries, but we
3675 might have to use a more elaborate (and slower) algorithm for
3677 save_pst = fdr_to_pst[f_idx].pst;
3678 if (save_pst != NULL
3679 && save_pst->text_low_valid
3680 && !(objfile->flags & OBJF_REORDERED))
3682 for (partial_symtab *iter : objfile->psymtabs ())
3684 if (save_pst != iter
3685 && save_pst->raw_text_low () >= iter->raw_text_low ()
3686 && save_pst->raw_text_low () < iter->raw_text_high ()
3687 && save_pst->raw_text_high () > iter->raw_text_high ())
3689 objfile->flags |= OBJF_REORDERED;
3696 /* Now scan the FDRs for dependencies. */
3697 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3699 fh = f_idx + debug_info->fdr;
3700 pst = fdr_to_pst[f_idx].pst;
3705 /* This should catch stabs-in-ecoff. */
3709 /* Skip the first file indirect entry as it is a self dependency for
3710 source files or a reverse .h -> .c dependency for header files. */
3711 pst->number_of_dependencies = 0;
3713 = objfile->partial_symtabs->allocate_dependencies (fh->crfd - 1);
3714 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3718 (*swap_rfd_in) (cur_bfd,
3719 ((char *) debug_info->external_rfd
3720 + (fh->rfdBase + s_idx) * external_rfd_size),
3722 if (rh < 0 || rh >= hdr->ifdMax)
3724 complaint (_("bad file number %ld"), rh);
3728 /* Skip self dependencies of header files. */
3732 /* Do not add to dependeny list if psymtab was empty. */
3733 if (fdr_to_pst[rh].pst == NULL)
3735 pst->dependencies[pst->number_of_dependencies++]
3736 = fdr_to_pst[rh].pst;
3740 /* Remove the dummy psymtab created for -O3 images above, if it is
3741 still empty, to enable the detection of stripped executables. */
3742 pst = objfile->partial_symtabs->psymtabs;
3743 if (pst->next == NULL
3744 && pst->number_of_dependencies == 0
3745 && pst->n_global_syms == 0
3746 && pst->n_static_syms == 0)
3747 objfile->partial_symtabs->psymtabs = NULL;
3750 /* If the current psymbol has an enumerated type, we need to add
3751 all the enum constants to the partial symbol table. */
3754 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3757 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3758 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3759 char *ext_sym = ((char *) debug_info->external_sym
3760 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3770 /* It is an enumerated type if the next symbol entry is a stMember
3771 and its auxiliary index is indexNil or its auxiliary entry
3772 is a plain btNil or btVoid.
3773 Alpha cc -migrate enums are recognized by a zero index and
3774 a zero symbol value.
3775 DU 4.0 cc enums are recognized by a member type of btEnum without
3776 qualifiers and a zero symbol value. */
3777 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3778 if (sh.st != stMember)
3781 if (sh.index == indexNil
3782 || (sh.index == 0 && svalue == 0))
3784 (*debug_swap->swap_tir_in) (fh->fBigendian,
3785 &(debug_info->external_aux
3786 + fh->iauxBase + sh.index)->a_ti,
3788 if ((tir.bt != btNil
3790 && (tir.bt != btEnum || svalue != 0))
3791 || tir.tq0 != tqNil)
3803 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3804 if (sh.st != stMember)
3806 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3808 /* Note that the value doesn't matter for enum constants
3809 in psymtabs, just in symtabs. */
3810 add_psymbol_to_list (name, strlen (name), 1,
3811 VAR_DOMAIN, LOC_CONST, -1,
3812 psymbol_placement::STATIC, 0,
3813 psymtab_language, objfile);
3814 ext_sym += external_sym_size;
3818 /* Get the next symbol. OBJFILE is unused. */
3821 mdebug_next_symbol_text (struct objfile *objfile)
3826 (*debug_swap->swap_sym_in) (cur_bfd,
3827 ((char *) debug_info->external_sym
3828 + ((cur_fdr->isymBase + cur_sdx)
3829 * debug_swap->external_sym_size)),
3831 return debug_info->ss + cur_fdr->issBase + sh.iss;
3834 /* Ancillary function to psymtab_to_symtab(). Does all the work
3835 for turning the partial symtab PST into a symtab, recurring
3836 first on all dependent psymtabs. The argument FILENAME is
3837 only passed so we can see in debug stack traces what file
3840 This function has a split personality, based on whether the
3841 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3842 The flow of control and even the memory allocation differs. FIXME. */
3845 psymtab_to_symtab_1 (struct objfile *objfile,
3846 struct partial_symtab *pst, const char *filename)
3848 bfd_size_type external_sym_size;
3849 bfd_size_type external_pdr_size;
3850 void (*swap_sym_in) (bfd *, void *, SYMR *);
3851 void (*swap_pdr_in) (bfd *, void *, PDR *);
3853 struct compunit_symtab *cust = NULL;
3855 struct linetable *lines;
3856 CORE_ADDR lowest_pdr_addr = 0;
3857 int last_symtab_ended = 0;
3858 struct section_offsets *section_offsets = objfile->section_offsets;
3864 /* Read in all partial symbtabs on which this one is dependent.
3865 NOTE that we do have circular dependencies, sigh. We solved
3866 that by setting pst->readin before this point. */
3868 for (i = 0; i < pst->number_of_dependencies; i++)
3869 if (!pst->dependencies[i]->readin)
3871 /* Inform about additional files to be read in. */
3874 fputs_filtered (" ", gdb_stdout);
3876 fputs_filtered ("and ", gdb_stdout);
3878 printf_filtered ("%s...",
3879 pst->dependencies[i]->filename);
3880 wrap_here (""); /* Flush output */
3881 gdb_flush (gdb_stdout);
3883 /* We only pass the filename for debug purposes. */
3884 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3885 pst->dependencies[i]->filename);
3888 /* Do nothing if this is a dummy psymtab. */
3890 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3891 && !pst->text_low_valid && !pst->text_high_valid)
3894 /* Now read the symbols for this symtab. */
3896 cur_bfd = CUR_BFD (pst);
3897 debug_swap = DEBUG_SWAP (pst);
3898 debug_info = DEBUG_INFO (pst);
3899 pending_list = PENDING_LIST (pst);
3900 external_sym_size = debug_swap->external_sym_size;
3901 external_pdr_size = debug_swap->external_pdr_size;
3902 swap_sym_in = debug_swap->swap_sym_in;
3903 swap_pdr_in = debug_swap->swap_pdr_in;
3904 mdebugread_objfile = objfile;
3905 cur_fd = FDR_IDX (pst);
3906 fh = ((cur_fd == -1)
3908 : debug_info->fdr + cur_fd);
3911 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3912 processing_gcc_compilation = 0;
3913 if (fh != NULL && fh->csym >= 2)
3917 (*swap_sym_in) (cur_bfd,
3918 ((char *) debug_info->external_sym
3919 + (fh->isymBase + 1) * external_sym_size),
3921 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3924 /* We indicate that this is a GCC compilation so that certain
3925 features will be enabled in stabsread/dbxread. */
3926 processing_gcc_compilation = 2;
3930 if (processing_gcc_compilation != 0)
3932 struct gdbarch *gdbarch = get_objfile_arch (objfile);
3934 /* This symbol table contains stabs-in-ecoff entries. */
3936 /* Parse local symbols first. */
3938 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
3940 mdebugread_objfile = NULL;
3943 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3949 (*swap_sym_in) (cur_bfd,
3950 (((char *) debug_info->external_sym)
3951 + (fh->isymBase + cur_sdx) * external_sym_size),
3953 name = debug_info->ss + fh->issBase + sh.iss;
3955 /* XXX This is a hack. It will go away! */
3956 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3958 int type_code = ECOFF_UNMARK_STAB (sh.index);
3959 enum language language = PST_PRIVATE (pst)->pst_language;
3961 /* We should never get non N_STAB symbols here, but they
3962 should be harmless, so keep process_one_symbol from
3963 complaining about them. */
3964 if (type_code & N_STAB)
3966 /* If we found a trailing N_SO with no name, process
3967 it here instead of in process_one_symbol, so we
3968 can keep a handle to its symtab. The symtab
3969 would otherwise be ended twice, once in
3970 process_one_symbol, and once after this loop. */
3971 if (type_code == N_SO
3972 && get_last_source_file ()
3973 && previous_stab_code != (unsigned char) N_SO
3976 valu += ANOFFSET (section_offsets,
3977 SECT_OFF_TEXT (objfile));
3978 previous_stab_code = N_SO;
3979 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
3981 last_symtab_ended = 1;
3985 last_symtab_ended = 0;
3986 process_one_symbol (type_code, 0, valu, name,
3987 section_offsets, objfile, language);
3990 /* Similarly a hack. */
3991 else if (name[0] == '#')
3993 process_one_symbol (N_SLINE, 0, valu, name,
3994 section_offsets, objfile, language);
3996 if (type_code == N_FUN)
3998 /* Make up special symbol to contain
3999 procedure specific info. */
4000 mdebug_extra_func_info *e
4001 = OBSTACK_ZALLOC (&mdebugread_objfile->objfile_obstack,
4002 mdebug_extra_func_info);
4003 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4005 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4006 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4007 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4008 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4009 e->pdr.framereg = -1;
4010 add_symbol_to_list (s, get_local_symbols ());
4013 else if (sh.st == stLabel)
4015 if (sh.index == indexNil)
4017 /* This is what the gcc2_compiled and __gnu_compiled_*
4018 show up as. So don't complain. */
4023 /* Handle encoded stab line number. */
4024 valu += ANOFFSET (section_offsets,
4025 SECT_OFF_TEXT (objfile));
4026 record_line (get_current_subfile (), sh.index,
4027 gdbarch_addr_bits_remove (gdbarch, valu));
4030 else if (sh.st == stProc || sh.st == stStaticProc
4031 || sh.st == stStatic || sh.st == stEnd)
4032 /* These are generated by gcc-2.x, do not complain. */
4035 complaint (_("unknown stabs symbol %s"), name);
4038 if (! last_symtab_ended)
4040 cust = end_symtab (pst->raw_text_high (), SECT_OFF_TEXT (objfile));
4044 /* There used to be a call to sort_blocks here, but this should not
4045 be necessary for stabs symtabs. And as sort_blocks modifies the
4046 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4047 it did the wrong thing if the first procedure in a file was
4048 generated via asm statements. */
4050 /* Fill in procedure info next. */
4058 gdb::def_vector<PDR> pr_block (fh->cpd);
4060 pdr_ptr = ((char *) debug_info->external_pdr
4061 + fh->ipdFirst * external_pdr_size);
4062 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4063 pdr_in = pr_block.data ();
4066 pdr_ptr += external_pdr_size, pdr_in++)
4068 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4070 /* Determine lowest PDR address, the PDRs are not always
4072 if (pdr_in == pr_block.data ())
4073 lowest_pdr_addr = pdr_in->adr;
4074 else if (pdr_in->adr < lowest_pdr_addr)
4075 lowest_pdr_addr = pdr_in->adr;
4078 pdr_in = pr_block.data ();
4079 pdr_in_end = pdr_in + fh->cpd;
4080 for (; pdr_in < pdr_in_end; pdr_in++)
4081 parse_procedure (pdr_in, cust, pst);
4086 /* This symbol table contains ordinary ecoff entries. */
4094 cust = new_symtab ("unknown", 0, objfile);
4098 maxlines = 2 * fh->cline;
4099 cust = new_symtab (pst->filename, maxlines, objfile);
4101 /* The proper language was already determined when building
4102 the psymtab, use it. */
4103 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4106 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4108 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4110 /* Get a new lexical context. */
4112 push_parse_stack ();
4113 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4114 top_stack->cur_block
4115 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4116 BLOCK_START (top_stack->cur_block) = pst->text_low (objfile);
4117 BLOCK_END (top_stack->cur_block) = 0;
4118 top_stack->blocktype = stFile;
4119 top_stack->cur_type = 0;
4120 top_stack->procadr = 0;
4121 top_stack->numargs = 0;
4122 found_ecoff_debugging_info = 0;
4129 /* Parse local symbols first. */
4130 sym_ptr = ((char *) debug_info->external_sym
4131 + fh->isymBase * external_sym_size);
4132 sym_end = sym_ptr + fh->csym * external_sym_size;
4133 while (sym_ptr < sym_end)
4138 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4139 c = parse_symbol (&sh,
4140 debug_info->external_aux + fh->iauxBase,
4141 sym_ptr, fh->fBigendian,
4142 section_offsets, objfile);
4143 sym_ptr += c * external_sym_size;
4146 /* Linenumbers. At the end, check if we can save memory.
4147 parse_lines has to look ahead an arbitrary number of PDR
4148 structures, so we swap them all first. */
4156 gdb::def_vector<PDR> pr_block (fh->cpd);
4158 pdr_ptr = ((char *) debug_info->external_pdr
4159 + fh->ipdFirst * external_pdr_size);
4160 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4161 pdr_in = pr_block.data ();
4164 pdr_ptr += external_pdr_size, pdr_in++)
4166 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4168 /* Determine lowest PDR address, the PDRs are not always
4170 if (pdr_in == pr_block.data ())
4171 lowest_pdr_addr = pdr_in->adr;
4172 else if (pdr_in->adr < lowest_pdr_addr)
4173 lowest_pdr_addr = pdr_in->adr;
4176 parse_lines (fh, pr_block.data (), lines, maxlines,
4177 pst->text_low (objfile), lowest_pdr_addr);
4178 if (lines->nitems < fh->cline)
4179 lines = shrink_linetable (lines);
4181 /* Fill in procedure info next. */
4182 pdr_in = pr_block.data ();
4183 pdr_in_end = pdr_in + fh->cpd;
4184 for (; pdr_in < pdr_in_end; pdr_in++)
4185 parse_procedure (pdr_in, NULL, pst);
4189 size = lines->nitems;
4192 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4193 = ((struct linetable *)
4194 obstack_copy (&mdebugread_objfile->objfile_obstack,
4195 lines, (sizeof (struct linetable)
4196 + size * sizeof (lines->item))));
4199 /* .. and our share of externals.
4200 XXX use the global list to speed up things here. How?
4201 FIXME, Maybe quit once we have found the right number of ext's? */
4202 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4203 top_stack->cur_block
4204 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4206 top_stack->blocktype = stFile;
4208 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4209 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4210 parse_external (ext_ptr, fh->fBigendian,
4211 section_offsets, objfile);
4213 /* If there are undefined symbols, tell the user.
4214 The alpha has an undefined symbol for every symbol that is
4215 from a shared library, so tell the user only if verbose is on. */
4216 if (info_verbose && n_undef_symbols)
4218 printf_filtered (_("File %s contains %d unresolved references:"),
4219 symtab_to_filename_for_display
4220 (COMPUNIT_FILETABS (cust)),
4222 printf_filtered ("\n\t%4d variables\n\t%4d "
4223 "procedures\n\t%4d labels\n",
4224 n_undef_vars, n_undef_procs, n_undef_labels);
4225 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4230 sort_blocks (COMPUNIT_FILETABS (cust));
4233 /* Now link the psymtab and the symtab. */
4234 pst->compunit_symtab = cust;
4236 mdebugread_objfile = NULL;
4239 /* Ancillary parsing procedures. */
4241 /* Return 1 if the symbol pointed to by SH has a cross reference
4242 to an opaque aggregate type, else 0. */
4245 has_opaque_xref (FDR *fh, SYMR *sh)
4252 if (sh->index == indexNil)
4255 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4256 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4257 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4261 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4262 if (rn->rfd == 0xfff)
4263 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4271 /* Lookup the type at relative index RN. Return it in TPP
4272 if found and in any event come up with its name PNAME.
4273 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4274 Return value says how many aux symbols we ate. */
4277 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4278 enum type_code type_code,
4279 /* Use to alloc new type if none is found. */
4280 const char **pname, int bigend, const char *sym_name)
4289 struct mdebug_pending *pend;
4293 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4295 /* Escape index means 'the next one'. */
4296 if (rn->rfd == 0xfff)
4299 rf = AUX_GET_ISYM (bigend, ax + 1);
4306 /* mips cc uses a rf of -1 for opaque struct definitions.
4307 Set TYPE_STUB for these types so that check_typedef will
4308 resolve them if the struct gets defined in another compilation unit. */
4311 *pname = "<undefined>";
4312 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4313 TYPE_STUB (*tpp) = 1;
4317 /* mips cc uses an escaped rn->index of 0 for struct return types
4318 of procedures that were compiled without -g. These will always remain
4320 if (rn->rfd == 0xfff && rn->index == 0)
4322 *pname = "<undefined>";
4326 /* Find the relative file descriptor and the symbol in it. */
4327 fh = get_rfd (fd, rf);
4328 xref_fd = fh - debug_info->fdr;
4330 if (rn->index >= fh->csym)
4332 /* File indirect entry is corrupt. */
4333 *pname = "<illegal>";
4334 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4338 /* If we have processed this symbol then we left a forwarding
4339 pointer to the type in the pending list. If not, we`ll put
4340 it in a list of pending types, to be processed later when
4341 the file will be. In any event, we collect the name for the
4344 esh = ((char *) debug_info->external_sym
4345 + ((fh->isymBase + rn->index)
4346 * debug_swap->external_sym_size));
4347 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4349 /* Make sure that this type of cross reference can be handled. */
4350 if ((sh.sc != scInfo
4351 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4352 && sh.st != stStruct && sh.st != stUnion
4353 && sh.st != stEnum))
4354 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4356 /* File indirect entry is corrupt. */
4357 *pname = "<illegal>";
4358 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4362 *pname = debug_info->ss + fh->issBase + sh.iss;
4364 pend = is_pending_symbol (fh, esh);
4369 /* We have not yet seen this type. */
4371 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4375 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4377 a) forward declarations of structs/unions/enums which are not
4378 defined in this compilation unit.
4379 For these the type will be void. This is a bad design decision
4380 as cross referencing across compilation units is impossible
4381 due to the missing name.
4382 b) forward declarations of structs/unions/enums/typedefs which
4383 are defined later in this file or in another file in the same
4384 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4385 Simply cross reference those again to get the true type.
4386 The forward references are not entered in the pending list and
4387 in the symbol table. */
4389 (*debug_swap->swap_tir_in) (bigend,
4390 &(debug_info->external_aux
4391 + fh->iauxBase + sh.index)->a_ti,
4393 if (tir.tq0 != tqNil)
4394 complaint (_("illegal tq0 in forward typedef for %s"), sym_name);
4398 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4399 *pname = "<undefined>";
4406 (debug_info->external_aux
4407 + fh->iauxBase + sh.index + 1),
4408 tpp, type_code, pname,
4409 fh->fBigendian, sym_name);
4413 /* Follow a forward typedef. This might recursively
4414 call cross_ref till we get a non typedef'ed type.
4415 FIXME: This is not correct behaviour, but gdb currently
4416 cannot handle typedefs without type copying. Type
4417 copying is impossible as we might have mutual forward
4418 references between two files and the copied type would not
4419 get filled in when we later parse its definition. */
4420 *tpp = parse_type (xref_fd,
4421 debug_info->external_aux + fh->iauxBase,
4425 debug_info->ss + fh->issBase + sh.iss);
4426 add_pending (fh, esh, *tpp);
4430 complaint (_("illegal bt %d in forward typedef for %s"), tir.bt,
4432 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4437 else if (sh.st == stTypedef)
4439 /* Parse the type for a normal typedef. This might recursively call
4440 cross_ref till we get a non typedef'ed type.
4441 FIXME: This is not correct behaviour, but gdb currently
4442 cannot handle typedefs without type copying. But type copying is
4443 impossible as we might have mutual forward references between
4444 two files and the copied type would not get filled in when
4445 we later parse its definition. */
4446 *tpp = parse_type (xref_fd,
4447 debug_info->external_aux + fh->iauxBase,
4451 debug_info->ss + fh->issBase + sh.iss);
4455 /* Cross reference to a struct/union/enum which is defined
4456 in another file in the same compilation unit but that file
4457 has not been parsed yet.
4458 Initialize the type only, it will be filled in when
4459 it's definition is parsed. */
4460 *tpp = init_type (mdebugread_objfile, type_code, 0, NULL);
4462 add_pending (fh, esh, *tpp);
4465 /* We used one auxent normally, two if we got a "next one" rf. */
4470 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4471 keeping the symtab sorted. */
4473 static struct symbol *
4474 mylookup_symbol (const char *name, const struct block *block,
4475 domain_enum domain, enum address_class theclass)
4477 struct block_iterator iter;
4482 ALL_BLOCK_SYMBOLS (block, iter, sym)
4484 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4485 && SYMBOL_DOMAIN (sym) == domain
4486 && SYMBOL_CLASS (sym) == theclass
4487 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4491 block = BLOCK_SUPERBLOCK (block);
4493 return mylookup_symbol (name, block, domain, theclass);
4498 /* Add a new symbol S to a block B. */
4501 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4503 symbol_set_symtab (s, symtab);
4504 mdict_add_symbol (BLOCK_MULTIDICT (b), s);
4507 /* Add a new block B to a symtab S. */
4510 add_block (struct block *b, struct symtab *s)
4512 /* Cast away "const", but that's ok because we're building the
4513 symtab and blockvector here. */
4514 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4516 bv = (struct blockvector *) xrealloc ((void *) bv,
4517 (sizeof (struct blockvector)
4518 + BLOCKVECTOR_NBLOCKS (bv)
4519 * sizeof (bv->block)));
4520 if (bv != SYMTAB_BLOCKVECTOR (s))
4521 SYMTAB_BLOCKVECTOR (s) = bv;
4523 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4526 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4527 MIPS' linenumber encoding might need more than one byte
4528 to describe it, LAST is used to detect these continuation lines.
4530 Combining lines with the same line number seems like a bad idea.
4531 E.g: There could be a line number entry with the same line number after the
4532 prologue and GDB should not ignore it (this is a better way to find
4533 a prologue than mips_skip_prologue).
4534 But due to the compressed line table format there are line number entries
4535 for the same line which are needed to bridge the gap to the next
4536 line number entry. These entries have a bogus address info with them
4537 and we are unable to tell them from intended duplicate line number
4539 This is another reason why -ggdb debugging format is preferable. */
4542 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4544 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4545 Change them to something sensible. */
4549 last = -2; /* Make sure we record first line. */
4551 if (last == lineno) /* Skip continuation lines. */
4554 lt->item[lt->nitems].line = lineno;
4555 lt->item[lt->nitems++].pc = adr << 2;
4559 /* Sorting and reordering procedures. */
4561 /* Blocks with a smaller low bound should come first. */
4564 compare_blocks (const void *arg1, const void *arg2)
4567 struct block **b1 = (struct block **) arg1;
4568 struct block **b2 = (struct block **) arg2;
4570 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4572 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4576 /* Sort the blocks of a symtab S.
4577 Reorder the blocks in the blockvector by code-address,
4578 as required by some MI search routines. */
4581 sort_blocks (struct symtab *s)
4583 /* We have to cast away const here, but this is ok because we're
4584 constructing the blockvector in this code. */
4585 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4587 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4590 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4591 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4592 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4593 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4597 * This is very unfortunate: normally all functions are compiled in
4598 * the order they are found, but if the file is compiled -O3 things
4599 * are very different. It would be nice to find a reliable test
4600 * to detect -O3 images in advance.
4602 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4603 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4604 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4605 sizeof (struct block *),
4610 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4612 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4613 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4614 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4615 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4618 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4619 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4621 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4622 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4623 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4624 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4628 /* Constructor/restructor/destructor procedures. */
4630 /* Allocate a new symtab for NAME. Needs an estimate of how many
4631 linenumbers MAXLINES we'll put in it. */
4633 static struct compunit_symtab *
4634 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4636 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4637 struct symtab *symtab;
4638 struct blockvector *bv;
4641 add_compunit_symtab_to_objfile (cust);
4642 symtab = allocate_symtab (cust, name);
4644 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4645 lang = compunit_language (cust);
4647 /* All symtabs must have at least two blocks. */
4649 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4650 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK, lang);
4651 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4652 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4653 COMPUNIT_BLOCKVECTOR (cust) = bv;
4655 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4659 /* Allocate a new partial_symtab NAME. */
4661 static struct partial_symtab *
4662 new_psymtab (const char *name, struct objfile *objfile)
4664 struct partial_symtab *psymtab;
4666 psymtab = allocate_psymtab (name, objfile);
4668 /* Keep a backpointer to the file's symbols. */
4670 psymtab->read_symtab_private
4671 = OBSTACK_ZALLOC (&objfile->objfile_obstack, symloc);
4672 CUR_BFD (psymtab) = cur_bfd;
4673 DEBUG_SWAP (psymtab) = debug_swap;
4674 DEBUG_INFO (psymtab) = debug_info;
4675 PENDING_LIST (psymtab) = pending_list;
4677 /* The way to turn this into a symtab is to call... */
4678 psymtab->read_symtab = mdebug_read_symtab;
4683 /* Allocate a linetable array of the given SIZE. Since the struct
4684 already includes one item, we subtract one when calculating the
4685 proper size to allocate. */
4687 static struct linetable *
4688 new_linetable (int size)
4690 struct linetable *l;
4694 size = size * sizeof (l->item) + sizeof (struct linetable);
4695 l = (struct linetable *) xmalloc (size);
4700 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4701 I am not so sure about the 3.4 ones.
4703 Since the struct linetable already includes one item, we subtract one when
4704 calculating the proper size to allocate. */
4706 static struct linetable *
4707 shrink_linetable (struct linetable *lt)
4709 return (struct linetable *) xrealloc ((void *) lt,
4710 (sizeof (struct linetable)
4712 * sizeof (lt->item))));
4715 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4717 static struct blockvector *
4718 new_bvect (int nblocks)
4720 struct blockvector *bv;
4723 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4724 bv = (struct blockvector *) xzalloc (size);
4726 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4731 /* Allocate and zero a new block of language LANGUAGE, and set its
4732 BLOCK_MULTIDICT. If function is non-zero, assume the block is
4733 associated to a function, and make sure that the symbols are stored
4734 linearly; otherwise, store them hashed. */
4736 static struct block *
4737 new_block (enum block_type type, enum language language)
4739 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4740 allocate the block. Which, in turn, suggests that the block
4741 should be allocated on an obstack. */
4742 struct block *retval = XCNEW (struct block);
4744 if (type == FUNCTION_BLOCK)
4745 BLOCK_MULTIDICT (retval) = mdict_create_linear_expandable (language);
4747 BLOCK_MULTIDICT (retval) = mdict_create_hashed_expandable (language);
4752 /* Create a new symbol with printname NAME. */
4754 static struct symbol *
4755 new_symbol (const char *name)
4757 struct symbol *s = allocate_symbol (mdebugread_objfile);
4759 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4760 &mdebugread_objfile->objfile_obstack);
4761 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4765 /* Create a new type with printname NAME. */
4767 static struct type *
4768 new_type (char *name)
4772 t = alloc_type (mdebugread_objfile);
4773 TYPE_NAME (t) = name;
4774 INIT_CPLUS_SPECIFIC (t);
4778 /* Read ECOFF debugging information from a BFD section. This is
4779 called from elfread.c. It parses the section into a
4780 ecoff_debug_info struct, and then lets the rest of the file handle
4784 elfmdebug_build_psymtabs (struct objfile *objfile,
4785 const struct ecoff_debug_swap *swap, asection *sec)
4787 bfd *abfd = objfile->obfd;
4788 struct ecoff_debug_info *info;
4790 /* FIXME: It's not clear whether we should be getting minimal symbol
4791 information from .mdebug in an ELF file, or whether we will.
4792 Re-initialize the minimal symbol reader in case we do. */
4794 minimal_symbol_reader reader (objfile);
4796 info = XOBNEW (&objfile->objfile_obstack, ecoff_debug_info);
4798 if (!(*swap->read_debug_info) (abfd, sec, info))
4799 error (_("Error reading ECOFF debugging information: %s"),
4800 bfd_errmsg (bfd_get_error ()));
4802 mdebug_build_psymtabs (reader, objfile, swap, info);
4808 _initialize_mdebugread (void)
4810 mdebug_register_index
4811 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4812 mdebug_regparm_index
4813 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);