1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2015 Free Software Foundation, Inc.
5 Original version contributed by Alessandro Forin (af@cs.cmu.edu) at
6 CMU. Major work by Per Bothner, John Gilmore and Ian Lance Taylor
9 This file is part of GDB.
11 This program is free software; you can redistribute it and/or modify
12 it under the terms of the GNU General Public License as published by
13 the Free Software Foundation; either version 3 of the License, or
14 (at your option) any later version.
16 This program is distributed in the hope that it will be useful,
17 but WITHOUT ANY WARRANTY; without even the implied warranty of
18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 GNU General Public License for more details.
21 You should have received a copy of the GNU General Public License
22 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 /* This module provides the function mdebug_build_psymtabs. It reads
25 ECOFF debugging information into partial symbol tables. The
26 debugging information is read from two structures. A struct
27 ecoff_debug_swap includes the sizes of each ECOFF structure and
28 swapping routines; these are fixed for a particular target. A
29 struct ecoff_debug_info points to the debugging information for a
30 particular object file.
32 ECOFF symbol tables are mostly written in the byte order of the
33 target machine. However, one section of the table (the auxiliary
34 symbol information) is written in the host byte order. There is a
35 bit in the other symbol info which describes which host byte order
36 was used. ECOFF thereby takes the trophy from Intel `b.out' for
37 the most brain-dead adaptation of a file format to byte order.
39 This module can read all four of the known byte-order combinations,
40 on any type of host. */
46 #include "filenames.h"
48 #include "gdb_obstack.h"
50 #include "stabsread.h"
51 #include "complaints.h"
53 #include "gdb-demangle.h"
55 #include "dictionary.h"
56 #include "mdebugread.h"
63 #include "coff/ecoff.h" /* COFF-like aspects of ecoff files. */
65 #include "libaout.h" /* Private BFD a.out information. */
66 #include "aout/aout64.h"
67 #include "aout/stab_gnu.h" /* STABS information. */
69 #include "expression.h"
71 extern void _initialize_mdebugread (void);
73 /* Provide a way to test if we have both ECOFF and ELF symbol tables.
74 We use this define in order to know whether we should override a
75 symbol's ECOFF section with its ELF section. This is necessary in
76 case the symbol's ELF section could not be represented in ECOFF. */
77 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
78 && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
80 /* The objfile we are currently reading. */
82 static struct objfile *mdebugread_objfile;
86 /* We put a pointer to this structure in the read_symtab_private field
91 /* Index of the FDR that this psymtab represents. */
93 /* The BFD that the psymtab was created from. */
95 const struct ecoff_debug_swap *debug_swap;
96 struct ecoff_debug_info *debug_info;
97 struct mdebug_pending **pending_list;
98 /* Pointer to external symbols for this file. */
100 /* Size of extern_tab. */
102 enum language pst_language;
105 #define PST_PRIVATE(p) ((struct symloc *)(p)->read_symtab_private)
106 #define FDR_IDX(p) (PST_PRIVATE(p)->fdr_idx)
107 #define CUR_BFD(p) (PST_PRIVATE(p)->cur_bfd)
108 #define DEBUG_SWAP(p) (PST_PRIVATE(p)->debug_swap)
109 #define DEBUG_INFO(p) (PST_PRIVATE(p)->debug_info)
110 #define PENDING_LIST(p) (PST_PRIVATE(p)->pending_list)
112 #define SC_IS_TEXT(sc) ((sc) == scText \
113 || (sc) == scRConst \
116 #define SC_IS_DATA(sc) ((sc) == scData \
121 #define SC_IS_COMMON(sc) ((sc) == scCommon || (sc) == scSCommon)
122 #define SC_IS_BSS(sc) ((sc) == scBss)
123 #define SC_IS_SBSS(sc) ((sc) == scSBss)
124 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
126 /* Various complaints about symbol reading that don't abort the process. */
128 index_complaint (const char *arg1)
130 complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
134 unknown_ext_complaint (const char *arg1)
136 complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
140 basic_type_complaint (int arg1, const char *arg2)
142 complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
147 bad_tag_guess_complaint (const char *arg1)
149 complaint (&symfile_complaints,
150 _("guessed tag type of %s incorrectly"), arg1);
154 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
156 complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
161 unexpected_type_code_complaint (const char *arg1)
163 complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
166 /* Macros and extra defs. */
168 /* Puns: hard to find whether -g was used and how. */
170 #define MIN_GLEVEL GLEVEL_0
171 #define compare_glevel(a,b) \
172 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
173 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
175 /* Things that really are local to this module. */
177 /* Remember what we deduced to be the source language of this psymtab. */
179 static enum language psymtab_language = language_unknown;
185 /* How to parse debugging information for CUR_BFD. */
187 static const struct ecoff_debug_swap *debug_swap;
189 /* Pointers to debugging information for CUR_BFD. */
191 static struct ecoff_debug_info *debug_info;
193 /* Pointer to current file decriptor record, and its index. */
198 /* Index of current symbol. */
202 /* Note how much "debuggable" this image is. We would like
203 to see at least one FDR with full symbols. */
205 static int max_gdbinfo;
206 static int max_glevel;
208 /* When examining .o files, report on undefined symbols. */
210 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
212 /* Pseudo symbol to use when putting stabs into the symbol table. */
214 static char stabs_symbol[] = STABS_SYMBOL;
216 /* Nonzero if we have seen ecoff debugging info for a file. */
218 static int found_ecoff_debugging_info;
220 /* Forward declarations. */
222 static int upgrade_type (int, struct type **, int, union aux_ext *,
225 static void parse_partial_symbols (struct objfile *);
227 static int has_opaque_xref (FDR *, SYMR *);
229 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
230 char **, int, char *);
232 static struct symbol *new_symbol (char *);
234 static struct type *new_type (char *);
236 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
238 static struct block *new_block (enum block_type);
240 static struct compunit_symtab *new_symtab (const char *, int, struct objfile *);
242 static struct linetable *new_linetable (int);
244 static struct blockvector *new_bvect (int);
246 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
249 static struct symbol *mylookup_symbol (char *, const struct block *,
250 domain_enum, enum address_class);
252 static void sort_blocks (struct symtab *);
254 static struct partial_symtab *new_psymtab (char *, struct objfile *);
256 static void psymtab_to_symtab_1 (struct objfile *objfile,
257 struct partial_symtab *, const char *);
259 static void add_block (struct block *, struct symtab *);
261 static void add_symbol (struct symbol *, struct symtab *, struct block *);
263 static int add_line (struct linetable *, int, CORE_ADDR, int);
265 static struct linetable *shrink_linetable (struct linetable *);
267 static void handle_psymbol_enumerators (struct objfile *, FDR *, int,
270 static char *mdebug_next_symbol_text (struct objfile *);
272 /* Exported procedure: Builds a symtab from the partial symtab SELF.
273 Restores the environment in effect when SELF was created, delegates
274 most of the work to an ancillary procedure, and sorts
275 and reorders the symtab list at the end. SELF is not NULL. */
278 mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
282 printf_filtered (_("Reading in symbols for %s..."), self->filename);
283 gdb_flush (gdb_stdout);
286 next_symbol_text_func = mdebug_next_symbol_text;
288 psymtab_to_symtab_1 (objfile, self, self->filename);
290 /* Match with global symbols. This only needs to be done once,
291 after all of the symtabs and dependencies have been read in. */
292 scan_file_globals (objfile);
295 printf_filtered (_("done.\n"));
298 /* File-level interface functions. */
300 /* Find a file descriptor given its index RF relative to a file CF. */
303 get_rfd (int cf, int rf)
309 fdrs = debug_info->fdr;
311 /* Object files do not have the RFD table, all refs are absolute. */
314 (*debug_swap->swap_rfd_in) (cur_bfd,
315 ((char *) debug_info->external_rfd
317 * debug_swap->external_rfd_size)),
322 /* Return a safer print NAME for a file descriptor. */
328 return "<stripped file>";
331 return debug_info->ss + f->issBase + f->rss;
335 /* Read in and parse the symtab of the file OBJFILE. Symbols from
336 different sections are relocated via the SECTION_OFFSETS. */
339 mdebug_build_psymtabs (struct objfile *objfile,
340 const struct ecoff_debug_swap *swap,
341 struct ecoff_debug_info *info)
343 cur_bfd = objfile->obfd;
347 stabsread_new_init ();
348 buildsym_new_init ();
349 free_header_files ();
350 init_header_files ();
352 /* Make sure all the FDR information is swapped in. */
353 if (info->fdr == (FDR *) NULL)
359 info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
360 (info->symbolic_header.ifdMax
362 fdr_src = info->external_fdr;
364 + info->symbolic_header.ifdMax * swap->external_fdr_size);
366 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
367 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
370 parse_partial_symbols (objfile);
373 /* Check to make sure file was compiled with -g. If not, warn the
374 user of this limitation. */
375 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
377 if (max_gdbinfo == 0)
378 printf_unfiltered (_("\n%s not compiled with -g, "
379 "debugging support is limited.\n"),
381 printf_unfiltered (_("You should compile with -g2 or "
382 "-g3 for best debugging support.\n"));
383 gdb_flush (gdb_stdout);
388 /* Local utilities */
390 /* Map of FDR indexes to partial symtabs. */
394 struct partial_symtab *pst; /* the psymtab proper */
395 long n_globals; /* exported globals (external symbols) */
396 long globals_offset; /* cumulative */
400 /* Utility stack, used to nest procedures and blocks properly.
401 It is a doubly linked list, to avoid too many alloc/free.
402 Since we might need it quite a few times it is NOT deallocated
405 static struct parse_stack
407 struct parse_stack *next, *prev;
408 struct symtab *cur_st; /* Current symtab. */
409 struct block *cur_block; /* Block in it. */
411 /* What are we parsing. stFile, or stBlock are for files and
412 blocks. stProc or stStaticProc means we have seen the start of a
413 procedure, but not the start of the block within in. When we see
414 the start of that block, we change it to stNil, without pushing a
415 new block, i.e. stNil means both a procedure and a block. */
419 struct type *cur_type; /* Type we parse fields for. */
420 int cur_field; /* Field number in cur_type. */
421 CORE_ADDR procadr; /* Start addres of this procedure. */
422 int numargs; /* Its argument count. */
425 *top_stack; /* Top stack ptr */
428 /* Enter a new lexical context. */
431 push_parse_stack (void)
433 struct parse_stack *newobj;
435 /* Reuse frames if possible. */
436 if (top_stack && top_stack->prev)
437 newobj = top_stack->prev;
439 newobj = (struct parse_stack *) xzalloc (sizeof (struct parse_stack));
440 /* Initialize new frame with previous content. */
443 struct parse_stack *prev = newobj->prev;
445 *newobj = *top_stack;
446 top_stack->prev = newobj;
448 newobj->next = top_stack;
453 /* Exit a lexical context. */
456 pop_parse_stack (void)
461 top_stack = top_stack->next;
465 /* Cross-references might be to things we haven't looked at
466 yet, e.g. type references. To avoid too many type
467 duplications we keep a quick fixup table, an array
468 of lists of references indexed by file descriptor. */
470 struct mdebug_pending
472 struct mdebug_pending *next; /* link */
473 char *s; /* the unswapped symbol */
474 struct type *t; /* its partial type descriptor */
478 /* The pending information is kept for an entire object file. We
479 allocate the pending information table when we create the partial
480 symbols, and we store a pointer to the single table in each
483 static struct mdebug_pending **pending_list;
485 /* Check whether we already saw symbol SH in file FH. */
487 static struct mdebug_pending *
488 is_pending_symbol (FDR *fh, char *sh)
490 int f_idx = fh - debug_info->fdr;
491 struct mdebug_pending *p;
493 /* Linear search is ok, list is typically no more than 10 deep. */
494 for (p = pending_list[f_idx]; p; p = p->next)
500 /* Add a new symbol SH of type T. */
503 add_pending (FDR *fh, char *sh, struct type *t)
505 int f_idx = fh - debug_info->fdr;
506 struct mdebug_pending *p = is_pending_symbol (fh, sh);
508 /* Make sure we do not make duplicates. */
511 p = ((struct mdebug_pending *)
512 obstack_alloc (&mdebugread_objfile->objfile_obstack,
513 sizeof (struct mdebug_pending)));
516 p->next = pending_list[f_idx];
517 pending_list[f_idx] = p;
522 /* Parsing Routines proper. */
524 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
525 For blocks, procedures and types we open a new lexical context.
526 This is basically just a big switch on the symbol's type. Argument
527 AX is the base pointer of aux symbols for this file (fh->iauxBase).
528 EXT_SH points to the unswapped symbol, which is needed for struct,
529 union, etc., types; it is NULL for an EXTR. BIGEND says whether
530 aux symbols are big-endian or little-endian. Return count of
531 SYMR's handled (normally one). */
534 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
536 return gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
539 static const struct symbol_register_ops mdebug_register_funcs = {
543 /* The "aclass" indices for computed symbols. */
545 static int mdebug_register_index;
546 static int mdebug_regparm_index;
549 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
550 struct section_offsets *section_offsets, struct objfile *objfile)
552 struct gdbarch *gdbarch = get_objfile_arch (objfile);
553 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
554 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
558 struct mdebug_pending *pend;
562 enum address_class theclass;
564 long svalue = sh->value;
567 if (ext_sh == (char *) NULL)
568 name = debug_info->ssext + sh->iss;
570 name = debug_info->ss + cur_fdr->issBase + sh->iss;
576 /* Do not relocate relative values.
577 The value of a stEnd symbol is the displacement from the
578 corresponding start symbol value.
579 The value of a stBlock symbol is the displacement from the
580 procedure address. */
581 if (sh->st != stEnd && sh->st != stBlock)
582 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
589 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
593 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
602 case stGlobal: /* External symbol, goes into global block. */
603 theclass = LOC_STATIC;
604 b = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
606 s = new_symbol (name);
607 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
610 case stStatic: /* Static data, goes into current block. */
611 theclass = LOC_STATIC;
612 b = top_stack->cur_block;
613 s = new_symbol (name);
614 if (SC_IS_COMMON (sh->sc))
616 /* It is a FORTRAN common block. At least for SGI Fortran the
617 address is not in the symbol; we need to fix it later in
618 scan_file_globals. */
619 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
620 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
621 global_sym_chain[bucket] = s;
624 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
627 case stLocal: /* Local variable, goes into current block. */
628 b = top_stack->cur_block;
629 s = new_symbol (name);
630 SYMBOL_VALUE (s) = svalue;
631 if (sh->sc == scRegister)
632 theclass = mdebug_register_index;
634 theclass = LOC_LOCAL;
636 data: /* Common code for symbols describing data. */
637 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
638 SYMBOL_ACLASS_INDEX (s) = theclass;
639 add_symbol (s, top_stack->cur_st, b);
641 /* Type could be missing if file is compiled without debugging info. */
642 if (SC_IS_UNDEF (sh->sc)
643 || sh->sc == scNil || sh->index == indexNil)
644 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
646 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
647 /* Value of a data symbol is its memory address. */
650 case stParam: /* Arg to procedure, goes into current
653 found_ecoff_debugging_info = 1;
654 top_stack->numargs++;
656 /* Special GNU C++ name. */
657 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
658 name = "this"; /* FIXME, not alloc'd in obstack. */
659 s = new_symbol (name);
661 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
662 SYMBOL_IS_ARGUMENT (s) = 1;
666 /* Pass by value in register. */
667 SYMBOL_ACLASS_INDEX (s) = mdebug_register_index;
670 /* Pass by reference on stack. */
671 SYMBOL_ACLASS_INDEX (s) = LOC_REF_ARG;
674 /* Pass by reference in register. */
675 SYMBOL_ACLASS_INDEX (s) = mdebug_regparm_index;
678 /* Pass by value on stack. */
679 SYMBOL_ACLASS_INDEX (s) = LOC_ARG;
682 SYMBOL_VALUE (s) = svalue;
683 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
684 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
687 case stLabel: /* label, goes into current block. */
688 s = new_symbol (name);
689 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
690 SYMBOL_ACLASS_INDEX (s) = LOC_LABEL; /* but not misused. */
691 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
692 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
693 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
696 case stProc: /* Procedure, usually goes into global block. */
697 case stStaticProc: /* Static procedure, goes into current block. */
698 /* For stProc symbol records, we need to check the storage class
699 as well, as only (stProc, scText) entries represent "real"
700 procedures - See the Compaq document titled "Object File /
701 Symbol Table Format Specification" for more information.
702 If the storage class is not scText, we discard the whole block
703 of symbol records for this stProc. */
704 if (sh->st == stProc && sh->sc != scText)
706 char *ext_tsym = ext_sh;
707 int keep_counting = 1;
710 while (keep_counting)
712 ext_tsym += external_sym_size;
713 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
723 complaint (&symfile_complaints,
724 _("unknown symbol type 0x%x"), sh->st);
730 s = new_symbol (name);
731 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
732 SYMBOL_ACLASS_INDEX (s) = LOC_BLOCK;
733 /* Type of the return value. */
734 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
735 t = objfile_type (objfile)->builtin_int;
738 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
739 if (strcmp (name, "malloc") == 0
740 && TYPE_CODE (t) == TYPE_CODE_VOID)
742 /* I don't know why, but, at least under Alpha GNU/Linux,
743 when linking against a malloc without debugging
744 symbols, its read as a function returning void---this
745 is bad because it means we cannot call functions with
746 string arguments interactively; i.e., "call
747 printf("howdy\n")" would fail with the error message
748 "program has no memory available". To avoid this, we
749 patch up the type and make it void*
750 instead. (davidm@azstarnet.com). */
751 t = make_pointer_type (t, NULL);
754 b = top_stack->cur_block;
755 if (sh->st == stProc)
757 const struct blockvector *bv
758 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
760 /* The next test should normally be true, but provides a
761 hook for nested functions (which we don't want to make
763 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
764 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
765 /* Irix 5 sometimes has duplicate names for the same
766 function. We want to add such names up at the global
767 level, not as a nested function. */
768 else if (sh->value == top_stack->procadr)
769 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
771 add_symbol (s, top_stack->cur_st, b);
773 /* Make a type for the procedure itself. */
774 SYMBOL_TYPE (s) = lookup_function_type (t);
776 /* All functions in C++ have prototypes. For C we don't have enough
777 information in the debug info. */
778 if (SYMBOL_LANGUAGE (s) == language_cplus)
779 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
781 /* Create and enter a new lexical context. */
782 b = new_block (FUNCTION_BLOCK);
783 SYMBOL_BLOCK_VALUE (s) = b;
784 BLOCK_FUNCTION (b) = s;
785 BLOCK_START (b) = BLOCK_END (b) = sh->value;
786 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
787 add_block (b, top_stack->cur_st);
789 /* Not if we only have partial info. */
790 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
794 top_stack->cur_block = b;
795 top_stack->blocktype = sh->st;
796 top_stack->cur_type = SYMBOL_TYPE (s);
797 top_stack->cur_field = -1;
798 top_stack->procadr = sh->value;
799 top_stack->numargs = 0;
802 /* Beginning of code for structure, union, and enum definitions.
803 They all share a common set of local variables, defined here. */
805 enum type_code type_code;
811 case stStruct: /* Start a block defining a struct type. */
812 type_code = TYPE_CODE_STRUCT;
813 goto structured_common;
815 case stUnion: /* Start a block defining a union type. */
816 type_code = TYPE_CODE_UNION;
817 goto structured_common;
819 case stEnum: /* Start a block defining an enum type. */
820 type_code = TYPE_CODE_ENUM;
821 goto structured_common;
823 case stBlock: /* Either a lexical block, or some type. */
824 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
825 goto case_stBlock_code; /* Lexical block */
827 type_code = TYPE_CODE_UNDEF; /* We have a type. */
829 /* Common code for handling struct, union, enum, and/or as-yet-
830 unknown-type blocks of info about structured data. `type_code'
831 has been set to the proper TYPE_CODE, if we know it. */
833 found_ecoff_debugging_info = 1;
835 top_stack->blocktype = stBlock;
837 /* First count the number of fields and the highest value. */
840 for (ext_tsym = ext_sh + external_sym_size;
842 ext_tsym += external_sym_size)
846 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
851 /* C++ encodes class types as structures where there the
852 methods are encoded as stProc. The scope of stProc
853 symbols also ends with stEnd, thus creating a risk of
854 taking the wrong stEnd symbol record as the end of
855 the current struct, which would cause GDB to undercount
856 the real number of fields in this struct. To make sure
857 we really reached the right stEnd symbol record, we
858 check the associated name, and match it against the
859 struct name. Since method names are mangled while
860 the class name is not, there is no risk of having a
861 method whose name is identical to the class name
862 (in particular constructor method names are different
863 from the class name). There is therefore no risk that
864 this check stops the count on the StEnd of a method.
866 Also, assume that we're really at the end when tsym.iss
868 if (tsym.iss == issNull
869 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
875 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
877 /* If the type of the member is Nil (or Void),
878 without qualifiers, assume the tag is an
880 Alpha cc -migrate enums are recognized by a zero
881 index and a zero symbol value.
882 DU 4.0 cc enums are recognized by a member type of
883 btEnum without qualifiers and a zero symbol value. */
884 if (tsym.index == indexNil
885 || (tsym.index == 0 && sh->value == 0))
886 type_code = TYPE_CODE_ENUM;
889 (*debug_swap->swap_tir_in) (bigend,
890 &ax[tsym.index].a_ti,
892 if ((tir.bt == btNil || tir.bt == btVoid
893 || (tir.bt == btEnum && sh->value == 0))
895 type_code = TYPE_CODE_ENUM;
899 if (tsym.value > max_value)
900 max_value = tsym.value;
909 /* This is a no-op; is it trying to tell us something
910 we should be checking? */
911 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
915 /* This is something like a struct within a
916 struct. Skip over the fields of the inner
917 struct. The -1 is because the for loop will
918 increment ext_tsym. */
919 ext_tsym = ((char *) debug_info->external_sym
920 + ((cur_fdr->isymBase + tsym.index - 1)
921 * external_sym_size));
927 /* mips cc puts out a typedef for struct x if it is not yet
928 defined when it encounters
929 struct y { struct x *xp; };
934 /* Irix5 cc puts out a stIndirect for struct x if it is not
935 yet defined when it encounters
936 struct y { struct x *xp; };
941 complaint (&symfile_complaints,
942 _("declaration block contains "
943 "unhandled symbol type %d"),
949 /* In an stBlock, there is no way to distinguish structs,
950 unions, and enums at this point. This is a bug in the
951 original design (that has been fixed with the recent
952 addition of the stStruct, stUnion, and stEnum symbol
953 types.) The way you can tell is if/when you see a variable
954 or field of that type. In that case the variable's type
955 (in the AUX table) says if the type is struct, union, or
956 enum, and points back to the stBlock here. So you can
957 patch the tag kind up later - but only if there actually is
958 a variable or field of that type.
960 So until we know for sure, we will guess at this point.
962 If the first member has index==indexNil or a void type,
963 assume we have an enumeration.
964 Otherwise, if there is more than one member, and all
965 the members have offset 0, assume we have a union.
966 Otherwise, assume we have a struct.
968 The heuristic could guess wrong in the case of of an
969 enumeration with no members or a union with one (or zero)
970 members, or when all except the last field of a struct have
971 width zero. These are uncommon and/or illegal situations,
972 and in any case guessing wrong probably doesn't matter
975 But if we later do find out we were wrong, we fixup the tag
976 kind. Members of an enumeration must be handled
977 differently from struct/union fields, and that is harder to
978 patch up, but luckily we shouldn't need to. (If there are
979 any enumeration members, we can tell for sure it's an enum
982 if (type_code == TYPE_CODE_UNDEF)
984 if (nfields > 1 && max_value == 0)
985 type_code = TYPE_CODE_UNION;
987 type_code = TYPE_CODE_STRUCT;
990 /* Create a new type or use the pending type. */
991 pend = is_pending_symbol (cur_fdr, ext_sh);
992 if (pend == (struct mdebug_pending *) NULL)
995 add_pending (cur_fdr, ext_sh, t);
1000 /* Do not set the tag name if it is a compiler generated tag name
1001 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1002 Alpha cc puts out an sh->iss of zero for those. */
1003 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1004 TYPE_TAG_NAME (t) = NULL;
1006 TYPE_TAG_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1007 name, (char *) NULL);
1009 TYPE_CODE (t) = type_code;
1010 TYPE_LENGTH (t) = sh->value;
1011 TYPE_NFIELDS (t) = nfields;
1012 TYPE_FIELDS (t) = f = ((struct field *)
1014 nfields * sizeof (struct field)));
1016 if (type_code == TYPE_CODE_ENUM)
1018 int unsigned_enum = 1;
1020 /* This is a non-empty enum. */
1022 /* DEC c89 has the number of enumerators in the sh.value field,
1023 not the type length, so we have to compensate for that
1024 incompatibility quirk.
1025 This might do the wrong thing for an enum with one or two
1026 enumerators and gcc -gcoff -fshort-enums, but these cases
1027 are hopefully rare enough.
1028 Alpha cc -migrate has a sh.value field of zero, we adjust
1030 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1031 || TYPE_LENGTH (t) == 0)
1032 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1033 for (ext_tsym = ext_sh + external_sym_size;
1035 ext_tsym += external_sym_size)
1038 struct symbol *enum_sym;
1040 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1042 if (tsym.st != stMember)
1045 SET_FIELD_ENUMVAL (*f, tsym.value);
1046 FIELD_TYPE (*f) = t;
1047 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1048 FIELD_BITSIZE (*f) = 0;
1050 enum_sym = allocate_symbol (mdebugread_objfile);
1051 SYMBOL_SET_LINKAGE_NAME
1053 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1054 f->name, strlen (f->name)));
1055 SYMBOL_ACLASS_INDEX (enum_sym) = LOC_CONST;
1056 SYMBOL_TYPE (enum_sym) = t;
1057 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1058 SYMBOL_VALUE (enum_sym) = tsym.value;
1059 if (SYMBOL_VALUE (enum_sym) < 0)
1061 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1063 /* Skip the stMembers that we've handled. */
1068 TYPE_UNSIGNED (t) = 1;
1070 /* Make this the current type. */
1071 top_stack->cur_type = t;
1072 top_stack->cur_field = 0;
1074 /* Do not create a symbol for alpha cc unnamed structs. */
1078 /* gcc puts out an empty struct for an opaque struct definitions,
1079 do not create a symbol for it either. */
1080 if (TYPE_NFIELDS (t) == 0)
1086 s = new_symbol (name);
1087 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1088 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1089 SYMBOL_VALUE (s) = 0;
1090 SYMBOL_TYPE (s) = t;
1091 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1094 /* End of local variables shared by struct, union, enum, and
1095 block (as yet unknown struct/union/enum) processing. */
1099 found_ecoff_debugging_info = 1;
1100 /* Beginnning of (code) block. Value of symbol
1101 is the displacement from procedure start. */
1102 push_parse_stack ();
1104 /* Do not start a new block if this is the outermost block of a
1105 procedure. This allows the LOC_BLOCK symbol to point to the
1106 block with the local variables, so funcname::var works. */
1107 if (top_stack->blocktype == stProc
1108 || top_stack->blocktype == stStaticProc)
1110 top_stack->blocktype = stNil;
1114 top_stack->blocktype = stBlock;
1115 b = new_block (NON_FUNCTION_BLOCK);
1116 BLOCK_START (b) = sh->value + top_stack->procadr;
1117 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1118 top_stack->cur_block = b;
1119 add_block (b, top_stack->cur_st);
1122 case stEnd: /* end (of anything) */
1123 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1125 /* Finished with type */
1126 top_stack->cur_type = 0;
1128 else if (sh->sc == scText &&
1129 (top_stack->blocktype == stProc ||
1130 top_stack->blocktype == stStaticProc))
1132 /* Finished with procedure */
1133 const struct blockvector *bv
1134 = SYMTAB_BLOCKVECTOR (top_stack->cur_st);
1135 struct mdebug_extra_func_info *e;
1136 struct block *b = top_stack->cur_block;
1137 struct type *ftype = top_stack->cur_type;
1140 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1142 /* Make up special symbol to contain procedure specific info. */
1143 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1144 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1145 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
1146 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1147 e = ((struct mdebug_extra_func_info *)
1148 obstack_alloc (&mdebugread_objfile->objfile_obstack,
1149 sizeof (struct mdebug_extra_func_info)));
1150 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1151 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1152 e->numargs = top_stack->numargs;
1153 e->pdr.framereg = -1;
1154 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1156 /* f77 emits proc-level with address bounds==[0,0],
1157 So look for such child blocks, and patch them. */
1158 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1160 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1162 if (BLOCK_SUPERBLOCK (b_bad) == b
1163 && BLOCK_START (b_bad) == top_stack->procadr
1164 && BLOCK_END (b_bad) == top_stack->procadr)
1166 BLOCK_START (b_bad) = BLOCK_START (b);
1167 BLOCK_END (b_bad) = BLOCK_END (b);
1171 if (TYPE_NFIELDS (ftype) <= 0)
1173 /* No parameter type information is recorded with the function's
1174 type. Set that from the type of the parameter symbols. */
1175 int nparams = top_stack->numargs;
1181 struct block_iterator iter;
1183 TYPE_NFIELDS (ftype) = nparams;
1184 TYPE_FIELDS (ftype) = (struct field *)
1185 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1188 ALL_BLOCK_SYMBOLS (b, iter, sym)
1190 if (iparams == nparams)
1193 if (SYMBOL_IS_ARGUMENT (sym))
1195 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1196 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1203 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1205 /* End of (code) block. The value of the symbol is the
1206 displacement from the procedure`s start address of the
1207 end of this block. */
1208 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1210 else if (sh->sc == scText && top_stack->blocktype == stNil)
1212 /* End of outermost block. Pop parse stack and ignore. The
1213 following stEnd of stProc will take care of the block. */
1216 else if (sh->sc == scText && top_stack->blocktype == stFile)
1218 /* End of file. Pop parse stack and ignore. Higher
1219 level code deals with this. */
1223 complaint (&symfile_complaints,
1224 _("stEnd with storage class %d not handled"), sh->sc);
1226 pop_parse_stack (); /* Restore previous lexical context. */
1229 case stMember: /* member of struct or union */
1230 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1231 FIELD_NAME (*f) = name;
1232 SET_FIELD_BITPOS (*f, sh->value);
1234 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1235 &bitsize, bigend, name);
1236 FIELD_BITSIZE (*f) = bitsize;
1239 case stIndirect: /* forward declaration on Irix5 */
1240 /* Forward declarations from Irix5 cc are handled by cross_ref,
1244 case stTypedef: /* type definition */
1245 found_ecoff_debugging_info = 1;
1247 /* Typedefs for forward declarations and opaque structs from alpha cc
1248 are handled by cross_ref, skip them. */
1252 /* Parse the type or use the pending type. */
1253 pend = is_pending_symbol (cur_fdr, ext_sh);
1254 if (pend == (struct mdebug_pending *) NULL)
1256 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1257 add_pending (cur_fdr, ext_sh, t);
1262 /* Mips cc puts out a typedef with the name of the struct for forward
1263 declarations. These should not go into the symbol table and
1264 TYPE_NAME should not be set for them.
1265 They can't be distinguished from an intentional typedef to
1266 the same name however:
1268 struct x { int ix; int jx; };
1272 struct xx {int ixx; int jxx; };
1273 generates a cross referencing stTypedef for x and xx.
1274 The user visible effect of this is that the type of a pointer
1275 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1276 The problem is fixed with alpha cc and Irix5 cc. */
1278 /* However if the typedef cross references to an opaque aggregate, it
1279 is safe to omit it from the symbol table. */
1281 if (has_opaque_xref (cur_fdr, sh))
1283 s = new_symbol (name);
1284 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1285 SYMBOL_ACLASS_INDEX (s) = LOC_TYPEDEF;
1286 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1287 SYMBOL_TYPE (s) = t;
1288 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1290 /* Incomplete definitions of structs should not get a name. */
1291 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1292 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1293 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1294 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1296 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1297 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1299 /* If we are giving a name to a type such as "pointer to
1300 foo" or "function returning foo", we better not set
1301 the TYPE_NAME. If the program contains "typedef char
1302 *caddr_t;", we don't want all variables of type char
1303 * to print as caddr_t. This is not just a
1304 consequence of GDB's type management; CC and GCC (at
1305 least through version 2.4) both output variables of
1306 either type char * or caddr_t with the type
1307 refering to the stTypedef symbol for caddr_t. If a future
1308 compiler cleans this up it GDB is not ready for it
1309 yet, but if it becomes ready we somehow need to
1310 disable this check (without breaking the PCC/GCC2.4
1315 Fortunately, this check seems not to be necessary
1316 for anything except pointers or functions. */
1319 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1323 case stFile: /* file name */
1324 push_parse_stack ();
1325 top_stack->blocktype = sh->st;
1328 /* I`ve never seen these for C */
1330 break; /* register relocation */
1332 break; /* forwarding address */
1334 break; /* constant */
1336 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1345 static const struct objfile_data *basic_type_data;
1347 static struct type *
1348 basic_type (int bt, struct objfile *objfile)
1350 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1351 struct type **map_bt = objfile_data (objfile, basic_type_data);
1359 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1360 btMax, struct type *);
1361 set_objfile_data (objfile, basic_type_data, map_bt);
1370 tp = objfile_type (objfile)->builtin_void;
1374 tp = init_type (TYPE_CODE_PTR, 4, TYPE_FLAG_UNSIGNED,
1376 TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
1380 tp = init_type (TYPE_CODE_INT, 1, 0,
1385 tp = init_type (TYPE_CODE_INT, 1, TYPE_FLAG_UNSIGNED,
1386 "unsigned char", objfile);
1390 tp = init_type (TYPE_CODE_INT, 2, 0,
1395 tp = init_type (TYPE_CODE_INT, 2, TYPE_FLAG_UNSIGNED,
1396 "unsigned short", objfile);
1400 tp = init_type (TYPE_CODE_INT, 4, 0,
1405 tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
1406 "unsigned int", objfile);
1410 tp = init_type (TYPE_CODE_INT, 4, 0,
1415 tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
1416 "unsigned long", objfile);
1420 tp = init_type (TYPE_CODE_FLT,
1421 gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1426 tp = init_type (TYPE_CODE_FLT,
1427 gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1432 tp = init_type (TYPE_CODE_COMPLEX,
1433 2 * gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1434 "complex", objfile);
1435 TYPE_TARGET_TYPE (tp) = basic_type (btFloat, objfile);
1439 tp = init_type (TYPE_CODE_COMPLEX,
1440 2 * gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1441 "double complex", objfile);
1442 TYPE_TARGET_TYPE (tp) = basic_type (btDouble, objfile);
1446 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1447 good? Would we be better off with TYPE_CODE_ERROR? Should
1448 TYPE_CODE_ERROR print things in hex if it knows the size? */
1449 tp = init_type (TYPE_CODE_INT,
1450 gdbarch_int_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1451 "fixed decimal", objfile);
1455 tp = init_type (TYPE_CODE_ERROR,
1456 gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1457 "floating decimal", objfile);
1461 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1463 tp = init_type (TYPE_CODE_STRING, 1, 0,
1468 tp = objfile_type (objfile)->builtin_void;
1472 tp = init_type (TYPE_CODE_INT, 8, 0,
1477 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1478 "unsigned long", objfile);
1482 tp = init_type (TYPE_CODE_INT, 8, 0,
1483 "long long", objfile);
1487 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1488 "unsigned long long", objfile);
1492 tp = init_type (TYPE_CODE_PTR, 8, TYPE_FLAG_UNSIGNED,
1494 TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
1498 tp = init_type (TYPE_CODE_INT, 8, 0,
1503 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1504 "unsigned int", objfile);
1516 /* Parse the type information provided in the raw AX entries for
1517 the symbol SH. Return the bitfield size in BS, in case.
1518 We must byte-swap the AX entries before we use them; BIGEND says whether
1519 they are big-endian or little-endian (from fh->fBigendian). */
1521 static struct type *
1522 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1523 int bigend, char *sym_name)
1526 struct type *tp = 0;
1527 enum type_code type_code = TYPE_CODE_UNDEF;
1529 /* Handle undefined types, they have indexNil. */
1530 if (aux_index == indexNil)
1531 return basic_type (btInt, mdebugread_objfile);
1533 /* Handle corrupt aux indices. */
1534 if (aux_index >= (debug_info->fdr + fd)->caux)
1536 index_complaint (sym_name);
1537 return basic_type (btInt, mdebugread_objfile);
1541 /* Use aux as a type information record, map its basic type. */
1542 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1543 tp = basic_type (t->bt, mdebugread_objfile);
1546 /* Cannot use builtin types -- build our own. */
1550 type_code = TYPE_CODE_STRUCT;
1553 type_code = TYPE_CODE_UNION;
1556 type_code = TYPE_CODE_ENUM;
1559 type_code = TYPE_CODE_RANGE;
1562 type_code = TYPE_CODE_SET;
1565 /* alpha cc -migrate uses this for typedefs. The true type will
1566 be obtained by crossreferencing below. */
1567 type_code = TYPE_CODE_ERROR;
1570 /* alpha cc uses this for typedefs. The true type will be
1571 obtained by crossreferencing below. */
1572 type_code = TYPE_CODE_ERROR;
1575 basic_type_complaint (t->bt, sym_name);
1576 return basic_type (btInt, mdebugread_objfile);
1580 /* Move on to next aux. */
1585 int width = AUX_GET_WIDTH (bigend, ax);
1587 /* Inhibit core dumps if TIR is corrupted. */
1588 if (bs == (int *) NULL)
1590 /* Alpha cc -migrate encodes char and unsigned char types
1591 as short and unsigned short types with a field width of 8.
1592 Enum types also have a field width which we ignore for now. */
1593 if (t->bt == btShort && width == 8)
1594 tp = basic_type (btChar, mdebugread_objfile);
1595 else if (t->bt == btUShort && width == 8)
1596 tp = basic_type (btUChar, mdebugread_objfile);
1597 else if (t->bt == btEnum)
1600 complaint (&symfile_complaints,
1601 _("can't handle TIR fBitfield for %s"),
1609 /* A btIndirect entry cross references to an aux entry containing
1611 if (t->bt == btIndirect)
1618 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1620 if (rn->rfd == 0xfff)
1622 rf = AUX_GET_ISYM (bigend, ax);
1630 complaint (&symfile_complaints,
1631 _("unable to cross ref btIndirect for %s"), sym_name);
1632 return basic_type (btInt, mdebugread_objfile);
1634 xref_fh = get_rfd (fd, rf);
1635 xref_fd = xref_fh - debug_info->fdr;
1636 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1637 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1640 /* All these types really point to some (common) MIPS type
1641 definition, and only the type-qualifiers fully identify
1642 them. We'll make the same effort at sharing. */
1643 if (t->bt == btStruct ||
1647 /* btSet (I think) implies that the name is a tag name, not a typedef
1648 name. This apparently is a MIPS extension for C sets. */
1653 /* Try to cross reference this type, build new type on failure. */
1654 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1655 if (tp == (struct type *) NULL)
1656 tp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
1658 /* DEC c89 produces cross references to qualified aggregate types,
1659 dereference them. */
1660 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1661 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1662 tp = TYPE_TARGET_TYPE (tp);
1664 /* Make sure that TYPE_CODE(tp) has an expected type code.
1665 Any type may be returned from cross_ref if file indirect entries
1667 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1668 && TYPE_CODE (tp) != TYPE_CODE_UNION
1669 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1671 unexpected_type_code_complaint (sym_name);
1675 /* Usually, TYPE_CODE(tp) is already type_code. The main
1676 exception is if we guessed wrong re struct/union/enum.
1677 But for struct vs. union a wrong guess is harmless, so
1678 don't complain(). */
1679 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1680 && type_code != TYPE_CODE_ENUM)
1681 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1682 && type_code == TYPE_CODE_ENUM))
1684 bad_tag_guess_complaint (sym_name);
1687 if (TYPE_CODE (tp) != type_code)
1689 TYPE_CODE (tp) = type_code;
1692 /* Do not set the tag name if it is a compiler generated tag name
1693 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1694 if (name[0] == '.' || name[0] == '\0')
1695 TYPE_TAG_NAME (tp) = NULL;
1696 else if (TYPE_TAG_NAME (tp) == NULL
1697 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1699 = obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1700 name, strlen (name));
1704 /* All these types really point to some (common) MIPS type
1705 definition, and only the type-qualifiers fully identify
1706 them. We'll make the same effort at sharing.
1707 FIXME: We are not doing any guessing on range types. */
1708 if (t->bt == btRange)
1712 /* Try to cross reference this type, build new type on failure. */
1713 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1714 if (tp == (struct type *) NULL)
1715 tp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
1717 /* Make sure that TYPE_CODE(tp) has an expected type code.
1718 Any type may be returned from cross_ref if file indirect entries
1720 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1722 unexpected_type_code_complaint (sym_name);
1726 /* Usually, TYPE_CODE(tp) is already type_code. The main
1727 exception is if we guessed wrong re struct/union/enum. */
1728 if (TYPE_CODE (tp) != type_code)
1730 bad_tag_guess_complaint (sym_name);
1731 TYPE_CODE (tp) = type_code;
1733 if (TYPE_NAME (tp) == NULL
1734 || strcmp (TYPE_NAME (tp), name) != 0)
1736 = obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1737 name, strlen (name));
1740 if (t->bt == btTypedef)
1744 /* Try to cross reference this type, it should succeed. */
1745 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1746 if (tp == (struct type *) NULL)
1748 complaint (&symfile_complaints,
1749 _("unable to cross ref btTypedef for %s"), sym_name);
1750 tp = basic_type (btInt, mdebugread_objfile);
1754 /* Deal with range types. */
1755 if (t->bt == btRange)
1757 TYPE_NFIELDS (tp) = 0;
1758 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1759 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1760 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1762 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1766 /* Parse all the type qualifiers now. If there are more
1767 than 6 the game will continue in the next aux. */
1771 #define PARSE_TQ(tq) \
1772 if (t->tq != tqNil) \
1773 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1785 /* mips cc 2.x and gcc never put out continued aux entries. */
1789 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1793 /* Complain for illegal continuations due to corrupt aux entries. */
1795 complaint (&symfile_complaints,
1796 _("illegal TIR continued for %s"), sym_name);
1801 /* Make up a complex type from a basic one. Type is passed by
1802 reference in TPP and side-effected as necessary. The type
1803 qualifier TQ says how to handle the aux symbols at AX for
1804 the symbol SX we are currently analyzing. BIGEND says whether
1805 aux symbols are big-endian or little-endian.
1806 Returns the number of aux symbols we parsed. */
1809 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1815 /* Used in array processing. */
1826 t = lookup_pointer_type (*tpp);
1831 t = lookup_function_type (*tpp);
1838 /* Determine and record the domain type (type of index). */
1839 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1845 rf = AUX_GET_ISYM (bigend, ax);
1848 fh = get_rfd (fd, rf);
1850 indx = parse_type (fh - debug_info->fdr,
1851 debug_info->external_aux + fh->iauxBase,
1852 id, (int *) NULL, bigend, sym_name);
1854 /* The bounds type should be an integer type, but might be anything
1855 else due to corrupt aux entries. */
1856 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1858 complaint (&symfile_complaints,
1859 _("illegal array index type for %s, assuming int"),
1861 indx = objfile_type (mdebugread_objfile)->builtin_int;
1864 /* Get the bounds, and create the array type. */
1866 lower = AUX_GET_DNLOW (bigend, ax);
1868 upper = AUX_GET_DNHIGH (bigend, ax);
1870 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1872 range = create_static_range_type ((struct type *) NULL, indx,
1875 t = create_array_type ((struct type *) NULL, *tpp, range);
1877 /* We used to fill in the supplied array element bitsize
1878 here if the TYPE_LENGTH of the target type was zero.
1879 This happens for a `pointer to an array of anonymous structs',
1880 but in this case the array element bitsize is also zero,
1881 so nothing is gained.
1882 And we used to check the TYPE_LENGTH of the target type against
1883 the supplied array element bitsize.
1884 gcc causes a mismatch for `pointer to array of object',
1885 since the sdb directives it uses do not have a way of
1886 specifying the bitsize, but it does no harm (the
1887 TYPE_LENGTH should be correct) and we should be able to
1888 ignore the erroneous bitsize from the auxiliary entry safely.
1889 dbx seems to ignore it too. */
1891 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1892 if (TYPE_LENGTH (*tpp) == 0)
1893 TYPE_TARGET_STUB (t) = 1;
1899 /* Volatile -- currently ignored */
1903 /* Const -- currently ignored */
1907 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1913 /* Parse a procedure descriptor record PR. Note that the procedure is
1914 parsed _after_ the local symbols, now we just insert the extra
1915 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1916 already been placed in the procedure's main block. Note also that
1917 images that have been partially stripped (ld -x) have been deprived
1918 of local symbols, and we have to cope with them here. FIRST_OFF is
1919 the offset of the first procedure for this FDR; we adjust the
1920 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1921 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1922 in question, or NULL to use top_stack->cur_block. */
1925 parse_procedure (PDR *pr, struct compunit_symtab *search_symtab,
1926 struct partial_symtab *pst)
1928 struct symbol *s, *i;
1929 const struct block *b;
1932 /* Simple rule to find files linked "-x". */
1933 if (cur_fdr->rss == -1)
1937 /* Static procedure at address pr->adr. Sigh. */
1938 /* FIXME-32x64. assuming pr->adr fits in long. */
1939 complaint (&symfile_complaints,
1940 _("can't handle PDR for static proc at 0x%lx"),
1941 (unsigned long) pr->adr);
1949 (*debug_swap->swap_ext_in) (cur_bfd,
1950 ((char *) debug_info->external_ext
1952 * debug_swap->external_ext_size)),
1954 sh_name = debug_info->ssext + she.asym.iss;
1962 (*debug_swap->swap_sym_in) (cur_bfd,
1963 ((char *) debug_info->external_sym
1964 + ((cur_fdr->isymBase + pr->isym)
1965 * debug_swap->external_sym_size)),
1967 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1970 if (search_symtab != NULL)
1973 /* This loses both in the case mentioned (want a static, find a global),
1974 but also if we are looking up a non-mangled name which happens to
1975 match the name of a mangled function. */
1976 /* We have to save the cur_fdr across the call to lookup_symbol.
1977 If the pdr is for a static function and if a global function with
1978 the same name exists, lookup_symbol will eventually read in the symtab
1979 for the global function and clobber cur_fdr. */
1980 FDR *save_cur_fdr = cur_fdr;
1982 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1983 cur_fdr = save_cur_fdr;
1987 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab),
1994 s = mylookup_symbol (sh_name, top_stack->cur_block,
1995 VAR_DOMAIN, LOC_BLOCK);
1999 b = SYMBOL_BLOCK_VALUE (s);
2003 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
2007 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
2008 s = new_symbol (sh_name);
2009 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2010 SYMBOL_CLASS (s) = LOC_BLOCK;
2011 /* Donno its type, hope int is ok. */
2013 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2014 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2015 /* Won't have symbols for this one. */
2017 SYMBOL_BLOCK_VALUE (s) = b;
2018 BLOCK_FUNCTION (b) = s;
2019 BLOCK_START (b) = pr->adr;
2020 /* BOUND used to be the end of procedure's text, but the
2021 argument is no longer passed in. */
2022 BLOCK_END (b) = bound;
2023 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2024 add_block (b, top_stack->cur_st);
2028 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2032 struct mdebug_extra_func_info *e;
2034 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2037 /* GDB expects the absolute function start address for the
2038 procedure descriptor in e->pdr.adr.
2039 As the address in the procedure descriptor is usually relative,
2040 we would have to relocate e->pdr.adr with cur_fdr->adr and
2041 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2042 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2043 in shared libraries on some systems, and on other systems
2044 e->pdr.adr is sometimes offset by a bogus value.
2045 To work around these problems, we replace e->pdr.adr with
2046 the start address of the function. */
2047 e->pdr.adr = BLOCK_START (b);
2050 /* It would be reasonable that functions that have been compiled
2051 without debugging info have a btNil type for their return value,
2052 and functions that are void and are compiled with debugging info
2054 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2055 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2057 The glevel field in cur_fdr could be used to determine the presence
2058 of debugging info, but GCC doesn't always pass the -g switch settings
2059 to the assembler and GAS doesn't set the glevel field from the -g switch
2061 To work around these problems, the return value type of a TYPE_CODE_VOID
2062 function is adjusted accordingly if no debugging info was found in the
2063 compilation unit. */
2065 if (processing_gcc_compilation == 0
2066 && found_ecoff_debugging_info == 0
2067 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2068 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2071 /* Parse the external symbol ES. Just call parse_symbol() after
2072 making sure we know where the aux are for it.
2073 BIGEND says whether aux entries are big-endian or little-endian.
2075 This routine clobbers top_stack->cur_block and ->cur_st. */
2077 static void parse_external (EXTR *, int, struct section_offsets *,
2081 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2082 struct objfile *objfile)
2086 if (es->ifd != ifdNil)
2089 cur_fdr = debug_info->fdr + cur_fd;
2090 ax = debug_info->external_aux + cur_fdr->iauxBase;
2094 cur_fdr = debug_info->fdr;
2098 /* Reading .o files */
2099 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2102 switch (es->asym.st)
2105 /* These are generated for static symbols in .o files,
2126 /* FIXME: Turn this into a complaint? */
2128 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2129 what, debug_info->ssext + es->asym.iss,
2130 fdr_name (cur_fdr));
2134 switch (es->asym.st)
2138 /* There is no need to parse the external procedure symbols.
2139 If they are from objects compiled without -g, their index will
2140 be indexNil, and the symbol definition from the minimal symbol
2141 is preferrable (yielding a function returning int instead of int).
2142 If the index points to a local procedure symbol, the local
2143 symbol already provides the correct type.
2144 Note that the index of the external procedure symbol points
2145 to the local procedure symbol in the local symbol table, and
2146 _not_ to the auxiliary symbol info. */
2150 /* Global common symbols are resolved by the runtime loader,
2152 if (SC_IS_COMMON (es->asym.sc))
2155 /* Note that the case of a symbol with indexNil must be handled
2156 anyways by parse_symbol(). */
2157 parse_symbol (&es->asym, ax, (char *) NULL,
2158 bigend, section_offsets, objfile);
2165 /* Parse the line number info for file descriptor FH into
2166 GDB's linetable LT. MIPS' encoding requires a little bit
2167 of magic to get things out. Note also that MIPS' line
2168 numbers can go back and forth, apparently we can live
2169 with that and do not need to reorder our linetables. */
2171 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2172 struct partial_symtab *, CORE_ADDR);
2175 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2176 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2178 unsigned char *base;
2180 int delta, count, lineno = 0;
2182 if (fh->cbLine == 0)
2185 /* Scan by procedure descriptors. */
2187 for (j = 0; j < fh->cpd; j++, pr++)
2191 unsigned char *halt;
2193 /* No code for this one. */
2194 if (pr->iline == ilineNil ||
2195 pr->lnLow == -1 || pr->lnHigh == -1)
2198 /* Determine start and end address of compressed line bytes for
2200 base = debug_info->line + fh->cbLineOffset;
2201 if (j != (fh->cpd - 1))
2202 halt = base + pr[1].cbLineOffset;
2204 halt = base + fh->cbLine;
2205 base += pr->cbLineOffset;
2207 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2209 l = adr >> 2; /* in words */
2210 for (lineno = pr->lnLow; base < halt;)
2212 count = *base & 0x0f;
2213 delta = *base++ >> 4;
2218 delta = (base[0] << 8) | base[1];
2219 if (delta >= 0x8000)
2223 lineno += delta; /* first delta is 0 */
2225 /* Complain if the line table overflows. Could happen
2226 with corrupt binaries. */
2227 if (lt->nitems >= maxlines)
2229 complaint (&symfile_complaints,
2230 _("guessed size of linetable for %s incorrectly"),
2234 k = add_line (lt, lineno, l, k);
2241 function_outside_compilation_unit_complaint (const char *arg1)
2243 complaint (&symfile_complaints,
2244 _("function `%s' appears to be defined "
2245 "outside of all compilation units"),
2249 /* Use the STORAGE_CLASS to compute which section the given symbol
2250 belongs to, and then records this new minimal symbol. */
2253 record_minimal_symbol (const char *name, const CORE_ADDR address,
2254 enum minimal_symbol_type ms_type, int storage_class,
2255 struct objfile *objfile)
2259 switch (storage_class)
2262 section = SECT_OFF_TEXT (objfile);
2265 section = SECT_OFF_DATA (objfile);
2268 section = SECT_OFF_BSS (objfile);
2271 section = get_section_index (objfile, ".sdata");
2274 section = get_section_index (objfile, ".sbss");
2277 section = get_section_index (objfile, ".rdata");
2280 section = get_section_index (objfile, ".init");
2283 section = get_section_index (objfile, ".xdata");
2286 section = get_section_index (objfile, ".pdata");
2289 section = get_section_index (objfile, ".fini");
2292 section = get_section_index (objfile, ".rconst");
2296 section = get_section_index (objfile, ".tlsdata");
2301 section = get_section_index (objfile, ".tlsbss");
2305 /* This kind of symbol is not associated to a section. */
2309 prim_record_minimal_symbol_and_info (name, address, ms_type,
2313 /* Master parsing procedure for first-pass reading of file symbols
2314 into a partial_symtab. */
2317 parse_partial_symbols (struct objfile *objfile)
2319 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2320 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2321 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2322 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2323 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2324 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2325 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2327 HDRR *hdr = &debug_info->symbolic_header;
2328 /* Running pointers */
2336 struct partial_symtab *pst;
2337 int textlow_not_set = 1;
2338 int past_first_source_file = 0;
2340 /* List of current psymtab's include files. */
2341 const char **psymtab_include_list;
2342 int includes_allocated;
2345 struct pst_map *fdr_to_pst;
2346 /* Index within current psymtab dependency list. */
2347 struct partial_symtab **dependency_list;
2348 int dependencies_used, dependencies_allocated;
2349 struct cleanup *old_chain;
2351 enum language prev_language;
2352 asection *text_sect;
2353 int relocatable = 0;
2355 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2356 the shared libraries are prelinked at a high memory address.
2357 We have to adjust the start address of the object file for this case,
2358 by setting it to the start address of the first procedure in the file.
2359 But we should do no adjustments if we are debugging a .o file, where
2360 the text section (and fh->adr) really starts at zero. */
2361 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2362 if (text_sect != NULL
2363 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2366 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2367 sizeof (EXTR) * hdr->iextMax);
2369 includes_allocated = 30;
2371 psymtab_include_list = (const char **) alloca (includes_allocated *
2372 sizeof (const char *));
2373 next_symbol_text_func = mdebug_next_symbol_text;
2375 dependencies_allocated = 30;
2376 dependencies_used = 0;
2378 (struct partial_symtab **) alloca (dependencies_allocated *
2379 sizeof (struct partial_symtab *));
2381 set_last_source_file (NULL);
2386 * Only parse the Local and External symbols, and the Relative FDR.
2387 * Fixup enough of the loader symtab to be able to use it.
2388 * Allocate space only for the file's portions we need to
2393 max_glevel = MIN_GLEVEL;
2395 /* Allocate the map FDR -> PST.
2396 Minor hack: -O3 images might claim some global data belongs
2397 to FDR -1. We`ll go along with that. */
2398 fdr_to_pst = (struct pst_map *)
2399 xzalloc ((hdr->ifdMax + 1) * sizeof *fdr_to_pst);
2400 old_chain = make_cleanup (xfree, fdr_to_pst);
2403 struct partial_symtab *pst = new_psymtab ("", objfile);
2405 fdr_to_pst[-1].pst = pst;
2409 /* Allocate the global pending list. */
2411 ((struct mdebug_pending **)
2412 obstack_alloc (&objfile->objfile_obstack,
2413 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2414 memset (pending_list, 0,
2415 hdr->ifdMax * sizeof (struct mdebug_pending *));
2417 /* Pass 0 over external syms: swap them in. */
2418 ext_block = (EXTR *) xmalloc (hdr->iextMax * sizeof (EXTR));
2419 make_cleanup (xfree, ext_block);
2421 ext_out = (char *) debug_info->external_ext;
2422 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2424 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2425 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2427 /* Pass 1 over external syms: Presize and partition the list. */
2429 ext_in_end = ext_in + hdr->iextMax;
2430 for (; ext_in < ext_in_end; ext_in++)
2432 /* See calls to complain below. */
2433 if (ext_in->ifd >= -1
2434 && ext_in->ifd < hdr->ifdMax
2435 && ext_in->asym.iss >= 0
2436 && ext_in->asym.iss < hdr->issExtMax)
2437 fdr_to_pst[ext_in->ifd].n_globals++;
2440 /* Pass 1.5 over files: partition out global symbol space. */
2442 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2444 fdr_to_pst[f_idx].globals_offset = s_idx;
2445 s_idx += fdr_to_pst[f_idx].n_globals;
2446 fdr_to_pst[f_idx].n_globals = 0;
2451 For ECOFF in ELF, we skip the creation of the minimal symbols.
2452 The ECOFF symbols should be a subset of the Elf symbols, and the
2453 section information of the elf symbols will be more accurate.
2454 FIXME! What about Irix 5's native linker?
2456 By default, Elf sections which don't exist in ECOFF
2457 get put in ECOFF's absolute section by the gnu linker.
2458 Since absolute sections don't get relocated, we
2459 end up calculating an address different from that of
2460 the symbol's minimal symbol (created earlier from the
2463 To fix this, either :
2464 1) don't create the duplicate symbol
2465 (assumes ECOFF symtab is a subset of the ELF symtab;
2466 assumes no side-effects result from ignoring ECOFF symbol)
2467 2) create it, only if lookup for existing symbol in ELF's minimal
2470 assumes no side-effects result from ignoring ECOFF symbol)
2471 3) create it, but lookup ELF's minimal symbol and use it's section
2472 during relocation, then modify "uniqify" phase to merge and
2473 eliminate the duplicate symbol
2474 (highly inefficient)
2476 I've implemented #1 here...
2477 Skip the creation of the minimal symbols based on the ECOFF
2480 /* Pass 2 over external syms: fill in external symbols. */
2482 ext_in_end = ext_in + hdr->iextMax;
2483 for (; ext_in < ext_in_end; ext_in++)
2485 enum minimal_symbol_type ms_type = mst_text;
2486 CORE_ADDR svalue = ext_in->asym.value;
2488 /* The Irix 5 native tools seem to sometimes generate bogus
2489 external symbols. */
2490 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2492 complaint (&symfile_complaints,
2493 _("bad ifd for external symbol: %d (max %ld)"),
2494 ext_in->ifd, hdr->ifdMax);
2497 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2499 complaint (&symfile_complaints,
2500 _("bad iss for external symbol: %ld (max %ld)"),
2501 ext_in->asym.iss, hdr->issExtMax);
2505 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2506 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2509 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2513 /* Pass 3 over files, over local syms: fill in static symbols. */
2514 name = debug_info->ssext + ext_in->asym.iss;
2516 /* Process ECOFF Symbol Types and Storage Classes. */
2517 switch (ext_in->asym.st)
2520 /* Beginnning of Procedure */
2523 /* Load time only static procs */
2524 ms_type = mst_file_text;
2527 /* External symbol */
2528 if (SC_IS_COMMON (ext_in->asym.sc))
2530 /* The value of a common symbol is its size, not its address.
2534 else if (SC_IS_DATA (ext_in->asym.sc))
2538 else if (SC_IS_BSS (ext_in->asym.sc))
2542 else if (SC_IS_SBSS (ext_in->asym.sc))
2552 /* On certain platforms, some extra label symbols can be
2553 generated by the linker. One possible usage for this kind
2554 of symbols is to represent the address of the begining of a
2555 given section. For instance, on Tru64 5.1, the address of
2556 the _ftext label is the start address of the .text section.
2558 The storage class of these symbols is usually directly
2559 related to the section to which the symbol refers. For
2560 instance, on Tru64 5.1, the storage class for the _fdata
2561 label is scData, refering to the .data section.
2563 It is actually possible that the section associated to the
2564 storage class of the label does not exist. On True64 5.1
2565 for instance, the libm.so shared library does not contain
2566 any .data section, although it contains a _fpdata label
2567 which storage class is scData... Since these symbols are
2568 usually useless for the debugger user anyway, we just
2569 discard these symbols. */
2571 if (SC_IS_TEXT (ext_in->asym.sc))
2573 if (objfile->sect_index_text == -1)
2576 ms_type = mst_file_text;
2578 else if (SC_IS_DATA (ext_in->asym.sc))
2580 if (objfile->sect_index_data == -1)
2583 ms_type = mst_file_data;
2585 else if (SC_IS_BSS (ext_in->asym.sc))
2587 if (objfile->sect_index_bss == -1)
2590 ms_type = mst_file_bss;
2592 else if (SC_IS_SBSS (ext_in->asym.sc))
2594 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2596 if (sbss_sect_index == -1)
2599 ms_type = mst_file_bss;
2606 /* The alpha has the section start addresses in stLocal symbols
2607 whose name starts with a `.'. Skip those but complain for all
2608 other stLocal symbols.
2609 Irix6 puts the section start addresses in stNil symbols, skip
2615 ms_type = mst_unknown;
2616 unknown_ext_complaint (name);
2618 if (!ECOFF_IN_ELF (cur_bfd))
2619 record_minimal_symbol (name, svalue, ms_type, ext_in->asym.sc,
2623 /* Pass 3 over files, over local syms: fill in static symbols. */
2624 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2626 struct partial_symtab *save_pst;
2630 cur_fdr = fh = debug_info->fdr + f_idx;
2634 fdr_to_pst[f_idx].pst = NULL;
2638 /* Determine the start address for this object file from the
2639 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2643 if (relocatable || textlow != 0)
2644 textlow += ANOFFSET (objfile->section_offsets,
2645 SECT_OFF_TEXT (objfile));
2649 pst = start_psymtab_common (objfile,
2652 objfile->global_psymbols.next,
2653 objfile->static_psymbols.next);
2654 pst->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
2655 sizeof (struct symloc));
2656 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2659 FDR_IDX (pst) = f_idx;
2660 CUR_BFD (pst) = cur_bfd;
2661 DEBUG_SWAP (pst) = debug_swap;
2662 DEBUG_INFO (pst) = debug_info;
2663 PENDING_LIST (pst) = pending_list;
2665 /* The way to turn this into a symtab is to call... */
2666 pst->read_symtab = mdebug_read_symtab;
2668 /* Set up language for the pst.
2669 The language from the FDR is used if it is unambigious (e.g. cfront
2670 with native cc and g++ will set the language to C).
2671 Otherwise we have to deduce the language from the filename.
2672 Native ecoff has every header file in a separate FDR, so
2673 deduce_language_from_filename will return language_unknown for
2674 a header file, which is not what we want.
2675 But the FDRs for the header files are after the FDR for the source
2676 file, so we can assign the language of the source file to the
2677 following header files. Then we save the language in the private
2678 pst data so that we can reuse it when building symtabs. */
2679 prev_language = psymtab_language;
2683 case langCplusplusV2:
2684 psymtab_language = language_cplus;
2687 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2690 if (psymtab_language == language_unknown)
2691 psymtab_language = prev_language;
2692 PST_PRIVATE (pst)->pst_language = psymtab_language;
2694 pst->texthigh = pst->textlow;
2696 /* For stabs-in-ecoff files, the second symbol must be @stab.
2697 This symbol is emitted by mips-tfile to signal that the
2698 current object file uses encapsulated stabs instead of mips
2699 ecoff for local symbols. (It is the second symbol because
2700 the first symbol is the stFile used to signal the start of a
2702 processing_gcc_compilation = 0;
2705 (*swap_sym_in) (cur_bfd,
2706 ((char *) debug_info->external_sym
2707 + (fh->isymBase + 1) * external_sym_size),
2709 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2711 processing_gcc_compilation = 2;
2714 if (processing_gcc_compilation != 0)
2716 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2719 const char *namestring;
2721 (*swap_sym_in) (cur_bfd,
2722 (((char *) debug_info->external_sym)
2723 + (fh->isymBase + cur_sdx) * external_sym_size),
2725 type_code = ECOFF_UNMARK_STAB (sh.index);
2726 if (!ECOFF_IS_STAB (&sh))
2728 if (sh.st == stProc || sh.st == stStaticProc)
2733 if (sh.st == stStaticProc)
2735 namestring = debug_info->ss + fh->issBase + sh.iss;
2736 record_minimal_symbol (namestring, sh.value,
2737 mst_file_text, sh.sc,
2740 sh.value += ANOFFSET (objfile->section_offsets,
2741 SECT_OFF_TEXT (objfile));
2742 procaddr = sh.value;
2744 isym = AUX_GET_ISYM (fh->fBigendian,
2745 (debug_info->external_aux
2748 (*swap_sym_in) (cur_bfd,
2749 ((char *) debug_info->external_sym
2750 + ((fh->isymBase + isym - 1)
2751 * external_sym_size)),
2755 CORE_ADDR high = procaddr + sh.value;
2757 /* Kludge for Irix 5.2 zero fh->adr. */
2759 && (pst->textlow == 0 || procaddr < pst->textlow))
2760 pst->textlow = procaddr;
2761 if (high > pst->texthigh)
2762 pst->texthigh = high;
2765 else if (sh.st == stStatic)
2780 namestring = debug_info->ss + fh->issBase + sh.iss;
2781 record_minimal_symbol (namestring, sh.value,
2782 mst_file_data, sh.sc,
2784 sh.value += ANOFFSET (objfile->section_offsets,
2785 SECT_OFF_DATA (objfile));
2789 /* FIXME! Shouldn't this use cases for bss,
2790 then have the default be abs? */
2791 namestring = debug_info->ss + fh->issBase + sh.iss;
2792 record_minimal_symbol (namestring, sh.value,
2793 mst_file_bss, sh.sc,
2795 sh.value += ANOFFSET (objfile->section_offsets,
2796 SECT_OFF_BSS (objfile));
2802 /* Handle stabs continuation. */
2804 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2805 int len = strlen (stabstring);
2807 while (stabstring[len - 1] == '\\')
2810 char *stabstring1 = stabstring;
2814 /* Ignore continuation char from 1st string. */
2817 /* Read next stabstring. */
2819 (*swap_sym_in) (cur_bfd,
2820 (((char *) debug_info->external_sym)
2821 + (fh->isymBase + cur_sdx)
2822 * external_sym_size),
2824 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2825 len2 = strlen (stabstring2);
2827 /* Concatinate stabstring2 with stabstring1. */
2829 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2830 stabstring = xrealloc (stabstring, len + len2 + 1);
2833 stabstring = xmalloc (len + len2 + 1);
2834 strcpy (stabstring, stabstring1);
2836 strcpy (stabstring + len, stabstring2);
2844 /* Standard, external, non-debugger, symbols. */
2846 case N_TEXT | N_EXT:
2847 case N_NBTEXT | N_EXT:
2848 sh.value += ANOFFSET (objfile->section_offsets,
2849 SECT_OFF_TEXT (objfile));
2852 case N_DATA | N_EXT:
2853 case N_NBDATA | N_EXT:
2854 sh.value += ANOFFSET (objfile->section_offsets,
2855 SECT_OFF_DATA (objfile));
2860 case N_NBBSS | N_EXT:
2861 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2862 sh.value += ANOFFSET (objfile->section_offsets,
2863 SECT_OFF_BSS (objfile));
2870 /* Standard, local, non-debugger, symbols. */
2874 /* We need to be able to deal with both N_FN or
2875 N_TEXT, because we have no way of knowing
2876 whether the sys-supplied ld or GNU ld was used
2877 to make the executable. Sequents throw in
2878 another wrinkle -- they renumbered N_FN. */
2886 sh.value += ANOFFSET (objfile->section_offsets,
2887 SECT_OFF_DATA (objfile));
2890 case N_UNDF | N_EXT:
2891 continue; /* Just undefined, not COMMON. */
2896 /* Lots of symbol types we can just ignore. */
2903 /* Keep going . . . */
2906 * Special symbol types for GNU
2909 case N_INDR | N_EXT:
2911 case N_SETA | N_EXT:
2913 case N_SETT | N_EXT:
2915 case N_SETD | N_EXT:
2917 case N_SETB | N_EXT:
2928 static int prev_so_symnum = -10;
2929 static int first_so_symnum;
2931 int prev_textlow_not_set;
2933 valu = sh.value + ANOFFSET (objfile->section_offsets,
2934 SECT_OFF_TEXT (objfile));
2936 prev_textlow_not_set = textlow_not_set;
2938 /* A zero value is probably an indication for the
2939 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2940 for zero, so don't relocate it. */
2943 && gdbarch_sofun_address_maybe_missing (gdbarch))
2945 textlow_not_set = 1;
2949 textlow_not_set = 0;
2951 past_first_source_file = 1;
2953 if (prev_so_symnum != symnum - 1)
2954 { /* Here if prev stab wasn't N_SO. */
2955 first_so_symnum = symnum;
2959 pst = (struct partial_symtab *) 0;
2961 dependencies_used = 0;
2965 prev_so_symnum = symnum;
2967 /* End the current partial symtab and start a
2970 /* SET_NAMESTRING ();*/
2971 namestring = stabstring;
2973 /* Null name means end of .o file. Don't start a new
2975 if (*namestring == '\000')
2978 /* Some compilers (including gcc) emit a pair of
2979 initial N_SOs. The first one is a directory name;
2980 the second the file name. If pst exists, is
2981 empty, and has a filename ending in '/', we assume
2982 the previous N_SO was a directory name. */
2983 p = lbasename (namestring);
2984 if (p != namestring && *p == '\000')
2985 continue; /* Simply ignore directory
2988 /* Some other compilers (C++ ones in particular) emit
2989 useless SOs for non-existant .c files. We ignore
2990 all subsequent SOs that immediately follow the
3003 enum language tmp_language;
3005 /* Mark down an include file in the current psymtab. */
3007 /* SET_NAMESTRING (); */
3008 namestring = stabstring;
3011 = deduce_language_from_filename (namestring);
3013 /* Only change the psymtab's language if we've
3014 learned something useful (eg. tmp_language is not
3015 language_unknown). In addition, to match what
3016 start_subfile does, never change from C++ to
3018 if (tmp_language != language_unknown
3019 && (tmp_language != language_c
3020 || psymtab_language != language_cplus))
3021 psymtab_language = tmp_language;
3023 /* In C++, one may expect the same filename to come
3024 round many times, when code is coming alternately
3025 from the main file and from inline functions in
3026 other files. So I check to see if this is a file
3027 we've seen before -- either the main source file,
3028 or a previously included file.
3030 This seems to be a lot of time to be spending on
3031 N_SOL, but things like "break c-exp.y:435" need to
3032 work (I suppose the psymtab_include_list could be
3033 hashed or put in a binary tree, if profiling shows
3034 this is a major hog). */
3035 if (pst && filename_cmp (namestring, pst->filename) == 0)
3041 for (i = 0; i < includes_used; i++)
3042 if (filename_cmp (namestring,
3043 psymtab_include_list[i]) == 0)
3052 psymtab_include_list[includes_used++] = namestring;
3053 if (includes_used >= includes_allocated)
3055 const char **orig = psymtab_include_list;
3057 psymtab_include_list = (const char **)
3058 alloca ((includes_allocated *= 2) *
3059 sizeof (const char *));
3060 memcpy (psymtab_include_list, orig,
3061 includes_used * sizeof (const char *));
3065 case N_LSYM: /* Typedef or automatic variable. */
3066 case N_STSYM: /* Data seg var -- static */
3067 case N_LCSYM: /* BSS " */
3068 case N_ROSYM: /* Read-only data seg var -- static. */
3069 case N_NBSTS: /* Gould nobase. */
3070 case N_NBLCS: /* symbols. */
3072 case N_GSYM: /* Global (extern) variable; can be
3073 data or bss (sigh FIXME). */
3075 /* Following may probably be ignored; I'll leave them here
3076 for now (until I do Pascal and Modula 2 extensions). */
3078 case N_PC: /* I may or may not need this; I
3080 case N_M2C: /* I suspect that I can ignore this
3082 case N_SCOPE: /* Same. */
3084 /* SET_NAMESTRING (); */
3085 namestring = stabstring;
3086 p = (char *) strchr (namestring, ':');
3088 continue; /* Not a debugging symbol. */
3092 /* Main processing section for debugging symbols which
3093 the initial read through the symbol tables needs to
3094 worry about. If we reach this point, the symbol
3095 which we are considering is definitely one we are
3096 interested in. p must also contain the (valid)
3097 index into the namestring which indicates the
3098 debugging type symbol. */
3103 sh.value += ANOFFSET (objfile->section_offsets,
3104 SECT_OFF_DATA (objfile));
3106 if (gdbarch_static_transform_name_p (gdbarch))
3107 namestring = gdbarch_static_transform_name
3108 (gdbarch, namestring);
3110 add_psymbol_to_list (namestring, p - namestring, 1,
3111 VAR_DOMAIN, LOC_STATIC,
3112 &objfile->static_psymbols,
3114 psymtab_language, objfile);
3117 sh.value += ANOFFSET (objfile->section_offsets,
3118 SECT_OFF_DATA (objfile));
3119 /* The addresses in these entries are reported
3120 to be wrong. See the code that reads 'G's
3122 add_psymbol_to_list (namestring, p - namestring, 1,
3123 VAR_DOMAIN, LOC_STATIC,
3124 &objfile->global_psymbols,
3126 psymtab_language, objfile);
3130 /* When a 'T' entry is defining an anonymous enum, it
3131 may have a name which is the empty string, or a
3132 single space. Since they're not really defining a
3133 symbol, those shouldn't go in the partial symbol
3134 table. We do pick up the elements of such enums at
3135 'check_enum:', below. */
3136 if (p >= namestring + 2
3137 || (p == namestring + 1
3138 && namestring[0] != ' '))
3140 add_psymbol_to_list (namestring, p - namestring, 1,
3141 STRUCT_DOMAIN, LOC_TYPEDEF,
3142 &objfile->static_psymbols,
3143 0, psymtab_language, objfile);
3146 /* Also a typedef with the same name. */
3147 add_psymbol_to_list (namestring,
3149 VAR_DOMAIN, LOC_TYPEDEF,
3150 &objfile->static_psymbols,
3151 0, psymtab_language,
3158 if (p != namestring) /* a name is there, not
3161 add_psymbol_to_list (namestring, p - namestring, 1,
3162 VAR_DOMAIN, LOC_TYPEDEF,
3163 &objfile->static_psymbols,
3164 0, psymtab_language, objfile);
3167 /* If this is an enumerated type, we need to add
3168 all the enum constants to the partial symbol
3169 table. This does not cover enums without names,
3170 e.g. "enum {a, b} c;" in C, but fortunately
3171 those are rare. There is no way for GDB to find
3172 those from the enum type without spending too
3173 much time on it. Thus to solve this problem,
3174 the compiler needs to put out the enum in a
3175 nameless type. GCC2 does this. */
3177 /* We are looking for something of the form
3178 <name> ":" ("t" | "T") [<number> "="] "e"
3179 {<constant> ":" <value> ","} ";". */
3181 /* Skip over the colon and the 't' or 'T'. */
3183 /* This type may be given a number. Also, numbers
3184 can come in pairs like (0,26). Skip over it. */
3185 while ((*p >= '0' && *p <= '9')
3186 || *p == '(' || *p == ',' || *p == ')'
3192 /* The aix4 compiler emits extra crud before
3196 /* Skip over the type (?). */
3200 /* Skip over the colon. */
3204 /* We have found an enumerated type. */
3205 /* According to comments in read_enum_type
3206 a comma could end it instead of a semicolon.
3207 I don't know where that happens.
3209 while (*p && *p != ';' && *p != ',')
3213 /* Check for and handle cretinous dbx
3214 symbol name continuation! */
3215 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3216 p = next_symbol_text (objfile);
3218 /* Point to the character after the name
3219 of the enum constant. */
3220 for (q = p; *q && *q != ':'; q++)
3222 /* Note that the value doesn't matter for
3223 enum constants in psymtabs, just in
3225 add_psymbol_to_list (p, q - p, 1,
3226 VAR_DOMAIN, LOC_CONST,
3227 &objfile->static_psymbols,
3228 0, psymtab_language,
3230 /* Point past the name. */
3232 /* Skip over the value. */
3233 while (*p && *p != ',')
3235 /* Advance past the comma. */
3242 /* Constant, e.g. from "const" in Pascal. */
3243 add_psymbol_to_list (namestring, p - namestring, 1,
3244 VAR_DOMAIN, LOC_CONST,
3245 &objfile->static_psymbols,
3246 0, psymtab_language, objfile);
3252 int name_len = p - namestring;
3253 char *name = xmalloc (name_len + 1);
3255 memcpy (name, namestring, name_len);
3256 name[name_len] = '\0';
3257 function_outside_compilation_unit_complaint (name);
3260 sh.value += ANOFFSET (objfile->section_offsets,
3261 SECT_OFF_TEXT (objfile));
3262 add_psymbol_to_list (namestring, p - namestring, 1,
3263 VAR_DOMAIN, LOC_BLOCK,
3264 &objfile->static_psymbols,
3266 psymtab_language, objfile);
3269 /* Global functions were ignored here, but now they
3270 are put into the global psymtab like one would
3271 expect. They're also in the minimal symbol
3276 int name_len = p - namestring;
3277 char *name = xmalloc (name_len + 1);
3279 memcpy (name, namestring, name_len);
3280 name[name_len] = '\0';
3281 function_outside_compilation_unit_complaint (name);
3284 sh.value += ANOFFSET (objfile->section_offsets,
3285 SECT_OFF_TEXT (objfile));
3286 add_psymbol_to_list (namestring, p - namestring, 1,
3287 VAR_DOMAIN, LOC_BLOCK,
3288 &objfile->global_psymbols,
3290 psymtab_language, objfile);
3293 /* Two things show up here (hopefully); static
3294 symbols of local scope (static used inside
3295 braces) or extensions of structure symbols. We
3310 case '#': /* For symbol identification (used
3315 /* It is a C++ nested symbol. We don't need to
3316 record it (I don't think); if we try to look up
3317 foo::bar::baz, then symbols for the symtab
3318 containing foo should get read in, I think. */
3319 /* Someone says sun cc puts out symbols like
3320 /foo/baz/maclib::/usr/local/bin/maclib,
3321 which would get here with a symbol type of ':'. */
3325 /* Unexpected symbol descriptor. The second and
3326 subsequent stabs of a continued stab can show up
3327 here. The question is whether they ever can
3328 mimic a normal stab--it would be nice if not,
3329 since we certainly don't want to spend the time
3330 searching to the end of every string looking for
3333 complaint (&symfile_complaints,
3334 _("unknown symbol descriptor `%c'"), p[1]);
3336 /* Ignore it; perhaps it is an extension that we don't
3345 /* Solaris 2 end of module, finish current partial
3346 symbol table. dbx_end_psymtab will set
3347 pst->texthigh to the proper value, which is
3348 necessary if a module compiled without
3349 debugging info follows this module. */
3351 && gdbarch_sofun_address_maybe_missing (gdbarch))
3353 pst = (struct partial_symtab *) 0;
3355 dependencies_used = 0;
3360 if (sh.value > save_pst->texthigh)
3361 save_pst->texthigh = sh.value;
3366 case N_SSYM: /* Claim: Structure or union
3367 element. Hopefully, I can
3369 case N_ENTRY: /* Alternate entry point; can
3371 case N_MAIN: /* Can definitely ignore this. */
3372 case N_CATCH: /* These are GNU C++ extensions. */
3373 case N_EHDECL: /* that can safely be ignored here. */
3383 case N_NSYMS: /* Ultrix 4.0: symbol count */
3384 case N_DEFD: /* GNU Modula-2 */
3385 case N_ALIAS: /* SunPro F77: alias name, ignore
3388 case N_OBJ: /* Useless types from Solaris. */
3390 /* These symbols aren't interesting; don't worry about
3396 /* If we haven't found it yet, ignore it. It's
3397 probably some new type we don't know about yet. */
3398 complaint (&symfile_complaints,
3399 _("unknown symbol type %s"),
3400 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3404 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3407 /* end - Handle continuation */
3412 for (cur_sdx = 0; cur_sdx < fh->csym;)
3415 enum address_class theclass;
3416 CORE_ADDR minsym_value;
3418 (*swap_sym_in) (cur_bfd,
3419 ((char *) debug_info->external_sym
3420 + ((fh->isymBase + cur_sdx)
3421 * external_sym_size)),
3424 if (ECOFF_IS_STAB (&sh))
3430 /* Non absolute static symbols go into the minimal table. */
3431 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3432 || (sh.index == indexNil
3433 && (sh.st != stStatic || sh.sc == scAbs)))
3435 /* FIXME, premature? */
3440 name = debug_info->ss + fh->issBase + sh.iss;
3442 minsym_value = sh.value;
3448 /* The value of a stEnd symbol is the displacement from the
3449 corresponding start symbol value, do not relocate it. */
3451 sh.value += ANOFFSET (objfile->section_offsets,
3452 SECT_OFF_TEXT (objfile));
3459 sh.value += ANOFFSET (objfile->section_offsets,
3460 SECT_OFF_DATA (objfile));
3464 sh.value += ANOFFSET (objfile->section_offsets,
3465 SECT_OFF_BSS (objfile));
3476 prim_record_minimal_symbol_and_info (name, minsym_value,
3478 SECT_OFF_TEXT (objfile),
3484 /* Ignore all parameter symbol records. */
3485 if (sh.index >= hdr->iauxMax)
3487 /* Should not happen, but does when cross-compiling
3488 with the MIPS compiler. FIXME -- pull later. */
3489 index_complaint (name);
3490 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3493 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3494 (debug_info->external_aux
3498 if (new_sdx <= cur_sdx)
3500 /* This should not happen either... FIXME. */
3501 complaint (&symfile_complaints,
3502 _("bad proc end in aux found from symbol %s"),
3504 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3507 /* For stProc symbol records, we need to check the
3508 storage class as well, as only (stProc, scText)
3509 entries represent "real" procedures - See the
3510 Compaq document titled "Object File / Symbol Table
3511 Format Specification" for more information. If the
3512 storage class is not scText, we discard the whole
3513 block of symbol records for this stProc. */
3514 if (sh.st == stProc && sh.sc != scText)
3517 /* Usually there is a local and a global stProc symbol
3518 for a function. This means that the function name
3519 has already been entered into the mimimal symbol table
3520 while processing the global symbols in pass 2 above.
3521 One notable exception is the PROGRAM name from
3522 f77 compiled executables, it is only put out as
3523 local stProc symbol, and a global MAIN__ stProc symbol
3524 points to it. It doesn't matter though, as gdb is
3525 still able to find the PROGRAM name via the partial
3526 symbol table, and the MAIN__ symbol via the minimal
3528 if (sh.st == stProc)
3529 add_psymbol_to_list (name, strlen (name), 1,
3530 VAR_DOMAIN, LOC_BLOCK,
3531 &objfile->global_psymbols,
3532 sh.value, psymtab_language, objfile);
3534 add_psymbol_to_list (name, strlen (name), 1,
3535 VAR_DOMAIN, LOC_BLOCK,
3536 &objfile->static_psymbols,
3537 sh.value, psymtab_language, objfile);
3539 procaddr = sh.value;
3542 (*swap_sym_in) (cur_bfd,
3543 ((char *) debug_info->external_sym
3544 + ((fh->isymBase + cur_sdx - 1)
3545 * external_sym_size)),
3550 /* Kludge for Irix 5.2 zero fh->adr. */
3552 && (pst->textlow == 0 || procaddr < pst->textlow))
3553 pst->textlow = procaddr;
3555 high = procaddr + sh.value;
3556 if (high > pst->texthigh)
3557 pst->texthigh = high;
3560 case stStatic: /* Variable */
3561 if (SC_IS_DATA (sh.sc))
3562 prim_record_minimal_symbol_and_info (name, minsym_value,
3564 SECT_OFF_DATA (objfile),
3567 prim_record_minimal_symbol_and_info (name, minsym_value,
3569 SECT_OFF_BSS (objfile),
3571 theclass = LOC_STATIC;
3574 case stIndirect: /* Irix5 forward declaration */
3575 /* Skip forward declarations from Irix5 cc. */
3578 case stTypedef: /* Typedef */
3579 /* Skip typedefs for forward declarations and opaque
3580 structs from alpha and mips cc. */
3581 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3583 theclass = LOC_TYPEDEF;
3586 case stConstant: /* Constant decl */
3587 theclass = LOC_CONST;
3593 case stBlock: /* { }, str, un, enum */
3594 /* Do not create a partial symbol for cc unnamed aggregates
3595 and gcc empty aggregates. */
3596 if ((sh.sc == scInfo
3597 || SC_IS_COMMON (sh.sc))
3599 && sh.index != cur_sdx + 2)
3601 add_psymbol_to_list (name, strlen (name), 1,
3602 STRUCT_DOMAIN, LOC_TYPEDEF,
3603 &objfile->static_psymbols,
3604 0, psymtab_language, objfile);
3606 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3608 /* Skip over the block. */
3610 if (new_sdx <= cur_sdx)
3612 /* This happens with the Ultrix kernel. */
3613 complaint (&symfile_complaints,
3614 _("bad aux index at block symbol %s"), name);
3615 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3620 case stFile: /* File headers */
3621 case stLabel: /* Labels */
3622 case stEnd: /* Ends of files */
3625 case stLocal: /* Local variables */
3626 /* Normally these are skipped because we skip over
3627 all blocks we see. However, these can occur
3628 as visible symbols in a .h file that contains code. */
3632 /* Both complaints are valid: one gives symbol name,
3633 the other the offending symbol type. */
3634 complaint (&symfile_complaints, _("unknown local symbol %s"),
3636 complaint (&symfile_complaints, _("with type %d"), sh.st);
3640 /* Use this gdb symbol. */
3641 add_psymbol_to_list (name, strlen (name), 1,
3642 VAR_DOMAIN, theclass,
3643 &objfile->static_psymbols,
3644 sh.value, psymtab_language, objfile);
3646 cur_sdx++; /* Go to next file symbol. */
3649 /* Now do enter the external symbols. */
3650 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3651 cur_sdx = fdr_to_pst[f_idx].n_globals;
3652 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3653 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3654 for (; --cur_sdx >= 0; ext_ptr++)
3656 enum address_class theclass;
3661 if (ext_ptr->ifd != f_idx)
3662 internal_error (__FILE__, __LINE__,
3663 _("failed internal consistency check"));
3664 psh = &ext_ptr->asym;
3666 /* Do not add undefined symbols to the partial symbol table. */
3667 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3670 svalue = psh->value;
3675 svalue += ANOFFSET (objfile->section_offsets,
3676 SECT_OFF_TEXT (objfile));
3683 svalue += ANOFFSET (objfile->section_offsets,
3684 SECT_OFF_DATA (objfile));
3688 svalue += ANOFFSET (objfile->section_offsets,
3689 SECT_OFF_BSS (objfile));
3696 /* These are generated for static symbols in .o files,
3701 /* External procedure symbols have been entered
3702 into the minimal symbol table in pass 2 above.
3703 Ignore them, as parse_external will ignore them too. */
3706 theclass = LOC_LABEL;
3709 unknown_ext_complaint (debug_info->ssext + psh->iss);
3710 /* Fall through, pretend it's global. */
3712 /* Global common symbols are resolved by the runtime loader,
3714 if (SC_IS_COMMON (psh->sc))
3717 theclass = LOC_STATIC;
3720 name = debug_info->ssext + psh->iss;
3721 add_psymbol_to_list (name, strlen (name), 1,
3722 VAR_DOMAIN, theclass,
3723 &objfile->global_psymbols,
3724 svalue, psymtab_language, objfile);
3728 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3729 empty and put on the free list. */
3730 fdr_to_pst[f_idx].pst
3731 = dbx_end_psymtab (objfile, save_pst,
3732 psymtab_include_list, includes_used,
3733 -1, save_pst->texthigh,
3734 dependency_list, dependencies_used,
3737 dependencies_used = 0;
3739 /* The objfile has its functions reordered if this partial symbol
3740 table overlaps any other partial symbol table.
3741 We cannot assume a reordered objfile if a partial symbol table
3742 is contained within another partial symbol table, as partial symbol
3743 tables for include files with executable code are contained
3744 within the partial symbol table for the including source file,
3745 and we do not want to flag the objfile reordered for these cases.
3747 This strategy works well for Irix-5.2 shared libraries, but we
3748 might have to use a more elaborate (and slower) algorithm for
3750 save_pst = fdr_to_pst[f_idx].pst;
3751 if (save_pst != NULL
3752 && save_pst->textlow != 0
3753 && !(objfile->flags & OBJF_REORDERED))
3755 ALL_OBJFILE_PSYMTABS (objfile, pst)
3758 && save_pst->textlow >= pst->textlow
3759 && save_pst->textlow < pst->texthigh
3760 && save_pst->texthigh > pst->texthigh)
3762 objfile->flags |= OBJF_REORDERED;
3769 /* Now scan the FDRs for dependencies. */
3770 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3772 fh = f_idx + debug_info->fdr;
3773 pst = fdr_to_pst[f_idx].pst;
3775 if (pst == (struct partial_symtab *) NULL)
3778 /* This should catch stabs-in-ecoff. */
3782 /* Skip the first file indirect entry as it is a self dependency for
3783 source files or a reverse .h -> .c dependency for header files. */
3784 pst->number_of_dependencies = 0;
3786 ((struct partial_symtab **)
3787 obstack_alloc (&objfile->objfile_obstack,
3789 * sizeof (struct partial_symtab *))));
3790 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3794 (*swap_rfd_in) (cur_bfd,
3795 ((char *) debug_info->external_rfd
3796 + (fh->rfdBase + s_idx) * external_rfd_size),
3798 if (rh < 0 || rh >= hdr->ifdMax)
3800 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3804 /* Skip self dependencies of header files. */
3808 /* Do not add to dependeny list if psymtab was empty. */
3809 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3811 pst->dependencies[pst->number_of_dependencies++]
3812 = fdr_to_pst[rh].pst;
3816 /* Remove the dummy psymtab created for -O3 images above, if it is
3817 still empty, to enable the detection of stripped executables. */
3818 if (objfile->psymtabs->next == NULL
3819 && objfile->psymtabs->number_of_dependencies == 0
3820 && objfile->psymtabs->n_global_syms == 0
3821 && objfile->psymtabs->n_static_syms == 0)
3822 objfile->psymtabs = NULL;
3823 do_cleanups (old_chain);
3826 /* If the current psymbol has an enumerated type, we need to add
3827 all the enum constants to the partial symbol table. */
3830 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3833 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3834 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3835 char *ext_sym = ((char *) debug_info->external_sym
3836 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3846 /* It is an enumerated type if the next symbol entry is a stMember
3847 and its auxiliary index is indexNil or its auxiliary entry
3848 is a plain btNil or btVoid.
3849 Alpha cc -migrate enums are recognized by a zero index and
3850 a zero symbol value.
3851 DU 4.0 cc enums are recognized by a member type of btEnum without
3852 qualifiers and a zero symbol value. */
3853 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3854 if (sh.st != stMember)
3857 if (sh.index == indexNil
3858 || (sh.index == 0 && svalue == 0))
3860 (*debug_swap->swap_tir_in) (fh->fBigendian,
3861 &(debug_info->external_aux
3862 + fh->iauxBase + sh.index)->a_ti,
3864 if ((tir.bt != btNil
3866 && (tir.bt != btEnum || svalue != 0))
3867 || tir.tq0 != tqNil)
3879 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3880 if (sh.st != stMember)
3882 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3884 /* Note that the value doesn't matter for enum constants
3885 in psymtabs, just in symtabs. */
3886 add_psymbol_to_list (name, strlen (name), 1,
3887 VAR_DOMAIN, LOC_CONST,
3888 &objfile->static_psymbols,
3889 0, psymtab_language, objfile);
3890 ext_sym += external_sym_size;
3894 /* Get the next symbol. OBJFILE is unused. */
3897 mdebug_next_symbol_text (struct objfile *objfile)
3902 (*debug_swap->swap_sym_in) (cur_bfd,
3903 ((char *) debug_info->external_sym
3904 + ((cur_fdr->isymBase + cur_sdx)
3905 * debug_swap->external_sym_size)),
3907 return debug_info->ss + cur_fdr->issBase + sh.iss;
3910 /* Ancillary function to psymtab_to_symtab(). Does all the work
3911 for turning the partial symtab PST into a symtab, recurring
3912 first on all dependent psymtabs. The argument FILENAME is
3913 only passed so we can see in debug stack traces what file
3916 This function has a split personality, based on whether the
3917 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3918 The flow of control and even the memory allocation differs. FIXME. */
3921 psymtab_to_symtab_1 (struct objfile *objfile,
3922 struct partial_symtab *pst, const char *filename)
3924 bfd_size_type external_sym_size;
3925 bfd_size_type external_pdr_size;
3926 void (*swap_sym_in) (bfd *, void *, SYMR *);
3927 void (*swap_pdr_in) (bfd *, void *, PDR *);
3929 struct compunit_symtab *cust = NULL;
3931 struct linetable *lines;
3932 CORE_ADDR lowest_pdr_addr = 0;
3933 int last_symtab_ended = 0;
3934 struct section_offsets *section_offsets = objfile->section_offsets;
3940 /* Read in all partial symbtabs on which this one is dependent.
3941 NOTE that we do have circular dependencies, sigh. We solved
3942 that by setting pst->readin before this point. */
3944 for (i = 0; i < pst->number_of_dependencies; i++)
3945 if (!pst->dependencies[i]->readin)
3947 /* Inform about additional files to be read in. */
3950 fputs_filtered (" ", gdb_stdout);
3952 fputs_filtered ("and ", gdb_stdout);
3954 printf_filtered ("%s...",
3955 pst->dependencies[i]->filename);
3956 wrap_here (""); /* Flush output */
3957 gdb_flush (gdb_stdout);
3959 /* We only pass the filename for debug purposes. */
3960 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3961 pst->dependencies[i]->filename);
3964 /* Do nothing if this is a dummy psymtab. */
3966 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3967 && pst->textlow == 0 && pst->texthigh == 0)
3970 /* Now read the symbols for this symtab. */
3972 cur_bfd = CUR_BFD (pst);
3973 debug_swap = DEBUG_SWAP (pst);
3974 debug_info = DEBUG_INFO (pst);
3975 pending_list = PENDING_LIST (pst);
3976 external_sym_size = debug_swap->external_sym_size;
3977 external_pdr_size = debug_swap->external_pdr_size;
3978 swap_sym_in = debug_swap->swap_sym_in;
3979 swap_pdr_in = debug_swap->swap_pdr_in;
3980 mdebugread_objfile = objfile;
3981 cur_fd = FDR_IDX (pst);
3982 fh = ((cur_fd == -1)
3984 : debug_info->fdr + cur_fd);
3987 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3988 processing_gcc_compilation = 0;
3989 if (fh != (FDR *) NULL && fh->csym >= 2)
3993 (*swap_sym_in) (cur_bfd,
3994 ((char *) debug_info->external_sym
3995 + (fh->isymBase + 1) * external_sym_size),
3997 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
4000 /* We indicate that this is a GCC compilation so that certain
4001 features will be enabled in stabsread/dbxread. */
4002 processing_gcc_compilation = 2;
4006 if (processing_gcc_compilation != 0)
4008 struct gdbarch *gdbarch = get_objfile_arch (objfile);
4010 /* This symbol table contains stabs-in-ecoff entries. */
4012 /* Parse local symbols first. */
4014 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
4016 mdebugread_objfile = NULL;
4019 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
4025 (*swap_sym_in) (cur_bfd,
4026 (((char *) debug_info->external_sym)
4027 + (fh->isymBase + cur_sdx) * external_sym_size),
4029 name = debug_info->ss + fh->issBase + sh.iss;
4031 /* XXX This is a hack. It will go away! */
4032 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
4034 int type_code = ECOFF_UNMARK_STAB (sh.index);
4036 /* We should never get non N_STAB symbols here, but they
4037 should be harmless, so keep process_one_symbol from
4038 complaining about them. */
4039 if (type_code & N_STAB)
4041 /* If we found a trailing N_SO with no name, process
4042 it here instead of in process_one_symbol, so we
4043 can keep a handle to its symtab. The symtab
4044 would otherwise be ended twice, once in
4045 process_one_symbol, and once after this loop. */
4046 if (type_code == N_SO
4047 && get_last_source_file ()
4048 && previous_stab_code != (unsigned char) N_SO
4051 valu += ANOFFSET (section_offsets,
4052 SECT_OFF_TEXT (objfile));
4053 previous_stab_code = N_SO;
4054 cust = end_symtab (valu, SECT_OFF_TEXT (objfile));
4056 last_symtab_ended = 1;
4060 last_symtab_ended = 0;
4061 process_one_symbol (type_code, 0, valu, name,
4062 section_offsets, objfile);
4065 /* Similarly a hack. */
4066 else if (name[0] == '#')
4068 process_one_symbol (N_SLINE, 0, valu, name,
4069 section_offsets, objfile);
4071 if (type_code == N_FUN)
4073 /* Make up special symbol to contain
4074 procedure specific info. */
4075 struct mdebug_extra_func_info *e =
4076 ((struct mdebug_extra_func_info *)
4077 obstack_alloc (&mdebugread_objfile->objfile_obstack,
4078 sizeof (struct mdebug_extra_func_info)));
4079 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4081 memset (e, 0, sizeof (struct mdebug_extra_func_info));
4082 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4083 SYMBOL_ACLASS_INDEX (s) = LOC_CONST;
4084 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4085 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4086 e->pdr.framereg = -1;
4087 add_symbol_to_list (s, &local_symbols);
4090 else if (sh.st == stLabel)
4092 if (sh.index == indexNil)
4094 /* This is what the gcc2_compiled and __gnu_compiled_*
4095 show up as. So don't complain. */
4100 /* Handle encoded stab line number. */
4101 valu += ANOFFSET (section_offsets,
4102 SECT_OFF_TEXT (objfile));
4103 record_line (current_subfile, sh.index,
4104 gdbarch_addr_bits_remove (gdbarch, valu));
4107 else if (sh.st == stProc || sh.st == stStaticProc
4108 || sh.st == stStatic || sh.st == stEnd)
4109 /* These are generated by gcc-2.x, do not complain. */
4112 complaint (&symfile_complaints,
4113 _("unknown stabs symbol %s"), name);
4116 if (! last_symtab_ended)
4118 cust = end_symtab (pst->texthigh, SECT_OFF_TEXT (objfile));
4122 /* There used to be a call to sort_blocks here, but this should not
4123 be necessary for stabs symtabs. And as sort_blocks modifies the
4124 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4125 it did the wrong thing if the first procedure in a file was
4126 generated via asm statements. */
4128 /* Fill in procedure info next. */
4132 struct cleanup *old_chain;
4138 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4139 old_chain = make_cleanup (xfree, pr_block);
4141 pdr_ptr = ((char *) debug_info->external_pdr
4142 + fh->ipdFirst * external_pdr_size);
4143 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4147 pdr_ptr += external_pdr_size, pdr_in++)
4149 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4151 /* Determine lowest PDR address, the PDRs are not always
4153 if (pdr_in == pr_block)
4154 lowest_pdr_addr = pdr_in->adr;
4155 else if (pdr_in->adr < lowest_pdr_addr)
4156 lowest_pdr_addr = pdr_in->adr;
4160 pdr_in_end = pdr_in + fh->cpd;
4161 for (; pdr_in < pdr_in_end; pdr_in++)
4162 parse_procedure (pdr_in, cust, pst);
4164 do_cleanups (old_chain);
4169 /* This symbol table contains ordinary ecoff entries. */
4177 cust = new_symtab ("unknown", 0, objfile);
4181 maxlines = 2 * fh->cline;
4182 cust = new_symtab (pst->filename, maxlines, objfile);
4184 /* The proper language was already determined when building
4185 the psymtab, use it. */
4186 COMPUNIT_FILETABS (cust)->language = PST_PRIVATE (pst)->pst_language;
4189 psymtab_language = COMPUNIT_FILETABS (cust)->language;
4191 lines = SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust));
4193 /* Get a new lexical context. */
4195 push_parse_stack ();
4196 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4197 top_stack->cur_block
4198 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust), STATIC_BLOCK);
4199 BLOCK_START (top_stack->cur_block) = pst->textlow;
4200 BLOCK_END (top_stack->cur_block) = 0;
4201 top_stack->blocktype = stFile;
4202 top_stack->cur_type = 0;
4203 top_stack->procadr = 0;
4204 top_stack->numargs = 0;
4205 found_ecoff_debugging_info = 0;
4212 /* Parse local symbols first. */
4213 sym_ptr = ((char *) debug_info->external_sym
4214 + fh->isymBase * external_sym_size);
4215 sym_end = sym_ptr + fh->csym * external_sym_size;
4216 while (sym_ptr < sym_end)
4221 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4222 c = parse_symbol (&sh,
4223 debug_info->external_aux + fh->iauxBase,
4224 sym_ptr, fh->fBigendian,
4225 section_offsets, objfile);
4226 sym_ptr += c * external_sym_size;
4229 /* Linenumbers. At the end, check if we can save memory.
4230 parse_lines has to look ahead an arbitrary number of PDR
4231 structures, so we swap them all first. */
4235 struct cleanup *old_chain;
4241 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4243 old_chain = make_cleanup (xfree, pr_block);
4245 pdr_ptr = ((char *) debug_info->external_pdr
4246 + fh->ipdFirst * external_pdr_size);
4247 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4251 pdr_ptr += external_pdr_size, pdr_in++)
4253 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4255 /* Determine lowest PDR address, the PDRs are not always
4257 if (pdr_in == pr_block)
4258 lowest_pdr_addr = pdr_in->adr;
4259 else if (pdr_in->adr < lowest_pdr_addr)
4260 lowest_pdr_addr = pdr_in->adr;
4263 parse_lines (fh, pr_block, lines, maxlines,
4264 pst, lowest_pdr_addr);
4265 if (lines->nitems < fh->cline)
4266 lines = shrink_linetable (lines);
4268 /* Fill in procedure info next. */
4270 pdr_in_end = pdr_in + fh->cpd;
4271 for (; pdr_in < pdr_in_end; pdr_in++)
4272 parse_procedure (pdr_in, NULL, pst);
4274 do_cleanups (old_chain);
4278 size = lines->nitems;
4281 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust))
4282 = obstack_copy (&mdebugread_objfile->objfile_obstack,
4284 (sizeof (struct linetable)
4285 + size * sizeof (lines->item)));
4288 /* .. and our share of externals.
4289 XXX use the global list to speed up things here. How?
4290 FIXME, Maybe quit once we have found the right number of ext's? */
4291 top_stack->cur_st = COMPUNIT_FILETABS (cust);
4292 top_stack->cur_block
4293 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack->cur_st),
4295 top_stack->blocktype = stFile;
4297 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4298 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4299 parse_external (ext_ptr, fh->fBigendian,
4300 section_offsets, objfile);
4302 /* If there are undefined symbols, tell the user.
4303 The alpha has an undefined symbol for every symbol that is
4304 from a shared library, so tell the user only if verbose is on. */
4305 if (info_verbose && n_undef_symbols)
4307 printf_filtered (_("File %s contains %d unresolved references:"),
4308 symtab_to_filename_for_display
4309 (COMPUNIT_FILETABS (cust)),
4311 printf_filtered ("\n\t%4d variables\n\t%4d "
4312 "procedures\n\t%4d labels\n",
4313 n_undef_vars, n_undef_procs, n_undef_labels);
4314 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4319 sort_blocks (COMPUNIT_FILETABS (cust));
4322 /* Now link the psymtab and the symtab. */
4323 pst->compunit_symtab = cust;
4325 mdebugread_objfile = NULL;
4328 /* Ancillary parsing procedures. */
4330 /* Return 1 if the symbol pointed to by SH has a cross reference
4331 to an opaque aggregate type, else 0. */
4334 has_opaque_xref (FDR *fh, SYMR *sh)
4341 if (sh->index == indexNil)
4344 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4345 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4346 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4350 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4351 if (rn->rfd == 0xfff)
4352 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4360 /* Lookup the type at relative index RN. Return it in TPP
4361 if found and in any event come up with its name PNAME.
4362 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4363 Return value says how many aux symbols we ate. */
4366 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4367 enum type_code type_code,
4368 /* Use to alloc new type if none is found. */
4369 char **pname, int bigend, char *sym_name)
4378 struct mdebug_pending *pend;
4380 *tpp = (struct type *) NULL;
4382 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4384 /* Escape index means 'the next one'. */
4385 if (rn->rfd == 0xfff)
4388 rf = AUX_GET_ISYM (bigend, ax + 1);
4395 /* mips cc uses a rf of -1 for opaque struct definitions.
4396 Set TYPE_FLAG_STUB for these types so that check_typedef will
4397 resolve them if the struct gets defined in another compilation unit. */
4400 *pname = "<undefined>";
4401 *tpp = init_type (type_code, 0, TYPE_FLAG_STUB,
4402 (char *) NULL, mdebugread_objfile);
4406 /* mips cc uses an escaped rn->index of 0 for struct return types
4407 of procedures that were compiled without -g. These will always remain
4409 if (rn->rfd == 0xfff && rn->index == 0)
4411 *pname = "<undefined>";
4415 /* Find the relative file descriptor and the symbol in it. */
4416 fh = get_rfd (fd, rf);
4417 xref_fd = fh - debug_info->fdr;
4419 if (rn->index >= fh->csym)
4421 /* File indirect entry is corrupt. */
4422 *pname = "<illegal>";
4423 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4427 /* If we have processed this symbol then we left a forwarding
4428 pointer to the type in the pending list. If not, we`ll put
4429 it in a list of pending types, to be processed later when
4430 the file will be. In any event, we collect the name for the
4433 esh = ((char *) debug_info->external_sym
4434 + ((fh->isymBase + rn->index)
4435 * debug_swap->external_sym_size));
4436 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4438 /* Make sure that this type of cross reference can be handled. */
4439 if ((sh.sc != scInfo
4440 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4441 && sh.st != stStruct && sh.st != stUnion
4442 && sh.st != stEnum))
4443 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4445 /* File indirect entry is corrupt. */
4446 *pname = "<illegal>";
4447 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4451 *pname = debug_info->ss + fh->issBase + sh.iss;
4453 pend = is_pending_symbol (fh, esh);
4458 /* We have not yet seen this type. */
4460 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4464 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4466 a) forward declarations of structs/unions/enums which are not
4467 defined in this compilation unit.
4468 For these the type will be void. This is a bad design decision
4469 as cross referencing across compilation units is impossible
4470 due to the missing name.
4471 b) forward declarations of structs/unions/enums/typedefs which
4472 are defined later in this file or in another file in the same
4473 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4474 Simply cross reference those again to get the true type.
4475 The forward references are not entered in the pending list and
4476 in the symbol table. */
4478 (*debug_swap->swap_tir_in) (bigend,
4479 &(debug_info->external_aux
4480 + fh->iauxBase + sh.index)->a_ti,
4482 if (tir.tq0 != tqNil)
4483 complaint (&symfile_complaints,
4484 _("illegal tq0 in forward typedef for %s"), sym_name);
4488 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4489 mdebugread_objfile);
4490 *pname = "<undefined>";
4497 (debug_info->external_aux
4498 + fh->iauxBase + sh.index + 1),
4499 tpp, type_code, pname,
4500 fh->fBigendian, sym_name);
4504 /* Follow a forward typedef. This might recursively
4505 call cross_ref till we get a non typedef'ed type.
4506 FIXME: This is not correct behaviour, but gdb currently
4507 cannot handle typedefs without type copying. Type
4508 copying is impossible as we might have mutual forward
4509 references between two files and the copied type would not
4510 get filled in when we later parse its definition. */
4511 *tpp = parse_type (xref_fd,
4512 debug_info->external_aux + fh->iauxBase,
4516 debug_info->ss + fh->issBase + sh.iss);
4517 add_pending (fh, esh, *tpp);
4521 complaint (&symfile_complaints,
4522 _("illegal bt %d in forward typedef for %s"), tir.bt,
4524 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4525 mdebugread_objfile);
4530 else if (sh.st == stTypedef)
4532 /* Parse the type for a normal typedef. This might recursively call
4533 cross_ref till we get a non typedef'ed type.
4534 FIXME: This is not correct behaviour, but gdb currently
4535 cannot handle typedefs without type copying. But type copying is
4536 impossible as we might have mutual forward references between
4537 two files and the copied type would not get filled in when
4538 we later parse its definition. */
4539 *tpp = parse_type (xref_fd,
4540 debug_info->external_aux + fh->iauxBase,
4544 debug_info->ss + fh->issBase + sh.iss);
4548 /* Cross reference to a struct/union/enum which is defined
4549 in another file in the same compilation unit but that file
4550 has not been parsed yet.
4551 Initialize the type only, it will be filled in when
4552 it's definition is parsed. */
4553 *tpp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
4555 add_pending (fh, esh, *tpp);
4558 /* We used one auxent normally, two if we got a "next one" rf. */
4563 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4564 keeping the symtab sorted. */
4566 static struct symbol *
4567 mylookup_symbol (char *name, const struct block *block,
4568 domain_enum domain, enum address_class theclass)
4570 struct block_iterator iter;
4575 ALL_BLOCK_SYMBOLS (block, iter, sym)
4577 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4578 && SYMBOL_DOMAIN (sym) == domain
4579 && SYMBOL_CLASS (sym) == theclass
4580 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4584 block = BLOCK_SUPERBLOCK (block);
4586 return mylookup_symbol (name, block, domain, theclass);
4591 /* Add a new symbol S to a block B. */
4594 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4596 symbol_set_symtab (s, symtab);
4597 dict_add_symbol (BLOCK_DICT (b), s);
4600 /* Add a new block B to a symtab S. */
4603 add_block (struct block *b, struct symtab *s)
4605 /* Cast away "const", but that's ok because we're building the
4606 symtab and blockvector here. */
4607 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4609 bv = (struct blockvector *) xrealloc ((void *) bv,
4610 (sizeof (struct blockvector)
4611 + BLOCKVECTOR_NBLOCKS (bv)
4612 * sizeof (bv->block)));
4613 if (bv != SYMTAB_BLOCKVECTOR (s))
4614 SYMTAB_BLOCKVECTOR (s) = bv;
4616 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4619 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4620 MIPS' linenumber encoding might need more than one byte
4621 to describe it, LAST is used to detect these continuation lines.
4623 Combining lines with the same line number seems like a bad idea.
4624 E.g: There could be a line number entry with the same line number after the
4625 prologue and GDB should not ignore it (this is a better way to find
4626 a prologue than mips_skip_prologue).
4627 But due to the compressed line table format there are line number entries
4628 for the same line which are needed to bridge the gap to the next
4629 line number entry. These entries have a bogus address info with them
4630 and we are unable to tell them from intended duplicate line number
4632 This is another reason why -ggdb debugging format is preferable. */
4635 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4637 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4638 Change them to something sensible. */
4642 last = -2; /* Make sure we record first line. */
4644 if (last == lineno) /* Skip continuation lines. */
4647 lt->item[lt->nitems].line = lineno;
4648 lt->item[lt->nitems++].pc = adr << 2;
4652 /* Sorting and reordering procedures. */
4654 /* Blocks with a smaller low bound should come first. */
4657 compare_blocks (const void *arg1, const void *arg2)
4660 struct block **b1 = (struct block **) arg1;
4661 struct block **b2 = (struct block **) arg2;
4663 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4665 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4669 /* Sort the blocks of a symtab S.
4670 Reorder the blocks in the blockvector by code-address,
4671 as required by some MI search routines. */
4674 sort_blocks (struct symtab *s)
4676 /* We have to cast away const here, but this is ok because we're
4677 constructing the blockvector in this code. */
4678 struct blockvector *bv = (struct blockvector *) SYMTAB_BLOCKVECTOR (s);
4680 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4683 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4684 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4685 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4686 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4690 * This is very unfortunate: normally all functions are compiled in
4691 * the order they are found, but if the file is compiled -O3 things
4692 * are very different. It would be nice to find a reliable test
4693 * to detect -O3 images in advance.
4695 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4696 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4697 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4698 sizeof (struct block *),
4703 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4705 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4706 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4707 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4708 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4711 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4712 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4714 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4715 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4716 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4717 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4721 /* Constructor/restructor/destructor procedures. */
4723 /* Allocate a new symtab for NAME. Needs an estimate of how many
4724 linenumbers MAXLINES we'll put in it. */
4726 static struct compunit_symtab *
4727 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4729 struct compunit_symtab *cust = allocate_compunit_symtab (objfile, name);
4730 struct symtab *symtab;
4731 struct blockvector *bv;
4733 add_compunit_symtab_to_objfile (cust);
4734 symtab = allocate_symtab (cust, name);
4736 SYMTAB_LINETABLE (symtab) = new_linetable (maxlines);
4738 /* All symtabs must have at least two blocks. */
4740 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK) = new_block (NON_FUNCTION_BLOCK);
4741 BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK) = new_block (NON_FUNCTION_BLOCK);
4742 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4743 BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
4744 COMPUNIT_BLOCKVECTOR (cust) = bv;
4746 COMPUNIT_DEBUGFORMAT (cust) = "ECOFF";
4750 /* Allocate a new partial_symtab NAME. */
4752 static struct partial_symtab *
4753 new_psymtab (char *name, struct objfile *objfile)
4755 struct partial_symtab *psymtab;
4757 psymtab = allocate_psymtab (name, objfile);
4759 /* Keep a backpointer to the file's symbols. */
4761 psymtab->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
4762 sizeof (struct symloc));
4763 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4764 CUR_BFD (psymtab) = cur_bfd;
4765 DEBUG_SWAP (psymtab) = debug_swap;
4766 DEBUG_INFO (psymtab) = debug_info;
4767 PENDING_LIST (psymtab) = pending_list;
4769 /* The way to turn this into a symtab is to call... */
4770 psymtab->read_symtab = mdebug_read_symtab;
4775 /* Allocate a linetable array of the given SIZE. Since the struct
4776 already includes one item, we subtract one when calculating the
4777 proper size to allocate. */
4779 static struct linetable *
4780 new_linetable (int size)
4782 struct linetable *l;
4786 size = size * sizeof (l->item) + sizeof (struct linetable);
4787 l = (struct linetable *) xmalloc (size);
4792 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4793 I am not so sure about the 3.4 ones.
4795 Since the struct linetable already includes one item, we subtract one when
4796 calculating the proper size to allocate. */
4798 static struct linetable *
4799 shrink_linetable (struct linetable *lt)
4801 return (struct linetable *) xrealloc ((void *) lt,
4802 (sizeof (struct linetable)
4804 * sizeof (lt->item))));
4807 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4809 static struct blockvector *
4810 new_bvect (int nblocks)
4812 struct blockvector *bv;
4815 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4816 bv = (struct blockvector *) xzalloc (size);
4818 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4823 /* Allocate and zero a new block, and set its BLOCK_DICT. If function
4824 is non-zero, assume the block is associated to a function, and make
4825 sure that the symbols are stored linearly; otherwise, store them
4828 static struct block *
4829 new_block (enum block_type type)
4831 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4832 allocate the block. Which, in turn, suggests that the block
4833 should be allocated on an obstack. */
4834 struct block *retval = xzalloc (sizeof (struct block));
4836 if (type == FUNCTION_BLOCK)
4837 BLOCK_DICT (retval) = dict_create_linear_expandable ();
4839 BLOCK_DICT (retval) = dict_create_hashed_expandable ();
4844 /* Create a new symbol with printname NAME. */
4846 static struct symbol *
4847 new_symbol (char *name)
4849 struct symbol *s = allocate_symbol (mdebugread_objfile);
4851 SYMBOL_SET_LANGUAGE (s, psymtab_language,
4852 &mdebugread_objfile->objfile_obstack);
4853 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4857 /* Create a new type with printname NAME. */
4859 static struct type *
4860 new_type (char *name)
4864 t = alloc_type (mdebugread_objfile);
4865 TYPE_NAME (t) = name;
4866 INIT_CPLUS_SPECIFIC (t);
4870 /* Read ECOFF debugging information from a BFD section. This is
4871 called from elfread.c. It parses the section into a
4872 ecoff_debug_info struct, and then lets the rest of the file handle
4876 elfmdebug_build_psymtabs (struct objfile *objfile,
4877 const struct ecoff_debug_swap *swap, asection *sec)
4879 bfd *abfd = objfile->obfd;
4880 struct ecoff_debug_info *info;
4881 struct cleanup *back_to;
4883 /* FIXME: It's not clear whether we should be getting minimal symbol
4884 information from .mdebug in an ELF file, or whether we will.
4885 Re-initialize the minimal symbol reader in case we do. */
4887 init_minimal_symbol_collection ();
4888 back_to = make_cleanup_discard_minimal_symbols ();
4890 info = ((struct ecoff_debug_info *)
4891 obstack_alloc (&objfile->objfile_obstack,
4892 sizeof (struct ecoff_debug_info)));
4894 if (!(*swap->read_debug_info) (abfd, sec, info))
4895 error (_("Error reading ECOFF debugging information: %s"),
4896 bfd_errmsg (bfd_get_error ()));
4898 mdebug_build_psymtabs (objfile, swap, info);
4900 install_minimal_symbols (objfile);
4901 do_cleanups (back_to);
4905 _initialize_mdebugread (void)
4907 basic_type_data = register_objfile_data ();
4909 mdebug_register_index
4910 = register_symbol_register_impl (LOC_REGISTER, &mdebug_register_funcs);
4911 mdebug_regparm_index
4912 = register_symbol_register_impl (LOC_REGPARM_ADDR, &mdebug_register_funcs);