1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2021 Free Software Foundation, Inc.
5 Original version contributed by Alessandro Forin (af@cs.cmu.edu) at
6 CMU. Major work by Per Bothner, John Gilmore and Ian Lance Taylor
9 This file is part of GDB.
11 This program is free software; you can redistribute it and/or modify
12 it under the terms of the GNU General Public License as published by
13 the Free Software Foundation; either version 3 of the License, or
14 (at your option) any later version.
16 This program is distributed in the hope that it will be useful,
17 but WITHOUT ANY WARRANTY; without even the implied warranty of
18 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 GNU General Public License for more details.
21 You should have received a copy of the GNU General Public License
22 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 /* This module provides the function mdebug_build_psymtabs. It reads
25 ECOFF debugging information into partial symbol tables. The
26 debugging information is read from two structures. A struct
27 ecoff_debug_swap includes the sizes of each ECOFF structure and
28 swapping routines; these are fixed for a particular target. A
29 struct ecoff_debug_info points to the debugging information for a
30 particular object file.
32 ECOFF symbol tables are mostly written in the byte order of the
33 target machine. However, one section of the table (the auxiliary
34 symbol information) is written in the host byte order. There is a
35 bit in the other symbol info which describes which host byte order
36 was used. ECOFF thereby takes the trophy from Intel `b.out' for
37 the most brain-dead adaptation of a file format to byte order.
39 This module can read all four of the known byte-order combinations,
40 on any type of host. */
46 #include "filenames.h"
48 #include "gdb_obstack.h"
49 #include "buildsym-legacy.h"
50 #include "stabsread.h"
51 #include "complaints.h"
53 #include "gdb-demangle.h"
55 #include "dictionary.h"
56 #include "mdebugread.h"
63 #include "coff/ecoff.h" /* COFF-like aspects of ecoff files. */
65 #include "libaout.h" /* Private BFD a.out information. */
66 #include "aout/aout64.h"
67 #include "aout/stab_gnu.h" /* STABS information. */
69 #include "expression.h"
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 (_("bad aux index at symbol %s"), arg1
);
134 unknown_ext_complaint (const char *arg1
)
136 complaint (_("unknown external symbol %s"), arg1
);
140 basic_type_complaint (int arg1
, const char *arg2
)
142 complaint (_("cannot map ECOFF basic type 0x%x for %s"),
147 bad_tag_guess_complaint (const char *arg1
)
149 complaint (_("guessed tag type of %s incorrectly"), arg1
);
153 bad_rfd_entry_complaint (const char *arg1
, int arg2
, int arg3
)
155 complaint (_("bad rfd entry for %s: file %d, index %d"),
160 unexpected_type_code_complaint (const char *arg1
)
162 complaint (_("unexpected type code for %s"), arg1
);
165 /* Macros and extra defs. */
167 /* Puns: hard to find whether -g was used and how. */
169 #define MIN_GLEVEL GLEVEL_0
170 #define compare_glevel(a,b) \
171 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
172 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
174 /* Things that really are local to this module. */
176 /* Remember what we deduced to be the source language of this psymtab. */
178 static enum language psymtab_language
= language_unknown
;
184 /* How to parse debugging information for CUR_BFD. */
186 static const struct ecoff_debug_swap
*debug_swap
;
188 /* Pointers to debugging information for CUR_BFD. */
190 static struct ecoff_debug_info
*debug_info
;
192 /* Pointer to current file descriptor record, and its index. */
197 /* Index of current symbol. */
201 /* Note how much "debuggable" this image is. We would like
202 to see at least one FDR with full symbols. */
204 static int max_gdbinfo
;
205 static int max_glevel
;
207 /* When examining .o files, report on undefined symbols. */
209 static int n_undef_symbols
, n_undef_labels
, n_undef_vars
, n_undef_procs
;
211 /* Pseudo symbol to use when putting stabs into the symbol table. */
213 static char stabs_symbol
[] = STABS_SYMBOL
;
215 /* Nonzero if we have seen ecoff debugging info for a file. */
217 static int found_ecoff_debugging_info
;
219 /* Forward declarations. */
221 static int upgrade_type (int, struct type
**, int, union aux_ext
*,
224 static void parse_partial_symbols (minimal_symbol_reader
&,
228 static int has_opaque_xref (FDR
*, SYMR
*);
230 static int cross_ref (int, union aux_ext
*, struct type
**, enum type_code
,
231 const char **, int, const char *);
233 static struct symbol
*new_symbol (const char *);
235 static struct type
*new_type (char *);
237 enum block_type
{ FUNCTION_BLOCK
, NON_FUNCTION_BLOCK
};
239 static struct block
*new_block (enum block_type
, enum language
);
241 static struct compunit_symtab
*new_symtab (const char *, int, struct objfile
*);
243 static struct linetable
*new_linetable (int);
245 static struct blockvector
*new_bvect (int);
247 static struct type
*parse_type (int, union aux_ext
*, unsigned int, int *,
250 static struct symbol
*mylookup_symbol (const char *, const struct block
*,
251 domain_enum
, enum address_class
);
253 static void sort_blocks (struct symtab
*);
255 static legacy_psymtab
*new_psymtab (const char *, psymtab_storage
*,
258 static void mdebug_expand_psymtab (legacy_psymtab
*pst
,
259 struct objfile
*objfile
);
261 static void add_block (struct block
*, struct symtab
*);
263 static void add_symbol (struct symbol
*, struct symtab
*, struct block
*);
265 static int add_line (struct linetable
*, int, CORE_ADDR
, int);
267 static struct linetable
*shrink_linetable (struct linetable
*);
269 static void handle_psymbol_enumerators (struct objfile
*, psymtab_storage
*,
271 FDR
*, int, CORE_ADDR
);
273 static const char *mdebug_next_symbol_text (struct objfile
*);
275 /* Exported procedure: Builds a symtab from the partial symtab SELF.
276 Restores the environment in effect when SELF was created, delegates
277 most of the work to an ancillary procedure, and sorts
278 and reorders the symtab list at the end. SELF is not NULL. */
281 mdebug_read_symtab (legacy_psymtab
*self
, struct objfile
*objfile
)
283 next_symbol_text_func
= mdebug_next_symbol_text
;
285 self
->expand_psymtab (objfile
);
287 /* Match with global symbols. This only needs to be done once,
288 after all of the symtabs and dependencies have been read in. */
289 scan_file_globals (objfile
);
292 /* File-level interface functions. */
294 /* Find a file descriptor given its index RF relative to a file CF. */
297 get_rfd (int cf
, int rf
)
303 fdrs
= debug_info
->fdr
;
305 /* Object files do not have the RFD table, all refs are absolute. */
308 (*debug_swap
->swap_rfd_in
) (cur_bfd
,
309 ((char *) debug_info
->external_rfd
311 * debug_swap
->external_rfd_size
)),
316 /* Return a safer print NAME for a file descriptor. */
322 return "<stripped file>";
325 return debug_info
->ss
+ f
->issBase
+ f
->rss
;
329 /* Read in and parse the symtab of the file OBJFILE. Symbols from
330 different sections are relocated via the SECTION_OFFSETS. */
333 mdebug_build_psymtabs (minimal_symbol_reader
&reader
,
334 struct objfile
*objfile
,
335 const struct ecoff_debug_swap
*swap
,
336 struct ecoff_debug_info
*info
)
338 cur_bfd
= objfile
->obfd
;
342 stabsread_new_init ();
343 free_header_files ();
344 init_header_files ();
346 /* Make sure all the FDR information is swapped in. */
347 if (info
->fdr
== NULL
)
353 info
->fdr
= (FDR
*) XOBNEWVEC (&objfile
->objfile_obstack
, FDR
,
354 info
->symbolic_header
.ifdMax
);
355 fdr_src
= (char *) info
->external_fdr
;
357 + info
->symbolic_header
.ifdMax
* swap
->external_fdr_size
);
359 for (; fdr_src
< fdr_end
; fdr_src
+= swap
->external_fdr_size
, fdr_ptr
++)
360 (*swap
->swap_fdr_in
) (objfile
->obfd
, fdr_src
, fdr_ptr
);
363 psymtab_storage
*partial_symtabs
= objfile
->partial_symtabs
.get ();
364 parse_partial_symbols (reader
, partial_symtabs
, objfile
);
367 /* Check to make sure file was compiled with -g. If not, warn the
368 user of this limitation. */
369 if (compare_glevel (max_glevel
, GLEVEL_2
) < 0)
371 if (max_gdbinfo
== 0)
372 printf_unfiltered (_("\n%s not compiled with -g, "
373 "debugging support is limited.\n"),
375 printf_unfiltered (_("You should compile with -g2 or "
376 "-g3 for best debugging support.\n"));
381 /* Local utilities */
383 /* Map of FDR indexes to partial symtabs. */
387 legacy_psymtab
*pst
; /* the psymtab proper */
388 long n_globals
; /* exported globals (external symbols) */
389 long globals_offset
; /* cumulative */
393 /* Utility stack, used to nest procedures and blocks properly.
394 It is a doubly linked list, to avoid too many alloc/free.
395 Since we might need it quite a few times it is NOT deallocated
398 static struct parse_stack
400 struct parse_stack
*next
, *prev
;
401 struct symtab
*cur_st
; /* Current symtab. */
402 struct block
*cur_block
; /* Block in it. */
404 /* What are we parsing. stFile, or stBlock are for files and
405 blocks. stProc or stStaticProc means we have seen the start of a
406 procedure, but not the start of the block within in. When we see
407 the start of that block, we change it to stNil, without pushing a
408 new block, i.e. stNil means both a procedure and a block. */
412 struct type
*cur_type
; /* Type we parse fields for. */
413 int cur_field
; /* Field number in cur_type. */
414 CORE_ADDR procadr
; /* Start addres of this procedure. */
415 int numargs
; /* Its argument count. */
418 *top_stack
; /* Top stack ptr */
421 /* Enter a new lexical context. */
424 push_parse_stack (void)
426 struct parse_stack
*newobj
;
428 /* Reuse frames if possible. */
429 if (top_stack
&& top_stack
->prev
)
430 newobj
= top_stack
->prev
;
432 newobj
= XCNEW (struct parse_stack
);
433 /* Initialize new frame with previous content. */
436 struct parse_stack
*prev
= newobj
->prev
;
438 *newobj
= *top_stack
;
439 top_stack
->prev
= newobj
;
441 newobj
->next
= top_stack
;
446 /* Exit a lexical context. */
449 pop_parse_stack (void)
454 top_stack
= top_stack
->next
;
458 /* Cross-references might be to things we haven't looked at
459 yet, e.g. type references. To avoid too many type
460 duplications we keep a quick fixup table, an array
461 of lists of references indexed by file descriptor. */
463 struct mdebug_pending
465 struct mdebug_pending
*next
; /* link */
466 char *s
; /* the unswapped symbol */
467 struct type
*t
; /* its partial type descriptor */
471 /* The pending information is kept for an entire object file. We
472 allocate the pending information table when we create the partial
473 symbols, and we store a pointer to the single table in each
476 static struct mdebug_pending
**pending_list
;
478 /* Check whether we already saw symbol SH in file FH. */
480 static struct mdebug_pending
*
481 is_pending_symbol (FDR
*fh
, char *sh
)
483 int f_idx
= fh
- debug_info
->fdr
;
484 struct mdebug_pending
*p
;
486 /* Linear search is ok, list is typically no more than 10 deep. */
487 for (p
= pending_list
[f_idx
]; p
; p
= p
->next
)
493 /* Add a new symbol SH of type T. */
496 add_pending (FDR
*fh
, char *sh
, struct type
*t
)
498 int f_idx
= fh
- debug_info
->fdr
;
499 struct mdebug_pending
*p
= is_pending_symbol (fh
, sh
);
501 /* Make sure we do not make duplicates. */
504 p
= XOBNEW (&mdebugread_objfile
->objfile_obstack
, mdebug_pending
);
507 p
->next
= pending_list
[f_idx
];
508 pending_list
[f_idx
] = p
;
513 /* Parsing Routines proper. */
516 reg_value_complaint (int regnum
, int num_regs
, const char *sym
)
518 complaint (_("bad register number %d (max %d) in symbol %s"),
519 regnum
, num_regs
- 1, sym
);
522 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
523 For blocks, procedures and types we open a new lexical context.
524 This is basically just a big switch on the symbol's type. Argument
525 AX is the base pointer of aux symbols for this file (fh->iauxBase).
526 EXT_SH points to the unswapped symbol, which is needed for struct,
527 union, etc., types; it is NULL for an EXTR. BIGEND says whether
528 aux symbols are big-endian or little-endian. Return count of
529 SYMR's handled (normally one). */
532 mdebug_reg_to_regnum (struct symbol
*sym
, struct gdbarch
*gdbarch
)
534 int regno
= gdbarch_ecoff_reg_to_regnum (gdbarch
, SYMBOL_VALUE (sym
));
536 if (regno
< 0 || regno
>= gdbarch_num_cooked_regs (gdbarch
))
538 reg_value_complaint (regno
, gdbarch_num_cooked_regs (gdbarch
),
541 regno
= gdbarch_sp_regnum (gdbarch
); /* Known safe, though useless. */
547 static const struct symbol_register_ops mdebug_register_funcs
= {
551 /* The "aclass" indices for computed symbols. */
553 static int mdebug_register_index
;
554 static int mdebug_regparm_index
;
556 /* Common code for symbols describing data. */
559 add_data_symbol (SYMR
*sh
, union aux_ext
*ax
, int bigend
,
560 struct symbol
*s
, int aclass_index
, struct block
*b
,
561 struct objfile
*objfile
, const char *name
)
563 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
;
564 SYMBOL_ACLASS_INDEX (s
) = aclass_index
;
565 add_symbol (s
, top_stack
->cur_st
, b
);
567 /* Type could be missing if file is compiled without debugging info. */
568 if (SC_IS_UNDEF (sh
->sc
)
569 || sh
->sc
== scNil
|| sh
->index
== indexNil
)
570 SYMBOL_TYPE (s
) = objfile_type (objfile
)->nodebug_data_symbol
;
572 SYMBOL_TYPE (s
) = parse_type (cur_fd
, ax
, sh
->index
, 0, bigend
, name
);
573 /* Value of a data symbol is its memory address. */
577 parse_symbol (SYMR
*sh
, union aux_ext
*ax
, char *ext_sh
, int bigend
,
578 const section_offsets
§ion_offsets
, struct objfile
*objfile
)
580 struct gdbarch
*gdbarch
= objfile
->arch ();
581 const bfd_size_type external_sym_size
= debug_swap
->external_sym_size
;
582 void (*const swap_sym_in
) (bfd
*, void *, SYMR
*) = debug_swap
->swap_sym_in
;
586 struct mdebug_pending
*pend
;
590 long svalue
= sh
->value
;
594 name
= debug_info
->ssext
+ sh
->iss
;
596 name
= debug_info
->ss
+ cur_fdr
->issBase
+ sh
->iss
;
602 /* Do not relocate relative values.
603 The value of a stEnd symbol is the displacement from the
604 corresponding start symbol value.
605 The value of a stBlock symbol is the displacement from the
606 procedure address. */
607 if (sh
->st
!= stEnd
&& sh
->st
!= stBlock
)
608 sh
->value
+= section_offsets
[SECT_OFF_TEXT (objfile
)];
615 sh
->value
+= section_offsets
[SECT_OFF_DATA (objfile
)];
619 sh
->value
+= section_offsets
[SECT_OFF_BSS (objfile
)];
628 case stGlobal
: /* External symbol, goes into global block. */
629 b
= BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack
->cur_st
),
631 s
= new_symbol (name
);
632 SET_SYMBOL_VALUE_ADDRESS (s
, (CORE_ADDR
) sh
->value
);
633 add_data_symbol (sh
, ax
, bigend
, s
, LOC_STATIC
, b
, objfile
, name
);
636 case stStatic
: /* Static data, goes into current block. */
637 b
= top_stack
->cur_block
;
638 s
= new_symbol (name
);
639 if (SC_IS_COMMON (sh
->sc
))
641 /* It is a FORTRAN common block. At least for SGI Fortran the
642 address is not in the symbol; we need to fix it later in
643 scan_file_globals. */
644 int bucket
= hashname (s
->linkage_name ());
645 SYMBOL_VALUE_CHAIN (s
) = global_sym_chain
[bucket
];
646 global_sym_chain
[bucket
] = s
;
649 SET_SYMBOL_VALUE_ADDRESS (s
, (CORE_ADDR
) sh
->value
);
650 add_data_symbol (sh
, ax
, bigend
, s
, LOC_STATIC
, b
, objfile
, name
);
653 case stLocal
: /* Local variable, goes into current block. */
654 b
= top_stack
->cur_block
;
655 s
= new_symbol (name
);
656 SYMBOL_VALUE (s
) = svalue
;
657 if (sh
->sc
== scRegister
)
658 add_data_symbol (sh
, ax
, bigend
, s
, mdebug_register_index
,
661 add_data_symbol (sh
, ax
, bigend
, s
, LOC_LOCAL
,
665 case stParam
: /* Arg to procedure, goes into current
668 found_ecoff_debugging_info
= 1;
669 top_stack
->numargs
++;
671 /* Special GNU C++ name. */
672 if (is_cplus_marker (name
[0]) && name
[1] == 't' && name
[2] == 0)
673 name
= "this"; /* FIXME, not alloc'd in obstack. */
674 s
= new_symbol (name
);
676 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
;
677 SYMBOL_IS_ARGUMENT (s
) = 1;
681 /* Pass by value in register. */
682 SYMBOL_ACLASS_INDEX (s
) = mdebug_register_index
;
685 /* Pass by reference on stack. */
686 SYMBOL_ACLASS_INDEX (s
) = LOC_REF_ARG
;
689 /* Pass by reference in register. */
690 SYMBOL_ACLASS_INDEX (s
) = mdebug_regparm_index
;
693 /* Pass by value on stack. */
694 SYMBOL_ACLASS_INDEX (s
) = LOC_ARG
;
697 SYMBOL_VALUE (s
) = svalue
;
698 SYMBOL_TYPE (s
) = parse_type (cur_fd
, ax
, sh
->index
, 0, bigend
, name
);
699 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
702 case stLabel
: /* label, goes into current block. */
703 s
= new_symbol (name
);
704 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
; /* So that it can be used */
705 SYMBOL_ACLASS_INDEX (s
) = LOC_LABEL
; /* but not misused. */
706 SET_SYMBOL_VALUE_ADDRESS (s
, (CORE_ADDR
) sh
->value
);
707 SYMBOL_TYPE (s
) = objfile_type (objfile
)->builtin_int
;
708 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
711 case stProc
: /* Procedure, usually goes into global block. */
712 case stStaticProc
: /* Static procedure, goes into current block. */
713 /* For stProc symbol records, we need to check the storage class
714 as well, as only (stProc, scText) entries represent "real"
715 procedures - See the Compaq document titled "Object File /
716 Symbol Table Format Specification" for more information.
717 If the storage class is not scText, we discard the whole block
718 of symbol records for this stProc. */
719 if (sh
->st
== stProc
&& sh
->sc
!= scText
)
721 char *ext_tsym
= ext_sh
;
722 int keep_counting
= 1;
725 while (keep_counting
)
727 ext_tsym
+= external_sym_size
;
728 (*swap_sym_in
) (cur_bfd
, ext_tsym
, &tsym
);
738 complaint (_("unknown symbol type 0x%x"), sh
->st
);
744 s
= new_symbol (name
);
745 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
;
746 SYMBOL_ACLASS_INDEX (s
) = LOC_BLOCK
;
747 /* Type of the return value. */
748 if (SC_IS_UNDEF (sh
->sc
) || sh
->sc
== scNil
)
749 t
= objfile_type (objfile
)->builtin_int
;
752 t
= parse_type (cur_fd
, ax
, sh
->index
+ 1, 0, bigend
, name
);
753 if (strcmp (name
, "malloc") == 0
754 && t
->code () == TYPE_CODE_VOID
)
756 /* I don't know why, but, at least under Alpha GNU/Linux,
757 when linking against a malloc without debugging
758 symbols, its read as a function returning void---this
759 is bad because it means we cannot call functions with
760 string arguments interactively; i.e., "call
761 printf("howdy\n")" would fail with the error message
762 "program has no memory available". To avoid this, we
763 patch up the type and make it void*
764 instead. (davidm@azstarnet.com). */
765 t
= make_pointer_type (t
, NULL
);
768 b
= top_stack
->cur_block
;
769 if (sh
->st
== stProc
)
771 const struct blockvector
*bv
772 = SYMTAB_BLOCKVECTOR (top_stack
->cur_st
);
774 /* The next test should normally be true, but provides a
775 hook for nested functions (which we don't want to make
777 if (b
== BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
))
778 b
= BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
);
779 /* Irix 5 sometimes has duplicate names for the same
780 function. We want to add such names up at the global
781 level, not as a nested function. */
782 else if (sh
->value
== top_stack
->procadr
)
783 b
= BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
);
785 add_symbol (s
, top_stack
->cur_st
, b
);
787 /* Make a type for the procedure itself. */
788 SYMBOL_TYPE (s
) = lookup_function_type (t
);
790 /* All functions in C++ have prototypes. For C we don't have enough
791 information in the debug info. */
792 if (s
->language () == language_cplus
)
793 SYMBOL_TYPE (s
)->set_is_prototyped (true);
795 /* Create and enter a new lexical context. */
796 b
= new_block (FUNCTION_BLOCK
, s
->language ());
797 SYMBOL_BLOCK_VALUE (s
) = b
;
798 BLOCK_FUNCTION (b
) = s
;
799 BLOCK_START (b
) = BLOCK_END (b
) = sh
->value
;
800 BLOCK_SUPERBLOCK (b
) = top_stack
->cur_block
;
801 add_block (b
, top_stack
->cur_st
);
803 /* Not if we only have partial info. */
804 if (SC_IS_UNDEF (sh
->sc
) || sh
->sc
== scNil
)
808 top_stack
->cur_block
= b
;
809 top_stack
->blocktype
= sh
->st
;
810 top_stack
->cur_type
= SYMBOL_TYPE (s
);
811 top_stack
->cur_field
= -1;
812 top_stack
->procadr
= sh
->value
;
813 top_stack
->numargs
= 0;
816 /* Beginning of code for structure, union, and enum definitions.
817 They all share a common set of local variables, defined here. */
819 enum type_code type_code
;
825 case stStruct
: /* Start a block defining a struct type. */
826 type_code
= TYPE_CODE_STRUCT
;
827 goto structured_common
;
829 case stUnion
: /* Start a block defining a union type. */
830 type_code
= TYPE_CODE_UNION
;
831 goto structured_common
;
833 case stEnum
: /* Start a block defining an enum type. */
834 type_code
= TYPE_CODE_ENUM
;
835 goto structured_common
;
837 case stBlock
: /* Either a lexical block, or some type. */
838 if (sh
->sc
!= scInfo
&& !SC_IS_COMMON (sh
->sc
))
839 goto case_stBlock_code
; /* Lexical block */
841 type_code
= TYPE_CODE_UNDEF
; /* We have a type. */
843 /* Common code for handling struct, union, enum, and/or as-yet-
844 unknown-type blocks of info about structured data. `type_code'
845 has been set to the proper TYPE_CODE, if we know it. */
847 found_ecoff_debugging_info
= 1;
849 top_stack
->blocktype
= stBlock
;
851 /* First count the number of fields and the highest value. */
854 for (ext_tsym
= ext_sh
+ external_sym_size
;
856 ext_tsym
+= external_sym_size
)
860 (*swap_sym_in
) (cur_bfd
, ext_tsym
, &tsym
);
865 /* C++ encodes class types as structures where there the
866 methods are encoded as stProc. The scope of stProc
867 symbols also ends with stEnd, thus creating a risk of
868 taking the wrong stEnd symbol record as the end of
869 the current struct, which would cause GDB to undercount
870 the real number of fields in this struct. To make sure
871 we really reached the right stEnd symbol record, we
872 check the associated name, and match it against the
873 struct name. Since method names are mangled while
874 the class name is not, there is no risk of having a
875 method whose name is identical to the class name
876 (in particular constructor method names are different
877 from the class name). There is therefore no risk that
878 this check stops the count on the StEnd of a method.
880 Also, assume that we're really at the end when tsym.iss
882 if (tsym
.iss
== issNull
883 || strcmp (debug_info
->ss
+ cur_fdr
->issBase
+ tsym
.iss
,
889 if (nfields
== 0 && type_code
== TYPE_CODE_UNDEF
)
891 /* If the type of the member is Nil (or Void),
892 without qualifiers, assume the tag is an
894 Alpha cc -migrate enums are recognized by a zero
895 index and a zero symbol value.
896 DU 4.0 cc enums are recognized by a member type of
897 btEnum without qualifiers and a zero symbol value. */
898 if (tsym
.index
== indexNil
899 || (tsym
.index
== 0 && sh
->value
== 0))
900 type_code
= TYPE_CODE_ENUM
;
903 (*debug_swap
->swap_tir_in
) (bigend
,
904 &ax
[tsym
.index
].a_ti
,
906 if ((tir
.bt
== btNil
|| tir
.bt
== btVoid
907 || (tir
.bt
== btEnum
&& sh
->value
== 0))
909 type_code
= TYPE_CODE_ENUM
;
913 if (tsym
.value
> max_value
)
914 max_value
= tsym
.value
;
923 /* This is a no-op; is it trying to tell us something
924 we should be checking? */
925 if (tsym
.sc
== scVariant
); /*UNIMPLEMENTED */
929 /* This is something like a struct within a
930 struct. Skip over the fields of the inner
931 struct. The -1 is because the for loop will
932 increment ext_tsym. */
933 ext_tsym
= ((char *) debug_info
->external_sym
934 + ((cur_fdr
->isymBase
+ tsym
.index
- 1)
935 * external_sym_size
));
941 /* mips cc puts out a typedef for struct x if it is not yet
942 defined when it encounters
943 struct y { struct x *xp; };
948 /* Irix5 cc puts out a stIndirect for struct x if it is not
949 yet defined when it encounters
950 struct y { struct x *xp; };
955 complaint (_("declaration block contains "
956 "unhandled symbol type %d"),
962 /* In an stBlock, there is no way to distinguish structs,
963 unions, and enums at this point. This is a bug in the
964 original design (that has been fixed with the recent
965 addition of the stStruct, stUnion, and stEnum symbol
966 types.) The way you can tell is if/when you see a variable
967 or field of that type. In that case the variable's type
968 (in the AUX table) says if the type is struct, union, or
969 enum, and points back to the stBlock here. So you can
970 patch the tag kind up later - but only if there actually is
971 a variable or field of that type.
973 So until we know for sure, we will guess at this point.
975 If the first member has index==indexNil or a void type,
976 assume we have an enumeration.
977 Otherwise, if there is more than one member, and all
978 the members have offset 0, assume we have a union.
979 Otherwise, assume we have a struct.
981 The heuristic could guess wrong in the case of of an
982 enumeration with no members or a union with one (or zero)
983 members, or when all except the last field of a struct have
984 width zero. These are uncommon and/or illegal situations,
985 and in any case guessing wrong probably doesn't matter
988 But if we later do find out we were wrong, we fixup the tag
989 kind. Members of an enumeration must be handled
990 differently from struct/union fields, and that is harder to
991 patch up, but luckily we shouldn't need to. (If there are
992 any enumeration members, we can tell for sure it's an enum
995 if (type_code
== TYPE_CODE_UNDEF
)
997 if (nfields
> 1 && max_value
== 0)
998 type_code
= TYPE_CODE_UNION
;
1000 type_code
= TYPE_CODE_STRUCT
;
1003 /* Create a new type or use the pending type. */
1004 pend
= is_pending_symbol (cur_fdr
, ext_sh
);
1007 t
= new_type (NULL
);
1008 add_pending (cur_fdr
, ext_sh
, t
);
1013 /* Do not set the tag name if it is a compiler generated tag name
1014 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1015 Alpha cc puts out an sh->iss of zero for those. */
1016 if (sh
->iss
== 0 || name
[0] == '.' || name
[0] == '\0')
1019 t
->set_name (obconcat (&mdebugread_objfile
->objfile_obstack
,
1020 name
, (char *) NULL
));
1022 t
->set_code (type_code
);
1023 TYPE_LENGTH (t
) = sh
->value
;
1024 t
->set_num_fields (nfields
);
1025 f
= ((struct field
*) TYPE_ALLOC (t
, nfields
* sizeof (struct field
)));
1028 if (type_code
== TYPE_CODE_ENUM
)
1030 int unsigned_enum
= 1;
1032 /* This is a non-empty enum. */
1034 /* DEC c89 has the number of enumerators in the sh.value field,
1035 not the type length, so we have to compensate for that
1036 incompatibility quirk.
1037 This might do the wrong thing for an enum with one or two
1038 enumerators and gcc -gcoff -fshort-enums, but these cases
1039 are hopefully rare enough.
1040 Alpha cc -migrate has a sh.value field of zero, we adjust
1042 if (TYPE_LENGTH (t
) == t
->num_fields ()
1043 || TYPE_LENGTH (t
) == 0)
1044 TYPE_LENGTH (t
) = gdbarch_int_bit (gdbarch
) / HOST_CHAR_BIT
;
1045 for (ext_tsym
= ext_sh
+ external_sym_size
;
1047 ext_tsym
+= external_sym_size
)
1050 struct symbol
*enum_sym
;
1052 (*swap_sym_in
) (cur_bfd
, ext_tsym
, &tsym
);
1054 if (tsym
.st
!= stMember
)
1057 SET_FIELD_ENUMVAL (*f
, tsym
.value
);
1059 FIELD_NAME (*f
) = debug_info
->ss
+ cur_fdr
->issBase
+ tsym
.iss
;
1060 FIELD_BITSIZE (*f
) = 0;
1062 enum_sym
= new (&mdebugread_objfile
->objfile_obstack
) symbol
;
1063 enum_sym
->set_linkage_name
1064 (obstack_strdup (&mdebugread_objfile
->objfile_obstack
,
1066 SYMBOL_ACLASS_INDEX (enum_sym
) = LOC_CONST
;
1067 SYMBOL_TYPE (enum_sym
) = t
;
1068 SYMBOL_DOMAIN (enum_sym
) = VAR_DOMAIN
;
1069 SYMBOL_VALUE (enum_sym
) = tsym
.value
;
1070 if (SYMBOL_VALUE (enum_sym
) < 0)
1072 add_symbol (enum_sym
, top_stack
->cur_st
, top_stack
->cur_block
);
1074 /* Skip the stMembers that we've handled. */
1079 t
->set_is_unsigned (true);
1081 /* Make this the current type. */
1082 top_stack
->cur_type
= t
;
1083 top_stack
->cur_field
= 0;
1085 /* Do not create a symbol for alpha cc unnamed structs. */
1089 /* gcc puts out an empty struct for an opaque struct definitions,
1090 do not create a symbol for it either. */
1091 if (t
->num_fields () == 0)
1093 t
->set_is_stub (true);
1097 s
= new_symbol (name
);
1098 SYMBOL_DOMAIN (s
) = STRUCT_DOMAIN
;
1099 SYMBOL_ACLASS_INDEX (s
) = LOC_TYPEDEF
;
1100 SYMBOL_VALUE (s
) = 0;
1101 SYMBOL_TYPE (s
) = t
;
1102 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
1105 /* End of local variables shared by struct, union, enum, and
1106 block (as yet unknown struct/union/enum) processing. */
1110 found_ecoff_debugging_info
= 1;
1111 /* Beginnning of (code) block. Value of symbol
1112 is the displacement from procedure start. */
1113 push_parse_stack ();
1115 /* Do not start a new block if this is the outermost block of a
1116 procedure. This allows the LOC_BLOCK symbol to point to the
1117 block with the local variables, so funcname::var works. */
1118 if (top_stack
->blocktype
== stProc
1119 || top_stack
->blocktype
== stStaticProc
)
1121 top_stack
->blocktype
= stNil
;
1125 top_stack
->blocktype
= stBlock
;
1126 b
= new_block (NON_FUNCTION_BLOCK
, psymtab_language
);
1127 BLOCK_START (b
) = sh
->value
+ top_stack
->procadr
;
1128 BLOCK_SUPERBLOCK (b
) = top_stack
->cur_block
;
1129 top_stack
->cur_block
= b
;
1130 add_block (b
, top_stack
->cur_st
);
1133 case stEnd
: /* end (of anything) */
1134 if (sh
->sc
== scInfo
|| SC_IS_COMMON (sh
->sc
))
1136 /* Finished with type */
1137 top_stack
->cur_type
= 0;
1139 else if (sh
->sc
== scText
&&
1140 (top_stack
->blocktype
== stProc
||
1141 top_stack
->blocktype
== stStaticProc
))
1143 /* Finished with procedure */
1144 const struct blockvector
*bv
1145 = SYMTAB_BLOCKVECTOR (top_stack
->cur_st
);
1146 struct mdebug_extra_func_info
*e
;
1147 struct block
*cblock
= top_stack
->cur_block
;
1148 struct type
*ftype
= top_stack
->cur_type
;
1151 BLOCK_END (top_stack
->cur_block
) += sh
->value
; /* size */
1153 /* Make up special symbol to contain procedure specific info. */
1154 s
= new_symbol (MDEBUG_EFI_SYMBOL_NAME
);
1155 SYMBOL_DOMAIN (s
) = LABEL_DOMAIN
;
1156 SYMBOL_ACLASS_INDEX (s
) = LOC_CONST
;
1157 SYMBOL_TYPE (s
) = objfile_type (mdebugread_objfile
)->builtin_void
;
1158 e
= OBSTACK_ZALLOC (&mdebugread_objfile
->objfile_obstack
,
1159 mdebug_extra_func_info
);
1160 SYMBOL_VALUE_BYTES (s
) = (gdb_byte
*) e
;
1161 e
->numargs
= top_stack
->numargs
;
1162 e
->pdr
.framereg
= -1;
1163 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
1165 /* f77 emits proc-level with address bounds==[0,0],
1166 So look for such child blocks, and patch them. */
1167 for (i
= 0; i
< BLOCKVECTOR_NBLOCKS (bv
); i
++)
1169 struct block
*b_bad
= BLOCKVECTOR_BLOCK (bv
, i
);
1171 if (BLOCK_SUPERBLOCK (b_bad
) == cblock
1172 && BLOCK_START (b_bad
) == top_stack
->procadr
1173 && BLOCK_END (b_bad
) == top_stack
->procadr
)
1175 BLOCK_START (b_bad
) = BLOCK_START (cblock
);
1176 BLOCK_END (b_bad
) = BLOCK_END (cblock
);
1180 if (ftype
->num_fields () <= 0)
1182 /* No parameter type information is recorded with the function's
1183 type. Set that from the type of the parameter symbols. */
1184 int nparams
= top_stack
->numargs
;
1190 struct block_iterator iter
;
1192 ftype
->set_num_fields (nparams
);
1195 TYPE_ALLOC (ftype
, nparams
* sizeof (struct field
)));
1198 ALL_BLOCK_SYMBOLS (cblock
, iter
, sym
)
1200 if (iparams
== nparams
)
1203 if (SYMBOL_IS_ARGUMENT (sym
))
1205 ftype
->field (iparams
).set_type (SYMBOL_TYPE (sym
));
1206 TYPE_FIELD_ARTIFICIAL (ftype
, iparams
) = 0;
1213 else if (sh
->sc
== scText
&& top_stack
->blocktype
== stBlock
)
1215 /* End of (code) block. The value of the symbol is the
1216 displacement from the procedure`s start address of the
1217 end of this block. */
1218 BLOCK_END (top_stack
->cur_block
) = sh
->value
+ top_stack
->procadr
;
1220 else if (sh
->sc
== scText
&& top_stack
->blocktype
== stNil
)
1222 /* End of outermost block. Pop parse stack and ignore. The
1223 following stEnd of stProc will take care of the block. */
1226 else if (sh
->sc
== scText
&& top_stack
->blocktype
== stFile
)
1228 /* End of file. Pop parse stack and ignore. Higher
1229 level code deals with this. */
1233 complaint (_("stEnd with storage class %d not handled"), sh
->sc
);
1235 pop_parse_stack (); /* Restore previous lexical context. */
1238 case stMember
: /* member of struct or union */
1240 struct field
*f
= &top_stack
->cur_type
->field (top_stack
->cur_field
);
1241 top_stack
->cur_field
++;
1242 FIELD_NAME (*f
) = name
;
1243 SET_FIELD_BITPOS (*f
, sh
->value
);
1245 f
->set_type (parse_type (cur_fd
, ax
, sh
->index
, &bitsize
, bigend
,
1247 FIELD_BITSIZE (*f
) = bitsize
;
1251 case stIndirect
: /* forward declaration on Irix5 */
1252 /* Forward declarations from Irix5 cc are handled by cross_ref,
1256 case stTypedef
: /* type definition */
1257 found_ecoff_debugging_info
= 1;
1259 /* Typedefs for forward declarations and opaque structs from alpha cc
1260 are handled by cross_ref, skip them. */
1264 /* Parse the type or use the pending type. */
1265 pend
= is_pending_symbol (cur_fdr
, ext_sh
);
1268 t
= parse_type (cur_fd
, ax
, sh
->index
, NULL
, bigend
, name
);
1269 add_pending (cur_fdr
, ext_sh
, t
);
1274 /* Mips cc puts out a typedef with the name of the struct for forward
1275 declarations. These should not go into the symbol table and
1276 TYPE_NAME should not be set for them.
1277 They can't be distinguished from an intentional typedef to
1278 the same name however:
1280 struct x { int ix; int jx; };
1284 struct xx {int ixx; int jxx; };
1285 generates a cross referencing stTypedef for x and xx.
1286 The user visible effect of this is that the type of a pointer
1287 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1288 The problem is fixed with alpha cc and Irix5 cc. */
1290 /* However if the typedef cross references to an opaque aggregate, it
1291 is safe to omit it from the symbol table. */
1293 if (has_opaque_xref (cur_fdr
, sh
))
1295 s
= new_symbol (name
);
1296 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
;
1297 SYMBOL_ACLASS_INDEX (s
) = LOC_TYPEDEF
;
1298 SYMBOL_BLOCK_VALUE (s
) = top_stack
->cur_block
;
1299 SYMBOL_TYPE (s
) = t
;
1300 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
1302 /* Incomplete definitions of structs should not get a name. */
1303 if (SYMBOL_TYPE (s
)->name () == NULL
1304 && (SYMBOL_TYPE (s
)->num_fields () != 0
1305 || (SYMBOL_TYPE (s
)->code () != TYPE_CODE_STRUCT
1306 && SYMBOL_TYPE (s
)->code () != TYPE_CODE_UNION
)))
1308 if (SYMBOL_TYPE (s
)->code () == TYPE_CODE_PTR
1309 || SYMBOL_TYPE (s
)->code () == TYPE_CODE_FUNC
)
1311 /* If we are giving a name to a type such as "pointer to
1312 foo" or "function returning foo", we better not set
1313 the TYPE_NAME. If the program contains "typedef char
1314 *caddr_t;", we don't want all variables of type char
1315 * to print as caddr_t. This is not just a
1316 consequence of GDB's type management; CC and GCC (at
1317 least through version 2.4) both output variables of
1318 either type char * or caddr_t with the type
1319 refering to the stTypedef symbol for caddr_t. If a future
1320 compiler cleans this up it GDB is not ready for it
1321 yet, but if it becomes ready we somehow need to
1322 disable this check (without breaking the PCC/GCC2.4
1327 Fortunately, this check seems not to be necessary
1328 for anything except pointers or functions. */
1331 SYMBOL_TYPE (s
)->set_name (s
->linkage_name ());
1335 case stFile
: /* file name */
1336 push_parse_stack ();
1337 top_stack
->blocktype
= sh
->st
;
1340 /* I`ve never seen these for C */
1342 break; /* register relocation */
1344 break; /* forwarding address */
1346 break; /* constant */
1348 complaint (_("unknown symbol type 0x%x"), sh
->st
);
1357 static const struct objfile_key
<struct type
*,
1358 gdb::noop_deleter
<struct type
*>>
1361 static struct type
*
1362 basic_type (int bt
, struct objfile
*objfile
)
1364 struct gdbarch
*gdbarch
= objfile
->arch ();
1365 struct type
**map_bt
= basic_type_data
.get (objfile
);
1373 map_bt
= OBSTACK_CALLOC (&objfile
->objfile_obstack
,
1374 btMax
, struct type
*);
1375 basic_type_data
.set (objfile
, map_bt
);
1384 tp
= objfile_type (objfile
)->builtin_void
;
1388 tp
= init_pointer_type (objfile
, 32, "adr_32",
1389 objfile_type (objfile
)->builtin_void
);
1393 tp
= init_integer_type (objfile
, 8, 0, "char");
1394 tp
->set_has_no_signedness (true);
1398 tp
= init_integer_type (objfile
, 8, 1, "unsigned char");
1402 tp
= init_integer_type (objfile
, 16, 0, "short");
1406 tp
= init_integer_type (objfile
, 16, 1, "unsigned short");
1410 tp
= init_integer_type (objfile
, 32, 0, "int");
1414 tp
= init_integer_type (objfile
, 32, 1, "unsigned int");
1418 tp
= init_integer_type (objfile
, 32, 0, "long");
1422 tp
= init_integer_type (objfile
, 32, 1, "unsigned long");
1426 tp
= init_float_type (objfile
, gdbarch_float_bit (gdbarch
),
1427 "float", gdbarch_float_format (gdbarch
));
1431 tp
= init_float_type (objfile
, gdbarch_double_bit (gdbarch
),
1432 "double", gdbarch_double_format (gdbarch
));
1436 tp
= init_complex_type ("complex", basic_type (btFloat
, objfile
));
1440 tp
= init_complex_type ("double complex", basic_type (btFloat
, objfile
));
1444 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1445 good? Would we be better off with TYPE_CODE_ERROR? Should
1446 TYPE_CODE_ERROR print things in hex if it knows the size? */
1447 tp
= init_integer_type (objfile
, gdbarch_int_bit (gdbarch
), 0,
1452 tp
= init_type (objfile
, TYPE_CODE_ERROR
,
1453 gdbarch_double_bit (gdbarch
), "floating decimal");
1457 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1459 tp
= init_type (objfile
, TYPE_CODE_STRING
, TARGET_CHAR_BIT
, "string");
1463 tp
= objfile_type (objfile
)->builtin_void
;
1467 tp
= init_integer_type (objfile
, 64, 0, "long");
1471 tp
= init_integer_type (objfile
, 64, 1, "unsigned long");
1475 tp
= init_integer_type (objfile
, 64, 0, "long long");
1479 tp
= init_integer_type (objfile
, 64, 1, "unsigned long long");
1483 tp
= init_pointer_type (objfile
, 64, "adr_64",
1484 objfile_type (objfile
)->builtin_void
);
1488 tp
= init_integer_type (objfile
, 64, 0, "int");
1492 tp
= init_integer_type (objfile
, 64, 1, "unsigned int");
1504 /* Parse the type information provided in the raw AX entries for
1505 the symbol SH. Return the bitfield size in BS, in case.
1506 We must byte-swap the AX entries before we use them; BIGEND says whether
1507 they are big-endian or little-endian (from fh->fBigendian). */
1509 static struct type
*
1510 parse_type (int fd
, union aux_ext
*ax
, unsigned int aux_index
, int *bs
,
1511 int bigend
, const char *sym_name
)
1514 struct type
*tp
= 0;
1515 enum type_code type_code
= TYPE_CODE_UNDEF
;
1517 /* Handle undefined types, they have indexNil. */
1518 if (aux_index
== indexNil
)
1519 return basic_type (btInt
, mdebugread_objfile
);
1521 /* Handle corrupt aux indices. */
1522 if (aux_index
>= (debug_info
->fdr
+ fd
)->caux
)
1524 index_complaint (sym_name
);
1525 return basic_type (btInt
, mdebugread_objfile
);
1529 /* Use aux as a type information record, map its basic type. */
1530 (*debug_swap
->swap_tir_in
) (bigend
, &ax
->a_ti
, t
);
1531 tp
= basic_type (t
->bt
, mdebugread_objfile
);
1534 /* Cannot use builtin types -- build our own. */
1538 type_code
= TYPE_CODE_STRUCT
;
1541 type_code
= TYPE_CODE_UNION
;
1544 type_code
= TYPE_CODE_ENUM
;
1547 type_code
= TYPE_CODE_RANGE
;
1550 type_code
= TYPE_CODE_SET
;
1553 /* alpha cc -migrate uses this for typedefs. The true type will
1554 be obtained by crossreferencing below. */
1555 type_code
= TYPE_CODE_ERROR
;
1558 /* alpha cc uses this for typedefs. The true type will be
1559 obtained by crossreferencing below. */
1560 type_code
= TYPE_CODE_ERROR
;
1563 basic_type_complaint (t
->bt
, sym_name
);
1564 return basic_type (btInt
, mdebugread_objfile
);
1568 /* Move on to next aux. */
1573 int width
= AUX_GET_WIDTH (bigend
, ax
);
1575 /* Inhibit core dumps if TIR is corrupted. */
1578 /* Alpha cc -migrate encodes char and unsigned char types
1579 as short and unsigned short types with a field width of 8.
1580 Enum types also have a field width which we ignore for now. */
1581 if (t
->bt
== btShort
&& width
== 8)
1582 tp
= basic_type (btChar
, mdebugread_objfile
);
1583 else if (t
->bt
== btUShort
&& width
== 8)
1584 tp
= basic_type (btUChar
, mdebugread_objfile
);
1585 else if (t
->bt
== btEnum
)
1588 complaint (_("can't handle TIR fBitfield for %s"),
1596 /* A btIndirect entry cross references to an aux entry containing
1598 if (t
->bt
== btIndirect
)
1605 (*debug_swap
->swap_rndx_in
) (bigend
, &ax
->a_rndx
, rn
);
1607 if (rn
->rfd
== 0xfff)
1609 rf
= AUX_GET_ISYM (bigend
, ax
);
1617 complaint (_("unable to cross ref btIndirect for %s"), sym_name
);
1618 return basic_type (btInt
, mdebugread_objfile
);
1620 xref_fh
= get_rfd (fd
, rf
);
1621 xref_fd
= xref_fh
- debug_info
->fdr
;
1622 tp
= parse_type (xref_fd
, debug_info
->external_aux
+ xref_fh
->iauxBase
,
1623 rn
->index
, NULL
, xref_fh
->fBigendian
, sym_name
);
1626 /* All these types really point to some (common) MIPS type
1627 definition, and only the type-qualifiers fully identify
1628 them. We'll make the same effort at sharing. */
1629 if (t
->bt
== btStruct
||
1633 /* btSet (I think) implies that the name is a tag name, not a typedef
1634 name. This apparently is a MIPS extension for C sets. */
1639 /* Try to cross reference this type, build new type on failure. */
1640 ax
+= cross_ref (fd
, ax
, &tp
, type_code
, &name
, bigend
, sym_name
);
1642 tp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
1644 /* DEC c89 produces cross references to qualified aggregate types,
1645 dereference them. */
1646 while (tp
->code () == TYPE_CODE_PTR
1647 || tp
->code () == TYPE_CODE_ARRAY
)
1648 tp
= TYPE_TARGET_TYPE (tp
);
1650 /* Make sure that TYPE_CODE(tp) has an expected type code.
1651 Any type may be returned from cross_ref if file indirect entries
1653 if (tp
->code () != TYPE_CODE_STRUCT
1654 && tp
->code () != TYPE_CODE_UNION
1655 && tp
->code () != TYPE_CODE_ENUM
)
1657 unexpected_type_code_complaint (sym_name
);
1661 /* Usually, TYPE_CODE(tp) is already type_code. The main
1662 exception is if we guessed wrong re struct/union/enum.
1663 But for struct vs. union a wrong guess is harmless, so
1664 don't complain(). */
1665 if ((tp
->code () == TYPE_CODE_ENUM
1666 && type_code
!= TYPE_CODE_ENUM
)
1667 || (tp
->code () != TYPE_CODE_ENUM
1668 && type_code
== TYPE_CODE_ENUM
))
1670 bad_tag_guess_complaint (sym_name
);
1673 if (tp
->code () != type_code
)
1675 tp
->set_code (type_code
);
1678 /* Do not set the tag name if it is a compiler generated tag name
1679 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1680 if (name
[0] == '.' || name
[0] == '\0')
1681 tp
->set_name (NULL
);
1682 else if (tp
->name () == NULL
1683 || strcmp (tp
->name (), name
) != 0)
1684 tp
->set_name (obstack_strdup (&mdebugread_objfile
->objfile_obstack
,
1689 /* All these types really point to some (common) MIPS type
1690 definition, and only the type-qualifiers fully identify
1691 them. We'll make the same effort at sharing.
1692 FIXME: We are not doing any guessing on range types. */
1693 if (t
->bt
== btRange
)
1697 /* Try to cross reference this type, build new type on failure. */
1698 ax
+= cross_ref (fd
, ax
, &tp
, type_code
, &name
, bigend
, sym_name
);
1700 tp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
1702 /* Make sure that TYPE_CODE(tp) has an expected type code.
1703 Any type may be returned from cross_ref if file indirect entries
1705 if (tp
->code () != TYPE_CODE_RANGE
)
1707 unexpected_type_code_complaint (sym_name
);
1711 /* Usually, TYPE_CODE(tp) is already type_code. The main
1712 exception is if we guessed wrong re struct/union/enum. */
1713 if (tp
->code () != type_code
)
1715 bad_tag_guess_complaint (sym_name
);
1716 tp
->set_code (type_code
);
1718 if (tp
->name () == NULL
1719 || strcmp (tp
->name (), name
) != 0)
1720 tp
->set_name (obstack_strdup (&mdebugread_objfile
->objfile_obstack
,
1724 if (t
->bt
== btTypedef
)
1728 /* Try to cross reference this type, it should succeed. */
1729 ax
+= cross_ref (fd
, ax
, &tp
, type_code
, &name
, bigend
, sym_name
);
1732 complaint (_("unable to cross ref btTypedef for %s"), sym_name
);
1733 tp
= basic_type (btInt
, mdebugread_objfile
);
1737 /* Deal with range types. */
1738 if (t
->bt
== btRange
)
1740 tp
->set_num_fields (0);
1741 tp
->set_bounds (((struct range_bounds
*)
1742 TYPE_ZALLOC (tp
, sizeof (struct range_bounds
))));
1743 tp
->bounds ()->low
.set_const_val (AUX_GET_DNLOW (bigend
, ax
));
1745 tp
->bounds ()->high
.set_const_val (AUX_GET_DNHIGH (bigend
, ax
));
1749 /* Parse all the type qualifiers now. If there are more
1750 than 6 the game will continue in the next aux. */
1754 #define PARSE_TQ(tq) \
1755 if (t->tq != tqNil) \
1756 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1768 /* mips cc 2.x and gcc never put out continued aux entries. */
1772 (*debug_swap
->swap_tir_in
) (bigend
, &ax
->a_ti
, t
);
1776 /* Complain for illegal continuations due to corrupt aux entries. */
1778 complaint (_("illegal TIR continued for %s"), sym_name
);
1783 /* Make up a complex type from a basic one. Type is passed by
1784 reference in TPP and side-effected as necessary. The type
1785 qualifier TQ says how to handle the aux symbols at AX for
1786 the symbol SX we are currently analyzing. BIGEND says whether
1787 aux symbols are big-endian or little-endian.
1788 Returns the number of aux symbols we parsed. */
1791 upgrade_type (int fd
, struct type
**tpp
, int tq
, union aux_ext
*ax
, int bigend
,
1792 const char *sym_name
)
1797 /* Used in array processing. */
1808 t
= lookup_pointer_type (*tpp
);
1813 t
= lookup_function_type (*tpp
);
1820 /* Determine and record the domain type (type of index). */
1821 (*debug_swap
->swap_rndx_in
) (bigend
, &ax
->a_rndx
, &rndx
);
1827 rf
= AUX_GET_ISYM (bigend
, ax
);
1830 fh
= get_rfd (fd
, rf
);
1832 indx
= parse_type (fh
- debug_info
->fdr
,
1833 debug_info
->external_aux
+ fh
->iauxBase
,
1834 id
, NULL
, bigend
, sym_name
);
1836 /* The bounds type should be an integer type, but might be anything
1837 else due to corrupt aux entries. */
1838 if (indx
->code () != TYPE_CODE_INT
)
1840 complaint (_("illegal array index type for %s, assuming int"),
1842 indx
= objfile_type (mdebugread_objfile
)->builtin_int
;
1845 /* Get the bounds, and create the array type. */
1847 lower
= AUX_GET_DNLOW (bigend
, ax
);
1849 upper
= AUX_GET_DNHIGH (bigend
, ax
);
1851 rf
= AUX_GET_WIDTH (bigend
, ax
); /* bit size of array element */
1853 range
= create_static_range_type (NULL
, indx
, lower
, upper
);
1855 t
= create_array_type (NULL
, *tpp
, range
);
1857 /* We used to fill in the supplied array element bitsize
1858 here if the TYPE_LENGTH of the target type was zero.
1859 This happens for a `pointer to an array of anonymous structs',
1860 but in this case the array element bitsize is also zero,
1861 so nothing is gained.
1862 And we used to check the TYPE_LENGTH of the target type against
1863 the supplied array element bitsize.
1864 gcc causes a mismatch for `pointer to array of object',
1865 since the sdb directives it uses do not have a way of
1866 specifying the bitsize, but it does no harm (the
1867 TYPE_LENGTH should be correct) and we should be able to
1868 ignore the erroneous bitsize from the auxiliary entry safely.
1869 dbx seems to ignore it too. */
1871 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1872 if (TYPE_LENGTH (*tpp
) == 0)
1873 t
->set_target_is_stub (true);
1879 /* Volatile -- currently ignored */
1883 /* Const -- currently ignored */
1887 complaint (_("unknown type qualifier 0x%x"), tq
);
1893 /* Parse a procedure descriptor record PR. Note that the procedure is
1894 parsed _after_ the local symbols, now we just insert the extra
1895 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1896 already been placed in the procedure's main block. Note also that
1897 images that have been partially stripped (ld -x) have been deprived
1898 of local symbols, and we have to cope with them here. FIRST_OFF is
1899 the offset of the first procedure for this FDR; we adjust the
1900 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1901 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1902 in question, or NULL to use top_stack->cur_block. */
1905 parse_procedure (PDR
*pr
, struct compunit_symtab
*search_symtab
,
1906 legacy_psymtab
*pst
)
1908 struct symbol
*s
, *i
;
1909 const struct block
*b
;
1912 /* Simple rule to find files linked "-x". */
1913 if (cur_fdr
->rss
== -1)
1917 /* Static procedure at address pr->adr. Sigh. */
1918 /* FIXME-32x64. assuming pr->adr fits in long. */
1919 complaint (_("can't handle PDR for static proc at 0x%lx"),
1920 (unsigned long) pr
->adr
);
1928 (*debug_swap
->swap_ext_in
) (cur_bfd
,
1929 ((char *) debug_info
->external_ext
1931 * debug_swap
->external_ext_size
)),
1933 sh_name
= debug_info
->ssext
+ she
.asym
.iss
;
1941 (*debug_swap
->swap_sym_in
) (cur_bfd
,
1942 ((char *) debug_info
->external_sym
1943 + ((cur_fdr
->isymBase
+ pr
->isym
)
1944 * debug_swap
->external_sym_size
)),
1946 sh_name
= debug_info
->ss
+ cur_fdr
->issBase
+ sh
.iss
;
1949 if (search_symtab
!= NULL
)
1952 /* This loses both in the case mentioned (want a static, find a global),
1953 but also if we are looking up a non-mangled name which happens to
1954 match the name of a mangled function. */
1955 /* We have to save the cur_fdr across the call to lookup_symbol.
1956 If the pdr is for a static function and if a global function with
1957 the same name exists, lookup_symbol will eventually read in the symtab
1958 for the global function and clobber cur_fdr. */
1959 FDR
*save_cur_fdr
= cur_fdr
;
1961 s
= lookup_symbol (sh_name
, NULL
, VAR_DOMAIN
, 0);
1962 cur_fdr
= save_cur_fdr
;
1966 BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (search_symtab
),
1973 s
= mylookup_symbol (sh_name
, top_stack
->cur_block
,
1974 VAR_DOMAIN
, LOC_BLOCK
);
1978 b
= SYMBOL_BLOCK_VALUE (s
);
1982 complaint (_("PDR for %s, but no symbol"), sh_name
);
1986 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
1987 s
= new_symbol (sh_name
);
1988 SYMBOL_DOMAIN (s
) = VAR_DOMAIN
;
1989 SYMBOL_CLASS (s
) = LOC_BLOCK
;
1990 /* Don't know its type, hope int is ok. */
1992 = lookup_function_type (objfile_type (pst
->objfile
)->builtin_int
);
1993 add_symbol (s
, top_stack
->cur_st
, top_stack
->cur_block
);
1994 /* Won't have symbols for this one. */
1996 SYMBOL_BLOCK_VALUE (s
) = b
;
1997 BLOCK_FUNCTION (b
) = s
;
1998 BLOCK_START (b
) = pr
->adr
;
1999 /* BOUND used to be the end of procedure's text, but the
2000 argument is no longer passed in. */
2001 BLOCK_END (b
) = bound
;
2002 BLOCK_SUPERBLOCK (b
) = top_stack
->cur_block
;
2003 add_block (b
, top_stack
->cur_st
);
2007 i
= mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME
, b
, LABEL_DOMAIN
, LOC_CONST
);
2011 struct mdebug_extra_func_info
*e
;
2013 e
= (struct mdebug_extra_func_info
*) SYMBOL_VALUE_BYTES (i
);
2016 /* GDB expects the absolute function start address for the
2017 procedure descriptor in e->pdr.adr.
2018 As the address in the procedure descriptor is usually relative,
2019 we would have to relocate e->pdr.adr with cur_fdr->adr.
2020 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2021 in shared libraries on some systems, and on other systems
2022 e->pdr.adr is sometimes offset by a bogus value.
2023 To work around these problems, we replace e->pdr.adr with
2024 the start address of the function. */
2025 e
->pdr
.adr
= BLOCK_START (b
);
2028 /* It would be reasonable that functions that have been compiled
2029 without debugging info have a btNil type for their return value,
2030 and functions that are void and are compiled with debugging info
2032 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2033 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2035 The glevel field in cur_fdr could be used to determine the presence
2036 of debugging info, but GCC doesn't always pass the -g switch settings
2037 to the assembler and GAS doesn't set the glevel field from the -g switch
2039 To work around these problems, the return value type of a TYPE_CODE_VOID
2040 function is adjusted accordingly if no debugging info was found in the
2041 compilation unit. */
2043 if (processing_gcc_compilation
== 0
2044 && found_ecoff_debugging_info
== 0
2045 && TYPE_TARGET_TYPE (SYMBOL_TYPE (s
))->code () == TYPE_CODE_VOID
)
2046 SYMBOL_TYPE (s
) = objfile_type (mdebugread_objfile
)->nodebug_text_symbol
;
2049 /* Parse the external symbol ES. Just call parse_symbol() after
2050 making sure we know where the aux are for it.
2051 BIGEND says whether aux entries are big-endian or little-endian.
2053 This routine clobbers top_stack->cur_block and ->cur_st. */
2056 parse_external (EXTR
*es
, int bigend
, const section_offsets
§ion_offsets
,
2057 struct objfile
*objfile
)
2061 if (es
->ifd
!= ifdNil
)
2064 cur_fdr
= debug_info
->fdr
+ cur_fd
;
2065 ax
= debug_info
->external_aux
+ cur_fdr
->iauxBase
;
2069 cur_fdr
= debug_info
->fdr
;
2073 /* Reading .o files */
2074 if (SC_IS_UNDEF (es
->asym
.sc
) || es
->asym
.sc
== scNil
)
2077 switch (es
->asym
.st
)
2080 /* These are generated for static symbols in .o files,
2101 /* FIXME: Turn this into a complaint? */
2103 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2104 what
, debug_info
->ssext
+ es
->asym
.iss
,
2105 fdr_name (cur_fdr
));
2109 switch (es
->asym
.st
)
2113 /* There is no need to parse the external procedure symbols.
2114 If they are from objects compiled without -g, their index will
2115 be indexNil, and the symbol definition from the minimal symbol
2116 is preferrable (yielding a function returning int instead of int).
2117 If the index points to a local procedure symbol, the local
2118 symbol already provides the correct type.
2119 Note that the index of the external procedure symbol points
2120 to the local procedure symbol in the local symbol table, and
2121 _not_ to the auxiliary symbol info. */
2125 /* Global common symbols are resolved by the runtime loader,
2127 if (SC_IS_COMMON (es
->asym
.sc
))
2130 /* Note that the case of a symbol with indexNil must be handled
2131 anyways by parse_symbol(). */
2132 parse_symbol (&es
->asym
, ax
, NULL
,
2133 bigend
, section_offsets
, objfile
);
2140 /* Parse the line number info for file descriptor FH into
2141 GDB's linetable LT. MIPS' encoding requires a little bit
2142 of magic to get things out. Note also that MIPS' line
2143 numbers can go back and forth, apparently we can live
2144 with that and do not need to reorder our linetables. */
2147 parse_lines (FDR
*fh
, PDR
*pr
, struct linetable
*lt
, int maxlines
,
2148 CORE_ADDR textlow
, CORE_ADDR lowest_pdr_addr
)
2150 unsigned char *base
;
2152 int delta
, count
, lineno
= 0;
2154 if (fh
->cbLine
== 0)
2157 /* Scan by procedure descriptors. */
2159 for (j
= 0; j
< fh
->cpd
; j
++, pr
++)
2163 unsigned char *halt
;
2165 /* No code for this one. */
2166 if (pr
->iline
== ilineNil
||
2167 pr
->lnLow
== -1 || pr
->lnHigh
== -1)
2170 /* Determine start and end address of compressed line bytes for
2172 base
= debug_info
->line
+ fh
->cbLineOffset
;
2173 if (j
!= (fh
->cpd
- 1))
2174 halt
= base
+ pr
[1].cbLineOffset
;
2176 halt
= base
+ fh
->cbLine
;
2177 base
+= pr
->cbLineOffset
;
2179 adr
= textlow
+ pr
->adr
- lowest_pdr_addr
;
2181 l
= adr
>> 2; /* in words */
2182 for (lineno
= pr
->lnLow
; base
< halt
;)
2184 count
= *base
& 0x0f;
2185 delta
= *base
++ >> 4;
2190 delta
= (base
[0] << 8) | base
[1];
2191 if (delta
>= 0x8000)
2195 lineno
+= delta
; /* first delta is 0 */
2197 /* Complain if the line table overflows. Could happen
2198 with corrupt binaries. */
2199 if (lt
->nitems
>= maxlines
)
2201 complaint (_("guessed size of linetable for %s incorrectly"),
2205 k
= add_line (lt
, lineno
, l
, k
);
2212 function_outside_compilation_unit_complaint (const char *arg1
)
2214 complaint (_("function `%s' appears to be defined "
2215 "outside of all compilation units"),
2219 /* Use the STORAGE_CLASS to compute which section the given symbol
2220 belongs to, and then records this new minimal symbol. */
2223 record_minimal_symbol (minimal_symbol_reader
&reader
,
2224 const char *name
, const CORE_ADDR address
,
2225 enum minimal_symbol_type ms_type
, int storage_class
,
2226 struct objfile
*objfile
)
2230 switch (storage_class
)
2233 section
= SECT_OFF_TEXT (objfile
);
2236 section
= SECT_OFF_DATA (objfile
);
2239 section
= SECT_OFF_BSS (objfile
);
2242 section
= get_section_index (objfile
, ".sdata");
2245 section
= get_section_index (objfile
, ".sbss");
2248 section
= get_section_index (objfile
, ".rdata");
2251 section
= get_section_index (objfile
, ".init");
2254 section
= get_section_index (objfile
, ".xdata");
2257 section
= get_section_index (objfile
, ".pdata");
2260 section
= get_section_index (objfile
, ".fini");
2263 section
= get_section_index (objfile
, ".rconst");
2267 section
= get_section_index (objfile
, ".tlsdata");
2272 section
= get_section_index (objfile
, ".tlsbss");
2276 /* This kind of symbol is not associated to a section. */
2280 reader
.record_with_info (name
, address
, ms_type
, section
);
2283 /* Master parsing procedure for first-pass reading of file symbols
2284 into a partial_symtab. */
2287 parse_partial_symbols (minimal_symbol_reader
&reader
,
2288 psymtab_storage
*partial_symtabs
,
2289 struct objfile
*objfile
)
2291 struct gdbarch
*gdbarch
= objfile
->arch ();
2292 const bfd_size_type external_sym_size
= debug_swap
->external_sym_size
;
2293 const bfd_size_type external_rfd_size
= debug_swap
->external_rfd_size
;
2294 const bfd_size_type external_ext_size
= debug_swap
->external_ext_size
;
2295 void (*const swap_ext_in
) (bfd
*, void *, EXTR
*) = debug_swap
->swap_ext_in
;
2296 void (*const swap_sym_in
) (bfd
*, void *, SYMR
*) = debug_swap
->swap_sym_in
;
2297 void (*const swap_rfd_in
) (bfd
*, void *, RFDT
*) = debug_swap
->swap_rfd_in
;
2299 HDRR
*hdr
= &debug_info
->symbolic_header
;
2300 /* Running pointers */
2307 legacy_psymtab
*pst
;
2308 int textlow_not_set
= 1;
2310 /* List of current psymtab's include files. */
2311 const char **psymtab_include_list
;
2312 int includes_allocated
;
2315 struct pst_map
*fdr_to_pst
;
2316 /* Index within current psymtab dependency list. */
2317 legacy_psymtab
**dependency_list
;
2318 int dependencies_used
, dependencies_allocated
;
2320 enum language prev_language
;
2321 asection
*text_sect
;
2322 int relocatable
= 0;
2324 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2325 the shared libraries are prelinked at a high memory address.
2326 We have to adjust the start address of the object file for this case,
2327 by setting it to the start address of the first procedure in the file.
2328 But we should do no adjustments if we are debugging a .o file, where
2329 the text section (and fh->adr) really starts at zero. */
2330 text_sect
= bfd_get_section_by_name (cur_bfd
, ".text");
2331 if (text_sect
!= NULL
2332 && (bfd_section_flags (text_sect
) & SEC_RELOC
))
2335 extern_tab
= XOBNEWVEC (&objfile
->objfile_obstack
, EXTR
, hdr
->iextMax
);
2337 includes_allocated
= 30;
2339 psymtab_include_list
= (const char **) alloca (includes_allocated
*
2340 sizeof (const char *));
2341 next_symbol_text_func
= mdebug_next_symbol_text
;
2343 dependencies_allocated
= 30;
2344 dependencies_used
= 0;
2346 (legacy_psymtab
**) alloca (dependencies_allocated
*
2347 sizeof (legacy_psymtab
*));
2349 set_last_source_file (NULL
);
2354 * Only parse the Local and External symbols, and the Relative FDR.
2355 * Fixup enough of the loader symtab to be able to use it.
2356 * Allocate space only for the file's portions we need to
2361 max_glevel
= MIN_GLEVEL
;
2363 /* Allocate the map FDR -> PST.
2364 Minor hack: -O3 images might claim some global data belongs
2365 to FDR -1. We`ll go along with that. */
2366 gdb::def_vector
<struct pst_map
> fdr_to_pst_holder (hdr
->ifdMax
+ 1);
2367 fdr_to_pst
= fdr_to_pst_holder
.data ();
2370 legacy_psymtab
*new_pst
= new_psymtab ("", partial_symtabs
, objfile
);
2372 fdr_to_pst
[-1].pst
= new_pst
;
2373 FDR_IDX (new_pst
) = -1;
2376 /* Allocate the global pending list. */
2377 pending_list
= XOBNEWVEC (&objfile
->objfile_obstack
, mdebug_pending
*,
2379 memset (pending_list
, 0,
2380 hdr
->ifdMax
* sizeof (struct mdebug_pending
*));
2382 /* Pass 0 over external syms: swap them in. */
2383 gdb::def_vector
<EXTR
> ext_block (hdr
->iextMax
);
2385 ext_out
= (char *) debug_info
->external_ext
;
2386 ext_out_end
= ext_out
+ hdr
->iextMax
* external_ext_size
;
2387 ext_in
= ext_block
.data ();
2388 for (; ext_out
< ext_out_end
; ext_out
+= external_ext_size
, ext_in
++)
2389 (*swap_ext_in
) (cur_bfd
, ext_out
, ext_in
);
2391 /* Pass 1 over external syms: Presize and partition the list. */
2392 ext_in
= ext_block
.data ();
2393 ext_in_end
= ext_in
+ hdr
->iextMax
;
2394 for (; ext_in
< ext_in_end
; ext_in
++)
2396 /* See calls to complain below. */
2397 if (ext_in
->ifd
>= -1
2398 && ext_in
->ifd
< hdr
->ifdMax
2399 && ext_in
->asym
.iss
>= 0
2400 && ext_in
->asym
.iss
< hdr
->issExtMax
)
2401 fdr_to_pst
[ext_in
->ifd
].n_globals
++;
2404 /* Pass 1.5 over files: partition out global symbol space. */
2406 for (f_idx
= -1; f_idx
< hdr
->ifdMax
; f_idx
++)
2408 fdr_to_pst
[f_idx
].globals_offset
= s_idx
;
2409 s_idx
+= fdr_to_pst
[f_idx
].n_globals
;
2410 fdr_to_pst
[f_idx
].n_globals
= 0;
2415 For ECOFF in ELF, we skip the creation of the minimal symbols.
2416 The ECOFF symbols should be a subset of the Elf symbols, and the
2417 section information of the elf symbols will be more accurate.
2418 FIXME! What about Irix 5's native linker?
2420 By default, Elf sections which don't exist in ECOFF
2421 get put in ECOFF's absolute section by the gnu linker.
2422 Since absolute sections don't get relocated, we
2423 end up calculating an address different from that of
2424 the symbol's minimal symbol (created earlier from the
2427 To fix this, either :
2428 1) don't create the duplicate symbol
2429 (assumes ECOFF symtab is a subset of the ELF symtab;
2430 assumes no side-effects result from ignoring ECOFF symbol)
2431 2) create it, only if lookup for existing symbol in ELF's minimal
2434 assumes no side-effects result from ignoring ECOFF symbol)
2435 3) create it, but lookup ELF's minimal symbol and use it's section
2436 during relocation, then modify "uniquify" phase to merge and
2437 eliminate the duplicate symbol
2438 (highly inefficient)
2440 I've implemented #1 here...
2441 Skip the creation of the minimal symbols based on the ECOFF
2444 /* Pass 2 over external syms: fill in external symbols. */
2445 ext_in
= ext_block
.data ();
2446 ext_in_end
= ext_in
+ hdr
->iextMax
;
2447 for (; ext_in
< ext_in_end
; ext_in
++)
2449 enum minimal_symbol_type ms_type
= mst_text
;
2450 CORE_ADDR svalue
= ext_in
->asym
.value
;
2452 /* The Irix 5 native tools seem to sometimes generate bogus
2453 external symbols. */
2454 if (ext_in
->ifd
< -1 || ext_in
->ifd
>= hdr
->ifdMax
)
2456 complaint (_("bad ifd for external symbol: %d (max %ld)"),
2457 ext_in
->ifd
, hdr
->ifdMax
);
2460 if (ext_in
->asym
.iss
< 0 || ext_in
->asym
.iss
>= hdr
->issExtMax
)
2462 complaint (_("bad iss for external symbol: %ld (max %ld)"),
2463 ext_in
->asym
.iss
, hdr
->issExtMax
);
2467 extern_tab
[fdr_to_pst
[ext_in
->ifd
].globals_offset
2468 + fdr_to_pst
[ext_in
->ifd
].n_globals
++] = *ext_in
;
2471 if (SC_IS_UNDEF (ext_in
->asym
.sc
) || ext_in
->asym
.sc
== scNil
)
2475 /* Pass 3 over files, over local syms: fill in static symbols. */
2476 name
= debug_info
->ssext
+ ext_in
->asym
.iss
;
2478 /* Process ECOFF Symbol Types and Storage Classes. */
2479 switch (ext_in
->asym
.st
)
2482 /* Beginnning of Procedure */
2485 /* Load time only static procs */
2486 ms_type
= mst_file_text
;
2489 /* External symbol */
2490 if (SC_IS_COMMON (ext_in
->asym
.sc
))
2492 /* The value of a common symbol is its size, not its address.
2496 else if (SC_IS_DATA (ext_in
->asym
.sc
))
2500 else if (SC_IS_BSS (ext_in
->asym
.sc
))
2504 else if (SC_IS_SBSS (ext_in
->asym
.sc
))
2514 /* On certain platforms, some extra label symbols can be
2515 generated by the linker. One possible usage for this kind
2516 of symbols is to represent the address of the begining of a
2517 given section. For instance, on Tru64 5.1, the address of
2518 the _ftext label is the start address of the .text section.
2520 The storage class of these symbols is usually directly
2521 related to the section to which the symbol refers. For
2522 instance, on Tru64 5.1, the storage class for the _fdata
2523 label is scData, refering to the .data section.
2525 It is actually possible that the section associated to the
2526 storage class of the label does not exist. On True64 5.1
2527 for instance, the libm.so shared library does not contain
2528 any .data section, although it contains a _fpdata label
2529 which storage class is scData... Since these symbols are
2530 usually useless for the debugger user anyway, we just
2531 discard these symbols. */
2533 if (SC_IS_TEXT (ext_in
->asym
.sc
))
2535 if (objfile
->sect_index_text
== -1)
2538 ms_type
= mst_file_text
;
2540 else if (SC_IS_DATA (ext_in
->asym
.sc
))
2542 if (objfile
->sect_index_data
== -1)
2545 ms_type
= mst_file_data
;
2547 else if (SC_IS_BSS (ext_in
->asym
.sc
))
2549 if (objfile
->sect_index_bss
== -1)
2552 ms_type
= mst_file_bss
;
2554 else if (SC_IS_SBSS (ext_in
->asym
.sc
))
2556 const int sbss_sect_index
= get_section_index (objfile
, ".sbss");
2558 if (sbss_sect_index
== -1)
2561 ms_type
= mst_file_bss
;
2568 /* The alpha has the section start addresses in stLocal symbols
2569 whose name starts with a `.'. Skip those but complain for all
2570 other stLocal symbols.
2571 Irix6 puts the section start addresses in stNil symbols, skip
2577 ms_type
= mst_unknown
;
2578 unknown_ext_complaint (name
);
2580 if (!ECOFF_IN_ELF (cur_bfd
))
2581 record_minimal_symbol (reader
, name
, svalue
, ms_type
, ext_in
->asym
.sc
,
2585 /* Pass 3 over files, over local syms: fill in static symbols. */
2586 for (f_idx
= 0; f_idx
< hdr
->ifdMax
; f_idx
++)
2588 legacy_psymtab
*save_pst
;
2592 cur_fdr
= fh
= debug_info
->fdr
+ f_idx
;
2596 fdr_to_pst
[f_idx
].pst
= NULL
;
2600 /* Determine the start address for this object file from the
2601 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2606 pst
= new legacy_psymtab (fdr_name (fh
), partial_symtabs
, objfile
,
2608 pst
->read_symtab_private
= XOBNEW (&objfile
->objfile_obstack
, symloc
);
2609 memset (pst
->read_symtab_private
, 0, sizeof (struct symloc
));
2612 FDR_IDX (pst
) = f_idx
;
2613 CUR_BFD (pst
) = cur_bfd
;
2614 DEBUG_SWAP (pst
) = debug_swap
;
2615 DEBUG_INFO (pst
) = debug_info
;
2616 PENDING_LIST (pst
) = pending_list
;
2618 /* The way to turn this into a symtab is to call... */
2619 pst
->legacy_read_symtab
= mdebug_read_symtab
;
2620 pst
->legacy_expand_psymtab
= mdebug_expand_psymtab
;
2622 /* Set up language for the pst.
2623 The language from the FDR is used if it is unambigious (e.g. cfront
2624 with native cc and g++ will set the language to C).
2625 Otherwise we have to deduce the language from the filename.
2626 Native ecoff has every header file in a separate FDR, so
2627 deduce_language_from_filename will return language_unknown for
2628 a header file, which is not what we want.
2629 But the FDRs for the header files are after the FDR for the source
2630 file, so we can assign the language of the source file to the
2631 following header files. Then we save the language in the private
2632 pst data so that we can reuse it when building symtabs. */
2633 prev_language
= psymtab_language
;
2637 case langCplusplusV2
:
2638 psymtab_language
= language_cplus
;
2641 psymtab_language
= deduce_language_from_filename (fdr_name (fh
));
2644 if (psymtab_language
== language_unknown
)
2645 psymtab_language
= prev_language
;
2646 PST_PRIVATE (pst
)->pst_language
= psymtab_language
;
2648 pst
->set_text_high (pst
->raw_text_low ());
2650 /* For stabs-in-ecoff files, the second symbol must be @stab.
2651 This symbol is emitted by mips-tfile to signal that the
2652 current object file uses encapsulated stabs instead of mips
2653 ecoff for local symbols. (It is the second symbol because
2654 the first symbol is the stFile used to signal the start of a
2656 processing_gcc_compilation
= 0;
2659 (*swap_sym_in
) (cur_bfd
,
2660 ((char *) debug_info
->external_sym
2661 + (fh
->isymBase
+ 1) * external_sym_size
),
2663 if (strcmp (debug_info
->ss
+ fh
->issBase
+ sh
.iss
,
2665 processing_gcc_compilation
= 2;
2668 if (processing_gcc_compilation
!= 0)
2670 for (cur_sdx
= 2; cur_sdx
< fh
->csym
; cur_sdx
++)
2673 const char *namestring
;
2675 (*swap_sym_in
) (cur_bfd
,
2676 (((char *) debug_info
->external_sym
)
2677 + (fh
->isymBase
+ cur_sdx
) * external_sym_size
),
2679 type_code
= ECOFF_UNMARK_STAB (sh
.index
);
2680 if (!ECOFF_IS_STAB (&sh
))
2682 if (sh
.st
== stProc
|| sh
.st
== stStaticProc
)
2687 if (sh
.st
== stStaticProc
)
2689 namestring
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
2690 record_minimal_symbol (reader
, namestring
, sh
.value
,
2691 mst_file_text
, sh
.sc
,
2694 procaddr
= sh
.value
;
2696 isym
= AUX_GET_ISYM (fh
->fBigendian
,
2697 (debug_info
->external_aux
2700 (*swap_sym_in
) (cur_bfd
,
2701 ((char *) debug_info
->external_sym
2702 + ((fh
->isymBase
+ isym
- 1)
2703 * external_sym_size
)),
2707 CORE_ADDR high
= procaddr
+ sh
.value
;
2709 /* Kludge for Irix 5.2 zero fh->adr. */
2711 && (!pst
->text_low_valid
2712 || procaddr
< pst
->raw_text_low ()))
2713 pst
->set_text_low (procaddr
);
2714 if (high
> pst
->raw_text_high ())
2715 pst
->set_text_high (high
);
2718 else if (sh
.st
== stStatic
)
2733 namestring
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
2734 record_minimal_symbol (reader
, namestring
, sh
.value
,
2735 mst_file_data
, sh
.sc
,
2740 /* FIXME! Shouldn't this use cases for bss,
2741 then have the default be abs? */
2742 namestring
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
2743 record_minimal_symbol (reader
, namestring
, sh
.value
,
2744 mst_file_bss
, sh
.sc
,
2751 /* Handle stabs continuation. */
2753 char *stabstring
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
2754 /* If we need to heap-allocate STABSTRING, this owns
2756 gdb::unique_xmalloc_ptr
<char> stabstring_storage
;
2757 int len
= strlen (stabstring
);
2759 while (stabstring
[len
- 1] == '\\')
2762 char *stabstring1
= stabstring
;
2766 /* Ignore continuation char from 1st string. */
2769 /* Read next stabstring. */
2771 (*swap_sym_in
) (cur_bfd
,
2772 (((char *) debug_info
->external_sym
)
2773 + (fh
->isymBase
+ cur_sdx
)
2774 * external_sym_size
),
2776 stabstring2
= debug_info
->ss
+ fh
->issBase
+ sh2
.iss
;
2777 len2
= strlen (stabstring2
);
2779 /* Concatenate stabstring2 with stabstring1. */
2780 if (stabstring_storage
!= nullptr)
2782 stabstring_storage
.reset
2783 ((char *) xrealloc (stabstring_storage
.release (),
2785 stabstring
= stabstring_storage
.get ();
2789 stabstring_storage
.reset
2790 ((char *) xmalloc (len
+ len2
+ 1));
2791 stabstring
= stabstring_storage
.get ();
2792 strcpy (stabstring
, stabstring1
);
2794 strcpy (stabstring
+ len
, stabstring2
);
2802 /* Standard, external, non-debugger, symbols. */
2804 case N_TEXT
| N_EXT
:
2805 case N_NBTEXT
| N_EXT
:
2808 case N_DATA
| N_EXT
:
2809 case N_NBDATA
| N_EXT
:
2814 case N_NBBSS
| N_EXT
:
2815 case N_SETV
| N_EXT
: /* FIXME, is this in BSS? */
2822 /* Standard, local, non-debugger, symbols. */
2826 /* We need to be able to deal with both N_FN or
2827 N_TEXT, because we have no way of knowing
2828 whether the sys-supplied ld or GNU ld was used
2829 to make the executable. Sequents throw in
2830 another wrinkle -- they renumbered N_FN. */
2840 case N_UNDF
| N_EXT
:
2841 continue; /* Just undefined, not COMMON. */
2846 /* Lots of symbol types we can just ignore. */
2853 /* Keep going . . . */
2856 * Special symbol types for GNU
2859 case N_INDR
| N_EXT
:
2861 case N_SETA
| N_EXT
:
2863 case N_SETT
| N_EXT
:
2865 case N_SETD
| N_EXT
:
2867 case N_SETB
| N_EXT
:
2877 static int prev_so_symnum
= -10;
2878 const char *basename
;
2880 /* A zero value is probably an indication for the
2881 SunPRO 3.0 compiler. dbx_end_psymtab explicitly tests
2882 for zero, so don't relocate it. */
2885 && gdbarch_sofun_address_maybe_missing (gdbarch
))
2886 textlow_not_set
= 1;
2888 textlow_not_set
= 0;
2890 if (prev_so_symnum
!= symnum
- 1)
2891 { /* Here if prev stab wasn't N_SO. */
2894 pst
= (legacy_psymtab
*) 0;
2896 dependencies_used
= 0;
2900 prev_so_symnum
= symnum
;
2902 /* End the current partial symtab and start a
2905 /* SET_NAMESTRING ();*/
2906 namestring
= stabstring
;
2908 /* Null name means end of .o file. Don't start a new
2910 if (*namestring
== '\000')
2913 /* Some compilers (including gcc) emit a pair of
2914 initial N_SOs. The first one is a directory name;
2915 the second the file name. If pst exists, is
2916 empty, and has a filename ending in '/', we assume
2917 the previous N_SO was a directory name. */
2918 basename
= lbasename (namestring
);
2919 if (basename
!= namestring
&& *basename
== '\000')
2920 continue; /* Simply ignore directory
2923 /* Some other compilers (C++ ones in particular) emit
2924 useless SOs for non-existant .c files. We ignore
2925 all subsequent SOs that immediately follow the
2938 enum language tmp_language
;
2940 /* Mark down an include file in the current psymtab. */
2942 /* SET_NAMESTRING (); */
2943 namestring
= stabstring
;
2946 = deduce_language_from_filename (namestring
);
2948 /* Only change the psymtab's language if we've
2949 learned something useful (eg. tmp_language is not
2950 language_unknown). In addition, to match what
2951 start_subfile does, never change from C++ to
2953 if (tmp_language
!= language_unknown
2954 && (tmp_language
!= language_c
2955 || psymtab_language
!= language_cplus
))
2956 psymtab_language
= tmp_language
;
2958 /* In C++, one may expect the same filename to come
2959 round many times, when code is coming alternately
2960 from the main file and from inline functions in
2961 other files. So I check to see if this is a file
2962 we've seen before -- either the main source file,
2963 or a previously included file.
2965 This seems to be a lot of time to be spending on
2966 N_SOL, but things like "break c-exp.y:435" need to
2967 work (I suppose the psymtab_include_list could be
2968 hashed or put in a binary tree, if profiling shows
2969 this is a major hog). */
2970 if (pst
&& filename_cmp (namestring
, pst
->filename
) == 0)
2976 for (i
= 0; i
< includes_used
; i
++)
2977 if (filename_cmp (namestring
,
2978 psymtab_include_list
[i
]) == 0)
2987 psymtab_include_list
[includes_used
++] = namestring
;
2988 if (includes_used
>= includes_allocated
)
2990 const char **orig
= psymtab_include_list
;
2992 psymtab_include_list
= (const char **)
2993 alloca ((includes_allocated
*= 2) *
2994 sizeof (const char *));
2995 memcpy (psymtab_include_list
, orig
,
2996 includes_used
* sizeof (const char *));
3000 case N_LSYM
: /* Typedef or automatic variable. */
3001 case N_STSYM
: /* Data seg var -- static */
3002 case N_LCSYM
: /* BSS " */
3003 case N_ROSYM
: /* Read-only data seg var -- static. */
3004 case N_NBSTS
: /* Gould nobase. */
3005 case N_NBLCS
: /* symbols. */
3007 case N_GSYM
: /* Global (extern) variable; can be
3008 data or bss (sigh FIXME). */
3010 /* Following may probably be ignored; I'll leave them here
3011 for now (until I do Pascal and Modula 2 extensions). */
3013 case N_PC
: /* I may or may not need this; I
3015 case N_M2C
: /* I suspect that I can ignore this
3017 case N_SCOPE
: /* Same. */
3019 /* SET_NAMESTRING (); */
3020 namestring
= stabstring
;
3021 p
= (char *) strchr (namestring
, ':');
3023 continue; /* Not a debugging symbol. */
3027 /* Main processing section for debugging symbols which
3028 the initial read through the symbol tables needs to
3029 worry about. If we reach this point, the symbol
3030 which we are considering is definitely one we are
3031 interested in. p must also contain the (valid)
3032 index into the namestring which indicates the
3033 debugging type symbol. */
3038 pst
->add_psymbol (gdb::string_view (namestring
,
3040 true, VAR_DOMAIN
, LOC_STATIC
,
3041 SECT_OFF_DATA (objfile
),
3042 psymbol_placement::STATIC
,
3045 partial_symtabs
, objfile
);
3048 /* The addresses in these entries are reported
3049 to be wrong. See the code that reads 'G's
3051 pst
->add_psymbol (gdb::string_view (namestring
,
3053 true, VAR_DOMAIN
, LOC_STATIC
,
3054 SECT_OFF_DATA (objfile
),
3055 psymbol_placement::GLOBAL
,
3058 partial_symtabs
, objfile
);
3062 /* When a 'T' entry is defining an anonymous enum, it
3063 may have a name which is the empty string, or a
3064 single space. Since they're not really defining a
3065 symbol, those shouldn't go in the partial symbol
3066 table. We do pick up the elements of such enums at
3067 'check_enum:', below. */
3068 if (p
>= namestring
+ 2
3069 || (p
== namestring
+ 1
3070 && namestring
[0] != ' '))
3073 (gdb::string_view (namestring
, p
- namestring
),
3074 true, STRUCT_DOMAIN
, LOC_TYPEDEF
, -1,
3075 psymbol_placement::STATIC
, 0, psymtab_language
,
3076 partial_symtabs
, objfile
);
3079 /* Also a typedef with the same name. */
3081 (gdb::string_view (namestring
,
3083 true, VAR_DOMAIN
, LOC_TYPEDEF
, -1,
3084 psymbol_placement::STATIC
, 0,
3086 partial_symtabs
, objfile
);
3092 if (p
!= namestring
) /* a name is there, not
3096 (gdb::string_view (namestring
,
3098 true, VAR_DOMAIN
, LOC_TYPEDEF
, -1,
3099 psymbol_placement::STATIC
, 0, psymtab_language
,
3100 partial_symtabs
, objfile
);
3103 /* If this is an enumerated type, we need to add
3104 all the enum constants to the partial symbol
3105 table. This does not cover enums without names,
3106 e.g. "enum {a, b} c;" in C, but fortunately
3107 those are rare. There is no way for GDB to find
3108 those from the enum type without spending too
3109 much time on it. Thus to solve this problem,
3110 the compiler needs to put out the enum in a
3111 nameless type. GCC2 does this. */
3113 /* We are looking for something of the form
3114 <name> ":" ("t" | "T") [<number> "="] "e"
3115 {<constant> ":" <value> ","} ";". */
3117 /* Skip over the colon and the 't' or 'T'. */
3119 /* This type may be given a number. Also, numbers
3120 can come in pairs like (0,26). Skip over it. */
3121 while ((*p
>= '0' && *p
<= '9')
3122 || *p
== '(' || *p
== ',' || *p
== ')'
3128 /* The aix4 compiler emits extra crud before
3132 /* Skip over the type (?). */
3136 /* Skip over the colon. */
3140 /* We have found an enumerated type. */
3141 /* According to comments in read_enum_type
3142 a comma could end it instead of a semicolon.
3143 I don't know where that happens.
3145 while (*p
&& *p
!= ';' && *p
!= ',')
3149 /* Check for and handle cretinous dbx
3150 symbol name continuation! */
3151 if (*p
== '\\' || (*p
== '?' && p
[1] == '\0'))
3152 p
= next_symbol_text (objfile
);
3154 /* Point to the character after the name
3155 of the enum constant. */
3156 for (q
= p
; *q
&& *q
!= ':'; q
++)
3158 /* Note that the value doesn't matter for
3159 enum constants in psymtabs, just in
3161 pst
->add_psymbol (gdb::string_view (p
,
3165 psymbol_placement::STATIC
,
3166 0, psymtab_language
,
3167 partial_symtabs
, objfile
);
3168 /* Point past the name. */
3170 /* Skip over the value. */
3171 while (*p
&& *p
!= ',')
3173 /* Advance past the comma. */
3180 /* Constant, e.g. from "const" in Pascal. */
3181 pst
->add_psymbol (gdb::string_view (namestring
,
3183 true, VAR_DOMAIN
, LOC_CONST
, -1,
3184 psymbol_placement::STATIC
,
3185 0, psymtab_language
,
3186 partial_symtabs
, objfile
);
3192 std::string
copy (namestring
, p
);
3193 function_outside_compilation_unit_complaint
3196 pst
->add_psymbol (gdb::string_view (namestring
,
3198 true, VAR_DOMAIN
, LOC_BLOCK
,
3199 SECT_OFF_TEXT (objfile
),
3200 psymbol_placement::STATIC
,
3203 partial_symtabs
, objfile
);
3206 /* Global functions were ignored here, but now they
3207 are put into the global psymtab like one would
3208 expect. They're also in the minimal symbol
3213 std::string
copy (namestring
, p
);
3214 function_outside_compilation_unit_complaint
3217 pst
->add_psymbol (gdb::string_view (namestring
,
3219 true, VAR_DOMAIN
, LOC_BLOCK
,
3220 SECT_OFF_TEXT (objfile
),
3221 psymbol_placement::GLOBAL
,
3224 partial_symtabs
, objfile
);
3227 /* Two things show up here (hopefully); static
3228 symbols of local scope (static used inside
3229 braces) or extensions of structure symbols. We
3244 case '#': /* For symbol identification (used
3249 /* It is a C++ nested symbol. We don't need to
3250 record it (I don't think); if we try to look up
3251 foo::bar::baz, then symbols for the symtab
3252 containing foo should get read in, I think. */
3253 /* Someone says sun cc puts out symbols like
3254 /foo/baz/maclib::/usr/local/bin/maclib,
3255 which would get here with a symbol type of ':'. */
3259 /* Unexpected symbol descriptor. The second and
3260 subsequent stabs of a continued stab can show up
3261 here. The question is whether they ever can
3262 mimic a normal stab--it would be nice if not,
3263 since we certainly don't want to spend the time
3264 searching to the end of every string looking for
3267 complaint (_("unknown symbol descriptor `%c'"), p
[1]);
3269 /* Ignore it; perhaps it is an extension that we don't
3278 /* Solaris 2 end of module, finish current partial
3279 symbol table. dbx_end_psymtab will set the
3280 high text address of PST to the proper value,
3281 which is necessary if a module compiled without
3282 debugging info follows this module. */
3284 && gdbarch_sofun_address_maybe_missing (gdbarch
))
3286 pst
= (legacy_psymtab
*) 0;
3288 dependencies_used
= 0;
3293 if (sh
.value
> save_pst
->raw_text_high ())
3294 save_pst
->set_text_high (sh
.value
);
3299 case N_SSYM
: /* Claim: Structure or union
3300 element. Hopefully, I can
3302 case N_ENTRY
: /* Alternate entry point; can
3304 case N_MAIN
: /* Can definitely ignore this. */
3305 case N_CATCH
: /* These are GNU C++ extensions. */
3306 case N_EHDECL
: /* that can safely be ignored here. */
3316 case N_NSYMS
: /* Ultrix 4.0: symbol count */
3317 case N_DEFD
: /* GNU Modula-2 */
3318 case N_ALIAS
: /* SunPro F77: alias name, ignore
3321 case N_OBJ
: /* Useless types from Solaris. */
3323 /* These symbols aren't interesting; don't worry about
3329 /* If we haven't found it yet, ignore it. It's
3330 probably some new type we don't know about yet. */
3331 complaint (_("unknown symbol type %s"),
3332 hex_string (type_code
)); /* CUR_SYMBOL_TYPE */
3336 /* end - Handle continuation */
3341 for (cur_sdx
= 0; cur_sdx
< fh
->csym
;)
3344 enum address_class theclass
;
3345 CORE_ADDR minsym_value
;
3348 (*swap_sym_in
) (cur_bfd
,
3349 ((char *) debug_info
->external_sym
3350 + ((fh
->isymBase
+ cur_sdx
)
3351 * external_sym_size
)),
3354 if (ECOFF_IS_STAB (&sh
))
3360 /* Non absolute static symbols go into the minimal table. */
3361 if (SC_IS_UNDEF (sh
.sc
) || sh
.sc
== scNil
3362 || (sh
.index
== indexNil
3363 && (sh
.st
!= stStatic
|| sh
.sc
== scAbs
)))
3365 /* FIXME, premature? */
3370 sym_name
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
3372 minsym_value
= sh
.value
;
3378 /* The value of a stEnd symbol is the displacement from the
3379 corresponding start symbol value, do not relocate it. */
3381 section
= SECT_OFF_TEXT (objfile
);
3388 section
= SECT_OFF_DATA (objfile
);
3392 section
= SECT_OFF_BSS (objfile
);
3403 reader
.record_with_info (sym_name
, minsym_value
,
3405 SECT_OFF_TEXT (objfile
));
3410 /* Ignore all parameter symbol records. */
3411 if (sh
.index
>= hdr
->iauxMax
)
3413 /* Should not happen, but does when cross-compiling
3414 with the MIPS compiler. FIXME -- pull later. */
3415 index_complaint (sym_name
);
3416 new_sdx
= cur_sdx
+ 1; /* Don't skip at all. */
3419 new_sdx
= AUX_GET_ISYM (fh
->fBigendian
,
3420 (debug_info
->external_aux
3424 if (new_sdx
<= cur_sdx
)
3426 /* This should not happen either... FIXME. */
3427 complaint (_("bad proc end in aux found from symbol %s"),
3429 new_sdx
= cur_sdx
+ 1; /* Don't skip backward. */
3432 /* For stProc symbol records, we need to check the
3433 storage class as well, as only (stProc, scText)
3434 entries represent "real" procedures - See the
3435 Compaq document titled "Object File / Symbol Table
3436 Format Specification" for more information. If the
3437 storage class is not scText, we discard the whole
3438 block of symbol records for this stProc. */
3439 if (sh
.st
== stProc
&& sh
.sc
!= scText
)
3442 /* Usually there is a local and a global stProc symbol
3443 for a function. This means that the function name
3444 has already been entered into the minimal symbol table
3445 while processing the global symbols in pass 2 above.
3446 One notable exception is the PROGRAM name from
3447 f77 compiled executables, it is only put out as
3448 local stProc symbol, and a global MAIN__ stProc symbol
3449 points to it. It doesn't matter though, as gdb is
3450 still able to find the PROGRAM name via the partial
3451 symbol table, and the MAIN__ symbol via the minimal
3453 if (sh
.st
== stProc
)
3454 pst
->add_psymbol (sym_name
, true,
3455 VAR_DOMAIN
, LOC_BLOCK
,
3457 psymbol_placement::GLOBAL
,
3458 sh
.value
, psymtab_language
,
3459 partial_symtabs
, objfile
);
3461 pst
->add_psymbol (sym_name
, true,
3462 VAR_DOMAIN
, LOC_BLOCK
,
3464 psymbol_placement::STATIC
,
3465 sh
.value
, psymtab_language
,
3466 partial_symtabs
, objfile
);
3468 procaddr
= sh
.value
;
3471 (*swap_sym_in
) (cur_bfd
,
3472 ((char *) debug_info
->external_sym
3473 + ((fh
->isymBase
+ cur_sdx
- 1)
3474 * external_sym_size
)),
3479 /* Kludge for Irix 5.2 zero fh->adr. */
3481 && (!pst
->text_low_valid
3482 || procaddr
< pst
->raw_text_low ()))
3483 pst
->set_text_low (procaddr
);
3485 high
= procaddr
+ sh
.value
;
3486 if (high
> pst
->raw_text_high ())
3487 pst
->set_text_high (high
);
3490 case stStatic
: /* Variable */
3491 if (SC_IS_DATA (sh
.sc
))
3492 reader
.record_with_info (sym_name
, minsym_value
,
3494 SECT_OFF_DATA (objfile
));
3496 reader
.record_with_info (sym_name
, minsym_value
,
3498 SECT_OFF_BSS (objfile
));
3499 theclass
= LOC_STATIC
;
3502 case stIndirect
: /* Irix5 forward declaration */
3503 /* Skip forward declarations from Irix5 cc. */
3506 case stTypedef
: /* Typedef */
3507 /* Skip typedefs for forward declarations and opaque
3508 structs from alpha and mips cc. */
3509 if (sh
.iss
== 0 || has_opaque_xref (fh
, &sh
))
3511 theclass
= LOC_TYPEDEF
;
3514 case stConstant
: /* Constant decl */
3515 theclass
= LOC_CONST
;
3521 case stBlock
: /* { }, str, un, enum */
3522 /* Do not create a partial symbol for cc unnamed aggregates
3523 and gcc empty aggregates. */
3524 if ((sh
.sc
== scInfo
3525 || SC_IS_COMMON (sh
.sc
))
3527 && sh
.index
!= cur_sdx
+ 2)
3529 pst
->add_psymbol (sym_name
, true,
3530 STRUCT_DOMAIN
, LOC_TYPEDEF
, -1,
3531 psymbol_placement::STATIC
,
3532 0, psymtab_language
,
3533 partial_symtabs
, objfile
);
3535 handle_psymbol_enumerators (objfile
, partial_symtabs
,
3536 pst
, fh
, sh
.st
, sh
.value
);
3538 /* Skip over the block. */
3540 if (new_sdx
<= cur_sdx
)
3542 /* This happens with the Ultrix kernel. */
3543 complaint (_("bad aux index at block symbol %s"),
3545 new_sdx
= cur_sdx
+ 1; /* Don't skip backward. */
3550 case stFile
: /* File headers */
3551 case stLabel
: /* Labels */
3552 case stEnd
: /* Ends of files */
3555 case stLocal
: /* Local variables */
3556 /* Normally these are skipped because we skip over
3557 all blocks we see. However, these can occur
3558 as visible symbols in a .h file that contains code. */
3562 /* Both complaints are valid: one gives symbol sym_name,
3563 the other the offending symbol type. */
3564 complaint (_("unknown local symbol %s"),
3566 complaint (_("with type %d"), sh
.st
);
3570 /* Use this gdb symbol. */
3571 pst
->add_psymbol (sym_name
, true,
3572 VAR_DOMAIN
, theclass
, section
,
3573 psymbol_placement::STATIC
,
3574 sh
.value
, psymtab_language
,
3575 partial_symtabs
, objfile
);
3577 cur_sdx
++; /* Go to next file symbol. */
3580 /* Now do enter the external symbols. */
3581 ext_ptr
= &extern_tab
[fdr_to_pst
[f_idx
].globals_offset
];
3582 cur_sdx
= fdr_to_pst
[f_idx
].n_globals
;
3583 PST_PRIVATE (save_pst
)->extern_count
= cur_sdx
;
3584 PST_PRIVATE (save_pst
)->extern_tab
= ext_ptr
;
3585 for (; --cur_sdx
>= 0; ext_ptr
++)
3587 enum address_class theclass
;
3592 gdb_assert (ext_ptr
->ifd
== f_idx
);
3594 psh
= &ext_ptr
->asym
;
3596 /* Do not add undefined symbols to the partial symbol table. */
3597 if (SC_IS_UNDEF (psh
->sc
) || psh
->sc
== scNil
)
3600 svalue
= psh
->value
;
3606 section
= SECT_OFF_TEXT (objfile
);
3613 section
= SECT_OFF_DATA (objfile
);
3617 section
= SECT_OFF_BSS (objfile
);
3624 /* These are generated for static symbols in .o files,
3629 /* External procedure symbols have been entered
3630 into the minimal symbol table in pass 2 above.
3631 Ignore them, as parse_external will ignore them too. */
3634 theclass
= LOC_LABEL
;
3637 unknown_ext_complaint (debug_info
->ssext
+ psh
->iss
);
3638 /* Pretend it's global. */
3641 /* Global common symbols are resolved by the runtime loader,
3643 if (SC_IS_COMMON (psh
->sc
))
3646 theclass
= LOC_STATIC
;
3649 char *sym_name
= debug_info
->ssext
+ psh
->iss
;
3650 pst
->add_psymbol (sym_name
, true,
3651 VAR_DOMAIN
, theclass
,
3653 psymbol_placement::GLOBAL
,
3654 svalue
, psymtab_language
,
3655 partial_symtabs
, objfile
);
3659 /* Link pst to FDR. dbx_end_psymtab returns NULL if the psymtab was
3660 empty and put on the free list. */
3661 fdr_to_pst
[f_idx
].pst
3662 = dbx_end_psymtab (objfile
, partial_symtabs
, save_pst
,
3663 psymtab_include_list
, includes_used
,
3664 -1, save_pst
->raw_text_high (),
3665 dependency_list
, dependencies_used
,
3668 dependencies_used
= 0;
3670 /* The objfile has its functions reordered if this partial symbol
3671 table overlaps any other partial symbol table.
3672 We cannot assume a reordered objfile if a partial symbol table
3673 is contained within another partial symbol table, as partial symbol
3674 tables for include files with executable code are contained
3675 within the partial symbol table for the including source file,
3676 and we do not want to flag the objfile reordered for these cases.
3678 This strategy works well for Irix-5.2 shared libraries, but we
3679 might have to use a more elaborate (and slower) algorithm for
3681 save_pst
= fdr_to_pst
[f_idx
].pst
;
3682 if (save_pst
!= NULL
3683 && save_pst
->text_low_valid
3684 && !(objfile
->flags
& OBJF_REORDERED
))
3686 for (partial_symtab
*iter
: partial_symtabs
->range ())
3688 if (save_pst
!= iter
3689 && save_pst
->raw_text_low () >= iter
->raw_text_low ()
3690 && save_pst
->raw_text_low () < iter
->raw_text_high ()
3691 && save_pst
->raw_text_high () > iter
->raw_text_high ())
3693 objfile
->flags
|= OBJF_REORDERED
;
3700 /* Now scan the FDRs for dependencies. */
3701 for (f_idx
= 0; f_idx
< hdr
->ifdMax
; f_idx
++)
3703 fh
= f_idx
+ debug_info
->fdr
;
3704 pst
= fdr_to_pst
[f_idx
].pst
;
3709 /* This should catch stabs-in-ecoff. */
3713 /* Skip the first file indirect entry as it is a self dependency for
3714 source files or a reverse .h -> .c dependency for header files. */
3715 pst
->number_of_dependencies
= 0;
3717 = partial_symtabs
->allocate_dependencies (fh
->crfd
- 1);
3718 for (s_idx
= 1; s_idx
< fh
->crfd
; s_idx
++)
3722 (*swap_rfd_in
) (cur_bfd
,
3723 ((char *) debug_info
->external_rfd
3724 + (fh
->rfdBase
+ s_idx
) * external_rfd_size
),
3726 if (rh
< 0 || rh
>= hdr
->ifdMax
)
3728 complaint (_("bad file number %ld"), rh
);
3732 /* Skip self dependencies of header files. */
3736 /* Do not add to dependency list if psymtab was empty. */
3737 if (fdr_to_pst
[rh
].pst
== NULL
)
3739 pst
->dependencies
[pst
->number_of_dependencies
++]
3740 = fdr_to_pst
[rh
].pst
;
3744 /* Remove the dummy psymtab created for -O3 images above, if it is
3745 still empty, to enable the detection of stripped executables. */
3746 partial_symtab
*pst_del
= partial_symtabs
->psymtabs
;
3747 if (pst_del
->next
== NULL
3748 && pst_del
->number_of_dependencies
== 0
3749 && pst_del
->empty ())
3750 partial_symtabs
->discard_psymtab (pst_del
);
3753 /* If the current psymbol has an enumerated type, we need to add
3754 all the enum constants to the partial symbol table. */
3757 handle_psymbol_enumerators (struct objfile
*objfile
,
3758 psymtab_storage
*partial_symtabs
,
3759 partial_symtab
*pst
,
3760 FDR
*fh
, int stype
, CORE_ADDR svalue
)
3762 const bfd_size_type external_sym_size
= debug_swap
->external_sym_size
;
3763 void (*const swap_sym_in
) (bfd
*, void *, SYMR
*) = debug_swap
->swap_sym_in
;
3764 char *ext_sym
= ((char *) debug_info
->external_sym
3765 + ((fh
->isymBase
+ cur_sdx
+ 1) * external_sym_size
));
3775 /* It is an enumerated type if the next symbol entry is a stMember
3776 and its auxiliary index is indexNil or its auxiliary entry
3777 is a plain btNil or btVoid.
3778 Alpha cc -migrate enums are recognized by a zero index and
3779 a zero symbol value.
3780 DU 4.0 cc enums are recognized by a member type of btEnum without
3781 qualifiers and a zero symbol value. */
3782 (*swap_sym_in
) (cur_bfd
, ext_sym
, &sh
);
3783 if (sh
.st
!= stMember
)
3786 if (sh
.index
== indexNil
3787 || (sh
.index
== 0 && svalue
== 0))
3789 (*debug_swap
->swap_tir_in
) (fh
->fBigendian
,
3790 &(debug_info
->external_aux
3791 + fh
->iauxBase
+ sh
.index
)->a_ti
,
3793 if ((tir
.bt
!= btNil
3795 && (tir
.bt
!= btEnum
|| svalue
!= 0))
3796 || tir
.tq0
!= tqNil
)
3808 (*swap_sym_in
) (cur_bfd
, ext_sym
, &sh
);
3809 if (sh
.st
!= stMember
)
3811 name
= debug_info
->ss
+ cur_fdr
->issBase
+ sh
.iss
;
3813 /* Note that the value doesn't matter for enum constants
3814 in psymtabs, just in symtabs. */
3815 pst
->add_psymbol (name
, true,
3816 VAR_DOMAIN
, LOC_CONST
, -1,
3817 psymbol_placement::STATIC
, 0,
3818 psymtab_language
, partial_symtabs
, objfile
);
3819 ext_sym
+= external_sym_size
;
3823 /* Get the next symbol. OBJFILE is unused. */
3826 mdebug_next_symbol_text (struct objfile
*objfile
)
3831 (*debug_swap
->swap_sym_in
) (cur_bfd
,
3832 ((char *) debug_info
->external_sym
3833 + ((cur_fdr
->isymBase
+ cur_sdx
)
3834 * debug_swap
->external_sym_size
)),
3836 return debug_info
->ss
+ cur_fdr
->issBase
+ sh
.iss
;
3839 /* Ancillary function to psymtab_to_symtab(). Does all the work
3840 for turning the partial symtab PST into a symtab, recurring
3841 first on all dependent psymtabs. The argument FILENAME is
3842 only passed so we can see in debug stack traces what file
3845 This function has a split personality, based on whether the
3846 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3847 The flow of control and even the memory allocation differs. FIXME. */
3850 mdebug_expand_psymtab (legacy_psymtab
*pst
, struct objfile
*objfile
)
3852 bfd_size_type external_sym_size
;
3853 bfd_size_type external_pdr_size
;
3854 void (*swap_sym_in
) (bfd
*, void *, SYMR
*);
3855 void (*swap_pdr_in
) (bfd
*, void *, PDR
*);
3857 struct compunit_symtab
*cust
= NULL
;
3859 struct linetable
*lines
;
3860 CORE_ADDR lowest_pdr_addr
= 0;
3861 int last_symtab_ended
= 0;
3862 const section_offsets
§ion_offsets
= objfile
->section_offsets
;
3868 /* Read in all partial symtabs on which this one is dependent.
3869 NOTE that we do have circular dependencies, sigh. We solved
3870 that by setting pst->readin before this point. */
3871 pst
->expand_dependencies (objfile
);
3873 /* Do nothing if this is a dummy psymtab. */
3875 if (pst
->empty () && !pst
->text_low_valid
&& !pst
->text_high_valid
)
3878 /* Now read the symbols for this symtab. */
3880 cur_bfd
= CUR_BFD (pst
);
3881 debug_swap
= DEBUG_SWAP (pst
);
3882 debug_info
= DEBUG_INFO (pst
);
3883 pending_list
= PENDING_LIST (pst
);
3884 external_sym_size
= debug_swap
->external_sym_size
;
3885 external_pdr_size
= debug_swap
->external_pdr_size
;
3886 swap_sym_in
= debug_swap
->swap_sym_in
;
3887 swap_pdr_in
= debug_swap
->swap_pdr_in
;
3888 mdebugread_objfile
= objfile
;
3889 cur_fd
= FDR_IDX (pst
);
3890 fh
= ((cur_fd
== -1)
3892 : debug_info
->fdr
+ cur_fd
);
3895 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3896 processing_gcc_compilation
= 0;
3897 if (fh
!= NULL
&& fh
->csym
>= 2)
3901 (*swap_sym_in
) (cur_bfd
,
3902 ((char *) debug_info
->external_sym
3903 + (fh
->isymBase
+ 1) * external_sym_size
),
3905 if (strcmp (debug_info
->ss
+ fh
->issBase
+ sh
.iss
,
3908 /* We indicate that this is a GCC compilation so that certain
3909 features will be enabled in stabsread/dbxread. */
3910 processing_gcc_compilation
= 2;
3914 if (processing_gcc_compilation
!= 0)
3916 struct gdbarch
*gdbarch
= objfile
->arch ();
3918 /* This symbol table contains stabs-in-ecoff entries. */
3920 /* Parse local symbols first. */
3922 if (fh
->csym
<= 2) /* FIXME, this blows psymtab->symtab ptr. */
3924 mdebugread_objfile
= NULL
;
3927 for (cur_sdx
= 2; cur_sdx
< fh
->csym
; cur_sdx
++)
3933 (*swap_sym_in
) (cur_bfd
,
3934 (((char *) debug_info
->external_sym
)
3935 + (fh
->isymBase
+ cur_sdx
) * external_sym_size
),
3937 name
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
3939 /* XXX This is a hack. It will go away! */
3940 if (ECOFF_IS_STAB (&sh
) || (name
[0] == '#'))
3942 int type_code
= ECOFF_UNMARK_STAB (sh
.index
);
3943 enum language language
= PST_PRIVATE (pst
)->pst_language
;
3945 /* We should never get non N_STAB symbols here, but they
3946 should be harmless, so keep process_one_symbol from
3947 complaining about them. */
3948 if (type_code
& N_STAB
)
3950 /* If we found a trailing N_SO with no name, process
3951 it here instead of in process_one_symbol, so we
3952 can keep a handle to its symtab. The symtab
3953 would otherwise be ended twice, once in
3954 process_one_symbol, and once after this loop. */
3955 if (type_code
== N_SO
3956 && get_last_source_file ()
3957 && previous_stab_code
!= (unsigned char) N_SO
3960 valu
+= section_offsets
[SECT_OFF_TEXT (objfile
)];
3961 previous_stab_code
= N_SO
;
3962 cust
= end_symtab (valu
, SECT_OFF_TEXT (objfile
));
3964 last_symtab_ended
= 1;
3968 last_symtab_ended
= 0;
3969 process_one_symbol (type_code
, 0, valu
, name
,
3970 section_offsets
, objfile
, language
);
3973 /* Similarly a hack. */
3974 else if (name
[0] == '#')
3976 process_one_symbol (N_SLINE
, 0, valu
, name
,
3977 section_offsets
, objfile
, language
);
3979 if (type_code
== N_FUN
)
3981 /* Make up special symbol to contain
3982 procedure specific info. */
3983 mdebug_extra_func_info
*e
3984 = OBSTACK_ZALLOC (&mdebugread_objfile
->objfile_obstack
,
3985 mdebug_extra_func_info
);
3986 struct symbol
*s
= new_symbol (MDEBUG_EFI_SYMBOL_NAME
);
3988 SYMBOL_DOMAIN (s
) = LABEL_DOMAIN
;
3989 SYMBOL_ACLASS_INDEX (s
) = LOC_CONST
;
3990 SYMBOL_TYPE (s
) = objfile_type (objfile
)->builtin_void
;
3991 SYMBOL_VALUE_BYTES (s
) = (gdb_byte
*) e
;
3992 e
->pdr
.framereg
= -1;
3993 add_symbol_to_list (s
, get_local_symbols ());
3996 else if (sh
.st
== stLabel
)
3998 if (sh
.index
== indexNil
)
4000 /* This is what the gcc2_compiled and __gnu_compiled_*
4001 show up as. So don't complain. */
4006 /* Handle encoded stab line number. */
4007 valu
+= section_offsets
[SECT_OFF_TEXT (objfile
)];
4008 record_line (get_current_subfile (), sh
.index
,
4009 gdbarch_addr_bits_remove (gdbarch
, valu
));
4012 else if (sh
.st
== stProc
|| sh
.st
== stStaticProc
4013 || sh
.st
== stStatic
|| sh
.st
== stEnd
)
4014 /* These are generated by gcc-2.x, do not complain. */
4017 complaint (_("unknown stabs symbol %s"), name
);
4020 if (! last_symtab_ended
)
4022 cust
= end_symtab (pst
->raw_text_high (), SECT_OFF_TEXT (objfile
));
4026 /* There used to be a call to sort_blocks here, but this should not
4027 be necessary for stabs symtabs. And as sort_blocks modifies the
4028 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4029 it did the wrong thing if the first procedure in a file was
4030 generated via asm statements. */
4032 /* Fill in procedure info next. */
4040 gdb::def_vector
<PDR
> pr_block (fh
->cpd
);
4042 pdr_ptr
= ((char *) debug_info
->external_pdr
4043 + fh
->ipdFirst
* external_pdr_size
);
4044 pdr_end
= pdr_ptr
+ fh
->cpd
* external_pdr_size
;
4045 pdr_in
= pr_block
.data ();
4048 pdr_ptr
+= external_pdr_size
, pdr_in
++)
4050 (*swap_pdr_in
) (cur_bfd
, pdr_ptr
, pdr_in
);
4052 /* Determine lowest PDR address, the PDRs are not always
4054 if (pdr_in
== pr_block
.data ())
4055 lowest_pdr_addr
= pdr_in
->adr
;
4056 else if (pdr_in
->adr
< lowest_pdr_addr
)
4057 lowest_pdr_addr
= pdr_in
->adr
;
4060 pdr_in
= pr_block
.data ();
4061 pdr_in_end
= pdr_in
+ fh
->cpd
;
4062 for (; pdr_in
< pdr_in_end
; pdr_in
++)
4063 parse_procedure (pdr_in
, cust
, pst
);
4068 /* This symbol table contains ordinary ecoff entries. */
4076 cust
= new_symtab ("unknown", 0, objfile
);
4080 maxlines
= 2 * fh
->cline
;
4081 cust
= new_symtab (pst
->filename
, maxlines
, objfile
);
4083 /* The proper language was already determined when building
4084 the psymtab, use it. */
4085 COMPUNIT_FILETABS (cust
)->language
= PST_PRIVATE (pst
)->pst_language
;
4088 psymtab_language
= COMPUNIT_FILETABS (cust
)->language
;
4090 lines
= SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust
));
4092 /* Get a new lexical context. */
4094 push_parse_stack ();
4095 top_stack
->cur_st
= COMPUNIT_FILETABS (cust
);
4096 top_stack
->cur_block
4097 = BLOCKVECTOR_BLOCK (COMPUNIT_BLOCKVECTOR (cust
), STATIC_BLOCK
);
4098 BLOCK_START (top_stack
->cur_block
) = pst
->text_low (objfile
);
4099 BLOCK_END (top_stack
->cur_block
) = 0;
4100 top_stack
->blocktype
= stFile
;
4101 top_stack
->cur_type
= 0;
4102 top_stack
->procadr
= 0;
4103 top_stack
->numargs
= 0;
4104 found_ecoff_debugging_info
= 0;
4111 /* Parse local symbols first. */
4112 sym_ptr
= ((char *) debug_info
->external_sym
4113 + fh
->isymBase
* external_sym_size
);
4114 sym_end
= sym_ptr
+ fh
->csym
* external_sym_size
;
4115 while (sym_ptr
< sym_end
)
4120 (*swap_sym_in
) (cur_bfd
, sym_ptr
, &sh
);
4121 c
= parse_symbol (&sh
,
4122 debug_info
->external_aux
+ fh
->iauxBase
,
4123 sym_ptr
, fh
->fBigendian
,
4124 section_offsets
, objfile
);
4125 sym_ptr
+= c
* external_sym_size
;
4128 /* Linenumbers. At the end, check if we can save memory.
4129 parse_lines has to look ahead an arbitrary number of PDR
4130 structures, so we swap them all first. */
4138 gdb::def_vector
<PDR
> pr_block (fh
->cpd
);
4140 pdr_ptr
= ((char *) debug_info
->external_pdr
4141 + fh
->ipdFirst
* external_pdr_size
);
4142 pdr_end
= pdr_ptr
+ fh
->cpd
* external_pdr_size
;
4143 pdr_in
= pr_block
.data ();
4146 pdr_ptr
+= external_pdr_size
, pdr_in
++)
4148 (*swap_pdr_in
) (cur_bfd
, pdr_ptr
, pdr_in
);
4150 /* Determine lowest PDR address, the PDRs are not always
4152 if (pdr_in
== pr_block
.data ())
4153 lowest_pdr_addr
= pdr_in
->adr
;
4154 else if (pdr_in
->adr
< lowest_pdr_addr
)
4155 lowest_pdr_addr
= pdr_in
->adr
;
4158 parse_lines (fh
, pr_block
.data (), lines
, maxlines
,
4159 pst
->text_low (objfile
), lowest_pdr_addr
);
4160 if (lines
->nitems
< fh
->cline
)
4161 lines
= shrink_linetable (lines
);
4163 /* Fill in procedure info next. */
4164 pdr_in
= pr_block
.data ();
4165 pdr_in_end
= pdr_in
+ fh
->cpd
;
4166 for (; pdr_in
< pdr_in_end
; pdr_in
++)
4167 parse_procedure (pdr_in
, NULL
, pst
);
4171 size
= lines
->nitems
;
4174 SYMTAB_LINETABLE (COMPUNIT_FILETABS (cust
))
4175 = ((struct linetable
*)
4176 obstack_copy (&mdebugread_objfile
->objfile_obstack
,
4177 lines
, (sizeof (struct linetable
)
4178 + size
* sizeof (lines
->item
))));
4181 /* .. and our share of externals.
4182 XXX use the global list to speed up things here. How?
4183 FIXME, Maybe quit once we have found the right number of ext's? */
4184 top_stack
->cur_st
= COMPUNIT_FILETABS (cust
);
4185 top_stack
->cur_block
4186 = BLOCKVECTOR_BLOCK (SYMTAB_BLOCKVECTOR (top_stack
->cur_st
),
4188 top_stack
->blocktype
= stFile
;
4190 ext_ptr
= PST_PRIVATE (pst
)->extern_tab
;
4191 for (i
= PST_PRIVATE (pst
)->extern_count
; --i
>= 0; ext_ptr
++)
4192 parse_external (ext_ptr
, fh
->fBigendian
,
4193 section_offsets
, objfile
);
4195 /* If there are undefined symbols, tell the user.
4196 The alpha has an undefined symbol for every symbol that is
4197 from a shared library, so tell the user only if verbose is on. */
4198 if (info_verbose
&& n_undef_symbols
)
4200 printf_filtered (_("File %s contains %d unresolved references:"),
4201 symtab_to_filename_for_display
4202 (COMPUNIT_FILETABS (cust
)),
4204 printf_filtered ("\n\t%4d variables\n\t%4d "
4205 "procedures\n\t%4d labels\n",
4206 n_undef_vars
, n_undef_procs
, n_undef_labels
);
4207 n_undef_symbols
= n_undef_labels
= n_undef_vars
= n_undef_procs
= 0;
4212 sort_blocks (COMPUNIT_FILETABS (cust
));
4215 /* Now link the psymtab and the symtab. */
4216 pst
->compunit_symtab
= cust
;
4218 mdebugread_objfile
= NULL
;
4221 /* Ancillary parsing procedures. */
4223 /* Return 1 if the symbol pointed to by SH has a cross reference
4224 to an opaque aggregate type, else 0. */
4227 has_opaque_xref (FDR
*fh
, SYMR
*sh
)
4234 if (sh
->index
== indexNil
)
4237 ax
= debug_info
->external_aux
+ fh
->iauxBase
+ sh
->index
;
4238 (*debug_swap
->swap_tir_in
) (fh
->fBigendian
, &ax
->a_ti
, &tir
);
4239 if (tir
.bt
!= btStruct
&& tir
.bt
!= btUnion
&& tir
.bt
!= btEnum
)
4243 (*debug_swap
->swap_rndx_in
) (fh
->fBigendian
, &ax
->a_rndx
, rn
);
4244 if (rn
->rfd
== 0xfff)
4245 rf
= AUX_GET_ISYM (fh
->fBigendian
, ax
+ 1);
4253 /* Lookup the type at relative index RN. Return it in TPP
4254 if found and in any event come up with its name PNAME.
4255 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4256 Return value says how many aux symbols we ate. */
4259 cross_ref (int fd
, union aux_ext
*ax
, struct type
**tpp
,
4260 enum type_code type_code
,
4261 /* Use to alloc new type if none is found. */
4262 const char **pname
, int bigend
, const char *sym_name
)
4271 struct mdebug_pending
*pend
;
4275 (*debug_swap
->swap_rndx_in
) (bigend
, &ax
->a_rndx
, rn
);
4277 /* Escape index means 'the next one'. */
4278 if (rn
->rfd
== 0xfff)
4281 rf
= AUX_GET_ISYM (bigend
, ax
+ 1);
4288 /* mips cc uses a rf of -1 for opaque struct definitions.
4289 Set TYPE_STUB for these types so that check_typedef will
4290 resolve them if the struct gets defined in another compilation unit. */
4293 *pname
= "<undefined>";
4294 *tpp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
4295 (*tpp
)->set_is_stub (true);
4299 /* mips cc uses an escaped rn->index of 0 for struct return types
4300 of procedures that were compiled without -g. These will always remain
4302 if (rn
->rfd
== 0xfff && rn
->index
== 0)
4304 *pname
= "<undefined>";
4308 /* Find the relative file descriptor and the symbol in it. */
4309 fh
= get_rfd (fd
, rf
);
4310 xref_fd
= fh
- debug_info
->fdr
;
4312 if (rn
->index
>= fh
->csym
)
4314 /* File indirect entry is corrupt. */
4315 *pname
= "<illegal>";
4316 bad_rfd_entry_complaint (sym_name
, xref_fd
, rn
->index
);
4320 /* If we have processed this symbol then we left a forwarding
4321 pointer to the type in the pending list. If not, we`ll put
4322 it in a list of pending types, to be processed later when
4323 the file will be. In any event, we collect the name for the
4326 esh
= ((char *) debug_info
->external_sym
4327 + ((fh
->isymBase
+ rn
->index
)
4328 * debug_swap
->external_sym_size
));
4329 (*debug_swap
->swap_sym_in
) (cur_bfd
, esh
, &sh
);
4331 /* Make sure that this type of cross reference can be handled. */
4332 if ((sh
.sc
!= scInfo
4333 || (sh
.st
!= stBlock
&& sh
.st
!= stTypedef
&& sh
.st
!= stIndirect
4334 && sh
.st
!= stStruct
&& sh
.st
!= stUnion
4335 && sh
.st
!= stEnum
))
4336 && (sh
.st
!= stBlock
|| !SC_IS_COMMON (sh
.sc
)))
4338 /* File indirect entry is corrupt. */
4339 *pname
= "<illegal>";
4340 bad_rfd_entry_complaint (sym_name
, xref_fd
, rn
->index
);
4344 *pname
= debug_info
->ss
+ fh
->issBase
+ sh
.iss
;
4346 pend
= is_pending_symbol (fh
, esh
);
4351 /* We have not yet seen this type. */
4353 if ((sh
.iss
== 0 && sh
.st
== stTypedef
) || sh
.st
== stIndirect
)
4357 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4359 a) forward declarations of structs/unions/enums which are not
4360 defined in this compilation unit.
4361 For these the type will be void. This is a bad design decision
4362 as cross referencing across compilation units is impossible
4363 due to the missing name.
4364 b) forward declarations of structs/unions/enums/typedefs which
4365 are defined later in this file or in another file in the same
4366 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4367 Simply cross reference those again to get the true type.
4368 The forward references are not entered in the pending list and
4369 in the symbol table. */
4371 (*debug_swap
->swap_tir_in
) (bigend
,
4372 &(debug_info
->external_aux
4373 + fh
->iauxBase
+ sh
.index
)->a_ti
,
4375 if (tir
.tq0
!= tqNil
)
4376 complaint (_("illegal tq0 in forward typedef for %s"), sym_name
);
4380 *tpp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
4381 *pname
= "<undefined>";
4388 (debug_info
->external_aux
4389 + fh
->iauxBase
+ sh
.index
+ 1),
4390 tpp
, type_code
, pname
,
4391 fh
->fBigendian
, sym_name
);
4395 /* Follow a forward typedef. This might recursively
4396 call cross_ref till we get a non typedef'ed type.
4397 FIXME: This is not correct behaviour, but gdb currently
4398 cannot handle typedefs without type copying. Type
4399 copying is impossible as we might have mutual forward
4400 references between two files and the copied type would not
4401 get filled in when we later parse its definition. */
4402 *tpp
= parse_type (xref_fd
,
4403 debug_info
->external_aux
+ fh
->iauxBase
,
4407 debug_info
->ss
+ fh
->issBase
+ sh
.iss
);
4408 add_pending (fh
, esh
, *tpp
);
4412 complaint (_("illegal bt %d in forward typedef for %s"), tir
.bt
,
4414 *tpp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
4419 else if (sh
.st
== stTypedef
)
4421 /* Parse the type for a normal typedef. This might recursively call
4422 cross_ref till we get a non typedef'ed type.
4423 FIXME: This is not correct behaviour, but gdb currently
4424 cannot handle typedefs without type copying. But type copying is
4425 impossible as we might have mutual forward references between
4426 two files and the copied type would not get filled in when
4427 we later parse its definition. */
4428 *tpp
= parse_type (xref_fd
,
4429 debug_info
->external_aux
+ fh
->iauxBase
,
4433 debug_info
->ss
+ fh
->issBase
+ sh
.iss
);
4437 /* Cross reference to a struct/union/enum which is defined
4438 in another file in the same compilation unit but that file
4439 has not been parsed yet.
4440 Initialize the type only, it will be filled in when
4441 it's definition is parsed. */
4442 *tpp
= init_type (mdebugread_objfile
, type_code
, 0, NULL
);
4444 add_pending (fh
, esh
, *tpp
);
4447 /* We used one auxent normally, two if we got a "next one" rf. */
4452 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4453 keeping the symtab sorted. */
4455 static struct symbol
*
4456 mylookup_symbol (const char *name
, const struct block
*block
,
4457 domain_enum domain
, enum address_class theclass
)
4459 struct block_iterator iter
;
4464 ALL_BLOCK_SYMBOLS (block
, iter
, sym
)
4466 if (sym
->linkage_name ()[0] == inc
4467 && SYMBOL_DOMAIN (sym
) == domain
4468 && SYMBOL_CLASS (sym
) == theclass
4469 && strcmp (sym
->linkage_name (), name
) == 0)
4473 block
= BLOCK_SUPERBLOCK (block
);
4475 return mylookup_symbol (name
, block
, domain
, theclass
);
4480 /* Add a new symbol S to a block B. */
4483 add_symbol (struct symbol
*s
, struct symtab
*symtab
, struct block
*b
)
4485 symbol_set_symtab (s
, symtab
);
4486 mdict_add_symbol (BLOCK_MULTIDICT (b
), s
);
4489 /* Add a new block B to a symtab S. */
4492 add_block (struct block
*b
, struct symtab
*s
)
4494 /* Cast away "const", but that's ok because we're building the
4495 symtab and blockvector here. */
4496 struct blockvector
*bv
= (struct blockvector
*) SYMTAB_BLOCKVECTOR (s
);
4498 bv
= (struct blockvector
*) xrealloc ((void *) bv
,
4499 (sizeof (struct blockvector
)
4500 + BLOCKVECTOR_NBLOCKS (bv
)
4501 * sizeof (bv
->block
)));
4502 if (bv
!= SYMTAB_BLOCKVECTOR (s
))
4503 SYMTAB_BLOCKVECTOR (s
) = bv
;
4505 BLOCKVECTOR_BLOCK (bv
, BLOCKVECTOR_NBLOCKS (bv
)++) = b
;
4508 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4509 MIPS' linenumber encoding might need more than one byte
4510 to describe it, LAST is used to detect these continuation lines.
4512 Combining lines with the same line number seems like a bad idea.
4513 E.g: There could be a line number entry with the same line number after the
4514 prologue and GDB should not ignore it (this is a better way to find
4515 a prologue than mips_skip_prologue).
4516 But due to the compressed line table format there are line number entries
4517 for the same line which are needed to bridge the gap to the next
4518 line number entry. These entries have a bogus address info with them
4519 and we are unable to tell them from intended duplicate line number
4521 This is another reason why -ggdb debugging format is preferable. */
4524 add_line (struct linetable
*lt
, int lineno
, CORE_ADDR adr
, int last
)
4526 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4527 Change them to something sensible. */
4531 last
= -2; /* Make sure we record first line. */
4533 if (last
== lineno
) /* Skip continuation lines. */
4536 lt
->item
[lt
->nitems
].line
= lineno
;
4537 lt
->item
[lt
->nitems
++].pc
= adr
<< 2;
4541 /* Sorting and reordering procedures. */
4543 /* Blocks with a smaller low bound should come first. */
4546 block_is_less_than (const struct block
*b1
, const struct block
*b2
)
4548 CORE_ADDR start1
= BLOCK_START (b1
);
4549 CORE_ADDR start2
= BLOCK_START (b2
);
4551 if (start1
!= start2
)
4552 return start1
< start2
;
4554 return (BLOCK_END (b2
)) < (BLOCK_END (b1
));
4557 /* Sort the blocks of a symtab S.
4558 Reorder the blocks in the blockvector by code-address,
4559 as required by some MI search routines. */
4562 sort_blocks (struct symtab
*s
)
4564 /* We have to cast away const here, but this is ok because we're
4565 constructing the blockvector in this code. */
4566 struct blockvector
*bv
= (struct blockvector
*) SYMTAB_BLOCKVECTOR (s
);
4568 if (BLOCKVECTOR_NBLOCKS (bv
) <= FIRST_LOCAL_BLOCK
)
4571 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
)) == 0)
4572 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
)) = 0;
4573 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
)) == 0)
4574 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
)) = 0;
4578 * This is very unfortunate: normally all functions are compiled in
4579 * the order they are found, but if the file is compiled -O3 things
4580 * are very different. It would be nice to find a reliable test
4581 * to detect -O3 images in advance.
4583 if (BLOCKVECTOR_NBLOCKS (bv
) > FIRST_LOCAL_BLOCK
+ 1)
4584 std::sort (&BLOCKVECTOR_BLOCK (bv
, FIRST_LOCAL_BLOCK
),
4585 &BLOCKVECTOR_BLOCK (bv
, BLOCKVECTOR_NBLOCKS (bv
)),
4586 block_is_less_than
);
4590 int i
, j
= BLOCKVECTOR_NBLOCKS (bv
);
4592 for (i
= FIRST_LOCAL_BLOCK
; i
< j
; i
++)
4593 if (high
< BLOCK_END (BLOCKVECTOR_BLOCK (bv
, i
)))
4594 high
= BLOCK_END (BLOCKVECTOR_BLOCK (bv
, i
));
4595 BLOCK_END (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
)) = high
;
4598 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
)) =
4599 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, FIRST_LOCAL_BLOCK
));
4601 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
)) =
4602 BLOCK_START (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
));
4603 BLOCK_END (BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
)) =
4604 BLOCK_END (BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
));
4608 /* Constructor/restructor/destructor procedures. */
4610 /* Allocate a new symtab for NAME. Needs an estimate of how many
4611 linenumbers MAXLINES we'll put in it. */
4613 static struct compunit_symtab
*
4614 new_symtab (const char *name
, int maxlines
, struct objfile
*objfile
)
4616 struct compunit_symtab
*cust
= allocate_compunit_symtab (objfile
, name
);
4617 struct symtab
*symtab
;
4618 struct blockvector
*bv
;
4621 add_compunit_symtab_to_objfile (cust
);
4622 symtab
= allocate_symtab (cust
, name
);
4624 SYMTAB_LINETABLE (symtab
) = new_linetable (maxlines
);
4625 lang
= compunit_language (cust
);
4627 /* All symtabs must have at least two blocks. */
4629 BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
) = new_block (NON_FUNCTION_BLOCK
, lang
);
4630 BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
) = new_block (NON_FUNCTION_BLOCK
, lang
);
4631 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv
, STATIC_BLOCK
)) =
4632 BLOCKVECTOR_BLOCK (bv
, GLOBAL_BLOCK
);
4633 COMPUNIT_BLOCKVECTOR (cust
) = bv
;
4635 COMPUNIT_DEBUGFORMAT (cust
) = "ECOFF";
4639 /* Allocate a new partial_symtab NAME. */
4641 static legacy_psymtab
*
4642 new_psymtab (const char *name
, psymtab_storage
*partial_symtabs
,
4643 struct objfile
*objfile
)
4645 legacy_psymtab
*psymtab
;
4647 psymtab
= new legacy_psymtab (name
, partial_symtabs
, objfile
);
4649 /* Keep a backpointer to the file's symbols. */
4651 psymtab
->read_symtab_private
4652 = OBSTACK_ZALLOC (&objfile
->objfile_obstack
, symloc
);
4653 CUR_BFD (psymtab
) = cur_bfd
;
4654 DEBUG_SWAP (psymtab
) = debug_swap
;
4655 DEBUG_INFO (psymtab
) = debug_info
;
4656 PENDING_LIST (psymtab
) = pending_list
;
4658 /* The way to turn this into a symtab is to call... */
4659 psymtab
->legacy_read_symtab
= mdebug_read_symtab
;
4660 psymtab
->legacy_expand_psymtab
= mdebug_expand_psymtab
;
4665 /* Allocate a linetable array of the given SIZE. Since the struct
4666 already includes one item, we subtract one when calculating the
4667 proper size to allocate. */
4669 static struct linetable
*
4670 new_linetable (int size
)
4672 struct linetable
*l
;
4676 size
= size
* sizeof (l
->item
) + sizeof (struct linetable
);
4677 l
= (struct linetable
*) xmalloc (size
);
4682 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4683 I am not so sure about the 3.4 ones.
4685 Since the struct linetable already includes one item, we subtract one when
4686 calculating the proper size to allocate. */
4688 static struct linetable
*
4689 shrink_linetable (struct linetable
*lt
)
4691 return (struct linetable
*) xrealloc ((void *) lt
,
4692 (sizeof (struct linetable
)
4694 * sizeof (lt
->item
))));
4697 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4699 static struct blockvector
*
4700 new_bvect (int nblocks
)
4702 struct blockvector
*bv
;
4705 size
= sizeof (struct blockvector
) + nblocks
* sizeof (struct block
*);
4706 bv
= (struct blockvector
*) xzalloc (size
);
4708 BLOCKVECTOR_NBLOCKS (bv
) = nblocks
;
4713 /* Allocate and zero a new block of language LANGUAGE, and set its
4714 BLOCK_MULTIDICT. If function is non-zero, assume the block is
4715 associated to a function, and make sure that the symbols are stored
4716 linearly; otherwise, store them hashed. */
4718 static struct block
*
4719 new_block (enum block_type type
, enum language language
)
4721 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4722 allocate the block. Which, in turn, suggests that the block
4723 should be allocated on an obstack. */
4724 struct block
*retval
= XCNEW (struct block
);
4726 if (type
== FUNCTION_BLOCK
)
4727 BLOCK_MULTIDICT (retval
) = mdict_create_linear_expandable (language
);
4729 BLOCK_MULTIDICT (retval
) = mdict_create_hashed_expandable (language
);
4734 /* Create a new symbol with printname NAME. */
4736 static struct symbol
*
4737 new_symbol (const char *name
)
4739 struct symbol
*s
= new (&mdebugread_objfile
->objfile_obstack
) symbol
;
4741 s
->set_language (psymtab_language
, &mdebugread_objfile
->objfile_obstack
);
4742 s
->compute_and_set_names (name
, true, mdebugread_objfile
->per_bfd
);
4746 /* Create a new type with printname NAME. */
4748 static struct type
*
4749 new_type (char *name
)
4753 t
= alloc_type (mdebugread_objfile
);
4755 INIT_CPLUS_SPECIFIC (t
);
4759 /* Read ECOFF debugging information from a BFD section. This is
4760 called from elfread.c. It parses the section into a
4761 ecoff_debug_info struct, and then lets the rest of the file handle
4765 elfmdebug_build_psymtabs (struct objfile
*objfile
,
4766 const struct ecoff_debug_swap
*swap
, asection
*sec
)
4768 bfd
*abfd
= objfile
->obfd
;
4769 struct ecoff_debug_info
*info
;
4771 /* FIXME: It's not clear whether we should be getting minimal symbol
4772 information from .mdebug in an ELF file, or whether we will.
4773 Re-initialize the minimal symbol reader in case we do. */
4775 minimal_symbol_reader
reader (objfile
);
4777 info
= XOBNEW (&objfile
->objfile_obstack
, ecoff_debug_info
);
4779 if (!(*swap
->read_debug_info
) (abfd
, sec
, info
))
4780 error (_("Error reading ECOFF debugging information: %s"),
4781 bfd_errmsg (bfd_get_error ()));
4783 mdebug_build_psymtabs (reader
, objfile
, swap
, info
);
4788 void _initialize_mdebugread ();
4790 _initialize_mdebugread ()
4792 mdebug_register_index
4793 = register_symbol_register_impl (LOC_REGISTER
, &mdebug_register_funcs
);
4794 mdebug_regparm_index
4795 = register_symbol_register_impl (LOC_REGPARM_ADDR
, &mdebug_register_funcs
);