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