2013-03-12 Sebastian Huber <sebastian.huber@embedded-brains.de>
[binutils-gdb.git] / gdb / mdebugread.c
blob2fed944a79c324022a8a3aaa2544556edaa5058a
1 /* Read a symbol table in ECOFF format (Third-Eye).
3 Copyright (C) 1986-2013 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
7 at Cygnus Support.
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. */
42 #include "defs.h"
43 #include "symtab.h"
44 #include "gdbtypes.h"
45 #include "gdbcore.h"
46 #include "filenames.h"
47 #include "objfiles.h"
48 #include "gdb_obstack.h"
49 #include "buildsym.h"
50 #include "stabsread.h"
51 #include "complaints.h"
52 #include "demangle.h"
53 #include "gdb-demangle.h"
54 #include "gdb_assert.h"
55 #include "block.h"
56 #include "dictionary.h"
57 #include "mdebugread.h"
58 #include "gdb_stat.h"
59 #include "gdb_string.h"
60 #include "psympriv.h"
61 #include "source.h"
63 #include "bfd.h"
65 #include "coff/ecoff.h" /* COFF-like aspects of ecoff files. */
67 #include "libaout.h" /* Private BFD a.out information. */
68 #include "aout/aout64.h"
69 #include "aout/stab_gnu.h" /* STABS information. */
71 #include "expression.h"
73 extern void _initialize_mdebugread (void);
75 /* Provide a way to test if we have both ECOFF and ELF symbol tables.
76 We use this define in order to know whether we should override a
77 symbol's ECOFF section with its ELF section. This is necessary in
78 case the symbol's ELF section could not be represented in ECOFF. */
79 #define ECOFF_IN_ELF(bfd) (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
80 && bfd_get_section_by_name (bfd, ".mdebug") != NULL)
82 /* The objfile we are currently reading. */
84 static struct objfile *mdebugread_objfile;
88 /* We put a pointer to this structure in the read_symtab_private field
89 of the psymtab. */
91 struct symloc
93 /* Index of the FDR that this psymtab represents. */
94 int fdr_idx;
95 /* The BFD that the psymtab was created from. */
96 bfd *cur_bfd;
97 const struct ecoff_debug_swap *debug_swap;
98 struct ecoff_debug_info *debug_info;
99 struct mdebug_pending **pending_list;
100 /* Pointer to external symbols for this file. */
101 EXTR *extern_tab;
102 /* Size of extern_tab. */
103 int extern_count;
104 enum language pst_language;
107 #define PST_PRIVATE(p) ((struct symloc *)(p)->read_symtab_private)
108 #define FDR_IDX(p) (PST_PRIVATE(p)->fdr_idx)
109 #define CUR_BFD(p) (PST_PRIVATE(p)->cur_bfd)
110 #define DEBUG_SWAP(p) (PST_PRIVATE(p)->debug_swap)
111 #define DEBUG_INFO(p) (PST_PRIVATE(p)->debug_info)
112 #define PENDING_LIST(p) (PST_PRIVATE(p)->pending_list)
114 #define SC_IS_TEXT(sc) ((sc) == scText \
115 || (sc) == scRConst \
116 || (sc) == scInit \
117 || (sc) == scFini)
118 #define SC_IS_DATA(sc) ((sc) == scData \
119 || (sc) == scSData \
120 || (sc) == scRData \
121 || (sc) == scPData \
122 || (sc) == scXData)
123 #define SC_IS_COMMON(sc) ((sc) == scCommon || (sc) == scSCommon)
124 #define SC_IS_BSS(sc) ((sc) == scBss)
125 #define SC_IS_SBSS(sc) ((sc) == scSBss)
126 #define SC_IS_UNDEF(sc) ((sc) == scUndefined || (sc) == scSUndefined)
128 /* Various complaints about symbol reading that don't abort the process. */
129 static void
130 index_complaint (const char *arg1)
132 complaint (&symfile_complaints, _("bad aux index at symbol %s"), arg1);
135 static void
136 unknown_ext_complaint (const char *arg1)
138 complaint (&symfile_complaints, _("unknown external symbol %s"), arg1);
141 static void
142 basic_type_complaint (int arg1, const char *arg2)
144 complaint (&symfile_complaints, _("cannot map ECOFF basic type 0x%x for %s"),
145 arg1, arg2);
148 static void
149 bad_tag_guess_complaint (const char *arg1)
151 complaint (&symfile_complaints,
152 _("guessed tag type of %s incorrectly"), arg1);
155 static void
156 bad_rfd_entry_complaint (const char *arg1, int arg2, int arg3)
158 complaint (&symfile_complaints, _("bad rfd entry for %s: file %d, index %d"),
159 arg1, arg2, arg3);
162 static void
163 unexpected_type_code_complaint (const char *arg1)
165 complaint (&symfile_complaints, _("unexpected type code for %s"), arg1);
168 /* Macros and extra defs. */
170 /* Puns: hard to find whether -g was used and how. */
172 #define MIN_GLEVEL GLEVEL_0
173 #define compare_glevel(a,b) \
174 (((a) == GLEVEL_3) ? ((b) < GLEVEL_3) : \
175 ((b) == GLEVEL_3) ? -1 : (int)((b) - (a)))
177 /* Things that really are local to this module. */
179 /* Remember what we deduced to be the source language of this psymtab. */
181 static enum language psymtab_language = language_unknown;
183 /* Current BFD. */
185 static bfd *cur_bfd;
187 /* How to parse debugging information for CUR_BFD. */
189 static const struct ecoff_debug_swap *debug_swap;
191 /* Pointers to debugging information for CUR_BFD. */
193 static struct ecoff_debug_info *debug_info;
195 /* Pointer to current file decriptor record, and its index. */
197 static FDR *cur_fdr;
198 static int cur_fd;
200 /* Index of current symbol. */
202 static int cur_sdx;
204 /* Note how much "debuggable" this image is. We would like
205 to see at least one FDR with full symbols. */
207 static int max_gdbinfo;
208 static int max_glevel;
210 /* When examining .o files, report on undefined symbols. */
212 static int n_undef_symbols, n_undef_labels, n_undef_vars, n_undef_procs;
214 /* Pseudo symbol to use when putting stabs into the symbol table. */
216 static char stabs_symbol[] = STABS_SYMBOL;
218 /* Nonzero if we have seen ecoff debugging info for a file. */
220 static int found_ecoff_debugging_info;
222 /* Forward declarations. */
224 static int upgrade_type (int, struct type **, int, union aux_ext *,
225 int, char *);
227 static void parse_partial_symbols (struct objfile *);
229 static int has_opaque_xref (FDR *, SYMR *);
231 static int cross_ref (int, union aux_ext *, struct type **, enum type_code,
232 char **, int, char *);
234 static struct symbol *new_symbol (char *);
236 static struct type *new_type (char *);
238 enum block_type { FUNCTION_BLOCK, NON_FUNCTION_BLOCK };
240 static struct block *new_block (enum block_type);
242 static struct symtab *new_symtab (const char *, int, struct objfile *);
244 static struct linetable *new_linetable (int);
246 static struct blockvector *new_bvect (int);
248 static struct type *parse_type (int, union aux_ext *, unsigned int, int *,
249 int, char *);
251 static struct symbol *mylookup_symbol (char *, struct block *, domain_enum,
252 enum address_class);
254 static void sort_blocks (struct symtab *);
256 static struct partial_symtab *new_psymtab (char *, struct objfile *);
258 static void psymtab_to_symtab_1 (struct objfile *objfile,
259 struct partial_symtab *, const char *);
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 *, FDR *, int,
270 CORE_ADDR);
272 static char *mdebug_next_symbol_text (struct objfile *);
274 /* Exported procedure: Builds a symtab from the partial symtab SELF.
275 Restores the environment in effect when SELF was created, delegates
276 most of the work to an ancillary procedure, and sorts
277 and reorders the symtab list at the end. SELF is not NULL. */
279 static void
280 mdebug_read_symtab (struct partial_symtab *self, struct objfile *objfile)
282 if (info_verbose)
284 printf_filtered (_("Reading in symbols for %s..."), self->filename);
285 gdb_flush (gdb_stdout);
288 next_symbol_text_func = mdebug_next_symbol_text;
290 psymtab_to_symtab_1 (objfile, self, self->filename);
292 /* Match with global symbols. This only needs to be done once,
293 after all of the symtabs and dependencies have been read in. */
294 scan_file_globals (objfile);
296 if (info_verbose)
297 printf_filtered (_("done.\n"));
300 /* File-level interface functions. */
302 /* Find a file descriptor given its index RF relative to a file CF. */
304 static FDR *
305 get_rfd (int cf, int rf)
307 FDR *fdrs;
308 FDR *f;
309 RFDT rfd;
311 fdrs = debug_info->fdr;
312 f = fdrs + cf;
313 /* Object files do not have the RFD table, all refs are absolute. */
314 if (f->rfdBase == 0)
315 return fdrs + rf;
316 (*debug_swap->swap_rfd_in) (cur_bfd,
317 ((char *) debug_info->external_rfd
318 + ((f->rfdBase + rf)
319 * debug_swap->external_rfd_size)),
320 &rfd);
321 return fdrs + rfd;
324 /* Return a safer print NAME for a file descriptor. */
326 static char *
327 fdr_name (FDR *f)
329 if (f->rss == -1)
330 return "<stripped file>";
331 if (f->rss == 0)
332 return "<NFY>";
333 return debug_info->ss + f->issBase + f->rss;
337 /* Read in and parse the symtab of the file OBJFILE. Symbols from
338 different sections are relocated via the SECTION_OFFSETS. */
340 void
341 mdebug_build_psymtabs (struct objfile *objfile,
342 const struct ecoff_debug_swap *swap,
343 struct ecoff_debug_info *info)
345 cur_bfd = objfile->obfd;
346 debug_swap = swap;
347 debug_info = info;
349 stabsread_new_init ();
350 buildsym_new_init ();
351 free_header_files ();
352 init_header_files ();
354 /* Make sure all the FDR information is swapped in. */
355 if (info->fdr == (FDR *) NULL)
357 char *fdr_src;
358 char *fdr_end;
359 FDR *fdr_ptr;
361 info->fdr = (FDR *) obstack_alloc (&objfile->objfile_obstack,
362 (info->symbolic_header.ifdMax
363 * sizeof (FDR)));
364 fdr_src = info->external_fdr;
365 fdr_end = (fdr_src
366 + info->symbolic_header.ifdMax * swap->external_fdr_size);
367 fdr_ptr = info->fdr;
368 for (; fdr_src < fdr_end; fdr_src += swap->external_fdr_size, fdr_ptr++)
369 (*swap->swap_fdr_in) (objfile->obfd, fdr_src, fdr_ptr);
372 parse_partial_symbols (objfile);
374 #if 0
375 /* Check to make sure file was compiled with -g. If not, warn the
376 user of this limitation. */
377 if (compare_glevel (max_glevel, GLEVEL_2) < 0)
379 if (max_gdbinfo == 0)
380 printf_unfiltered (_("\n%s not compiled with -g, "
381 "debugging support is limited.\n"),
382 objfile->name);
383 printf_unfiltered (_("You should compile with -g2 or "
384 "-g3 for best debugging support.\n"));
385 gdb_flush (gdb_stdout);
387 #endif
390 /* Local utilities */
392 /* Map of FDR indexes to partial symtabs. */
394 struct pst_map
396 struct partial_symtab *pst; /* the psymtab proper */
397 long n_globals; /* exported globals (external symbols) */
398 long globals_offset; /* cumulative */
402 /* Utility stack, used to nest procedures and blocks properly.
403 It is a doubly linked list, to avoid too many alloc/free.
404 Since we might need it quite a few times it is NOT deallocated
405 after use. */
407 static struct parse_stack
409 struct parse_stack *next, *prev;
410 struct symtab *cur_st; /* Current symtab. */
411 struct block *cur_block; /* Block in it. */
413 /* What are we parsing. stFile, or stBlock are for files and
414 blocks. stProc or stStaticProc means we have seen the start of a
415 procedure, but not the start of the block within in. When we see
416 the start of that block, we change it to stNil, without pushing a
417 new block, i.e. stNil means both a procedure and a block. */
419 int blocktype;
421 struct type *cur_type; /* Type we parse fields for. */
422 int cur_field; /* Field number in cur_type. */
423 CORE_ADDR procadr; /* Start addres of this procedure. */
424 int numargs; /* Its argument count. */
427 *top_stack; /* Top stack ptr */
430 /* Enter a new lexical context. */
432 static void
433 push_parse_stack (void)
435 struct parse_stack *new;
437 /* Reuse frames if possible. */
438 if (top_stack && top_stack->prev)
439 new = top_stack->prev;
440 else
441 new = (struct parse_stack *) xzalloc (sizeof (struct parse_stack));
442 /* Initialize new frame with previous content. */
443 if (top_stack)
445 struct parse_stack *prev = new->prev;
447 *new = *top_stack;
448 top_stack->prev = new;
449 new->prev = prev;
450 new->next = top_stack;
452 top_stack = new;
455 /* Exit a lexical context. */
457 static void
458 pop_parse_stack (void)
460 if (!top_stack)
461 return;
462 if (top_stack->next)
463 top_stack = top_stack->next;
467 /* Cross-references might be to things we haven't looked at
468 yet, e.g. type references. To avoid too many type
469 duplications we keep a quick fixup table, an array
470 of lists of references indexed by file descriptor. */
472 struct mdebug_pending
474 struct mdebug_pending *next; /* link */
475 char *s; /* the unswapped symbol */
476 struct type *t; /* its partial type descriptor */
480 /* The pending information is kept for an entire object file. We
481 allocate the pending information table when we create the partial
482 symbols, and we store a pointer to the single table in each
483 psymtab. */
485 static struct mdebug_pending **pending_list;
487 /* Check whether we already saw symbol SH in file FH. */
489 static struct mdebug_pending *
490 is_pending_symbol (FDR *fh, char *sh)
492 int f_idx = fh - debug_info->fdr;
493 struct mdebug_pending *p;
495 /* Linear search is ok, list is typically no more than 10 deep. */
496 for (p = pending_list[f_idx]; p; p = p->next)
497 if (p->s == sh)
498 break;
499 return p;
502 /* Add a new symbol SH of type T. */
504 static void
505 add_pending (FDR *fh, char *sh, struct type *t)
507 int f_idx = fh - debug_info->fdr;
508 struct mdebug_pending *p = is_pending_symbol (fh, sh);
510 /* Make sure we do not make duplicates. */
511 if (!p)
513 p = ((struct mdebug_pending *)
514 obstack_alloc (&mdebugread_objfile->objfile_obstack,
515 sizeof (struct mdebug_pending)));
516 p->s = sh;
517 p->t = t;
518 p->next = pending_list[f_idx];
519 pending_list[f_idx] = p;
524 /* Parsing Routines proper. */
526 /* Parse a single symbol. Mostly just make up a GDB symbol for it.
527 For blocks, procedures and types we open a new lexical context.
528 This is basically just a big switch on the symbol's type. Argument
529 AX is the base pointer of aux symbols for this file (fh->iauxBase).
530 EXT_SH points to the unswapped symbol, which is needed for struct,
531 union, etc., types; it is NULL for an EXTR. BIGEND says whether
532 aux symbols are big-endian or little-endian. Return count of
533 SYMR's handled (normally one). */
535 static int
536 mdebug_reg_to_regnum (struct symbol *sym, struct gdbarch *gdbarch)
538 return gdbarch_ecoff_reg_to_regnum (gdbarch, SYMBOL_VALUE (sym));
541 static const struct symbol_register_ops mdebug_register_funcs = {
542 mdebug_reg_to_regnum
545 static int
546 parse_symbol (SYMR *sh, union aux_ext *ax, char *ext_sh, int bigend,
547 struct section_offsets *section_offsets, struct objfile *objfile)
549 struct gdbarch *gdbarch = get_objfile_arch (objfile);
550 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
551 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
552 char *name;
553 struct symbol *s;
554 struct block *b;
555 struct mdebug_pending *pend;
556 struct type *t;
557 struct field *f;
558 int count = 1;
559 enum address_class class;
560 TIR tir;
561 long svalue = sh->value;
562 int bitsize;
564 if (ext_sh == (char *) NULL)
565 name = debug_info->ssext + sh->iss;
566 else
567 name = debug_info->ss + cur_fdr->issBase + sh->iss;
569 switch (sh->sc)
571 case scText:
572 case scRConst:
573 /* Do not relocate relative values.
574 The value of a stEnd symbol is the displacement from the
575 corresponding start symbol value.
576 The value of a stBlock symbol is the displacement from the
577 procedure address. */
578 if (sh->st != stEnd && sh->st != stBlock)
579 sh->value += ANOFFSET (section_offsets, SECT_OFF_TEXT (objfile));
580 break;
581 case scData:
582 case scSData:
583 case scRData:
584 case scPData:
585 case scXData:
586 sh->value += ANOFFSET (section_offsets, SECT_OFF_DATA (objfile));
587 break;
588 case scBss:
589 case scSBss:
590 sh->value += ANOFFSET (section_offsets, SECT_OFF_BSS (objfile));
591 break;
594 switch (sh->st)
596 case stNil:
597 break;
599 case stGlobal: /* External symbol, goes into global block. */
600 class = LOC_STATIC;
601 b = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
602 GLOBAL_BLOCK);
603 s = new_symbol (name);
604 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
605 goto data;
607 case stStatic: /* Static data, goes into current block. */
608 class = LOC_STATIC;
609 b = top_stack->cur_block;
610 s = new_symbol (name);
611 if (SC_IS_COMMON (sh->sc))
613 /* It is a FORTRAN common block. At least for SGI Fortran the
614 address is not in the symbol; we need to fix it later in
615 scan_file_globals. */
616 int bucket = hashname (SYMBOL_LINKAGE_NAME (s));
617 SYMBOL_VALUE_CHAIN (s) = global_sym_chain[bucket];
618 global_sym_chain[bucket] = s;
620 else
621 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
622 goto data;
624 case stLocal: /* Local variable, goes into current block. */
625 b = top_stack->cur_block;
626 s = new_symbol (name);
627 SYMBOL_VALUE (s) = svalue;
628 if (sh->sc == scRegister)
630 class = LOC_REGISTER;
631 SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
633 else
634 class = LOC_LOCAL;
636 data: /* Common code for symbols describing data. */
637 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
638 SYMBOL_CLASS (s) = class;
639 add_symbol (s, top_stack->cur_st, b);
641 /* Type could be missing if file is compiled without debugging info. */
642 if (SC_IS_UNDEF (sh->sc)
643 || sh->sc == scNil || sh->index == indexNil)
644 SYMBOL_TYPE (s) = objfile_type (objfile)->nodebug_data_symbol;
645 else
646 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
647 /* Value of a data symbol is its memory address. */
648 break;
650 case stParam: /* Arg to procedure, goes into current
651 block. */
652 max_gdbinfo++;
653 found_ecoff_debugging_info = 1;
654 top_stack->numargs++;
656 /* Special GNU C++ name. */
657 if (is_cplus_marker (name[0]) && name[1] == 't' && name[2] == 0)
658 name = "this"; /* FIXME, not alloc'd in obstack. */
659 s = new_symbol (name);
661 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
662 SYMBOL_IS_ARGUMENT (s) = 1;
663 switch (sh->sc)
665 case scRegister:
666 /* Pass by value in register. */
667 SYMBOL_CLASS (s) = LOC_REGISTER;
668 SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
669 break;
670 case scVar:
671 /* Pass by reference on stack. */
672 SYMBOL_CLASS (s) = LOC_REF_ARG;
673 break;
674 case scVarRegister:
675 /* Pass by reference in register. */
676 SYMBOL_CLASS (s) = LOC_REGPARM_ADDR;
677 SYMBOL_REGISTER_OPS (s) = &mdebug_register_funcs;
678 break;
679 default:
680 /* Pass by value on stack. */
681 SYMBOL_CLASS (s) = LOC_ARG;
682 break;
684 SYMBOL_VALUE (s) = svalue;
685 SYMBOL_TYPE (s) = parse_type (cur_fd, ax, sh->index, 0, bigend, name);
686 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
687 break;
689 case stLabel: /* label, goes into current block. */
690 s = new_symbol (name);
691 SYMBOL_DOMAIN (s) = VAR_DOMAIN; /* So that it can be used */
692 SYMBOL_CLASS (s) = LOC_LABEL; /* but not misused. */
693 SYMBOL_VALUE_ADDRESS (s) = (CORE_ADDR) sh->value;
694 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_int;
695 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
696 break;
698 case stProc: /* Procedure, usually goes into global block. */
699 case stStaticProc: /* Static procedure, goes into current block. */
700 /* For stProc symbol records, we need to check the storage class
701 as well, as only (stProc, scText) entries represent "real"
702 procedures - See the Compaq document titled "Object File /
703 Symbol Table Format Specification" for more information.
704 If the storage class is not scText, we discard the whole block
705 of symbol records for this stProc. */
706 if (sh->st == stProc && sh->sc != scText)
708 char *ext_tsym = ext_sh;
709 int keep_counting = 1;
710 SYMR tsym;
712 while (keep_counting)
714 ext_tsym += external_sym_size;
715 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
716 count++;
717 switch (tsym.st)
719 case stParam:
720 break;
721 case stEnd:
722 keep_counting = 0;
723 break;
724 default:
725 complaint (&symfile_complaints,
726 _("unknown symbol type 0x%x"), sh->st);
727 break;
730 break;
732 s = new_symbol (name);
733 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
734 SYMBOL_CLASS (s) = LOC_BLOCK;
735 /* Type of the return value. */
736 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
737 t = objfile_type (objfile)->builtin_int;
738 else
740 t = parse_type (cur_fd, ax, sh->index + 1, 0, bigend, name);
741 if (strcmp (name, "malloc") == 0
742 && TYPE_CODE (t) == TYPE_CODE_VOID)
744 /* I don't know why, but, at least under Alpha GNU/Linux,
745 when linking against a malloc without debugging
746 symbols, its read as a function returning void---this
747 is bad because it means we cannot call functions with
748 string arguments interactively; i.e., "call
749 printf("howdy\n")" would fail with the error message
750 "program has no memory available". To avoid this, we
751 patch up the type and make it void*
752 instead. (davidm@azstarnet.com). */
753 t = make_pointer_type (t, NULL);
756 b = top_stack->cur_block;
757 if (sh->st == stProc)
759 struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
761 /* The next test should normally be true, but provides a
762 hook for nested functions (which we don't want to make
763 global). */
764 if (b == BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK))
765 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
766 /* Irix 5 sometimes has duplicate names for the same
767 function. We want to add such names up at the global
768 level, not as a nested function. */
769 else if (sh->value == top_stack->procadr)
770 b = BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK);
772 add_symbol (s, top_stack->cur_st, b);
774 /* Make a type for the procedure itself. */
775 SYMBOL_TYPE (s) = lookup_function_type (t);
777 /* All functions in C++ have prototypes. For C we don't have enough
778 information in the debug info. */
779 if (SYMBOL_LANGUAGE (s) == language_cplus)
780 TYPE_PROTOTYPED (SYMBOL_TYPE (s)) = 1;
782 /* Create and enter a new lexical context. */
783 b = new_block (FUNCTION_BLOCK);
784 SYMBOL_BLOCK_VALUE (s) = b;
785 BLOCK_FUNCTION (b) = s;
786 BLOCK_START (b) = BLOCK_END (b) = sh->value;
787 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
788 add_block (b, top_stack->cur_st);
790 /* Not if we only have partial info. */
791 if (SC_IS_UNDEF (sh->sc) || sh->sc == scNil)
792 break;
794 push_parse_stack ();
795 top_stack->cur_block = b;
796 top_stack->blocktype = sh->st;
797 top_stack->cur_type = SYMBOL_TYPE (s);
798 top_stack->cur_field = -1;
799 top_stack->procadr = sh->value;
800 top_stack->numargs = 0;
801 break;
803 /* Beginning of code for structure, union, and enum definitions.
804 They all share a common set of local variables, defined here. */
806 enum type_code type_code;
807 char *ext_tsym;
808 int nfields;
809 long max_value;
810 struct field *f;
812 case stStruct: /* Start a block defining a struct type. */
813 type_code = TYPE_CODE_STRUCT;
814 goto structured_common;
816 case stUnion: /* Start a block defining a union type. */
817 type_code = TYPE_CODE_UNION;
818 goto structured_common;
820 case stEnum: /* Start a block defining an enum type. */
821 type_code = TYPE_CODE_ENUM;
822 goto structured_common;
824 case stBlock: /* Either a lexical block, or some type. */
825 if (sh->sc != scInfo && !SC_IS_COMMON (sh->sc))
826 goto case_stBlock_code; /* Lexical block */
828 type_code = TYPE_CODE_UNDEF; /* We have a type. */
830 /* Common code for handling struct, union, enum, and/or as-yet-
831 unknown-type blocks of info about structured data. `type_code'
832 has been set to the proper TYPE_CODE, if we know it. */
833 structured_common:
834 found_ecoff_debugging_info = 1;
835 push_parse_stack ();
836 top_stack->blocktype = stBlock;
838 /* First count the number of fields and the highest value. */
839 nfields = 0;
840 max_value = 0;
841 for (ext_tsym = ext_sh + external_sym_size;
843 ext_tsym += external_sym_size)
845 SYMR tsym;
847 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
849 switch (tsym.st)
851 case stEnd:
852 /* C++ encodes class types as structures where there the
853 methods are encoded as stProc. The scope of stProc
854 symbols also ends with stEnd, thus creating a risk of
855 taking the wrong stEnd symbol record as the end of
856 the current struct, which would cause GDB to undercount
857 the real number of fields in this struct. To make sure
858 we really reached the right stEnd symbol record, we
859 check the associated name, and match it against the
860 struct name. Since method names are mangled while
861 the class name is not, there is no risk of having a
862 method whose name is identical to the class name
863 (in particular constructor method names are different
864 from the class name). There is therefore no risk that
865 this check stops the count on the StEnd of a method.
867 Also, assume that we're really at the end when tsym.iss
868 is 0 (issNull). */
869 if (tsym.iss == issNull
870 || strcmp (debug_info->ss + cur_fdr->issBase + tsym.iss,
871 name) == 0)
872 goto end_of_fields;
873 break;
875 case stMember:
876 if (nfields == 0 && type_code == TYPE_CODE_UNDEF)
878 /* If the type of the member is Nil (or Void),
879 without qualifiers, assume the tag is an
880 enumeration.
881 Alpha cc -migrate enums are recognized by a zero
882 index and a zero symbol value.
883 DU 4.0 cc enums are recognized by a member type of
884 btEnum without qualifiers and a zero symbol value. */
885 if (tsym.index == indexNil
886 || (tsym.index == 0 && sh->value == 0))
887 type_code = TYPE_CODE_ENUM;
888 else
890 (*debug_swap->swap_tir_in) (bigend,
891 &ax[tsym.index].a_ti,
892 &tir);
893 if ((tir.bt == btNil || tir.bt == btVoid
894 || (tir.bt == btEnum && sh->value == 0))
895 && tir.tq0 == tqNil)
896 type_code = TYPE_CODE_ENUM;
899 nfields++;
900 if (tsym.value > max_value)
901 max_value = tsym.value;
902 break;
904 case stBlock:
905 case stUnion:
906 case stEnum:
907 case stStruct:
909 #if 0
910 /* This is a no-op; is it trying to tell us something
911 we should be checking? */
912 if (tsym.sc == scVariant); /*UNIMPLEMENTED */
913 #endif
914 if (tsym.index != 0)
916 /* This is something like a struct within a
917 struct. Skip over the fields of the inner
918 struct. The -1 is because the for loop will
919 increment ext_tsym. */
920 ext_tsym = ((char *) debug_info->external_sym
921 + ((cur_fdr->isymBase + tsym.index - 1)
922 * external_sym_size));
925 break;
927 case stTypedef:
928 /* mips cc puts out a typedef for struct x if it is not yet
929 defined when it encounters
930 struct y { struct x *xp; };
931 Just ignore it. */
932 break;
934 case stIndirect:
935 /* Irix5 cc puts out a stIndirect for struct x if it is not
936 yet defined when it encounters
937 struct y { struct x *xp; };
938 Just ignore it. */
939 break;
941 default:
942 complaint (&symfile_complaints,
943 _("declaration block contains "
944 "unhandled symbol type %d"),
945 tsym.st);
948 end_of_fields:
950 /* In an stBlock, there is no way to distinguish structs,
951 unions, and enums at this point. This is a bug in the
952 original design (that has been fixed with the recent
953 addition of the stStruct, stUnion, and stEnum symbol
954 types.) The way you can tell is if/when you see a variable
955 or field of that type. In that case the variable's type
956 (in the AUX table) says if the type is struct, union, or
957 enum, and points back to the stBlock here. So you can
958 patch the tag kind up later - but only if there actually is
959 a variable or field of that type.
961 So until we know for sure, we will guess at this point.
962 The heuristic is:
963 If the first member has index==indexNil or a void type,
964 assume we have an enumeration.
965 Otherwise, if there is more than one member, and all
966 the members have offset 0, assume we have a union.
967 Otherwise, assume we have a struct.
969 The heuristic could guess wrong in the case of of an
970 enumeration with no members or a union with one (or zero)
971 members, or when all except the last field of a struct have
972 width zero. These are uncommon and/or illegal situations,
973 and in any case guessing wrong probably doesn't matter
974 much.
976 But if we later do find out we were wrong, we fixup the tag
977 kind. Members of an enumeration must be handled
978 differently from struct/union fields, and that is harder to
979 patch up, but luckily we shouldn't need to. (If there are
980 any enumeration members, we can tell for sure it's an enum
981 here.) */
983 if (type_code == TYPE_CODE_UNDEF)
985 if (nfields > 1 && max_value == 0)
986 type_code = TYPE_CODE_UNION;
987 else
988 type_code = TYPE_CODE_STRUCT;
991 /* Create a new type or use the pending type. */
992 pend = is_pending_symbol (cur_fdr, ext_sh);
993 if (pend == (struct mdebug_pending *) NULL)
995 t = new_type (NULL);
996 add_pending (cur_fdr, ext_sh, t);
998 else
999 t = pend->t;
1001 /* Do not set the tag name if it is a compiler generated tag name
1002 (.Fxx or .xxfake or empty) for unnamed struct/union/enums.
1003 Alpha cc puts out an sh->iss of zero for those. */
1004 if (sh->iss == 0 || name[0] == '.' || name[0] == '\0')
1005 TYPE_TAG_NAME (t) = NULL;
1006 else
1007 TYPE_TAG_NAME (t) = obconcat (&mdebugread_objfile->objfile_obstack,
1008 name, (char *) NULL);
1010 TYPE_CODE (t) = type_code;
1011 TYPE_LENGTH (t) = sh->value;
1012 TYPE_NFIELDS (t) = nfields;
1013 TYPE_FIELDS (t) = f = ((struct field *)
1014 TYPE_ALLOC (t,
1015 nfields * sizeof (struct field)));
1017 if (type_code == TYPE_CODE_ENUM)
1019 int unsigned_enum = 1;
1021 /* This is a non-empty enum. */
1023 /* DEC c89 has the number of enumerators in the sh.value field,
1024 not the type length, so we have to compensate for that
1025 incompatibility quirk.
1026 This might do the wrong thing for an enum with one or two
1027 enumerators and gcc -gcoff -fshort-enums, but these cases
1028 are hopefully rare enough.
1029 Alpha cc -migrate has a sh.value field of zero, we adjust
1030 that too. */
1031 if (TYPE_LENGTH (t) == TYPE_NFIELDS (t)
1032 || TYPE_LENGTH (t) == 0)
1033 TYPE_LENGTH (t) = gdbarch_int_bit (gdbarch) / HOST_CHAR_BIT;
1034 for (ext_tsym = ext_sh + external_sym_size;
1036 ext_tsym += external_sym_size)
1038 SYMR tsym;
1039 struct symbol *enum_sym;
1041 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1043 if (tsym.st != stMember)
1044 break;
1046 SET_FIELD_ENUMVAL (*f, tsym.value);
1047 FIELD_TYPE (*f) = t;
1048 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1049 FIELD_BITSIZE (*f) = 0;
1051 enum_sym = ((struct symbol *)
1052 obstack_alloc (&mdebugread_objfile->objfile_obstack,
1053 sizeof (struct symbol)));
1054 memset (enum_sym, 0, sizeof (struct symbol));
1055 SYMBOL_SET_LINKAGE_NAME
1056 (enum_sym,
1057 obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1058 f->name, strlen (f->name)));
1059 SYMBOL_CLASS (enum_sym) = LOC_CONST;
1060 SYMBOL_TYPE (enum_sym) = t;
1061 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1062 SYMBOL_VALUE (enum_sym) = tsym.value;
1063 if (SYMBOL_VALUE (enum_sym) < 0)
1064 unsigned_enum = 0;
1065 add_symbol (enum_sym, top_stack->cur_st, top_stack->cur_block);
1067 /* Skip the stMembers that we've handled. */
1068 count++;
1069 f++;
1071 if (unsigned_enum)
1072 TYPE_UNSIGNED (t) = 1;
1074 /* Make this the current type. */
1075 top_stack->cur_type = t;
1076 top_stack->cur_field = 0;
1078 /* Do not create a symbol for alpha cc unnamed structs. */
1079 if (sh->iss == 0)
1080 break;
1082 /* gcc puts out an empty struct for an opaque struct definitions,
1083 do not create a symbol for it either. */
1084 if (TYPE_NFIELDS (t) == 0)
1086 TYPE_STUB (t) = 1;
1087 break;
1090 s = new_symbol (name);
1091 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1092 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1093 SYMBOL_VALUE (s) = 0;
1094 SYMBOL_TYPE (s) = t;
1095 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1096 break;
1098 /* End of local variables shared by struct, union, enum, and
1099 block (as yet unknown struct/union/enum) processing. */
1102 case_stBlock_code:
1103 found_ecoff_debugging_info = 1;
1104 /* Beginnning of (code) block. Value of symbol
1105 is the displacement from procedure start. */
1106 push_parse_stack ();
1108 /* Do not start a new block if this is the outermost block of a
1109 procedure. This allows the LOC_BLOCK symbol to point to the
1110 block with the local variables, so funcname::var works. */
1111 if (top_stack->blocktype == stProc
1112 || top_stack->blocktype == stStaticProc)
1114 top_stack->blocktype = stNil;
1115 break;
1118 top_stack->blocktype = stBlock;
1119 b = new_block (NON_FUNCTION_BLOCK);
1120 BLOCK_START (b) = sh->value + top_stack->procadr;
1121 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1122 top_stack->cur_block = b;
1123 add_block (b, top_stack->cur_st);
1124 break;
1126 case stEnd: /* end (of anything) */
1127 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1129 /* Finished with type */
1130 top_stack->cur_type = 0;
1132 else if (sh->sc == scText &&
1133 (top_stack->blocktype == stProc ||
1134 top_stack->blocktype == stStaticProc))
1136 /* Finished with procedure */
1137 struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
1138 struct mdebug_extra_func_info *e;
1139 struct block *b = top_stack->cur_block;
1140 struct type *ftype = top_stack->cur_type;
1141 int i;
1143 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1145 /* Make up special symbol to contain procedure specific info. */
1146 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1147 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1148 SYMBOL_CLASS (s) = LOC_CONST;
1149 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->builtin_void;
1150 e = ((struct mdebug_extra_func_info *)
1151 obstack_alloc (&mdebugread_objfile->objfile_obstack,
1152 sizeof (struct mdebug_extra_func_info)));
1153 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1154 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
1155 e->numargs = top_stack->numargs;
1156 e->pdr.framereg = -1;
1157 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1159 /* f77 emits proc-level with address bounds==[0,0],
1160 So look for such child blocks, and patch them. */
1161 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1163 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1165 if (BLOCK_SUPERBLOCK (b_bad) == b
1166 && BLOCK_START (b_bad) == top_stack->procadr
1167 && BLOCK_END (b_bad) == top_stack->procadr)
1169 BLOCK_START (b_bad) = BLOCK_START (b);
1170 BLOCK_END (b_bad) = BLOCK_END (b);
1174 if (TYPE_NFIELDS (ftype) <= 0)
1176 /* No parameter type information is recorded with the function's
1177 type. Set that from the type of the parameter symbols. */
1178 int nparams = top_stack->numargs;
1179 int iparams;
1180 struct symbol *sym;
1182 if (nparams > 0)
1184 struct block_iterator iter;
1186 TYPE_NFIELDS (ftype) = nparams;
1187 TYPE_FIELDS (ftype) = (struct field *)
1188 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1190 iparams = 0;
1191 ALL_BLOCK_SYMBOLS (b, iter, sym)
1193 if (iparams == nparams)
1194 break;
1196 if (SYMBOL_IS_ARGUMENT (sym))
1198 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1199 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1200 iparams++;
1206 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1208 /* End of (code) block. The value of the symbol is the
1209 displacement from the procedure`s start address of the
1210 end of this block. */
1211 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1213 else if (sh->sc == scText && top_stack->blocktype == stNil)
1215 /* End of outermost block. Pop parse stack and ignore. The
1216 following stEnd of stProc will take care of the block. */
1219 else if (sh->sc == scText && top_stack->blocktype == stFile)
1221 /* End of file. Pop parse stack and ignore. Higher
1222 level code deals with this. */
1225 else
1226 complaint (&symfile_complaints,
1227 _("stEnd with storage class %d not handled"), sh->sc);
1229 pop_parse_stack (); /* Restore previous lexical context. */
1230 break;
1232 case stMember: /* member of struct or union */
1233 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1234 FIELD_NAME (*f) = name;
1235 SET_FIELD_BITPOS (*f, sh->value);
1236 bitsize = 0;
1237 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index,
1238 &bitsize, bigend, name);
1239 FIELD_BITSIZE (*f) = bitsize;
1240 break;
1242 case stIndirect: /* forward declaration on Irix5 */
1243 /* Forward declarations from Irix5 cc are handled by cross_ref,
1244 skip them. */
1245 break;
1247 case stTypedef: /* type definition */
1248 found_ecoff_debugging_info = 1;
1250 /* Typedefs for forward declarations and opaque structs from alpha cc
1251 are handled by cross_ref, skip them. */
1252 if (sh->iss == 0)
1253 break;
1255 /* Parse the type or use the pending type. */
1256 pend = is_pending_symbol (cur_fdr, ext_sh);
1257 if (pend == (struct mdebug_pending *) NULL)
1259 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1260 add_pending (cur_fdr, ext_sh, t);
1262 else
1263 t = pend->t;
1265 /* Mips cc puts out a typedef with the name of the struct for forward
1266 declarations. These should not go into the symbol table and
1267 TYPE_NAME should not be set for them.
1268 They can't be distinguished from an intentional typedef to
1269 the same name however:
1270 x.h:
1271 struct x { int ix; int jx; };
1272 struct xx;
1273 x.c:
1274 typedef struct x x;
1275 struct xx {int ixx; int jxx; };
1276 generates a cross referencing stTypedef for x and xx.
1277 The user visible effect of this is that the type of a pointer
1278 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1279 The problem is fixed with alpha cc and Irix5 cc. */
1281 /* However if the typedef cross references to an opaque aggregate, it
1282 is safe to omit it from the symbol table. */
1284 if (has_opaque_xref (cur_fdr, sh))
1285 break;
1286 s = new_symbol (name);
1287 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1288 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1289 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1290 SYMBOL_TYPE (s) = t;
1291 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
1293 /* Incomplete definitions of structs should not get a name. */
1294 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1295 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1296 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1297 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1299 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1300 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1302 /* If we are giving a name to a type such as "pointer to
1303 foo" or "function returning foo", we better not set
1304 the TYPE_NAME. If the program contains "typedef char
1305 *caddr_t;", we don't want all variables of type char
1306 * to print as caddr_t. This is not just a
1307 consequence of GDB's type management; CC and GCC (at
1308 least through version 2.4) both output variables of
1309 either type char * or caddr_t with the type
1310 refering to the stTypedef symbol for caddr_t. If a future
1311 compiler cleans this up it GDB is not ready for it
1312 yet, but if it becomes ready we somehow need to
1313 disable this check (without breaking the PCC/GCC2.4
1314 case).
1316 Sigh.
1318 Fortunately, this check seems not to be necessary
1319 for anything except pointers or functions. */
1321 else
1322 TYPE_NAME (SYMBOL_TYPE (s)) = SYMBOL_LINKAGE_NAME (s);
1324 break;
1326 case stFile: /* file name */
1327 push_parse_stack ();
1328 top_stack->blocktype = sh->st;
1329 break;
1331 /* I`ve never seen these for C */
1332 case stRegReloc:
1333 break; /* register relocation */
1334 case stForward:
1335 break; /* forwarding address */
1336 case stConstant:
1337 break; /* constant */
1338 default:
1339 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1340 break;
1343 return count;
1346 /* Basic types. */
1348 static const struct objfile_data *basic_type_data;
1350 static struct type *
1351 basic_type (int bt, struct objfile *objfile)
1353 struct gdbarch *gdbarch = get_objfile_arch (objfile);
1354 struct type **map_bt = objfile_data (objfile, basic_type_data);
1355 struct type *tp;
1357 if (bt >= btMax)
1358 return NULL;
1360 if (!map_bt)
1362 map_bt = OBSTACK_CALLOC (&objfile->objfile_obstack,
1363 btMax, struct type *);
1364 set_objfile_data (objfile, basic_type_data, map_bt);
1367 if (map_bt[bt])
1368 return map_bt[bt];
1370 switch (bt)
1372 case btNil:
1373 tp = objfile_type (objfile)->builtin_void;
1374 break;
1376 case btAdr:
1377 tp = init_type (TYPE_CODE_PTR, 4, TYPE_FLAG_UNSIGNED,
1378 "adr_32", objfile);
1379 TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
1380 break;
1382 case btChar:
1383 tp = init_type (TYPE_CODE_INT, 1, 0,
1384 "char", objfile);
1385 break;
1387 case btUChar:
1388 tp = init_type (TYPE_CODE_INT, 1, TYPE_FLAG_UNSIGNED,
1389 "unsigned char", objfile);
1390 break;
1392 case btShort:
1393 tp = init_type (TYPE_CODE_INT, 2, 0,
1394 "short", objfile);
1395 break;
1397 case btUShort:
1398 tp = init_type (TYPE_CODE_INT, 2, TYPE_FLAG_UNSIGNED,
1399 "unsigned short", objfile);
1400 break;
1402 case btInt:
1403 tp = init_type (TYPE_CODE_INT, 4, 0,
1404 "int", objfile);
1405 break;
1407 case btUInt:
1408 tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
1409 "unsigned int", objfile);
1410 break;
1412 case btLong:
1413 tp = init_type (TYPE_CODE_INT, 4, 0,
1414 "long", objfile);
1415 break;
1417 case btULong:
1418 tp = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
1419 "unsigned long", objfile);
1420 break;
1422 case btFloat:
1423 tp = init_type (TYPE_CODE_FLT,
1424 gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1425 "float", objfile);
1426 break;
1428 case btDouble:
1429 tp = init_type (TYPE_CODE_FLT,
1430 gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1431 "double", objfile);
1432 break;
1434 case btComplex:
1435 tp = init_type (TYPE_CODE_COMPLEX,
1436 2 * gdbarch_float_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1437 "complex", objfile);
1438 TYPE_TARGET_TYPE (tp) = basic_type (btFloat, objfile);
1439 break;
1441 case btDComplex:
1442 tp = init_type (TYPE_CODE_COMPLEX,
1443 2 * gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1444 "double complex", objfile);
1445 TYPE_TARGET_TYPE (tp) = basic_type (btDouble, objfile);
1446 break;
1448 case btFixedDec:
1449 /* We use TYPE_CODE_INT to print these as integers. Does this do any
1450 good? Would we be better off with TYPE_CODE_ERROR? Should
1451 TYPE_CODE_ERROR print things in hex if it knows the size? */
1452 tp = init_type (TYPE_CODE_INT,
1453 gdbarch_int_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1454 "fixed decimal", objfile);
1455 break;
1457 case btFloatDec:
1458 tp = init_type (TYPE_CODE_ERROR,
1459 gdbarch_double_bit (gdbarch) / TARGET_CHAR_BIT, 0,
1460 "floating decimal", objfile);
1461 break;
1463 case btString:
1464 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
1465 FIXME. */
1466 tp = init_type (TYPE_CODE_STRING, 1, 0,
1467 "string", objfile);
1468 break;
1470 case btVoid:
1471 tp = objfile_type (objfile)->builtin_void;
1472 break;
1474 case btLong64:
1475 tp = init_type (TYPE_CODE_INT, 8, 0,
1476 "long", objfile);
1477 break;
1479 case btULong64:
1480 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1481 "unsigned long", objfile);
1482 break;
1484 case btLongLong64:
1485 tp = init_type (TYPE_CODE_INT, 8, 0,
1486 "long long", objfile);
1487 break;
1489 case btULongLong64:
1490 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1491 "unsigned long long", objfile);
1492 break;
1494 case btAdr64:
1495 tp = init_type (TYPE_CODE_PTR, 8, TYPE_FLAG_UNSIGNED,
1496 "adr_64", objfile);
1497 TYPE_TARGET_TYPE (tp) = objfile_type (objfile)->builtin_void;
1498 break;
1500 case btInt64:
1501 tp = init_type (TYPE_CODE_INT, 8, 0,
1502 "int", objfile);
1503 break;
1505 case btUInt64:
1506 tp = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
1507 "unsigned int", objfile);
1508 break;
1510 default:
1511 tp = NULL;
1512 break;
1515 map_bt[bt] = tp;
1516 return tp;
1519 /* Parse the type information provided in the raw AX entries for
1520 the symbol SH. Return the bitfield size in BS, in case.
1521 We must byte-swap the AX entries before we use them; BIGEND says whether
1522 they are big-endian or little-endian (from fh->fBigendian). */
1524 static struct type *
1525 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1526 int bigend, char *sym_name)
1528 TIR t[1];
1529 struct type *tp = 0;
1530 enum type_code type_code = TYPE_CODE_UNDEF;
1532 /* Handle undefined types, they have indexNil. */
1533 if (aux_index == indexNil)
1534 return basic_type (btInt, mdebugread_objfile);
1536 /* Handle corrupt aux indices. */
1537 if (aux_index >= (debug_info->fdr + fd)->caux)
1539 index_complaint (sym_name);
1540 return basic_type (btInt, mdebugread_objfile);
1542 ax += aux_index;
1544 /* Use aux as a type information record, map its basic type. */
1545 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1546 tp = basic_type (t->bt, mdebugread_objfile);
1547 if (tp == NULL)
1549 /* Cannot use builtin types -- build our own. */
1550 switch (t->bt)
1552 case btStruct:
1553 type_code = TYPE_CODE_STRUCT;
1554 break;
1555 case btUnion:
1556 type_code = TYPE_CODE_UNION;
1557 break;
1558 case btEnum:
1559 type_code = TYPE_CODE_ENUM;
1560 break;
1561 case btRange:
1562 type_code = TYPE_CODE_RANGE;
1563 break;
1564 case btSet:
1565 type_code = TYPE_CODE_SET;
1566 break;
1567 case btIndirect:
1568 /* alpha cc -migrate uses this for typedefs. The true type will
1569 be obtained by crossreferencing below. */
1570 type_code = TYPE_CODE_ERROR;
1571 break;
1572 case btTypedef:
1573 /* alpha cc uses this for typedefs. The true type will be
1574 obtained by crossreferencing below. */
1575 type_code = TYPE_CODE_ERROR;
1576 break;
1577 default:
1578 basic_type_complaint (t->bt, sym_name);
1579 return basic_type (btInt, mdebugread_objfile);
1583 /* Move on to next aux. */
1584 ax++;
1586 if (t->fBitfield)
1588 int width = AUX_GET_WIDTH (bigend, ax);
1590 /* Inhibit core dumps if TIR is corrupted. */
1591 if (bs == (int *) NULL)
1593 /* Alpha cc -migrate encodes char and unsigned char types
1594 as short and unsigned short types with a field width of 8.
1595 Enum types also have a field width which we ignore for now. */
1596 if (t->bt == btShort && width == 8)
1597 tp = basic_type (btChar, mdebugread_objfile);
1598 else if (t->bt == btUShort && width == 8)
1599 tp = basic_type (btUChar, mdebugread_objfile);
1600 else if (t->bt == btEnum)
1602 else
1603 complaint (&symfile_complaints,
1604 _("can't handle TIR fBitfield for %s"),
1605 sym_name);
1607 else
1608 *bs = width;
1609 ax++;
1612 /* A btIndirect entry cross references to an aux entry containing
1613 the type. */
1614 if (t->bt == btIndirect)
1616 RNDXR rn[1];
1617 int rf;
1618 FDR *xref_fh;
1619 int xref_fd;
1621 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1622 ax++;
1623 if (rn->rfd == 0xfff)
1625 rf = AUX_GET_ISYM (bigend, ax);
1626 ax++;
1628 else
1629 rf = rn->rfd;
1631 if (rf == -1)
1633 complaint (&symfile_complaints,
1634 _("unable to cross ref btIndirect for %s"), sym_name);
1635 return basic_type (btInt, mdebugread_objfile);
1637 xref_fh = get_rfd (fd, rf);
1638 xref_fd = xref_fh - debug_info->fdr;
1639 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1640 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1643 /* All these types really point to some (common) MIPS type
1644 definition, and only the type-qualifiers fully identify
1645 them. We'll make the same effort at sharing. */
1646 if (t->bt == btStruct ||
1647 t->bt == btUnion ||
1648 t->bt == btEnum ||
1650 /* btSet (I think) implies that the name is a tag name, not a typedef
1651 name. This apparently is a MIPS extension for C sets. */
1652 t->bt == btSet)
1654 char *name;
1656 /* Try to cross reference this type, build new type on failure. */
1657 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1658 if (tp == (struct type *) NULL)
1659 tp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
1661 /* DEC c89 produces cross references to qualified aggregate types,
1662 dereference them. */
1663 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1664 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1665 tp = TYPE_TARGET_TYPE (tp);
1667 /* Make sure that TYPE_CODE(tp) has an expected type code.
1668 Any type may be returned from cross_ref if file indirect entries
1669 are corrupted. */
1670 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1671 && TYPE_CODE (tp) != TYPE_CODE_UNION
1672 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1674 unexpected_type_code_complaint (sym_name);
1676 else
1678 /* Usually, TYPE_CODE(tp) is already type_code. The main
1679 exception is if we guessed wrong re struct/union/enum.
1680 But for struct vs. union a wrong guess is harmless, so
1681 don't complain(). */
1682 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1683 && type_code != TYPE_CODE_ENUM)
1684 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1685 && type_code == TYPE_CODE_ENUM))
1687 bad_tag_guess_complaint (sym_name);
1690 if (TYPE_CODE (tp) != type_code)
1692 TYPE_CODE (tp) = type_code;
1695 /* Do not set the tag name if it is a compiler generated tag name
1696 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1697 if (name[0] == '.' || name[0] == '\0')
1698 TYPE_TAG_NAME (tp) = NULL;
1699 else if (TYPE_TAG_NAME (tp) == NULL
1700 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1701 TYPE_TAG_NAME (tp)
1702 = obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1703 name, strlen (name));
1707 /* All these types really point to some (common) MIPS type
1708 definition, and only the type-qualifiers fully identify
1709 them. We'll make the same effort at sharing.
1710 FIXME: We are not doing any guessing on range types. */
1711 if (t->bt == btRange)
1713 char *name;
1715 /* Try to cross reference this type, build new type on failure. */
1716 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1717 if (tp == (struct type *) NULL)
1718 tp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
1720 /* Make sure that TYPE_CODE(tp) has an expected type code.
1721 Any type may be returned from cross_ref if file indirect entries
1722 are corrupted. */
1723 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1725 unexpected_type_code_complaint (sym_name);
1727 else
1729 /* Usually, TYPE_CODE(tp) is already type_code. The main
1730 exception is if we guessed wrong re struct/union/enum. */
1731 if (TYPE_CODE (tp) != type_code)
1733 bad_tag_guess_complaint (sym_name);
1734 TYPE_CODE (tp) = type_code;
1736 if (TYPE_NAME (tp) == NULL
1737 || strcmp (TYPE_NAME (tp), name) != 0)
1738 TYPE_NAME (tp)
1739 = obstack_copy0 (&mdebugread_objfile->objfile_obstack,
1740 name, strlen (name));
1743 if (t->bt == btTypedef)
1745 char *name;
1747 /* Try to cross reference this type, it should succeed. */
1748 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1749 if (tp == (struct type *) NULL)
1751 complaint (&symfile_complaints,
1752 _("unable to cross ref btTypedef for %s"), sym_name);
1753 tp = basic_type (btInt, mdebugread_objfile);
1757 /* Deal with range types. */
1758 if (t->bt == btRange)
1760 TYPE_NFIELDS (tp) = 0;
1761 TYPE_RANGE_DATA (tp) = ((struct range_bounds *)
1762 TYPE_ZALLOC (tp, sizeof (struct range_bounds)));
1763 TYPE_LOW_BOUND (tp) = AUX_GET_DNLOW (bigend, ax);
1764 ax++;
1765 TYPE_HIGH_BOUND (tp) = AUX_GET_DNHIGH (bigend, ax);
1766 ax++;
1769 /* Parse all the type qualifiers now. If there are more
1770 than 6 the game will continue in the next aux. */
1772 while (1)
1774 #define PARSE_TQ(tq) \
1775 if (t->tq != tqNil) \
1776 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1777 else \
1778 break;
1780 PARSE_TQ (tq0);
1781 PARSE_TQ (tq1);
1782 PARSE_TQ (tq2);
1783 PARSE_TQ (tq3);
1784 PARSE_TQ (tq4);
1785 PARSE_TQ (tq5);
1786 #undef PARSE_TQ
1788 /* mips cc 2.x and gcc never put out continued aux entries. */
1789 if (!t->continued)
1790 break;
1792 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1793 ax++;
1796 /* Complain for illegal continuations due to corrupt aux entries. */
1797 if (t->continued)
1798 complaint (&symfile_complaints,
1799 _("illegal TIR continued for %s"), sym_name);
1801 return tp;
1804 /* Make up a complex type from a basic one. Type is passed by
1805 reference in TPP and side-effected as necessary. The type
1806 qualifier TQ says how to handle the aux symbols at AX for
1807 the symbol SX we are currently analyzing. BIGEND says whether
1808 aux symbols are big-endian or little-endian.
1809 Returns the number of aux symbols we parsed. */
1811 static int
1812 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1813 char *sym_name)
1815 int off;
1816 struct type *t;
1818 /* Used in array processing. */
1819 int rf, id;
1820 FDR *fh;
1821 struct type *range;
1822 struct type *indx;
1823 int lower, upper;
1824 RNDXR rndx;
1826 switch (tq)
1828 case tqPtr:
1829 t = lookup_pointer_type (*tpp);
1830 *tpp = t;
1831 return 0;
1833 case tqProc:
1834 t = lookup_function_type (*tpp);
1835 *tpp = t;
1836 return 0;
1838 case tqArray:
1839 off = 0;
1841 /* Determine and record the domain type (type of index). */
1842 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1843 id = rndx.index;
1844 rf = rndx.rfd;
1845 if (rf == 0xfff)
1847 ax++;
1848 rf = AUX_GET_ISYM (bigend, ax);
1849 off++;
1851 fh = get_rfd (fd, rf);
1853 indx = parse_type (fh - debug_info->fdr,
1854 debug_info->external_aux + fh->iauxBase,
1855 id, (int *) NULL, bigend, sym_name);
1857 /* The bounds type should be an integer type, but might be anything
1858 else due to corrupt aux entries. */
1859 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1861 complaint (&symfile_complaints,
1862 _("illegal array index type for %s, assuming int"),
1863 sym_name);
1864 indx = objfile_type (mdebugread_objfile)->builtin_int;
1867 /* Get the bounds, and create the array type. */
1868 ax++;
1869 lower = AUX_GET_DNLOW (bigend, ax);
1870 ax++;
1871 upper = AUX_GET_DNHIGH (bigend, ax);
1872 ax++;
1873 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1875 range = create_range_type ((struct type *) NULL, indx,
1876 lower, upper);
1878 t = create_array_type ((struct type *) NULL, *tpp, range);
1880 /* We used to fill in the supplied array element bitsize
1881 here if the TYPE_LENGTH of the target type was zero.
1882 This happens for a `pointer to an array of anonymous structs',
1883 but in this case the array element bitsize is also zero,
1884 so nothing is gained.
1885 And we used to check the TYPE_LENGTH of the target type against
1886 the supplied array element bitsize.
1887 gcc causes a mismatch for `pointer to array of object',
1888 since the sdb directives it uses do not have a way of
1889 specifying the bitsize, but it does no harm (the
1890 TYPE_LENGTH should be correct) and we should be able to
1891 ignore the erroneous bitsize from the auxiliary entry safely.
1892 dbx seems to ignore it too. */
1894 /* TYPE_TARGET_STUB now takes care of the zero TYPE_LENGTH problem. */
1895 if (TYPE_LENGTH (*tpp) == 0)
1896 TYPE_TARGET_STUB (t) = 1;
1898 *tpp = t;
1899 return 4 + off;
1901 case tqVol:
1902 /* Volatile -- currently ignored */
1903 return 0;
1905 case tqConst:
1906 /* Const -- currently ignored */
1907 return 0;
1909 default:
1910 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1911 return 0;
1916 /* Parse a procedure descriptor record PR. Note that the procedure is
1917 parsed _after_ the local symbols, now we just insert the extra
1918 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1919 already been placed in the procedure's main block. Note also that
1920 images that have been partially stripped (ld -x) have been deprived
1921 of local symbols, and we have to cope with them here. FIRST_OFF is
1922 the offset of the first procedure for this FDR; we adjust the
1923 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1924 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1925 in question, or NULL to use top_stack->cur_block. */
1927 static void parse_procedure (PDR *, struct symtab *, struct partial_symtab *);
1929 static void
1930 parse_procedure (PDR *pr, struct symtab *search_symtab,
1931 struct partial_symtab *pst)
1933 struct symbol *s, *i;
1934 struct block *b;
1935 char *sh_name;
1937 /* Simple rule to find files linked "-x". */
1938 if (cur_fdr->rss == -1)
1940 if (pr->isym == -1)
1942 /* Static procedure at address pr->adr. Sigh. */
1943 /* FIXME-32x64. assuming pr->adr fits in long. */
1944 complaint (&symfile_complaints,
1945 _("can't handle PDR for static proc at 0x%lx"),
1946 (unsigned long) pr->adr);
1947 return;
1949 else
1951 /* external */
1952 EXTR she;
1954 (*debug_swap->swap_ext_in) (cur_bfd,
1955 ((char *) debug_info->external_ext
1956 + (pr->isym
1957 * debug_swap->external_ext_size)),
1958 &she);
1959 sh_name = debug_info->ssext + she.asym.iss;
1962 else
1964 /* Full symbols */
1965 SYMR sh;
1967 (*debug_swap->swap_sym_in) (cur_bfd,
1968 ((char *) debug_info->external_sym
1969 + ((cur_fdr->isymBase + pr->isym)
1970 * debug_swap->external_sym_size)),
1971 &sh);
1972 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1975 if (search_symtab != NULL)
1977 #if 0
1978 /* This loses both in the case mentioned (want a static, find a global),
1979 but also if we are looking up a non-mangled name which happens to
1980 match the name of a mangled function. */
1981 /* We have to save the cur_fdr across the call to lookup_symbol.
1982 If the pdr is for a static function and if a global function with
1983 the same name exists, lookup_symbol will eventually read in the symtab
1984 for the global function and clobber cur_fdr. */
1985 FDR *save_cur_fdr = cur_fdr;
1987 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0);
1988 cur_fdr = save_cur_fdr;
1989 #else
1990 s = mylookup_symbol
1991 (sh_name,
1992 BLOCKVECTOR_BLOCK (BLOCKVECTOR (search_symtab), STATIC_BLOCK),
1993 VAR_DOMAIN,
1994 LOC_BLOCK);
1995 #endif
1997 else
1998 s = mylookup_symbol (sh_name, top_stack->cur_block,
1999 VAR_DOMAIN, LOC_BLOCK);
2001 if (s != 0)
2003 b = SYMBOL_BLOCK_VALUE (s);
2005 else
2007 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
2008 #if 1
2009 return;
2010 #else
2011 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
2012 s = new_symbol (sh_name);
2013 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
2014 SYMBOL_CLASS (s) = LOC_BLOCK;
2015 /* Donno its type, hope int is ok. */
2016 SYMBOL_TYPE (s)
2017 = lookup_function_type (objfile_type (pst->objfile)->builtin_int);
2018 add_symbol (s, top_stack->cur_st, top_stack->cur_block);
2019 /* Won't have symbols for this one. */
2020 b = new_block (2);
2021 SYMBOL_BLOCK_VALUE (s) = b;
2022 BLOCK_FUNCTION (b) = s;
2023 BLOCK_START (b) = pr->adr;
2024 /* BOUND used to be the end of procedure's text, but the
2025 argument is no longer passed in. */
2026 BLOCK_END (b) = bound;
2027 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
2028 add_block (b, top_stack->cur_st);
2029 #endif
2032 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
2034 if (i)
2036 struct mdebug_extra_func_info *e;
2038 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE_BYTES (i);
2039 e->pdr = *pr;
2041 /* GDB expects the absolute function start address for the
2042 procedure descriptor in e->pdr.adr.
2043 As the address in the procedure descriptor is usually relative,
2044 we would have to relocate e->pdr.adr with cur_fdr->adr and
2045 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
2046 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
2047 in shared libraries on some systems, and on other systems
2048 e->pdr.adr is sometimes offset by a bogus value.
2049 To work around these problems, we replace e->pdr.adr with
2050 the start address of the function. */
2051 e->pdr.adr = BLOCK_START (b);
2054 /* It would be reasonable that functions that have been compiled
2055 without debugging info have a btNil type for their return value,
2056 and functions that are void and are compiled with debugging info
2057 have btVoid.
2058 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
2059 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
2060 case right.
2061 The glevel field in cur_fdr could be used to determine the presence
2062 of debugging info, but GCC doesn't always pass the -g switch settings
2063 to the assembler and GAS doesn't set the glevel field from the -g switch
2064 settings.
2065 To work around these problems, the return value type of a TYPE_CODE_VOID
2066 function is adjusted accordingly if no debugging info was found in the
2067 compilation unit. */
2069 if (processing_gcc_compilation == 0
2070 && found_ecoff_debugging_info == 0
2071 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
2072 SYMBOL_TYPE (s) = objfile_type (mdebugread_objfile)->nodebug_text_symbol;
2075 /* Parse the external symbol ES. Just call parse_symbol() after
2076 making sure we know where the aux are for it.
2077 BIGEND says whether aux entries are big-endian or little-endian.
2079 This routine clobbers top_stack->cur_block and ->cur_st. */
2081 static void parse_external (EXTR *, int, struct section_offsets *,
2082 struct objfile *);
2084 static void
2085 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2086 struct objfile *objfile)
2088 union aux_ext *ax;
2090 if (es->ifd != ifdNil)
2092 cur_fd = es->ifd;
2093 cur_fdr = debug_info->fdr + cur_fd;
2094 ax = debug_info->external_aux + cur_fdr->iauxBase;
2096 else
2098 cur_fdr = debug_info->fdr;
2099 ax = 0;
2102 /* Reading .o files */
2103 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2105 char *what;
2106 switch (es->asym.st)
2108 case stNil:
2109 /* These are generated for static symbols in .o files,
2110 ignore them. */
2111 return;
2112 case stStaticProc:
2113 case stProc:
2114 what = "procedure";
2115 n_undef_procs++;
2116 break;
2117 case stGlobal:
2118 what = "variable";
2119 n_undef_vars++;
2120 break;
2121 case stLabel:
2122 what = "label";
2123 n_undef_labels++;
2124 break;
2125 default:
2126 what = "symbol";
2127 break;
2129 n_undef_symbols++;
2130 /* FIXME: Turn this into a complaint? */
2131 if (info_verbose)
2132 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2133 what, debug_info->ssext + es->asym.iss,
2134 fdr_name (cur_fdr));
2135 return;
2138 switch (es->asym.st)
2140 case stProc:
2141 case stStaticProc:
2142 /* There is no need to parse the external procedure symbols.
2143 If they are from objects compiled without -g, their index will
2144 be indexNil, and the symbol definition from the minimal symbol
2145 is preferrable (yielding a function returning int instead of int).
2146 If the index points to a local procedure symbol, the local
2147 symbol already provides the correct type.
2148 Note that the index of the external procedure symbol points
2149 to the local procedure symbol in the local symbol table, and
2150 _not_ to the auxiliary symbol info. */
2151 break;
2152 case stGlobal:
2153 case stLabel:
2154 /* Global common symbols are resolved by the runtime loader,
2155 ignore them. */
2156 if (SC_IS_COMMON (es->asym.sc))
2157 break;
2159 /* Note that the case of a symbol with indexNil must be handled
2160 anyways by parse_symbol(). */
2161 parse_symbol (&es->asym, ax, (char *) NULL,
2162 bigend, section_offsets, objfile);
2163 break;
2164 default:
2165 break;
2169 /* Parse the line number info for file descriptor FH into
2170 GDB's linetable LT. MIPS' encoding requires a little bit
2171 of magic to get things out. Note also that MIPS' line
2172 numbers can go back and forth, apparently we can live
2173 with that and do not need to reorder our linetables. */
2175 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2176 struct partial_symtab *, CORE_ADDR);
2178 static void
2179 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2180 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2182 unsigned char *base;
2183 int j, k;
2184 int delta, count, lineno = 0;
2186 if (fh->cbLine == 0)
2187 return;
2189 /* Scan by procedure descriptors. */
2190 k = 0;
2191 for (j = 0; j < fh->cpd; j++, pr++)
2193 CORE_ADDR l;
2194 CORE_ADDR adr;
2195 unsigned char *halt;
2197 /* No code for this one. */
2198 if (pr->iline == ilineNil ||
2199 pr->lnLow == -1 || pr->lnHigh == -1)
2200 continue;
2202 /* Determine start and end address of compressed line bytes for
2203 this procedure. */
2204 base = debug_info->line + fh->cbLineOffset;
2205 if (j != (fh->cpd - 1))
2206 halt = base + pr[1].cbLineOffset;
2207 else
2208 halt = base + fh->cbLine;
2209 base += pr->cbLineOffset;
2211 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2213 l = adr >> 2; /* in words */
2214 for (lineno = pr->lnLow; base < halt;)
2216 count = *base & 0x0f;
2217 delta = *base++ >> 4;
2218 if (delta >= 8)
2219 delta -= 16;
2220 if (delta == -8)
2222 delta = (base[0] << 8) | base[1];
2223 if (delta >= 0x8000)
2224 delta -= 0x10000;
2225 base += 2;
2227 lineno += delta; /* first delta is 0 */
2229 /* Complain if the line table overflows. Could happen
2230 with corrupt binaries. */
2231 if (lt->nitems >= maxlines)
2233 complaint (&symfile_complaints,
2234 _("guessed size of linetable for %s incorrectly"),
2235 fdr_name (fh));
2236 break;
2238 k = add_line (lt, lineno, l, k);
2239 l += count + 1;
2244 static void
2245 function_outside_compilation_unit_complaint (const char *arg1)
2247 complaint (&symfile_complaints,
2248 _("function `%s' appears to be defined "
2249 "outside of all compilation units"),
2250 arg1);
2253 /* Use the STORAGE_CLASS to compute which section the given symbol
2254 belongs to, and then records this new minimal symbol. */
2256 static void
2257 record_minimal_symbol (const char *name, const CORE_ADDR address,
2258 enum minimal_symbol_type ms_type, int storage_class,
2259 struct objfile *objfile)
2261 int section;
2262 asection *bfd_section;
2264 switch (storage_class)
2266 case scText:
2267 section = SECT_OFF_TEXT (objfile);
2268 bfd_section = bfd_get_section_by_name (cur_bfd, ".text");
2269 break;
2270 case scData:
2271 section = SECT_OFF_DATA (objfile);
2272 bfd_section = bfd_get_section_by_name (cur_bfd, ".data");
2273 break;
2274 case scBss:
2275 section = SECT_OFF_BSS (objfile);
2276 bfd_section = bfd_get_section_by_name (cur_bfd, ".bss");
2277 break;
2278 case scSData:
2279 section = get_section_index (objfile, ".sdata");
2280 bfd_section = bfd_get_section_by_name (cur_bfd, ".sdata");
2281 break;
2282 case scSBss:
2283 section = get_section_index (objfile, ".sbss");
2284 bfd_section = bfd_get_section_by_name (cur_bfd, ".sbss");
2285 break;
2286 case scRData:
2287 section = get_section_index (objfile, ".rdata");
2288 bfd_section = bfd_get_section_by_name (cur_bfd, ".rdata");
2289 break;
2290 case scInit:
2291 section = get_section_index (objfile, ".init");
2292 bfd_section = bfd_get_section_by_name (cur_bfd, ".init");
2293 break;
2294 case scXData:
2295 section = get_section_index (objfile, ".xdata");
2296 bfd_section = bfd_get_section_by_name (cur_bfd, ".xdata");
2297 break;
2298 case scPData:
2299 section = get_section_index (objfile, ".pdata");
2300 bfd_section = bfd_get_section_by_name (cur_bfd, ".pdata");
2301 break;
2302 case scFini:
2303 section = get_section_index (objfile, ".fini");
2304 bfd_section = bfd_get_section_by_name (cur_bfd, ".fini");
2305 break;
2306 case scRConst:
2307 section = get_section_index (objfile, ".rconst");
2308 bfd_section = bfd_get_section_by_name (cur_bfd, ".rconst");
2309 break;
2310 #ifdef scTlsData
2311 case scTlsData:
2312 section = get_section_index (objfile, ".tlsdata");
2313 bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsdata");
2314 break;
2315 #endif
2316 #ifdef scTlsBss
2317 case scTlsBss:
2318 section = get_section_index (objfile, ".tlsbss");
2319 bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsbss");
2320 break;
2321 #endif
2322 default:
2323 /* This kind of symbol is not associated to a section. */
2324 section = -1;
2325 bfd_section = NULL;
2328 prim_record_minimal_symbol_and_info (name, address, ms_type,
2329 section, bfd_section, objfile);
2332 /* Master parsing procedure for first-pass reading of file symbols
2333 into a partial_symtab. */
2335 static void
2336 parse_partial_symbols (struct objfile *objfile)
2338 struct gdbarch *gdbarch = get_objfile_arch (objfile);
2339 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2340 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2341 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2342 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2343 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2344 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2345 int f_idx, s_idx;
2346 HDRR *hdr = &debug_info->symbolic_header;
2347 /* Running pointers */
2348 FDR *fh;
2349 char *ext_out;
2350 char *ext_out_end;
2351 EXTR *ext_block;
2352 EXTR *ext_in;
2353 EXTR *ext_in_end;
2354 SYMR sh;
2355 struct partial_symtab *pst;
2356 int textlow_not_set = 1;
2357 int past_first_source_file = 0;
2359 /* List of current psymtab's include files. */
2360 const char **psymtab_include_list;
2361 int includes_allocated;
2362 int includes_used;
2363 EXTR *extern_tab;
2364 struct pst_map *fdr_to_pst;
2365 /* Index within current psymtab dependency list. */
2366 struct partial_symtab **dependency_list;
2367 int dependencies_used, dependencies_allocated;
2368 struct cleanup *old_chain;
2369 char *name;
2370 enum language prev_language;
2371 asection *text_sect;
2372 int relocatable = 0;
2374 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2375 the shared libraries are prelinked at a high memory address.
2376 We have to adjust the start address of the object file for this case,
2377 by setting it to the start address of the first procedure in the file.
2378 But we should do no adjustments if we are debugging a .o file, where
2379 the text section (and fh->adr) really starts at zero. */
2380 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2381 if (text_sect != NULL
2382 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2383 relocatable = 1;
2385 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2386 sizeof (EXTR) * hdr->iextMax);
2388 includes_allocated = 30;
2389 includes_used = 0;
2390 psymtab_include_list = (const char **) alloca (includes_allocated *
2391 sizeof (const char *));
2392 next_symbol_text_func = mdebug_next_symbol_text;
2394 dependencies_allocated = 30;
2395 dependencies_used = 0;
2396 dependency_list =
2397 (struct partial_symtab **) alloca (dependencies_allocated *
2398 sizeof (struct partial_symtab *));
2400 set_last_source_file (NULL);
2403 * Big plan:
2405 * Only parse the Local and External symbols, and the Relative FDR.
2406 * Fixup enough of the loader symtab to be able to use it.
2407 * Allocate space only for the file's portions we need to
2408 * look at. (XXX)
2411 max_gdbinfo = 0;
2412 max_glevel = MIN_GLEVEL;
2414 /* Allocate the map FDR -> PST.
2415 Minor hack: -O3 images might claim some global data belongs
2416 to FDR -1. We`ll go along with that. */
2417 fdr_to_pst = (struct pst_map *)
2418 xzalloc ((hdr->ifdMax + 1) * sizeof *fdr_to_pst);
2419 old_chain = make_cleanup (xfree, fdr_to_pst);
2420 fdr_to_pst++;
2422 struct partial_symtab *pst = new_psymtab ("", objfile);
2424 fdr_to_pst[-1].pst = pst;
2425 FDR_IDX (pst) = -1;
2428 /* Allocate the global pending list. */
2429 pending_list =
2430 ((struct mdebug_pending **)
2431 obstack_alloc (&objfile->objfile_obstack,
2432 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2433 memset (pending_list, 0,
2434 hdr->ifdMax * sizeof (struct mdebug_pending *));
2436 /* Pass 0 over external syms: swap them in. */
2437 ext_block = (EXTR *) xmalloc (hdr->iextMax * sizeof (EXTR));
2438 make_cleanup (xfree, ext_block);
2440 ext_out = (char *) debug_info->external_ext;
2441 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2442 ext_in = ext_block;
2443 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2444 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2446 /* Pass 1 over external syms: Presize and partition the list. */
2447 ext_in = ext_block;
2448 ext_in_end = ext_in + hdr->iextMax;
2449 for (; ext_in < ext_in_end; ext_in++)
2451 /* See calls to complain below. */
2452 if (ext_in->ifd >= -1
2453 && ext_in->ifd < hdr->ifdMax
2454 && ext_in->asym.iss >= 0
2455 && ext_in->asym.iss < hdr->issExtMax)
2456 fdr_to_pst[ext_in->ifd].n_globals++;
2459 /* Pass 1.5 over files: partition out global symbol space. */
2460 s_idx = 0;
2461 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2463 fdr_to_pst[f_idx].globals_offset = s_idx;
2464 s_idx += fdr_to_pst[f_idx].n_globals;
2465 fdr_to_pst[f_idx].n_globals = 0;
2468 /* ECOFF in ELF:
2470 For ECOFF in ELF, we skip the creation of the minimal symbols.
2471 The ECOFF symbols should be a subset of the Elf symbols, and the
2472 section information of the elf symbols will be more accurate.
2473 FIXME! What about Irix 5's native linker?
2475 By default, Elf sections which don't exist in ECOFF
2476 get put in ECOFF's absolute section by the gnu linker.
2477 Since absolute sections don't get relocated, we
2478 end up calculating an address different from that of
2479 the symbol's minimal symbol (created earlier from the
2480 Elf symtab).
2482 To fix this, either :
2483 1) don't create the duplicate symbol
2484 (assumes ECOFF symtab is a subset of the ELF symtab;
2485 assumes no side-effects result from ignoring ECOFF symbol)
2486 2) create it, only if lookup for existing symbol in ELF's minimal
2487 symbols fails
2488 (inefficient;
2489 assumes no side-effects result from ignoring ECOFF symbol)
2490 3) create it, but lookup ELF's minimal symbol and use it's section
2491 during relocation, then modify "uniqify" phase to merge and
2492 eliminate the duplicate symbol
2493 (highly inefficient)
2495 I've implemented #1 here...
2496 Skip the creation of the minimal symbols based on the ECOFF
2497 symbol table. */
2499 /* Pass 2 over external syms: fill in external symbols. */
2500 ext_in = ext_block;
2501 ext_in_end = ext_in + hdr->iextMax;
2502 for (; ext_in < ext_in_end; ext_in++)
2504 enum minimal_symbol_type ms_type = mst_text;
2505 CORE_ADDR svalue = ext_in->asym.value;
2507 /* The Irix 5 native tools seem to sometimes generate bogus
2508 external symbols. */
2509 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2511 complaint (&symfile_complaints,
2512 _("bad ifd for external symbol: %d (max %ld)"),
2513 ext_in->ifd, hdr->ifdMax);
2514 continue;
2516 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2518 complaint (&symfile_complaints,
2519 _("bad iss for external symbol: %ld (max %ld)"),
2520 ext_in->asym.iss, hdr->issExtMax);
2521 continue;
2524 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2525 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2528 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2529 continue;
2532 /* Pass 3 over files, over local syms: fill in static symbols. */
2533 name = debug_info->ssext + ext_in->asym.iss;
2535 /* Process ECOFF Symbol Types and Storage Classes. */
2536 switch (ext_in->asym.st)
2538 case stProc:
2539 /* Beginnning of Procedure */
2540 svalue += ANOFFSET (objfile->section_offsets,
2541 SECT_OFF_TEXT (objfile));
2542 break;
2543 case stStaticProc:
2544 /* Load time only static procs */
2545 ms_type = mst_file_text;
2546 svalue += ANOFFSET (objfile->section_offsets,
2547 SECT_OFF_TEXT (objfile));
2548 break;
2549 case stGlobal:
2550 /* External symbol */
2551 if (SC_IS_COMMON (ext_in->asym.sc))
2553 /* The value of a common symbol is its size, not its address.
2554 Ignore it. */
2555 continue;
2557 else if (SC_IS_DATA (ext_in->asym.sc))
2559 ms_type = mst_data;
2560 svalue += ANOFFSET (objfile->section_offsets,
2561 SECT_OFF_DATA (objfile));
2563 else if (SC_IS_BSS (ext_in->asym.sc))
2565 ms_type = mst_bss;
2566 svalue += ANOFFSET (objfile->section_offsets,
2567 SECT_OFF_BSS (objfile));
2569 else if (SC_IS_SBSS (ext_in->asym.sc))
2571 ms_type = mst_bss;
2572 svalue += ANOFFSET (objfile->section_offsets,
2573 get_section_index (objfile, ".sbss"));
2575 else
2576 ms_type = mst_abs;
2577 break;
2578 case stLabel:
2579 /* Label */
2581 /* On certain platforms, some extra label symbols can be
2582 generated by the linker. One possible usage for this kind
2583 of symbols is to represent the address of the begining of a
2584 given section. For instance, on Tru64 5.1, the address of
2585 the _ftext label is the start address of the .text section.
2587 The storage class of these symbols is usually directly
2588 related to the section to which the symbol refers. For
2589 instance, on Tru64 5.1, the storage class for the _fdata
2590 label is scData, refering to the .data section.
2592 It is actually possible that the section associated to the
2593 storage class of the label does not exist. On True64 5.1
2594 for instance, the libm.so shared library does not contain
2595 any .data section, although it contains a _fpdata label
2596 which storage class is scData... Since these symbols are
2597 usually useless for the debugger user anyway, we just
2598 discard these symbols. */
2600 if (SC_IS_TEXT (ext_in->asym.sc))
2602 if (objfile->sect_index_text == -1)
2603 continue;
2605 ms_type = mst_file_text;
2606 svalue += ANOFFSET (objfile->section_offsets,
2607 SECT_OFF_TEXT (objfile));
2609 else if (SC_IS_DATA (ext_in->asym.sc))
2611 if (objfile->sect_index_data == -1)
2612 continue;
2614 ms_type = mst_file_data;
2615 svalue += ANOFFSET (objfile->section_offsets,
2616 SECT_OFF_DATA (objfile));
2618 else if (SC_IS_BSS (ext_in->asym.sc))
2620 if (objfile->sect_index_bss == -1)
2621 continue;
2623 ms_type = mst_file_bss;
2624 svalue += ANOFFSET (objfile->section_offsets,
2625 SECT_OFF_BSS (objfile));
2627 else if (SC_IS_SBSS (ext_in->asym.sc))
2629 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2631 if (sbss_sect_index == -1)
2632 continue;
2634 ms_type = mst_file_bss;
2635 svalue += ANOFFSET (objfile->section_offsets, sbss_sect_index);
2637 else
2638 ms_type = mst_abs;
2639 break;
2640 case stLocal:
2641 case stNil:
2642 /* The alpha has the section start addresses in stLocal symbols
2643 whose name starts with a `.'. Skip those but complain for all
2644 other stLocal symbols.
2645 Irix6 puts the section start addresses in stNil symbols, skip
2646 those too. */
2647 if (name[0] == '.')
2648 continue;
2649 /* Fall through. */
2650 default:
2651 ms_type = mst_unknown;
2652 unknown_ext_complaint (name);
2654 if (!ECOFF_IN_ELF (cur_bfd))
2655 record_minimal_symbol (name, svalue, ms_type, ext_in->asym.sc,
2656 objfile);
2659 /* Pass 3 over files, over local syms: fill in static symbols. */
2660 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2662 struct partial_symtab *save_pst;
2663 EXTR *ext_ptr;
2664 CORE_ADDR textlow;
2666 cur_fdr = fh = debug_info->fdr + f_idx;
2668 if (fh->csym == 0)
2670 fdr_to_pst[f_idx].pst = NULL;
2671 continue;
2674 /* Determine the start address for this object file from the
2675 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2676 if (fh->cpd)
2678 textlow = fh->adr;
2679 if (relocatable || textlow != 0)
2680 textlow += ANOFFSET (objfile->section_offsets,
2681 SECT_OFF_TEXT (objfile));
2683 else
2684 textlow = 0;
2685 pst = start_psymtab_common (objfile, objfile->section_offsets,
2686 fdr_name (fh),
2687 textlow,
2688 objfile->global_psymbols.next,
2689 objfile->static_psymbols.next);
2690 pst->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
2691 sizeof (struct symloc));
2692 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2694 save_pst = pst;
2695 FDR_IDX (pst) = f_idx;
2696 CUR_BFD (pst) = cur_bfd;
2697 DEBUG_SWAP (pst) = debug_swap;
2698 DEBUG_INFO (pst) = debug_info;
2699 PENDING_LIST (pst) = pending_list;
2701 /* The way to turn this into a symtab is to call... */
2702 pst->read_symtab = mdebug_read_symtab;
2704 /* Set up language for the pst.
2705 The language from the FDR is used if it is unambigious (e.g. cfront
2706 with native cc and g++ will set the language to C).
2707 Otherwise we have to deduce the language from the filename.
2708 Native ecoff has every header file in a separate FDR, so
2709 deduce_language_from_filename will return language_unknown for
2710 a header file, which is not what we want.
2711 But the FDRs for the header files are after the FDR for the source
2712 file, so we can assign the language of the source file to the
2713 following header files. Then we save the language in the private
2714 pst data so that we can reuse it when building symtabs. */
2715 prev_language = psymtab_language;
2717 switch (fh->lang)
2719 case langCplusplusV2:
2720 psymtab_language = language_cplus;
2721 break;
2722 default:
2723 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2724 break;
2726 if (psymtab_language == language_unknown)
2727 psymtab_language = prev_language;
2728 PST_PRIVATE (pst)->pst_language = psymtab_language;
2730 pst->texthigh = pst->textlow;
2732 /* For stabs-in-ecoff files, the second symbol must be @stab.
2733 This symbol is emitted by mips-tfile to signal that the
2734 current object file uses encapsulated stabs instead of mips
2735 ecoff for local symbols. (It is the second symbol because
2736 the first symbol is the stFile used to signal the start of a
2737 file). */
2738 processing_gcc_compilation = 0;
2739 if (fh->csym >= 2)
2741 (*swap_sym_in) (cur_bfd,
2742 ((char *) debug_info->external_sym
2743 + (fh->isymBase + 1) * external_sym_size),
2744 &sh);
2745 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2746 stabs_symbol) == 0)
2747 processing_gcc_compilation = 2;
2750 if (processing_gcc_compilation != 0)
2752 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2754 int type_code;
2755 const char *namestring;
2757 (*swap_sym_in) (cur_bfd,
2758 (((char *) debug_info->external_sym)
2759 + (fh->isymBase + cur_sdx) * external_sym_size),
2760 &sh);
2761 type_code = ECOFF_UNMARK_STAB (sh.index);
2762 if (!ECOFF_IS_STAB (&sh))
2764 if (sh.st == stProc || sh.st == stStaticProc)
2766 CORE_ADDR procaddr;
2767 long isym;
2769 sh.value += ANOFFSET (objfile->section_offsets,
2770 SECT_OFF_TEXT (objfile));
2771 if (sh.st == stStaticProc)
2773 namestring = debug_info->ss + fh->issBase + sh.iss;
2774 record_minimal_symbol (namestring, sh.value,
2775 mst_file_text, sh.sc,
2776 objfile);
2778 procaddr = sh.value;
2780 isym = AUX_GET_ISYM (fh->fBigendian,
2781 (debug_info->external_aux
2782 + fh->iauxBase
2783 + sh.index));
2784 (*swap_sym_in) (cur_bfd,
2785 ((char *) debug_info->external_sym
2786 + ((fh->isymBase + isym - 1)
2787 * external_sym_size)),
2788 &sh);
2789 if (sh.st == stEnd)
2791 CORE_ADDR high = procaddr + sh.value;
2793 /* Kludge for Irix 5.2 zero fh->adr. */
2794 if (!relocatable
2795 && (pst->textlow == 0 || procaddr < pst->textlow))
2796 pst->textlow = procaddr;
2797 if (high > pst->texthigh)
2798 pst->texthigh = high;
2801 else if (sh.st == stStatic)
2803 switch (sh.sc)
2805 case scUndefined:
2806 case scSUndefined:
2807 case scNil:
2808 case scAbs:
2809 break;
2811 case scData:
2812 case scSData:
2813 case scRData:
2814 case scPData:
2815 case scXData:
2816 namestring = debug_info->ss + fh->issBase + sh.iss;
2817 sh.value += ANOFFSET (objfile->section_offsets,
2818 SECT_OFF_DATA (objfile));
2819 record_minimal_symbol (namestring, sh.value,
2820 mst_file_data, sh.sc,
2821 objfile);
2822 break;
2824 default:
2825 /* FIXME! Shouldn't this use cases for bss,
2826 then have the default be abs? */
2827 namestring = debug_info->ss + fh->issBase + sh.iss;
2828 sh.value += ANOFFSET (objfile->section_offsets,
2829 SECT_OFF_BSS (objfile));
2830 record_minimal_symbol (namestring, sh.value,
2831 mst_file_bss, sh.sc,
2832 objfile);
2833 break;
2836 continue;
2838 /* Handle stabs continuation. */
2840 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2841 int len = strlen (stabstring);
2843 while (stabstring[len - 1] == '\\')
2845 SYMR sh2;
2846 char *stabstring1 = stabstring;
2847 char *stabstring2;
2848 int len2;
2850 /* Ignore continuation char from 1st string. */
2851 len--;
2853 /* Read next stabstring. */
2854 cur_sdx++;
2855 (*swap_sym_in) (cur_bfd,
2856 (((char *) debug_info->external_sym)
2857 + (fh->isymBase + cur_sdx)
2858 * external_sym_size),
2859 &sh2);
2860 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2861 len2 = strlen (stabstring2);
2863 /* Concatinate stabstring2 with stabstring1. */
2864 if (stabstring
2865 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2866 stabstring = xrealloc (stabstring, len + len2 + 1);
2867 else
2869 stabstring = xmalloc (len + len2 + 1);
2870 strcpy (stabstring, stabstring1);
2872 strcpy (stabstring + len, stabstring2);
2873 len += len2;
2876 switch (type_code)
2878 char *p;
2880 /* Standard, external, non-debugger, symbols. */
2882 case N_TEXT | N_EXT:
2883 case N_NBTEXT | N_EXT:
2884 sh.value += ANOFFSET (objfile->section_offsets,
2885 SECT_OFF_TEXT (objfile));
2886 goto record_it;
2888 case N_DATA | N_EXT:
2889 case N_NBDATA | N_EXT:
2890 sh.value += ANOFFSET (objfile->section_offsets,
2891 SECT_OFF_DATA (objfile));
2892 goto record_it;
2894 case N_BSS:
2895 case N_BSS | N_EXT:
2896 case N_NBBSS | N_EXT:
2897 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2898 sh.value += ANOFFSET (objfile->section_offsets,
2899 SECT_OFF_BSS (objfile));
2900 goto record_it;
2902 case N_ABS | N_EXT:
2903 record_it:
2904 continue;
2906 /* Standard, local, non-debugger, symbols. */
2908 case N_NBTEXT:
2910 /* We need to be able to deal with both N_FN or
2911 N_TEXT, because we have no way of knowing
2912 whether the sys-supplied ld or GNU ld was used
2913 to make the executable. Sequents throw in
2914 another wrinkle -- they renumbered N_FN. */
2916 case N_FN:
2917 case N_FN_SEQ:
2918 case N_TEXT:
2919 continue;
2921 case N_DATA:
2922 sh.value += ANOFFSET (objfile->section_offsets,
2923 SECT_OFF_DATA (objfile));
2924 goto record_it;
2926 case N_UNDF | N_EXT:
2927 continue; /* Just undefined, not COMMON. */
2929 case N_UNDF:
2930 continue;
2932 /* Lots of symbol types we can just ignore. */
2934 case N_ABS:
2935 case N_NBDATA:
2936 case N_NBBSS:
2937 continue;
2939 /* Keep going . . . */
2942 * Special symbol types for GNU
2944 case N_INDR:
2945 case N_INDR | N_EXT:
2946 case N_SETA:
2947 case N_SETA | N_EXT:
2948 case N_SETT:
2949 case N_SETT | N_EXT:
2950 case N_SETD:
2951 case N_SETD | N_EXT:
2952 case N_SETB:
2953 case N_SETB | N_EXT:
2954 case N_SETV:
2955 continue;
2958 * Debugger symbols
2961 case N_SO:
2963 CORE_ADDR valu;
2964 static int prev_so_symnum = -10;
2965 static int first_so_symnum;
2966 const char *p;
2967 int prev_textlow_not_set;
2969 valu = sh.value + ANOFFSET (objfile->section_offsets,
2970 SECT_OFF_TEXT (objfile));
2972 prev_textlow_not_set = textlow_not_set;
2974 /* A zero value is probably an indication for the
2975 SunPRO 3.0 compiler. end_psymtab explicitly tests
2976 for zero, so don't relocate it. */
2978 if (sh.value == 0
2979 && gdbarch_sofun_address_maybe_missing (gdbarch))
2981 textlow_not_set = 1;
2982 valu = 0;
2984 else
2985 textlow_not_set = 0;
2987 past_first_source_file = 1;
2989 if (prev_so_symnum != symnum - 1)
2990 { /* Here if prev stab wasn't N_SO. */
2991 first_so_symnum = symnum;
2993 if (pst)
2995 pst = (struct partial_symtab *) 0;
2996 includes_used = 0;
2997 dependencies_used = 0;
3001 prev_so_symnum = symnum;
3003 /* End the current partial symtab and start a
3004 new one. */
3006 /* SET_NAMESTRING ();*/
3007 namestring = stabstring;
3009 /* Null name means end of .o file. Don't start a new
3010 one. */
3011 if (*namestring == '\000')
3012 continue;
3014 /* Some compilers (including gcc) emit a pair of
3015 initial N_SOs. The first one is a directory name;
3016 the second the file name. If pst exists, is
3017 empty, and has a filename ending in '/', we assume
3018 the previous N_SO was a directory name. */
3019 p = lbasename (namestring);
3020 if (p != namestring && *p == '\000')
3021 continue; /* Simply ignore directory
3022 name SOs. */
3024 /* Some other compilers (C++ ones in particular) emit
3025 useless SOs for non-existant .c files. We ignore
3026 all subsequent SOs that immediately follow the
3027 first. */
3029 if (!pst)
3030 pst = save_pst;
3031 continue;
3034 case N_BINCL:
3035 continue;
3037 case N_SOL:
3039 enum language tmp_language;
3041 /* Mark down an include file in the current psymtab. */
3043 /* SET_NAMESTRING (); */
3044 namestring = stabstring;
3046 tmp_language
3047 = deduce_language_from_filename (namestring);
3049 /* Only change the psymtab's language if we've
3050 learned something useful (eg. tmp_language is not
3051 language_unknown). In addition, to match what
3052 start_subfile does, never change from C++ to
3053 C. */
3054 if (tmp_language != language_unknown
3055 && (tmp_language != language_c
3056 || psymtab_language != language_cplus))
3057 psymtab_language = tmp_language;
3059 /* In C++, one may expect the same filename to come
3060 round many times, when code is coming alternately
3061 from the main file and from inline functions in
3062 other files. So I check to see if this is a file
3063 we've seen before -- either the main source file,
3064 or a previously included file.
3066 This seems to be a lot of time to be spending on
3067 N_SOL, but things like "break c-exp.y:435" need to
3068 work (I suppose the psymtab_include_list could be
3069 hashed or put in a binary tree, if profiling shows
3070 this is a major hog). */
3071 if (pst && filename_cmp (namestring, pst->filename) == 0)
3072 continue;
3075 int i;
3077 for (i = 0; i < includes_used; i++)
3078 if (filename_cmp (namestring,
3079 psymtab_include_list[i]) == 0)
3081 i = -1;
3082 break;
3084 if (i == -1)
3085 continue;
3088 psymtab_include_list[includes_used++] = namestring;
3089 if (includes_used >= includes_allocated)
3091 const char **orig = psymtab_include_list;
3093 psymtab_include_list = (const char **)
3094 alloca ((includes_allocated *= 2) *
3095 sizeof (const char *));
3096 memcpy (psymtab_include_list, orig,
3097 includes_used * sizeof (const char *));
3099 continue;
3101 case N_LSYM: /* Typedef or automatic variable. */
3102 case N_STSYM: /* Data seg var -- static */
3103 case N_LCSYM: /* BSS " */
3104 case N_ROSYM: /* Read-only data seg var -- static. */
3105 case N_NBSTS: /* Gould nobase. */
3106 case N_NBLCS: /* symbols. */
3107 case N_FUN:
3108 case N_GSYM: /* Global (extern) variable; can be
3109 data or bss (sigh FIXME). */
3111 /* Following may probably be ignored; I'll leave them here
3112 for now (until I do Pascal and Modula 2 extensions). */
3114 case N_PC: /* I may or may not need this; I
3115 suspect not. */
3116 case N_M2C: /* I suspect that I can ignore this
3117 here. */
3118 case N_SCOPE: /* Same. */
3120 /* SET_NAMESTRING (); */
3121 namestring = stabstring;
3122 p = (char *) strchr (namestring, ':');
3123 if (!p)
3124 continue; /* Not a debugging symbol. */
3128 /* Main processing section for debugging symbols which
3129 the initial read through the symbol tables needs to
3130 worry about. If we reach this point, the symbol
3131 which we are considering is definitely one we are
3132 interested in. p must also contain the (valid)
3133 index into the namestring which indicates the
3134 debugging type symbol. */
3136 switch (p[1])
3138 case 'S':
3139 sh.value += ANOFFSET (objfile->section_offsets,
3140 SECT_OFF_DATA (objfile));
3142 if (gdbarch_static_transform_name_p (gdbarch))
3143 namestring = gdbarch_static_transform_name
3144 (gdbarch, namestring);
3146 add_psymbol_to_list (namestring, p - namestring, 1,
3147 VAR_DOMAIN, LOC_STATIC,
3148 &objfile->static_psymbols,
3149 0, sh.value,
3150 psymtab_language, objfile);
3151 continue;
3152 case 'G':
3153 sh.value += ANOFFSET (objfile->section_offsets,
3154 SECT_OFF_DATA (objfile));
3155 /* The addresses in these entries are reported
3156 to be wrong. See the code that reads 'G's
3157 for symtabs. */
3158 add_psymbol_to_list (namestring, p - namestring, 1,
3159 VAR_DOMAIN, LOC_STATIC,
3160 &objfile->global_psymbols,
3161 0, sh.value,
3162 psymtab_language, objfile);
3163 continue;
3165 case 'T':
3166 /* When a 'T' entry is defining an anonymous enum, it
3167 may have a name which is the empty string, or a
3168 single space. Since they're not really defining a
3169 symbol, those shouldn't go in the partial symbol
3170 table. We do pick up the elements of such enums at
3171 'check_enum:', below. */
3172 if (p >= namestring + 2
3173 || (p == namestring + 1
3174 && namestring[0] != ' '))
3176 add_psymbol_to_list (namestring, p - namestring, 1,
3177 STRUCT_DOMAIN, LOC_TYPEDEF,
3178 &objfile->static_psymbols,
3179 sh.value, 0,
3180 psymtab_language, objfile);
3181 if (p[2] == 't')
3183 /* Also a typedef with the same name. */
3184 add_psymbol_to_list (namestring,
3185 p - namestring, 1,
3186 VAR_DOMAIN, LOC_TYPEDEF,
3187 &objfile->static_psymbols,
3188 sh.value, 0,
3189 psymtab_language,
3190 objfile);
3191 p += 1;
3194 goto check_enum;
3195 case 't':
3196 if (p != namestring) /* a name is there, not
3197 just :T... */
3199 add_psymbol_to_list (namestring, p - namestring, 1,
3200 VAR_DOMAIN, LOC_TYPEDEF,
3201 &objfile->static_psymbols,
3202 sh.value, 0,
3203 psymtab_language, objfile);
3205 check_enum:
3206 /* If this is an enumerated type, we need to add
3207 all the enum constants to the partial symbol
3208 table. This does not cover enums without names,
3209 e.g. "enum {a, b} c;" in C, but fortunately
3210 those are rare. There is no way for GDB to find
3211 those from the enum type without spending too
3212 much time on it. Thus to solve this problem,
3213 the compiler needs to put out the enum in a
3214 nameless type. GCC2 does this. */
3216 /* We are looking for something of the form
3217 <name> ":" ("t" | "T") [<number> "="] "e"
3218 {<constant> ":" <value> ","} ";". */
3220 /* Skip over the colon and the 't' or 'T'. */
3221 p += 2;
3222 /* This type may be given a number. Also, numbers
3223 can come in pairs like (0,26). Skip over it. */
3224 while ((*p >= '0' && *p <= '9')
3225 || *p == '(' || *p == ',' || *p == ')'
3226 || *p == '=')
3227 p++;
3229 if (*p++ == 'e')
3231 /* The aix4 compiler emits extra crud before
3232 the members. */
3233 if (*p == '-')
3235 /* Skip over the type (?). */
3236 while (*p != ':')
3237 p++;
3239 /* Skip over the colon. */
3240 p++;
3243 /* We have found an enumerated type. */
3244 /* According to comments in read_enum_type
3245 a comma could end it instead of a semicolon.
3246 I don't know where that happens.
3247 Accept either. */
3248 while (*p && *p != ';' && *p != ',')
3250 char *q;
3252 /* Check for and handle cretinous dbx
3253 symbol name continuation! */
3254 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3255 p = next_symbol_text (objfile);
3257 /* Point to the character after the name
3258 of the enum constant. */
3259 for (q = p; *q && *q != ':'; q++)
3261 /* Note that the value doesn't matter for
3262 enum constants in psymtabs, just in
3263 symtabs. */
3264 add_psymbol_to_list (p, q - p, 1,
3265 VAR_DOMAIN, LOC_CONST,
3266 &objfile->static_psymbols,
3267 0, 0, psymtab_language,
3268 objfile);
3269 /* Point past the name. */
3270 p = q;
3271 /* Skip over the value. */
3272 while (*p && *p != ',')
3273 p++;
3274 /* Advance past the comma. */
3275 if (*p)
3276 p++;
3279 continue;
3280 case 'c':
3281 /* Constant, e.g. from "const" in Pascal. */
3282 add_psymbol_to_list (namestring, p - namestring, 1,
3283 VAR_DOMAIN, LOC_CONST,
3284 &objfile->static_psymbols,
3285 sh.value, 0, psymtab_language,
3286 objfile);
3287 continue;
3289 case 'f':
3290 if (! pst)
3292 int name_len = p - namestring;
3293 char *name = xmalloc (name_len + 1);
3295 memcpy (name, namestring, name_len);
3296 name[name_len] = '\0';
3297 function_outside_compilation_unit_complaint (name);
3298 xfree (name);
3300 sh.value += ANOFFSET (objfile->section_offsets,
3301 SECT_OFF_TEXT (objfile));
3302 add_psymbol_to_list (namestring, p - namestring, 1,
3303 VAR_DOMAIN, LOC_BLOCK,
3304 &objfile->static_psymbols,
3305 0, sh.value,
3306 psymtab_language, objfile);
3307 continue;
3309 /* Global functions were ignored here, but now they
3310 are put into the global psymtab like one would
3311 expect. They're also in the minimal symbol
3312 table. */
3313 case 'F':
3314 if (! pst)
3316 int name_len = p - namestring;
3317 char *name = xmalloc (name_len + 1);
3319 memcpy (name, namestring, name_len);
3320 name[name_len] = '\0';
3321 function_outside_compilation_unit_complaint (name);
3322 xfree (name);
3324 sh.value += ANOFFSET (objfile->section_offsets,
3325 SECT_OFF_TEXT (objfile));
3326 add_psymbol_to_list (namestring, p - namestring, 1,
3327 VAR_DOMAIN, LOC_BLOCK,
3328 &objfile->global_psymbols,
3329 0, sh.value,
3330 psymtab_language, objfile);
3331 continue;
3333 /* Two things show up here (hopefully); static
3334 symbols of local scope (static used inside
3335 braces) or extensions of structure symbols. We
3336 can ignore both. */
3337 case 'V':
3338 case '(':
3339 case '0':
3340 case '1':
3341 case '2':
3342 case '3':
3343 case '4':
3344 case '5':
3345 case '6':
3346 case '7':
3347 case '8':
3348 case '9':
3349 case '-':
3350 case '#': /* For symbol identification (used
3351 in live ranges). */
3352 continue;
3354 case ':':
3355 /* It is a C++ nested symbol. We don't need to
3356 record it (I don't think); if we try to look up
3357 foo::bar::baz, then symbols for the symtab
3358 containing foo should get read in, I think. */
3359 /* Someone says sun cc puts out symbols like
3360 /foo/baz/maclib::/usr/local/bin/maclib,
3361 which would get here with a symbol type of ':'. */
3362 continue;
3364 default:
3365 /* Unexpected symbol descriptor. The second and
3366 subsequent stabs of a continued stab can show up
3367 here. The question is whether they ever can
3368 mimic a normal stab--it would be nice if not,
3369 since we certainly don't want to spend the time
3370 searching to the end of every string looking for
3371 a backslash. */
3373 complaint (&symfile_complaints,
3374 _("unknown symbol descriptor `%c'"), p[1]);
3376 /* Ignore it; perhaps it is an extension that we don't
3377 know about. */
3378 continue;
3381 case N_EXCL:
3382 continue;
3384 case N_ENDM:
3385 /* Solaris 2 end of module, finish current partial
3386 symbol table. END_PSYMTAB will set
3387 pst->texthigh to the proper value, which is
3388 necessary if a module compiled without
3389 debugging info follows this module. */
3390 if (pst
3391 && gdbarch_sofun_address_maybe_missing (gdbarch))
3393 pst = (struct partial_symtab *) 0;
3394 includes_used = 0;
3395 dependencies_used = 0;
3397 continue;
3399 case N_RBRAC:
3400 if (sh.value > save_pst->texthigh)
3401 save_pst->texthigh = sh.value;
3402 continue;
3403 case N_EINCL:
3404 case N_DSLINE:
3405 case N_BSLINE:
3406 case N_SSYM: /* Claim: Structure or union
3407 element. Hopefully, I can
3408 ignore this. */
3409 case N_ENTRY: /* Alternate entry point; can
3410 ignore. */
3411 case N_MAIN: /* Can definitely ignore this. */
3412 case N_CATCH: /* These are GNU C++ extensions. */
3413 case N_EHDECL: /* that can safely be ignored here. */
3414 case N_LENG:
3415 case N_BCOMM:
3416 case N_ECOMM:
3417 case N_ECOML:
3418 case N_FNAME:
3419 case N_SLINE:
3420 case N_RSYM:
3421 case N_PSYM:
3422 case N_LBRAC:
3423 case N_NSYMS: /* Ultrix 4.0: symbol count */
3424 case N_DEFD: /* GNU Modula-2 */
3425 case N_ALIAS: /* SunPro F77: alias name, ignore
3426 for now. */
3428 case N_OBJ: /* Useless types from Solaris. */
3429 case N_OPT:
3430 /* These symbols aren't interesting; don't worry about
3431 them. */
3433 continue;
3435 default:
3436 /* If we haven't found it yet, ignore it. It's
3437 probably some new type we don't know about yet. */
3438 complaint (&symfile_complaints,
3439 _("unknown symbol type %s"),
3440 hex_string (type_code)); /* CUR_SYMBOL_TYPE */
3441 continue;
3443 if (stabstring
3444 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3445 xfree (stabstring);
3447 /* end - Handle continuation */
3450 else
3452 for (cur_sdx = 0; cur_sdx < fh->csym;)
3454 char *name;
3455 enum address_class class;
3457 (*swap_sym_in) (cur_bfd,
3458 ((char *) debug_info->external_sym
3459 + ((fh->isymBase + cur_sdx)
3460 * external_sym_size)),
3461 &sh);
3463 if (ECOFF_IS_STAB (&sh))
3465 cur_sdx++;
3466 continue;
3469 /* Non absolute static symbols go into the minimal table. */
3470 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3471 || (sh.index == indexNil
3472 && (sh.st != stStatic || sh.sc == scAbs)))
3474 /* FIXME, premature? */
3475 cur_sdx++;
3476 continue;
3479 name = debug_info->ss + fh->issBase + sh.iss;
3481 switch (sh.sc)
3483 case scText:
3484 case scRConst:
3485 /* The value of a stEnd symbol is the displacement from the
3486 corresponding start symbol value, do not relocate it. */
3487 if (sh.st != stEnd)
3488 sh.value += ANOFFSET (objfile->section_offsets,
3489 SECT_OFF_TEXT (objfile));
3490 break;
3491 case scData:
3492 case scSData:
3493 case scRData:
3494 case scPData:
3495 case scXData:
3496 sh.value += ANOFFSET (objfile->section_offsets,
3497 SECT_OFF_DATA (objfile));
3498 break;
3499 case scBss:
3500 case scSBss:
3501 sh.value += ANOFFSET (objfile->section_offsets,
3502 SECT_OFF_BSS (objfile));
3503 break;
3506 switch (sh.st)
3508 CORE_ADDR high;
3509 CORE_ADDR procaddr;
3510 int new_sdx;
3512 case stStaticProc:
3513 prim_record_minimal_symbol_and_info (name, sh.value,
3514 mst_file_text,
3515 SECT_OFF_TEXT (objfile),
3516 NULL, objfile);
3518 /* FALLTHROUGH */
3520 case stProc:
3521 /* Ignore all parameter symbol records. */
3522 if (sh.index >= hdr->iauxMax)
3524 /* Should not happen, but does when cross-compiling
3525 with the MIPS compiler. FIXME -- pull later. */
3526 index_complaint (name);
3527 new_sdx = cur_sdx + 1; /* Don't skip at all. */
3529 else
3530 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3531 (debug_info->external_aux
3532 + fh->iauxBase
3533 + sh.index));
3535 if (new_sdx <= cur_sdx)
3537 /* This should not happen either... FIXME. */
3538 complaint (&symfile_complaints,
3539 _("bad proc end in aux found from symbol %s"),
3540 name);
3541 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3544 /* For stProc symbol records, we need to check the
3545 storage class as well, as only (stProc, scText)
3546 entries represent "real" procedures - See the
3547 Compaq document titled "Object File / Symbol Table
3548 Format Specification" for more information. If the
3549 storage class is not scText, we discard the whole
3550 block of symbol records for this stProc. */
3551 if (sh.st == stProc && sh.sc != scText)
3552 goto skip;
3554 /* Usually there is a local and a global stProc symbol
3555 for a function. This means that the function name
3556 has already been entered into the mimimal symbol table
3557 while processing the global symbols in pass 2 above.
3558 One notable exception is the PROGRAM name from
3559 f77 compiled executables, it is only put out as
3560 local stProc symbol, and a global MAIN__ stProc symbol
3561 points to it. It doesn't matter though, as gdb is
3562 still able to find the PROGRAM name via the partial
3563 symbol table, and the MAIN__ symbol via the minimal
3564 symbol table. */
3565 if (sh.st == stProc)
3566 add_psymbol_to_list (name, strlen (name), 1,
3567 VAR_DOMAIN, LOC_BLOCK,
3568 &objfile->global_psymbols,
3569 0, sh.value, psymtab_language, objfile);
3570 else
3571 add_psymbol_to_list (name, strlen (name), 1,
3572 VAR_DOMAIN, LOC_BLOCK,
3573 &objfile->static_psymbols,
3574 0, sh.value, psymtab_language, objfile);
3576 procaddr = sh.value;
3578 cur_sdx = new_sdx;
3579 (*swap_sym_in) (cur_bfd,
3580 ((char *) debug_info->external_sym
3581 + ((fh->isymBase + cur_sdx - 1)
3582 * external_sym_size)),
3583 &sh);
3584 if (sh.st != stEnd)
3585 continue;
3587 /* Kludge for Irix 5.2 zero fh->adr. */
3588 if (!relocatable
3589 && (pst->textlow == 0 || procaddr < pst->textlow))
3590 pst->textlow = procaddr;
3592 high = procaddr + sh.value;
3593 if (high > pst->texthigh)
3594 pst->texthigh = high;
3595 continue;
3597 case stStatic: /* Variable */
3598 if (SC_IS_DATA (sh.sc))
3599 prim_record_minimal_symbol_and_info (name, sh.value,
3600 mst_file_data,
3601 SECT_OFF_DATA (objfile),
3602 NULL,
3603 objfile);
3604 else
3605 prim_record_minimal_symbol_and_info (name, sh.value,
3606 mst_file_bss,
3607 SECT_OFF_BSS (objfile),
3608 NULL,
3609 objfile);
3610 class = LOC_STATIC;
3611 break;
3613 case stIndirect: /* Irix5 forward declaration */
3614 /* Skip forward declarations from Irix5 cc. */
3615 goto skip;
3617 case stTypedef: /* Typedef */
3618 /* Skip typedefs for forward declarations and opaque
3619 structs from alpha and mips cc. */
3620 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3621 goto skip;
3622 class = LOC_TYPEDEF;
3623 break;
3625 case stConstant: /* Constant decl */
3626 class = LOC_CONST;
3627 break;
3629 case stUnion:
3630 case stStruct:
3631 case stEnum:
3632 case stBlock: /* { }, str, un, enum */
3633 /* Do not create a partial symbol for cc unnamed aggregates
3634 and gcc empty aggregates. */
3635 if ((sh.sc == scInfo
3636 || SC_IS_COMMON (sh.sc))
3637 && sh.iss != 0
3638 && sh.index != cur_sdx + 2)
3640 add_psymbol_to_list (name, strlen (name), 1,
3641 STRUCT_DOMAIN, LOC_TYPEDEF,
3642 &objfile->static_psymbols,
3643 0, (CORE_ADDR) 0,
3644 psymtab_language, objfile);
3646 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3648 /* Skip over the block. */
3649 new_sdx = sh.index;
3650 if (new_sdx <= cur_sdx)
3652 /* This happens with the Ultrix kernel. */
3653 complaint (&symfile_complaints,
3654 _("bad aux index at block symbol %s"), name);
3655 new_sdx = cur_sdx + 1; /* Don't skip backward. */
3657 cur_sdx = new_sdx;
3658 continue;
3660 case stFile: /* File headers */
3661 case stLabel: /* Labels */
3662 case stEnd: /* Ends of files */
3663 goto skip;
3665 case stLocal: /* Local variables */
3666 /* Normally these are skipped because we skip over
3667 all blocks we see. However, these can occur
3668 as visible symbols in a .h file that contains code. */
3669 goto skip;
3671 default:
3672 /* Both complaints are valid: one gives symbol name,
3673 the other the offending symbol type. */
3674 complaint (&symfile_complaints, _("unknown local symbol %s"),
3675 name);
3676 complaint (&symfile_complaints, _("with type %d"), sh.st);
3677 cur_sdx++;
3678 continue;
3680 /* Use this gdb symbol. */
3681 add_psymbol_to_list (name, strlen (name), 1,
3682 VAR_DOMAIN, class,
3683 &objfile->static_psymbols,
3684 0, sh.value, psymtab_language, objfile);
3685 skip:
3686 cur_sdx++; /* Go to next file symbol. */
3689 /* Now do enter the external symbols. */
3690 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3691 cur_sdx = fdr_to_pst[f_idx].n_globals;
3692 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3693 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3694 for (; --cur_sdx >= 0; ext_ptr++)
3696 enum address_class class;
3697 SYMR *psh;
3698 char *name;
3699 CORE_ADDR svalue;
3701 if (ext_ptr->ifd != f_idx)
3702 internal_error (__FILE__, __LINE__,
3703 _("failed internal consistency check"));
3704 psh = &ext_ptr->asym;
3706 /* Do not add undefined symbols to the partial symbol table. */
3707 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3708 continue;
3710 svalue = psh->value;
3711 switch (psh->sc)
3713 case scText:
3714 case scRConst:
3715 svalue += ANOFFSET (objfile->section_offsets,
3716 SECT_OFF_TEXT (objfile));
3717 break;
3718 case scData:
3719 case scSData:
3720 case scRData:
3721 case scPData:
3722 case scXData:
3723 svalue += ANOFFSET (objfile->section_offsets,
3724 SECT_OFF_DATA (objfile));
3725 break;
3726 case scBss:
3727 case scSBss:
3728 svalue += ANOFFSET (objfile->section_offsets,
3729 SECT_OFF_BSS (objfile));
3730 break;
3733 switch (psh->st)
3735 case stNil:
3736 /* These are generated for static symbols in .o files,
3737 ignore them. */
3738 continue;
3739 case stProc:
3740 case stStaticProc:
3741 /* External procedure symbols have been entered
3742 into the minimal symbol table in pass 2 above.
3743 Ignore them, as parse_external will ignore them too. */
3744 continue;
3745 case stLabel:
3746 class = LOC_LABEL;
3747 break;
3748 default:
3749 unknown_ext_complaint (debug_info->ssext + psh->iss);
3750 /* Fall through, pretend it's global. */
3751 case stGlobal:
3752 /* Global common symbols are resolved by the runtime loader,
3753 ignore them. */
3754 if (SC_IS_COMMON (psh->sc))
3755 continue;
3757 class = LOC_STATIC;
3758 break;
3760 name = debug_info->ssext + psh->iss;
3761 add_psymbol_to_list (name, strlen (name), 1,
3762 VAR_DOMAIN, class,
3763 &objfile->global_psymbols,
3764 0, svalue,
3765 psymtab_language, objfile);
3769 /* Link pst to FDR. end_psymtab returns NULL if the psymtab was
3770 empty and put on the free list. */
3771 fdr_to_pst[f_idx].pst = end_psymtab (objfile, save_pst,
3772 psymtab_include_list, includes_used,
3773 -1, save_pst->texthigh,
3774 dependency_list, dependencies_used, textlow_not_set);
3775 includes_used = 0;
3776 dependencies_used = 0;
3778 /* The objfile has its functions reordered if this partial symbol
3779 table overlaps any other partial symbol table.
3780 We cannot assume a reordered objfile if a partial symbol table
3781 is contained within another partial symbol table, as partial symbol
3782 tables for include files with executable code are contained
3783 within the partial symbol table for the including source file,
3784 and we do not want to flag the objfile reordered for these cases.
3786 This strategy works well for Irix-5.2 shared libraries, but we
3787 might have to use a more elaborate (and slower) algorithm for
3788 other cases. */
3789 save_pst = fdr_to_pst[f_idx].pst;
3790 if (save_pst != NULL
3791 && save_pst->textlow != 0
3792 && !(objfile->flags & OBJF_REORDERED))
3794 ALL_OBJFILE_PSYMTABS (objfile, pst)
3796 if (save_pst != pst
3797 && save_pst->textlow >= pst->textlow
3798 && save_pst->textlow < pst->texthigh
3799 && save_pst->texthigh > pst->texthigh)
3801 objfile->flags |= OBJF_REORDERED;
3802 break;
3808 /* Now scan the FDRs for dependencies. */
3809 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3811 fh = f_idx + debug_info->fdr;
3812 pst = fdr_to_pst[f_idx].pst;
3814 if (pst == (struct partial_symtab *) NULL)
3815 continue;
3817 /* This should catch stabs-in-ecoff. */
3818 if (fh->crfd <= 1)
3819 continue;
3821 /* Skip the first file indirect entry as it is a self dependency for
3822 source files or a reverse .h -> .c dependency for header files. */
3823 pst->number_of_dependencies = 0;
3824 pst->dependencies =
3825 ((struct partial_symtab **)
3826 obstack_alloc (&objfile->objfile_obstack,
3827 ((fh->crfd - 1)
3828 * sizeof (struct partial_symtab *))));
3829 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3831 RFDT rh;
3833 (*swap_rfd_in) (cur_bfd,
3834 ((char *) debug_info->external_rfd
3835 + (fh->rfdBase + s_idx) * external_rfd_size),
3836 &rh);
3837 if (rh < 0 || rh >= hdr->ifdMax)
3839 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3840 continue;
3843 /* Skip self dependencies of header files. */
3844 if (rh == f_idx)
3845 continue;
3847 /* Do not add to dependeny list if psymtab was empty. */
3848 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3849 continue;
3850 pst->dependencies[pst->number_of_dependencies++]
3851 = fdr_to_pst[rh].pst;
3855 /* Remove the dummy psymtab created for -O3 images above, if it is
3856 still empty, to enable the detection of stripped executables. */
3857 if (objfile->psymtabs->next == NULL
3858 && objfile->psymtabs->number_of_dependencies == 0
3859 && objfile->psymtabs->n_global_syms == 0
3860 && objfile->psymtabs->n_static_syms == 0)
3861 objfile->psymtabs = NULL;
3862 do_cleanups (old_chain);
3865 /* If the current psymbol has an enumerated type, we need to add
3866 all the enum constants to the partial symbol table. */
3868 static void
3869 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3870 CORE_ADDR svalue)
3872 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3873 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3874 char *ext_sym = ((char *) debug_info->external_sym
3875 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3876 SYMR sh;
3877 TIR tir;
3879 switch (stype)
3881 case stEnum:
3882 break;
3884 case stBlock:
3885 /* It is an enumerated type if the next symbol entry is a stMember
3886 and its auxiliary index is indexNil or its auxiliary entry
3887 is a plain btNil or btVoid.
3888 Alpha cc -migrate enums are recognized by a zero index and
3889 a zero symbol value.
3890 DU 4.0 cc enums are recognized by a member type of btEnum without
3891 qualifiers and a zero symbol value. */
3892 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3893 if (sh.st != stMember)
3894 return;
3896 if (sh.index == indexNil
3897 || (sh.index == 0 && svalue == 0))
3898 break;
3899 (*debug_swap->swap_tir_in) (fh->fBigendian,
3900 &(debug_info->external_aux
3901 + fh->iauxBase + sh.index)->a_ti,
3902 &tir);
3903 if ((tir.bt != btNil
3904 && tir.bt != btVoid
3905 && (tir.bt != btEnum || svalue != 0))
3906 || tir.tq0 != tqNil)
3907 return;
3908 break;
3910 default:
3911 return;
3914 for (;;)
3916 char *name;
3918 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3919 if (sh.st != stMember)
3920 break;
3921 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3923 /* Note that the value doesn't matter for enum constants
3924 in psymtabs, just in symtabs. */
3925 add_psymbol_to_list (name, strlen (name), 1,
3926 VAR_DOMAIN, LOC_CONST,
3927 &objfile->static_psymbols, 0,
3928 (CORE_ADDR) 0, psymtab_language, objfile);
3929 ext_sym += external_sym_size;
3933 /* Get the next symbol. OBJFILE is unused. */
3935 static char *
3936 mdebug_next_symbol_text (struct objfile *objfile)
3938 SYMR sh;
3940 cur_sdx++;
3941 (*debug_swap->swap_sym_in) (cur_bfd,
3942 ((char *) debug_info->external_sym
3943 + ((cur_fdr->isymBase + cur_sdx)
3944 * debug_swap->external_sym_size)),
3945 &sh);
3946 return debug_info->ss + cur_fdr->issBase + sh.iss;
3949 /* Ancillary function to psymtab_to_symtab(). Does all the work
3950 for turning the partial symtab PST into a symtab, recurring
3951 first on all dependent psymtabs. The argument FILENAME is
3952 only passed so we can see in debug stack traces what file
3953 is being read.
3955 This function has a split personality, based on whether the
3956 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3957 The flow of control and even the memory allocation differs. FIXME. */
3959 static void
3960 psymtab_to_symtab_1 (struct objfile *objfile,
3961 struct partial_symtab *pst, const char *filename)
3963 bfd_size_type external_sym_size;
3964 bfd_size_type external_pdr_size;
3965 void (*swap_sym_in) (bfd *, void *, SYMR *);
3966 void (*swap_pdr_in) (bfd *, void *, PDR *);
3967 int i;
3968 struct symtab *st = NULL;
3969 FDR *fh;
3970 struct linetable *lines;
3971 CORE_ADDR lowest_pdr_addr = 0;
3972 int last_symtab_ended = 0;
3974 if (pst->readin)
3975 return;
3976 pst->readin = 1;
3978 /* Read in all partial symbtabs on which this one is dependent.
3979 NOTE that we do have circular dependencies, sigh. We solved
3980 that by setting pst->readin before this point. */
3982 for (i = 0; i < pst->number_of_dependencies; i++)
3983 if (!pst->dependencies[i]->readin)
3985 /* Inform about additional files to be read in. */
3986 if (info_verbose)
3988 fputs_filtered (" ", gdb_stdout);
3989 wrap_here ("");
3990 fputs_filtered ("and ", gdb_stdout);
3991 wrap_here ("");
3992 printf_filtered ("%s...",
3993 pst->dependencies[i]->filename);
3994 wrap_here (""); /* Flush output */
3995 gdb_flush (gdb_stdout);
3997 /* We only pass the filename for debug purposes. */
3998 psymtab_to_symtab_1 (objfile, pst->dependencies[i],
3999 pst->dependencies[i]->filename);
4002 /* Do nothing if this is a dummy psymtab. */
4004 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
4005 && pst->textlow == 0 && pst->texthigh == 0)
4006 return;
4008 /* Now read the symbols for this symtab. */
4010 cur_bfd = CUR_BFD (pst);
4011 debug_swap = DEBUG_SWAP (pst);
4012 debug_info = DEBUG_INFO (pst);
4013 pending_list = PENDING_LIST (pst);
4014 external_sym_size = debug_swap->external_sym_size;
4015 external_pdr_size = debug_swap->external_pdr_size;
4016 swap_sym_in = debug_swap->swap_sym_in;
4017 swap_pdr_in = debug_swap->swap_pdr_in;
4018 mdebugread_objfile = objfile;
4019 cur_fd = FDR_IDX (pst);
4020 fh = ((cur_fd == -1)
4021 ? (FDR *) NULL
4022 : debug_info->fdr + cur_fd);
4023 cur_fdr = fh;
4025 /* See comment in parse_partial_symbols about the @stabs sentinel. */
4026 processing_gcc_compilation = 0;
4027 if (fh != (FDR *) NULL && fh->csym >= 2)
4029 SYMR sh;
4031 (*swap_sym_in) (cur_bfd,
4032 ((char *) debug_info->external_sym
4033 + (fh->isymBase + 1) * external_sym_size),
4034 &sh);
4035 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
4036 stabs_symbol) == 0)
4038 /* We indicate that this is a GCC compilation so that certain
4039 features will be enabled in stabsread/dbxread. */
4040 processing_gcc_compilation = 2;
4044 if (processing_gcc_compilation != 0)
4046 struct gdbarch *gdbarch = get_objfile_arch (objfile);
4048 /* This symbol table contains stabs-in-ecoff entries. */
4050 /* Parse local symbols first. */
4052 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr. */
4054 mdebugread_objfile = NULL;
4055 return;
4057 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
4059 SYMR sh;
4060 char *name;
4061 CORE_ADDR valu;
4063 (*swap_sym_in) (cur_bfd,
4064 (((char *) debug_info->external_sym)
4065 + (fh->isymBase + cur_sdx) * external_sym_size),
4066 &sh);
4067 name = debug_info->ss + fh->issBase + sh.iss;
4068 valu = sh.value;
4069 /* XXX This is a hack. It will go away! */
4070 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
4072 int type_code = ECOFF_UNMARK_STAB (sh.index);
4074 /* We should never get non N_STAB symbols here, but they
4075 should be harmless, so keep process_one_symbol from
4076 complaining about them. */
4077 if (type_code & N_STAB)
4079 /* If we found a trailing N_SO with no name, process
4080 it here instead of in process_one_symbol, so we
4081 can keep a handle to its symtab. The symtab
4082 would otherwise be ended twice, once in
4083 process_one_symbol, and once after this loop. */
4084 if (type_code == N_SO
4085 && get_last_source_file ()
4086 && previous_stab_code != (unsigned char) N_SO
4087 && *name == '\000')
4089 valu += ANOFFSET (pst->section_offsets,
4090 SECT_OFF_TEXT (objfile));
4091 previous_stab_code = N_SO;
4092 st = end_symtab (valu, objfile,
4093 SECT_OFF_TEXT (objfile));
4094 end_stabs ();
4095 last_symtab_ended = 1;
4097 else
4099 last_symtab_ended = 0;
4100 process_one_symbol (type_code, 0, valu, name,
4101 pst->section_offsets, objfile);
4104 /* Similarly a hack. */
4105 else if (name[0] == '#')
4107 process_one_symbol (N_SLINE, 0, valu, name,
4108 pst->section_offsets, objfile);
4110 if (type_code == N_FUN)
4112 /* Make up special symbol to contain
4113 procedure specific info. */
4114 struct mdebug_extra_func_info *e =
4115 ((struct mdebug_extra_func_info *)
4116 obstack_alloc (&mdebugread_objfile->objfile_obstack,
4117 sizeof (struct mdebug_extra_func_info)));
4118 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
4120 memset (e, 0, sizeof (struct mdebug_extra_func_info));
4121 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
4122 SYMBOL_CLASS (s) = LOC_CONST;
4123 SYMBOL_TYPE (s) = objfile_type (objfile)->builtin_void;
4124 SYMBOL_VALUE_BYTES (s) = (gdb_byte *) e;
4125 e->pdr.framereg = -1;
4126 add_symbol_to_list (s, &local_symbols);
4129 else if (sh.st == stLabel)
4131 if (sh.index == indexNil)
4133 /* This is what the gcc2_compiled and __gnu_compiled_*
4134 show up as. So don't complain. */
4137 else
4139 /* Handle encoded stab line number. */
4140 valu += ANOFFSET (pst->section_offsets,
4141 SECT_OFF_TEXT (objfile));
4142 record_line (current_subfile, sh.index,
4143 gdbarch_addr_bits_remove (gdbarch, valu));
4146 else if (sh.st == stProc || sh.st == stStaticProc
4147 || sh.st == stStatic || sh.st == stEnd)
4148 /* These are generated by gcc-2.x, do not complain. */
4150 else
4151 complaint (&symfile_complaints,
4152 _("unknown stabs symbol %s"), name);
4155 if (! last_symtab_ended)
4157 st = end_symtab (pst->texthigh, objfile,
4158 SECT_OFF_TEXT (objfile));
4159 end_stabs ();
4162 /* There used to be a call to sort_blocks here, but this should not
4163 be necessary for stabs symtabs. And as sort_blocks modifies the
4164 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4165 it did the wrong thing if the first procedure in a file was
4166 generated via asm statements. */
4168 /* Fill in procedure info next. */
4169 if (fh->cpd > 0)
4171 PDR *pr_block;
4172 struct cleanup *old_chain;
4173 char *pdr_ptr;
4174 char *pdr_end;
4175 PDR *pdr_in;
4176 PDR *pdr_in_end;
4178 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4179 old_chain = make_cleanup (xfree, pr_block);
4181 pdr_ptr = ((char *) debug_info->external_pdr
4182 + fh->ipdFirst * external_pdr_size);
4183 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4184 pdr_in = pr_block;
4185 for (;
4186 pdr_ptr < pdr_end;
4187 pdr_ptr += external_pdr_size, pdr_in++)
4189 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4191 /* Determine lowest PDR address, the PDRs are not always
4192 sorted. */
4193 if (pdr_in == pr_block)
4194 lowest_pdr_addr = pdr_in->adr;
4195 else if (pdr_in->adr < lowest_pdr_addr)
4196 lowest_pdr_addr = pdr_in->adr;
4199 pdr_in = pr_block;
4200 pdr_in_end = pdr_in + fh->cpd;
4201 for (; pdr_in < pdr_in_end; pdr_in++)
4202 parse_procedure (pdr_in, st, pst);
4204 do_cleanups (old_chain);
4207 else
4209 /* This symbol table contains ordinary ecoff entries. */
4211 int maxlines, size;
4212 EXTR *ext_ptr;
4214 if (fh == 0)
4216 maxlines = 0;
4217 st = new_symtab ("unknown", 0, objfile);
4219 else
4221 maxlines = 2 * fh->cline;
4222 st = new_symtab (pst->filename, maxlines, objfile);
4224 /* The proper language was already determined when building
4225 the psymtab, use it. */
4226 st->language = PST_PRIVATE (pst)->pst_language;
4229 psymtab_language = st->language;
4231 lines = LINETABLE (st);
4233 /* Get a new lexical context. */
4235 push_parse_stack ();
4236 top_stack->cur_st = st;
4237 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (st),
4238 STATIC_BLOCK);
4239 BLOCK_START (top_stack->cur_block) = pst->textlow;
4240 BLOCK_END (top_stack->cur_block) = 0;
4241 top_stack->blocktype = stFile;
4242 top_stack->cur_type = 0;
4243 top_stack->procadr = 0;
4244 top_stack->numargs = 0;
4245 found_ecoff_debugging_info = 0;
4247 if (fh)
4249 char *sym_ptr;
4250 char *sym_end;
4252 /* Parse local symbols first. */
4253 sym_ptr = ((char *) debug_info->external_sym
4254 + fh->isymBase * external_sym_size);
4255 sym_end = sym_ptr + fh->csym * external_sym_size;
4256 while (sym_ptr < sym_end)
4258 SYMR sh;
4259 int c;
4261 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4262 c = parse_symbol (&sh,
4263 debug_info->external_aux + fh->iauxBase,
4264 sym_ptr, fh->fBigendian,
4265 pst->section_offsets, objfile);
4266 sym_ptr += c * external_sym_size;
4269 /* Linenumbers. At the end, check if we can save memory.
4270 parse_lines has to look ahead an arbitrary number of PDR
4271 structures, so we swap them all first. */
4272 if (fh->cpd > 0)
4274 PDR *pr_block;
4275 struct cleanup *old_chain;
4276 char *pdr_ptr;
4277 char *pdr_end;
4278 PDR *pdr_in;
4279 PDR *pdr_in_end;
4281 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4283 old_chain = make_cleanup (xfree, pr_block);
4285 pdr_ptr = ((char *) debug_info->external_pdr
4286 + fh->ipdFirst * external_pdr_size);
4287 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4288 pdr_in = pr_block;
4289 for (;
4290 pdr_ptr < pdr_end;
4291 pdr_ptr += external_pdr_size, pdr_in++)
4293 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4295 /* Determine lowest PDR address, the PDRs are not always
4296 sorted. */
4297 if (pdr_in == pr_block)
4298 lowest_pdr_addr = pdr_in->adr;
4299 else if (pdr_in->adr < lowest_pdr_addr)
4300 lowest_pdr_addr = pdr_in->adr;
4303 parse_lines (fh, pr_block, lines, maxlines,
4304 pst, lowest_pdr_addr);
4305 if (lines->nitems < fh->cline)
4306 lines = shrink_linetable (lines);
4308 /* Fill in procedure info next. */
4309 pdr_in = pr_block;
4310 pdr_in_end = pdr_in + fh->cpd;
4311 for (; pdr_in < pdr_in_end; pdr_in++)
4312 parse_procedure (pdr_in, 0, pst);
4314 do_cleanups (old_chain);
4318 size = lines->nitems;
4319 if (size > 1)
4320 --size;
4321 LINETABLE (st) = obstack_copy (&mdebugread_objfile->objfile_obstack,
4322 lines,
4323 (sizeof (struct linetable)
4324 + size * sizeof (lines->item)));
4325 xfree (lines);
4327 /* .. and our share of externals.
4328 XXX use the global list to speed up things here. How?
4329 FIXME, Maybe quit once we have found the right number of ext's? */
4330 top_stack->cur_st = st;
4331 top_stack->cur_block
4332 = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
4333 GLOBAL_BLOCK);
4334 top_stack->blocktype = stFile;
4336 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4337 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4338 parse_external (ext_ptr, fh->fBigendian,
4339 pst->section_offsets, objfile);
4341 /* If there are undefined symbols, tell the user.
4342 The alpha has an undefined symbol for every symbol that is
4343 from a shared library, so tell the user only if verbose is on. */
4344 if (info_verbose && n_undef_symbols)
4346 printf_filtered (_("File %s contains %d unresolved references:"),
4347 symtab_to_filename_for_display (st),
4348 n_undef_symbols);
4349 printf_filtered ("\n\t%4d variables\n\t%4d "
4350 "procedures\n\t%4d labels\n",
4351 n_undef_vars, n_undef_procs, n_undef_labels);
4352 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4355 pop_parse_stack ();
4357 st->primary = 1;
4359 sort_blocks (st);
4362 /* Now link the psymtab and the symtab. */
4363 pst->symtab = st;
4365 mdebugread_objfile = NULL;
4368 /* Ancillary parsing procedures. */
4370 /* Return 1 if the symbol pointed to by SH has a cross reference
4371 to an opaque aggregate type, else 0. */
4373 static int
4374 has_opaque_xref (FDR *fh, SYMR *sh)
4376 TIR tir;
4377 union aux_ext *ax;
4378 RNDXR rn[1];
4379 unsigned int rf;
4381 if (sh->index == indexNil)
4382 return 0;
4384 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4385 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4386 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4387 return 0;
4389 ax++;
4390 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4391 if (rn->rfd == 0xfff)
4392 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4393 else
4394 rf = rn->rfd;
4395 if (rf != -1)
4396 return 0;
4397 return 1;
4400 /* Lookup the type at relative index RN. Return it in TPP
4401 if found and in any event come up with its name PNAME.
4402 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4403 Return value says how many aux symbols we ate. */
4405 static int
4406 cross_ref (int fd, union aux_ext *ax, struct type **tpp,
4407 enum type_code type_code,
4408 /* Use to alloc new type if none is found. */
4409 char **pname, int bigend, char *sym_name)
4411 RNDXR rn[1];
4412 unsigned int rf;
4413 int result = 1;
4414 FDR *fh;
4415 char *esh;
4416 SYMR sh;
4417 int xref_fd;
4418 struct mdebug_pending *pend;
4420 *tpp = (struct type *) NULL;
4422 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4424 /* Escape index means 'the next one'. */
4425 if (rn->rfd == 0xfff)
4427 result++;
4428 rf = AUX_GET_ISYM (bigend, ax + 1);
4430 else
4432 rf = rn->rfd;
4435 /* mips cc uses a rf of -1 for opaque struct definitions.
4436 Set TYPE_FLAG_STUB for these types so that check_typedef will
4437 resolve them if the struct gets defined in another compilation unit. */
4438 if (rf == -1)
4440 *pname = "<undefined>";
4441 *tpp = init_type (type_code, 0, TYPE_FLAG_STUB,
4442 (char *) NULL, mdebugread_objfile);
4443 return result;
4446 /* mips cc uses an escaped rn->index of 0 for struct return types
4447 of procedures that were compiled without -g. These will always remain
4448 undefined. */
4449 if (rn->rfd == 0xfff && rn->index == 0)
4451 *pname = "<undefined>";
4452 return result;
4455 /* Find the relative file descriptor and the symbol in it. */
4456 fh = get_rfd (fd, rf);
4457 xref_fd = fh - debug_info->fdr;
4459 if (rn->index >= fh->csym)
4461 /* File indirect entry is corrupt. */
4462 *pname = "<illegal>";
4463 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4464 return result;
4467 /* If we have processed this symbol then we left a forwarding
4468 pointer to the type in the pending list. If not, we`ll put
4469 it in a list of pending types, to be processed later when
4470 the file will be. In any event, we collect the name for the
4471 type here. */
4473 esh = ((char *) debug_info->external_sym
4474 + ((fh->isymBase + rn->index)
4475 * debug_swap->external_sym_size));
4476 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4478 /* Make sure that this type of cross reference can be handled. */
4479 if ((sh.sc != scInfo
4480 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4481 && sh.st != stStruct && sh.st != stUnion
4482 && sh.st != stEnum))
4483 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4485 /* File indirect entry is corrupt. */
4486 *pname = "<illegal>";
4487 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4488 return result;
4491 *pname = debug_info->ss + fh->issBase + sh.iss;
4493 pend = is_pending_symbol (fh, esh);
4494 if (pend)
4495 *tpp = pend->t;
4496 else
4498 /* We have not yet seen this type. */
4500 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4502 TIR tir;
4504 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4505 two cases:
4506 a) forward declarations of structs/unions/enums which are not
4507 defined in this compilation unit.
4508 For these the type will be void. This is a bad design decision
4509 as cross referencing across compilation units is impossible
4510 due to the missing name.
4511 b) forward declarations of structs/unions/enums/typedefs which
4512 are defined later in this file or in another file in the same
4513 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4514 Simply cross reference those again to get the true type.
4515 The forward references are not entered in the pending list and
4516 in the symbol table. */
4518 (*debug_swap->swap_tir_in) (bigend,
4519 &(debug_info->external_aux
4520 + fh->iauxBase + sh.index)->a_ti,
4521 &tir);
4522 if (tir.tq0 != tqNil)
4523 complaint (&symfile_complaints,
4524 _("illegal tq0 in forward typedef for %s"), sym_name);
4525 switch (tir.bt)
4527 case btVoid:
4528 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4529 mdebugread_objfile);
4530 *pname = "<undefined>";
4531 break;
4533 case btStruct:
4534 case btUnion:
4535 case btEnum:
4536 cross_ref (xref_fd,
4537 (debug_info->external_aux
4538 + fh->iauxBase + sh.index + 1),
4539 tpp, type_code, pname,
4540 fh->fBigendian, sym_name);
4541 break;
4543 case btTypedef:
4544 /* Follow a forward typedef. This might recursively
4545 call cross_ref till we get a non typedef'ed type.
4546 FIXME: This is not correct behaviour, but gdb currently
4547 cannot handle typedefs without type copying. Type
4548 copying is impossible as we might have mutual forward
4549 references between two files and the copied type would not
4550 get filled in when we later parse its definition. */
4551 *tpp = parse_type (xref_fd,
4552 debug_info->external_aux + fh->iauxBase,
4553 sh.index,
4554 (int *) NULL,
4555 fh->fBigendian,
4556 debug_info->ss + fh->issBase + sh.iss);
4557 add_pending (fh, esh, *tpp);
4558 break;
4560 default:
4561 complaint (&symfile_complaints,
4562 _("illegal bt %d in forward typedef for %s"), tir.bt,
4563 sym_name);
4564 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4565 mdebugread_objfile);
4566 break;
4568 return result;
4570 else if (sh.st == stTypedef)
4572 /* Parse the type for a normal typedef. This might recursively call
4573 cross_ref till we get a non typedef'ed type.
4574 FIXME: This is not correct behaviour, but gdb currently
4575 cannot handle typedefs without type copying. But type copying is
4576 impossible as we might have mutual forward references between
4577 two files and the copied type would not get filled in when
4578 we later parse its definition. */
4579 *tpp = parse_type (xref_fd,
4580 debug_info->external_aux + fh->iauxBase,
4581 sh.index,
4582 (int *) NULL,
4583 fh->fBigendian,
4584 debug_info->ss + fh->issBase + sh.iss);
4586 else
4588 /* Cross reference to a struct/union/enum which is defined
4589 in another file in the same compilation unit but that file
4590 has not been parsed yet.
4591 Initialize the type only, it will be filled in when
4592 it's definition is parsed. */
4593 *tpp = init_type (type_code, 0, 0, (char *) NULL, mdebugread_objfile);
4595 add_pending (fh, esh, *tpp);
4598 /* We used one auxent normally, two if we got a "next one" rf. */
4599 return result;
4603 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4604 keeping the symtab sorted. */
4606 static struct symbol *
4607 mylookup_symbol (char *name, struct block *block,
4608 domain_enum domain, enum address_class class)
4610 struct block_iterator iter;
4611 int inc;
4612 struct symbol *sym;
4614 inc = name[0];
4615 ALL_BLOCK_SYMBOLS (block, iter, sym)
4617 if (SYMBOL_LINKAGE_NAME (sym)[0] == inc
4618 && SYMBOL_DOMAIN (sym) == domain
4619 && SYMBOL_CLASS (sym) == class
4620 && strcmp (SYMBOL_LINKAGE_NAME (sym), name) == 0)
4621 return sym;
4624 block = BLOCK_SUPERBLOCK (block);
4625 if (block)
4626 return mylookup_symbol (name, block, domain, class);
4627 return 0;
4631 /* Add a new symbol S to a block B. */
4633 static void
4634 add_symbol (struct symbol *s, struct symtab *symtab, struct block *b)
4636 SYMBOL_SYMTAB (s) = symtab;
4637 dict_add_symbol (BLOCK_DICT (b), s);
4640 /* Add a new block B to a symtab S. */
4642 static void
4643 add_block (struct block *b, struct symtab *s)
4645 struct blockvector *bv = BLOCKVECTOR (s);
4647 bv = (struct blockvector *) xrealloc ((void *) bv,
4648 (sizeof (struct blockvector)
4649 + BLOCKVECTOR_NBLOCKS (bv)
4650 * sizeof (bv->block)));
4651 if (bv != BLOCKVECTOR (s))
4652 BLOCKVECTOR (s) = bv;
4654 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4657 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4658 MIPS' linenumber encoding might need more than one byte
4659 to describe it, LAST is used to detect these continuation lines.
4661 Combining lines with the same line number seems like a bad idea.
4662 E.g: There could be a line number entry with the same line number after the
4663 prologue and GDB should not ignore it (this is a better way to find
4664 a prologue than mips_skip_prologue).
4665 But due to the compressed line table format there are line number entries
4666 for the same line which are needed to bridge the gap to the next
4667 line number entry. These entries have a bogus address info with them
4668 and we are unable to tell them from intended duplicate line number
4669 entries.
4670 This is another reason why -ggdb debugging format is preferable. */
4672 static int
4673 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4675 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4676 Change them to something sensible. */
4677 if (lineno == 0)
4678 lineno = 1;
4679 if (last == 0)
4680 last = -2; /* Make sure we record first line. */
4682 if (last == lineno) /* Skip continuation lines. */
4683 return lineno;
4685 lt->item[lt->nitems].line = lineno;
4686 lt->item[lt->nitems++].pc = adr << 2;
4687 return lineno;
4690 /* Sorting and reordering procedures. */
4692 /* Blocks with a smaller low bound should come first. */
4694 static int
4695 compare_blocks (const void *arg1, const void *arg2)
4697 LONGEST addr_diff;
4698 struct block **b1 = (struct block **) arg1;
4699 struct block **b2 = (struct block **) arg2;
4701 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4702 if (addr_diff == 0)
4703 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4704 return addr_diff;
4707 /* Sort the blocks of a symtab S.
4708 Reorder the blocks in the blockvector by code-address,
4709 as required by some MI search routines. */
4711 static void
4712 sort_blocks (struct symtab *s)
4714 struct blockvector *bv = BLOCKVECTOR (s);
4716 if (BLOCKVECTOR_NBLOCKS (bv) <= FIRST_LOCAL_BLOCK)
4718 /* Cosmetic */
4719 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4720 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4721 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4722 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4723 return;
4726 * This is very unfortunate: normally all functions are compiled in
4727 * the order they are found, but if the file is compiled -O3 things
4728 * are very different. It would be nice to find a reliable test
4729 * to detect -O3 images in advance.
4731 if (BLOCKVECTOR_NBLOCKS (bv) > FIRST_LOCAL_BLOCK + 1)
4732 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4733 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4734 sizeof (struct block *),
4735 compare_blocks);
4738 CORE_ADDR high = 0;
4739 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4741 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4742 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4743 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4744 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4747 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4748 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4750 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4751 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4752 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4753 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4757 /* Constructor/restructor/destructor procedures. */
4759 /* Allocate a new symtab for NAME. Needs an estimate of how many
4760 linenumbers MAXLINES we'll put in it. */
4762 static struct symtab *
4763 new_symtab (const char *name, int maxlines, struct objfile *objfile)
4765 struct symtab *s = allocate_symtab (name, objfile);
4767 LINETABLE (s) = new_linetable (maxlines);
4769 /* All symtabs must have at least two blocks. */
4770 BLOCKVECTOR (s) = new_bvect (2);
4771 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK)
4772 = new_block (NON_FUNCTION_BLOCK);
4773 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
4774 = new_block (NON_FUNCTION_BLOCK);
4775 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)) =
4776 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
4778 s->debugformat = "ECOFF";
4779 return (s);
4782 /* Allocate a new partial_symtab NAME. */
4784 static struct partial_symtab *
4785 new_psymtab (char *name, struct objfile *objfile)
4787 struct partial_symtab *psymtab;
4789 psymtab = allocate_psymtab (name, objfile);
4790 psymtab->section_offsets = objfile->section_offsets;
4792 /* Keep a backpointer to the file's symbols. */
4794 psymtab->read_symtab_private = obstack_alloc (&objfile->objfile_obstack,
4795 sizeof (struct symloc));
4796 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4797 CUR_BFD (psymtab) = cur_bfd;
4798 DEBUG_SWAP (psymtab) = debug_swap;
4799 DEBUG_INFO (psymtab) = debug_info;
4800 PENDING_LIST (psymtab) = pending_list;
4802 /* The way to turn this into a symtab is to call... */
4803 psymtab->read_symtab = mdebug_read_symtab;
4804 return (psymtab);
4808 /* Allocate a linetable array of the given SIZE. Since the struct
4809 already includes one item, we subtract one when calculating the
4810 proper size to allocate. */
4812 static struct linetable *
4813 new_linetable (int size)
4815 struct linetable *l;
4817 if (size > 1)
4818 --size;
4819 size = size * sizeof (l->item) + sizeof (struct linetable);
4820 l = (struct linetable *) xmalloc (size);
4821 l->nitems = 0;
4822 return l;
4825 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4826 I am not so sure about the 3.4 ones.
4828 Since the struct linetable already includes one item, we subtract one when
4829 calculating the proper size to allocate. */
4831 static struct linetable *
4832 shrink_linetable (struct linetable *lt)
4834 return (struct linetable *) xrealloc ((void *) lt,
4835 (sizeof (struct linetable)
4836 + ((lt->nitems - 1)
4837 * sizeof (lt->item))));
4840 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4842 static struct blockvector *
4843 new_bvect (int nblocks)
4845 struct blockvector *bv;
4846 int size;
4848 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4849 bv = (struct blockvector *) xzalloc (size);
4851 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4853 return bv;
4856 /* Allocate and zero a new block, and set its BLOCK_DICT. If function
4857 is non-zero, assume the block is associated to a function, and make
4858 sure that the symbols are stored linearly; otherwise, store them
4859 hashed. */
4861 static struct block *
4862 new_block (enum block_type type)
4864 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4865 allocate the block. Which, in turn, suggests that the block
4866 should be allocated on an obstack. */
4867 struct block *retval = xzalloc (sizeof (struct block));
4869 if (type == FUNCTION_BLOCK)
4870 BLOCK_DICT (retval) = dict_create_linear_expandable ();
4871 else
4872 BLOCK_DICT (retval) = dict_create_hashed_expandable ();
4874 return retval;
4877 /* Create a new symbol with printname NAME. */
4879 static struct symbol *
4880 new_symbol (char *name)
4882 struct symbol *s = ((struct symbol *)
4883 obstack_alloc (&mdebugread_objfile->objfile_obstack,
4884 sizeof (struct symbol)));
4886 memset (s, 0, sizeof (*s));
4887 SYMBOL_SET_LANGUAGE (s, psymtab_language);
4888 SYMBOL_SET_NAMES (s, name, strlen (name), 1, mdebugread_objfile);
4889 return s;
4892 /* Create a new type with printname NAME. */
4894 static struct type *
4895 new_type (char *name)
4897 struct type *t;
4899 t = alloc_type (mdebugread_objfile);
4900 TYPE_NAME (t) = name;
4901 INIT_CPLUS_SPECIFIC (t);
4902 return t;
4905 /* Read ECOFF debugging information from a BFD section. This is
4906 called from elfread.c. It parses the section into a
4907 ecoff_debug_info struct, and then lets the rest of the file handle
4908 it as normal. */
4910 void
4911 elfmdebug_build_psymtabs (struct objfile *objfile,
4912 const struct ecoff_debug_swap *swap, asection *sec)
4914 bfd *abfd = objfile->obfd;
4915 struct ecoff_debug_info *info;
4916 struct cleanup *back_to;
4918 /* FIXME: It's not clear whether we should be getting minimal symbol
4919 information from .mdebug in an ELF file, or whether we will.
4920 Re-initialize the minimal symbol reader in case we do. */
4922 init_minimal_symbol_collection ();
4923 back_to = make_cleanup_discard_minimal_symbols ();
4925 info = ((struct ecoff_debug_info *)
4926 obstack_alloc (&objfile->objfile_obstack,
4927 sizeof (struct ecoff_debug_info)));
4929 if (!(*swap->read_debug_info) (abfd, sec, info))
4930 error (_("Error reading ECOFF debugging information: %s"),
4931 bfd_errmsg (bfd_get_error ()));
4933 mdebug_build_psymtabs (objfile, swap, info);
4935 install_minimal_symbols (objfile);
4936 do_cleanups (back_to);
4939 void
4940 _initialize_mdebugread (void)
4942 basic_type_data = register_objfile_data ();