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