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