]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/mdebugread.c
* mdebugread.c (psymtab_to_symtab_1): Handle new live range stabs
[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 a partial symbol table has already been read for this file,
2494 don't make another one. This works around a problem with some
2495 compilers that emit both DWARF and mdebug sections for a single
2496 module. */
2497 if (lookup_partial_symtab (fdr_name (fh)))
2498 continue;
2499
2500 if (fh->csym == 0)
2501 {
2502 fdr_to_pst[f_idx].pst = NULL;
2503 continue;
2504 }
2505
2506 /* Determine the start address for this object file from the
2507 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2508 if (fh->cpd)
2509 {
2510 textlow = fh->adr;
2511 if (relocatable || textlow != 0)
2512 textlow += ANOFFSET (section_offsets, SECT_OFF_TEXT);
2513 }
2514 else
2515 textlow = 0;
2516 pst = start_psymtab_common (objfile, section_offsets,
2517 fdr_name (fh),
2518 textlow,
2519 objfile->global_psymbols.next,
2520 objfile->static_psymbols.next);
2521 pst->read_symtab_private = ((char *)
2522 obstack_alloc (&objfile->psymbol_obstack,
2523 sizeof (struct symloc)));
2524 memset ((PTR) pst->read_symtab_private, 0, sizeof (struct symloc));
2525
2526 save_pst = pst;
2527 FDR_IDX (pst) = f_idx;
2528 CUR_BFD (pst) = cur_bfd;
2529 DEBUG_SWAP (pst) = debug_swap;
2530 DEBUG_INFO (pst) = debug_info;
2531 PENDING_LIST (pst) = pending_list;
2532
2533 /* The way to turn this into a symtab is to call... */
2534 pst->read_symtab = mdebug_psymtab_to_symtab;
2535
2536 /* Set up language for the pst.
2537 The language from the FDR is used if it is unambigious (e.g. cfront
2538 with native cc and g++ will set the language to C).
2539 Otherwise we have to deduce the language from the filename.
2540 Native ecoff has every header file in a separate FDR, so
2541 deduce_language_from_filename will return language_unknown for
2542 a header file, which is not what we want.
2543 But the FDRs for the header files are after the FDR for the source
2544 file, so we can assign the language of the source file to the
2545 following header files. Then we save the language in the private
2546 pst data so that we can reuse it when building symtabs. */
2547 prev_language = psymtab_language;
2548
2549 switch (fh->lang)
2550 {
2551 case langCplusplusV2:
2552 psymtab_language = language_cplus;
2553 break;
2554 default:
2555 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2556 break;
2557 }
2558 if (psymtab_language == language_unknown)
2559 psymtab_language = prev_language;
2560 PST_PRIVATE (pst)->pst_language = psymtab_language;
2561
2562 pst->texthigh = pst->textlow;
2563
2564 /* For stabs-in-ecoff files, the second symbol must be @stab.
2565 This symbol is emitted by mips-tfile to signal that the
2566 current object file uses encapsulated stabs instead of mips
2567 ecoff for local symbols. (It is the second symbol because
2568 the first symbol is the stFile used to signal the start of a
2569 file). */
2570 processing_gcc_compilation = 0;
2571 if (fh->csym >= 2)
2572 {
2573 (*swap_sym_in) (cur_bfd,
2574 ((char *) debug_info->external_sym
2575 + (fh->isymBase + 1) * external_sym_size),
2576 &sh);
2577 if (STREQ (debug_info->ss + fh->issBase + sh.iss, stabs_symbol))
2578 processing_gcc_compilation = 2;
2579 }
2580
2581 if (processing_gcc_compilation != 0)
2582 {
2583 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2584 {
2585 int type_code;
2586 char *namestring;
2587
2588 (*swap_sym_in) (cur_bfd,
2589 (((char *) debug_info->external_sym)
2590 + (fh->isymBase + cur_sdx) * external_sym_size),
2591 &sh);
2592 type_code = ECOFF_UNMARK_STAB (sh.index);
2593 if (!ECOFF_IS_STAB (&sh))
2594 {
2595 if (sh.st == stProc || sh.st == stStaticProc)
2596 {
2597 CORE_ADDR procaddr;
2598 long isym;
2599
2600 sh.value += ANOFFSET (section_offsets, SECT_OFF_TEXT);
2601 if (sh.st == stStaticProc)
2602 {
2603 namestring = debug_info->ss + fh->issBase + sh.iss;
2604 prim_record_minimal_symbol_and_info (namestring,
2605 sh.value,
2606 mst_file_text,
2607 NULL,
2608 SECT_OFF_TEXT,
2609 NULL,
2610 objfile);
2611 }
2612 procaddr = sh.value;
2613
2614 isym = AUX_GET_ISYM (fh->fBigendian,
2615 (debug_info->external_aux
2616 + fh->iauxBase
2617 + sh.index));
2618 (*swap_sym_in) (cur_bfd,
2619 ((char *) debug_info->external_sym
2620 + ((fh->isymBase + isym - 1)
2621 * external_sym_size)),
2622 &sh);
2623 if (sh.st == stEnd)
2624 {
2625 CORE_ADDR high = procaddr + sh.value;
2626
2627 /* Kludge for Irix 5.2 zero fh->adr. */
2628 if (!relocatable
2629 && (pst->textlow == 0 || procaddr < pst->textlow))
2630 pst->textlow = procaddr;
2631 if (high > pst->texthigh)
2632 pst->texthigh = high;
2633 }
2634 }
2635 else if (sh.st == stStatic)
2636 {
2637 switch (sh.sc)
2638 {
2639 case scUndefined:
2640 case scSUndefined:
2641 case scNil:
2642 case scAbs:
2643 break;
2644
2645 case scData:
2646 case scSData:
2647 case scRData:
2648 case scPData:
2649 case scXData:
2650 namestring = debug_info->ss + fh->issBase + sh.iss;
2651 sh.value += ANOFFSET (section_offsets, SECT_OFF_DATA);
2652 prim_record_minimal_symbol_and_info (namestring,
2653 sh.value,
2654 mst_file_data,
2655 NULL,
2656 SECT_OFF_DATA,
2657 NULL,
2658 objfile);
2659 break;
2660
2661 default:
2662 namestring = debug_info->ss + fh->issBase + sh.iss;
2663 sh.value += ANOFFSET (section_offsets, SECT_OFF_BSS);
2664 prim_record_minimal_symbol_and_info (namestring,
2665 sh.value,
2666 mst_file_bss,
2667 NULL,
2668 SECT_OFF_BSS,
2669 NULL,
2670 objfile);
2671 break;
2672 }
2673 }
2674 continue;
2675 }
2676 #define SET_NAMESTRING() \
2677 namestring = debug_info->ss + fh->issBase + sh.iss
2678 #define CUR_SYMBOL_TYPE type_code
2679 #define CUR_SYMBOL_VALUE sh.value
2680 #define START_PSYMTAB(ofile,secoff,fname,low,symoff,global_syms,static_syms)\
2681 pst = save_pst
2682 #define END_PSYMTAB(pst,ilist,ninc,c_off,c_text,dep_list,n_deps,textlow_not_set) (void)0
2683 #define HANDLE_RBRAC(val) \
2684 if ((val) > save_pst->texthigh) save_pst->texthigh = (val);
2685 #include "partial-stab.h"
2686 }
2687 }
2688 else
2689 {
2690 for (cur_sdx = 0; cur_sdx < fh->csym;)
2691 {
2692 char *name;
2693 enum address_class class;
2694
2695 (*swap_sym_in) (cur_bfd,
2696 ((char *) debug_info->external_sym
2697 + ((fh->isymBase + cur_sdx)
2698 * external_sym_size)),
2699 &sh);
2700
2701 if (ECOFF_IS_STAB (&sh))
2702 {
2703 cur_sdx++;
2704 continue;
2705 }
2706
2707 /* Non absolute static symbols go into the minimal table. */
2708 if (sh.sc == scUndefined || sh.sc == scSUndefined
2709 || sh.sc == scNil
2710 || (sh.index == indexNil
2711 && (sh.st != stStatic || sh.sc == scAbs)))
2712 {
2713 /* FIXME, premature? */
2714 cur_sdx++;
2715 continue;
2716 }
2717
2718 name = debug_info->ss + fh->issBase + sh.iss;
2719
2720 switch (sh.sc)
2721 {
2722 case scText:
2723 case scRConst:
2724 /* The value of a stEnd symbol is the displacement from the
2725 corresponding start symbol value, do not relocate it. */
2726 if (sh.st != stEnd)
2727 sh.value += ANOFFSET (section_offsets, SECT_OFF_TEXT);
2728 break;
2729 case scData:
2730 case scSData:
2731 case scRData:
2732 case scPData:
2733 case scXData:
2734 sh.value += ANOFFSET (section_offsets, SECT_OFF_DATA);
2735 break;
2736 case scBss:
2737 case scSBss:
2738 sh.value += ANOFFSET (section_offsets, SECT_OFF_BSS);
2739 break;
2740 }
2741
2742 switch (sh.st)
2743 {
2744 CORE_ADDR high;
2745 CORE_ADDR procaddr;
2746 int new_sdx;
2747
2748 case stStaticProc:
2749 prim_record_minimal_symbol_and_info (name, sh.value,
2750 mst_file_text, NULL,
2751 SECT_OFF_TEXT, NULL,
2752 objfile);
2753
2754 /* FALLTHROUGH */
2755
2756 case stProc:
2757 /* Usually there is a local and a global stProc symbol
2758 for a function. This means that the function name
2759 has already been entered into the mimimal symbol table
2760 while processing the global symbols in pass 2 above.
2761 One notable exception is the PROGRAM name from
2762 f77 compiled executables, it is only put out as
2763 local stProc symbol, and a global MAIN__ stProc symbol
2764 points to it. It doesn't matter though, as gdb is
2765 still able to find the PROGRAM name via the partial
2766 symbol table, and the MAIN__ symbol via the minimal
2767 symbol table. */
2768 if (sh.st == stProc)
2769 add_psymbol_to_list (name, strlen (name),
2770 VAR_NAMESPACE, LOC_BLOCK,
2771 &objfile->global_psymbols,
2772 0, sh.value, psymtab_language, objfile);
2773 else
2774 add_psymbol_to_list (name, strlen (name),
2775 VAR_NAMESPACE, LOC_BLOCK,
2776 &objfile->static_psymbols,
2777 0, sh.value, psymtab_language, objfile);
2778
2779 /* Skip over procedure to next one. */
2780 if (sh.index >= hdr->iauxMax)
2781 {
2782 /* Should not happen, but does when cross-compiling
2783 with the MIPS compiler. FIXME -- pull later. */
2784 complain (&index_complaint, name);
2785 new_sdx = cur_sdx + 1; /* Don't skip at all */
2786 }
2787 else
2788 new_sdx = AUX_GET_ISYM (fh->fBigendian,
2789 (debug_info->external_aux
2790 + fh->iauxBase
2791 + sh.index));
2792 procaddr = sh.value;
2793
2794 if (new_sdx <= cur_sdx)
2795 {
2796 /* This should not happen either... FIXME. */
2797 complain (&aux_index_complaint, name);
2798 new_sdx = cur_sdx + 1; /* Don't skip backward */
2799 }
2800
2801 cur_sdx = new_sdx;
2802 (*swap_sym_in) (cur_bfd,
2803 ((char *) debug_info->external_sym
2804 + ((fh->isymBase + cur_sdx - 1)
2805 * external_sym_size)),
2806 &sh);
2807 if (sh.st != stEnd)
2808 continue;
2809
2810 /* Kludge for Irix 5.2 zero fh->adr. */
2811 if (!relocatable
2812 && (pst->textlow == 0 || procaddr < pst->textlow))
2813 pst->textlow = procaddr;
2814
2815 high = procaddr + sh.value;
2816 if (high > pst->texthigh)
2817 pst->texthigh = high;
2818 continue;
2819
2820 case stStatic: /* Variable */
2821 if (sh.sc == scData
2822 || sh.sc == scSData
2823 || sh.sc == scRData
2824 || sh.sc == scPData
2825 || sh.sc == scXData)
2826 prim_record_minimal_symbol_and_info (name, sh.value,
2827 mst_file_data, NULL,
2828 SECT_OFF_DATA,
2829 NULL,
2830 objfile);
2831 else
2832 prim_record_minimal_symbol_and_info (name, sh.value,
2833 mst_file_bss, NULL,
2834 SECT_OFF_BSS,
2835 NULL,
2836 objfile);
2837 class = LOC_STATIC;
2838 break;
2839
2840 case stIndirect:/* Irix5 forward declaration */
2841 /* Skip forward declarations from Irix5 cc */
2842 goto skip;
2843
2844 case stTypedef:/* Typedef */
2845 /* Skip typedefs for forward declarations and opaque
2846 structs from alpha and mips cc. */
2847 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
2848 goto skip;
2849 class = LOC_TYPEDEF;
2850 break;
2851
2852 case stConstant: /* Constant decl */
2853 class = LOC_CONST;
2854 break;
2855
2856 case stUnion:
2857 case stStruct:
2858 case stEnum:
2859 case stBlock: /* { }, str, un, enum*/
2860 /* Do not create a partial symbol for cc unnamed aggregates
2861 and gcc empty aggregates. */
2862 if ((sh.sc == scInfo
2863 || sh.sc == scCommon || sh.sc == scSCommon)
2864 && sh.iss != 0
2865 && sh.index != cur_sdx + 2)
2866 {
2867 add_psymbol_to_list (name, strlen (name),
2868 STRUCT_NAMESPACE, LOC_TYPEDEF,
2869 &objfile->static_psymbols,
2870 0, (CORE_ADDR) 0,
2871 psymtab_language, objfile);
2872 }
2873 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
2874
2875 /* Skip over the block */
2876 new_sdx = sh.index;
2877 if (new_sdx <= cur_sdx)
2878 {
2879 /* This happens with the Ultrix kernel. */
2880 complain (&block_index_complaint, name);
2881 new_sdx = cur_sdx + 1; /* Don't skip backward */
2882 }
2883 cur_sdx = new_sdx;
2884 continue;
2885
2886 case stFile: /* File headers */
2887 case stLabel: /* Labels */
2888 case stEnd: /* Ends of files */
2889 goto skip;
2890
2891 case stLocal: /* Local variables */
2892 /* Normally these are skipped because we skip over
2893 all blocks we see. However, these can occur
2894 as visible symbols in a .h file that contains code. */
2895 goto skip;
2896
2897 default:
2898 /* Both complaints are valid: one gives symbol name,
2899 the other the offending symbol type. */
2900 complain (&unknown_sym_complaint, name);
2901 complain (&unknown_st_complaint, sh.st);
2902 cur_sdx++;
2903 continue;
2904 }
2905 /* Use this gdb symbol */
2906 add_psymbol_to_list (name, strlen (name),
2907 VAR_NAMESPACE, class,
2908 &objfile->static_psymbols,
2909 0, sh.value, psymtab_language, objfile);
2910 skip:
2911 cur_sdx++; /* Go to next file symbol */
2912 }
2913
2914 /* Now do enter the external symbols. */
2915 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
2916 cur_sdx = fdr_to_pst[f_idx].n_globals;
2917 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
2918 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
2919 for (; --cur_sdx >= 0; ext_ptr++)
2920 {
2921 enum address_class class;
2922 SYMR *psh;
2923 char *name;
2924 CORE_ADDR svalue;
2925
2926 if (ext_ptr->ifd != f_idx)
2927 abort ();
2928 psh = &ext_ptr->asym;
2929
2930 /* Do not add undefined symbols to the partial symbol table. */
2931 if (psh->sc == scUndefined || psh->sc == scSUndefined
2932 || psh->sc == scNil)
2933 continue;
2934
2935 svalue = psh->value;
2936 switch (psh->sc)
2937 {
2938 case scText:
2939 case scRConst:
2940 svalue += ANOFFSET (section_offsets, SECT_OFF_TEXT);
2941 break;
2942 case scData:
2943 case scSData:
2944 case scRData:
2945 case scPData:
2946 case scXData:
2947 svalue += ANOFFSET (section_offsets, SECT_OFF_DATA);
2948 break;
2949 case scBss:
2950 case scSBss:
2951 svalue += ANOFFSET (section_offsets, SECT_OFF_BSS);
2952 break;
2953 }
2954
2955 switch (psh->st)
2956 {
2957 case stNil:
2958 /* These are generated for static symbols in .o files,
2959 ignore them. */
2960 continue;
2961 case stProc:
2962 case stStaticProc:
2963 /* External procedure symbols have been entered
2964 into the minimal symbol table in pass 2 above.
2965 Ignore them, as parse_external will ignore them too. */
2966 continue;
2967 case stLabel:
2968 class = LOC_LABEL;
2969 break;
2970 default:
2971 complain (&unknown_ext_complaint,
2972 debug_info->ssext + psh->iss);
2973 /* Fall through, pretend it's global. */
2974 case stGlobal:
2975 /* Global common symbols are resolved by the runtime loader,
2976 ignore them. */
2977 if (psh->sc == scCommon || psh->sc == scSCommon)
2978 continue;
2979
2980 class = LOC_STATIC;
2981 break;
2982 }
2983 name = debug_info->ssext + psh->iss;
2984 add_psymbol_to_list (name, strlen (name),
2985 VAR_NAMESPACE, class,
2986 &objfile->global_psymbols,
2987 0, svalue,
2988 psymtab_language, objfile);
2989 }
2990 }
2991
2992 /* Link pst to FDR. end_psymtab returns NULL if the psymtab was
2993 empty and put on the free list. */
2994 fdr_to_pst[f_idx].pst = end_psymtab (save_pst,
2995 psymtab_include_list, includes_used,
2996 -1, save_pst->texthigh,
2997 dependency_list, dependencies_used, textlow_not_set);
2998 includes_used = 0;
2999 dependencies_used = 0;
3000
3001 if (objfile->ei.entry_point >= save_pst->textlow &&
3002 objfile->ei.entry_point < save_pst->texthigh)
3003 {
3004 objfile->ei.entry_file_lowpc = save_pst->textlow;
3005 objfile->ei.entry_file_highpc = save_pst->texthigh;
3006 }
3007
3008 /* The objfile has its functions reordered if this partial symbol
3009 table overlaps any other partial symbol table.
3010 We cannot assume a reordered objfile if a partial symbol table
3011 is contained within another partial symbol table, as partial symbol
3012 tables for include files with executable code are contained
3013 within the partial symbol table for the including source file,
3014 and we do not want to flag the objfile reordered for these cases.
3015
3016 This strategy works well for Irix-5.2 shared libraries, but we
3017 might have to use a more elaborate (and slower) algorithm for
3018 other cases. */
3019 save_pst = fdr_to_pst[f_idx].pst;
3020 if (save_pst != NULL
3021 && save_pst->textlow != 0
3022 && !(objfile->flags & OBJF_REORDERED))
3023 {
3024 ALL_OBJFILE_PSYMTABS (objfile, pst)
3025 {
3026 if (save_pst != pst
3027 && save_pst->textlow >= pst->textlow
3028 && save_pst->textlow < pst->texthigh
3029 && save_pst->texthigh > pst->texthigh)
3030 {
3031 objfile->flags |= OBJF_REORDERED;
3032 break;
3033 }
3034 }
3035 }
3036 }
3037
3038 /* Now scan the FDRs for dependencies */
3039 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3040 {
3041 fh = f_idx + debug_info->fdr;
3042 pst = fdr_to_pst[f_idx].pst;
3043
3044 if (pst == (struct partial_symtab *)NULL)
3045 continue;
3046
3047 /* This should catch stabs-in-ecoff. */
3048 if (fh->crfd <= 1)
3049 continue;
3050
3051 /* Skip the first file indirect entry as it is a self dependency
3052 for source files or a reverse .h -> .c dependency for header files. */
3053 pst->number_of_dependencies = 0;
3054 pst->dependencies =
3055 ((struct partial_symtab **)
3056 obstack_alloc (&objfile->psymbol_obstack,
3057 ((fh->crfd - 1)
3058 * sizeof (struct partial_symtab *))));
3059 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3060 {
3061 RFDT rh;
3062
3063 (*swap_rfd_in) (cur_bfd,
3064 ((char *) debug_info->external_rfd
3065 + (fh->rfdBase + s_idx) * external_rfd_size),
3066 &rh);
3067 if (rh < 0 || rh >= hdr->ifdMax)
3068 {
3069 complain (&bad_file_number_complaint, rh);
3070 continue;
3071 }
3072
3073 /* Skip self dependencies of header files. */
3074 if (rh == f_idx)
3075 continue;
3076
3077 /* Do not add to dependeny list if psymtab was empty. */
3078 if (fdr_to_pst[rh].pst == (struct partial_symtab *)NULL)
3079 continue;
3080 pst->dependencies[pst->number_of_dependencies++] = fdr_to_pst[rh].pst;
3081 }
3082 }
3083
3084 /* Remove the dummy psymtab created for -O3 images above, if it is
3085 still empty, to enable the detection of stripped executables. */
3086 if (objfile->psymtabs->next == NULL
3087 && objfile->psymtabs->number_of_dependencies == 0
3088 && objfile->psymtabs->n_global_syms == 0
3089 && objfile->psymtabs->n_static_syms == 0)
3090 objfile->psymtabs = NULL;
3091 do_cleanups (old_chain);
3092 }
3093
3094 /* If the current psymbol has an enumerated type, we need to add
3095 all the the enum constants to the partial symbol table. */
3096
3097 static void
3098 handle_psymbol_enumerators (objfile, fh, stype, svalue)
3099 struct objfile *objfile;
3100 FDR *fh;
3101 int stype;
3102 CORE_ADDR svalue;
3103 {
3104 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3105 void (* const swap_sym_in) PARAMS ((bfd *, PTR, SYMR *))
3106 = debug_swap->swap_sym_in;
3107 char *ext_sym = ((char *) debug_info->external_sym
3108 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3109 SYMR sh;
3110 TIR tir;
3111
3112 switch (stype)
3113 {
3114 case stEnum:
3115 break;
3116
3117 case stBlock:
3118 /* It is an enumerated type if the next symbol entry is a stMember
3119 and its auxiliary index is indexNil or its auxiliary entry
3120 is a plain btNil or btVoid.
3121 Alpha cc -migrate enums are recognized by a zero index and
3122 a zero symbol value.
3123 DU 4.0 cc enums are recognized by a member type of btEnum without
3124 qualifiers and a zero symbol value. */
3125 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3126 if (sh.st != stMember)
3127 return;
3128
3129 if (sh.index == indexNil
3130 || (sh.index == 0 && svalue == 0))
3131 break;
3132 (*debug_swap->swap_tir_in) (fh->fBigendian,
3133 &(debug_info->external_aux
3134 + fh->iauxBase + sh.index)->a_ti,
3135 &tir);
3136 if ((tir.bt != btNil
3137 && tir.bt != btVoid
3138 && (tir.bt != btEnum || svalue != 0))
3139 || tir.tq0 != tqNil)
3140 return;
3141 break;
3142
3143 default:
3144 return;
3145 }
3146
3147 for (;;)
3148 {
3149 char *name;
3150
3151 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3152 if (sh.st != stMember)
3153 break;
3154 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3155
3156 /* Note that the value doesn't matter for enum constants
3157 in psymtabs, just in symtabs. */
3158 add_psymbol_to_list (name, strlen (name),
3159 VAR_NAMESPACE, LOC_CONST,
3160 &objfile->static_psymbols, 0,
3161 (CORE_ADDR) 0, psymtab_language, objfile);
3162 ext_sym += external_sym_size;
3163 }
3164 }
3165
3166 static char *
3167 mdebug_next_symbol_text (objfile)
3168 struct objfile *objfile; /* argument objfile is currently unused */
3169 {
3170 SYMR sh;
3171
3172 cur_sdx++;
3173 (*debug_swap->swap_sym_in) (cur_bfd,
3174 ((char *) debug_info->external_sym
3175 + ((cur_fdr->isymBase + cur_sdx)
3176 * debug_swap->external_sym_size)),
3177 &sh);
3178 return debug_info->ss + cur_fdr->issBase + sh.iss;
3179 }
3180
3181 /* Ancillary function to psymtab_to_symtab(). Does all the work
3182 for turning the partial symtab PST into a symtab, recurring
3183 first on all dependent psymtabs. The argument FILENAME is
3184 only passed so we can see in debug stack traces what file
3185 is being read.
3186
3187 This function has a split personality, based on whether the
3188 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3189 The flow of control and even the memory allocation differs. FIXME. */
3190
3191 static void
3192 psymtab_to_symtab_1 (pst, filename)
3193 struct partial_symtab *pst;
3194 char *filename;
3195 {
3196 bfd_size_type external_sym_size;
3197 bfd_size_type external_pdr_size;
3198 void (*swap_sym_in) PARAMS ((bfd *, PTR, SYMR *));
3199 void (*swap_pdr_in) PARAMS ((bfd *, PTR, PDR *));
3200 int i;
3201 struct symtab *st;
3202 FDR *fh;
3203 struct linetable *lines;
3204 CORE_ADDR lowest_pdr_addr = 0;
3205
3206 if (pst->readin)
3207 return;
3208 pst->readin = 1;
3209
3210 /* Read in all partial symbtabs on which this one is dependent.
3211 NOTE that we do have circular dependencies, sigh. We solved
3212 that by setting pst->readin before this point. */
3213
3214 for (i = 0; i < pst->number_of_dependencies; i++)
3215 if (!pst->dependencies[i]->readin)
3216 {
3217 /* Inform about additional files to be read in. */
3218 if (info_verbose)
3219 {
3220 fputs_filtered (" ", gdb_stdout);
3221 wrap_here ("");
3222 fputs_filtered ("and ", gdb_stdout);
3223 wrap_here ("");
3224 printf_filtered ("%s...",
3225 pst->dependencies[i]->filename);
3226 wrap_here (""); /* Flush output */
3227 gdb_flush (gdb_stdout);
3228 }
3229 /* We only pass the filename for debug purposes */
3230 psymtab_to_symtab_1 (pst->dependencies[i],
3231 pst->dependencies[i]->filename);
3232 }
3233
3234 /* Do nothing if this is a dummy psymtab. */
3235
3236 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3237 && pst->textlow == 0 && pst->texthigh == 0)
3238 return;
3239
3240 /* Now read the symbols for this symtab */
3241
3242 cur_bfd = CUR_BFD (pst);
3243 debug_swap = DEBUG_SWAP (pst);
3244 debug_info = DEBUG_INFO (pst);
3245 pending_list = PENDING_LIST (pst);
3246 external_sym_size = debug_swap->external_sym_size;
3247 external_pdr_size = debug_swap->external_pdr_size;
3248 swap_sym_in = debug_swap->swap_sym_in;
3249 swap_pdr_in = debug_swap->swap_pdr_in;
3250 current_objfile = pst->objfile;
3251 cur_fd = FDR_IDX (pst);
3252 fh = ((cur_fd == -1)
3253 ? (FDR *) NULL
3254 : debug_info->fdr + cur_fd);
3255 cur_fdr = fh;
3256
3257 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3258 processing_gcc_compilation = 0;
3259 if (fh != (FDR *) NULL && fh->csym >= 2)
3260 {
3261 SYMR sh;
3262
3263 (*swap_sym_in) (cur_bfd,
3264 ((char *) debug_info->external_sym
3265 + (fh->isymBase + 1) * external_sym_size),
3266 &sh);
3267 if (STREQ (debug_info->ss + fh->issBase + sh.iss,
3268 stabs_symbol))
3269 {
3270 /* We indicate that this is a GCC compilation so that certain
3271 features will be enabled in stabsread/dbxread. */
3272 processing_gcc_compilation = 2;
3273 }
3274 }
3275
3276 if (processing_gcc_compilation != 0)
3277 {
3278
3279 /* This symbol table contains stabs-in-ecoff entries. */
3280
3281 /* Parse local symbols first */
3282
3283 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr */
3284 {
3285 current_objfile = NULL;
3286 return;
3287 }
3288 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3289 {
3290 SYMR sh;
3291 char *name;
3292 CORE_ADDR valu;
3293
3294 (*swap_sym_in) (cur_bfd,
3295 (((char *) debug_info->external_sym)
3296 + (fh->isymBase + cur_sdx) * external_sym_size),
3297 &sh);
3298 name = debug_info->ss + fh->issBase + sh.iss;
3299 valu = sh.value;
3300 /* XXX This is a hack. It will go away! */
3301 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3302 {
3303 int type_code = ECOFF_UNMARK_STAB (sh.index);
3304
3305 /* We should never get non N_STAB symbols here, but they
3306 should be harmless, so keep process_one_symbol from
3307 complaining about them. */
3308 if (type_code & N_STAB)
3309 {
3310 process_one_symbol (type_code, 0, valu, name,
3311 pst->section_offsets, pst->objfile);
3312 }
3313 /* Similarly a hack. */
3314 else if (name[0] == '#')
3315 {
3316 process_one_symbol (N_SLINE, 0, valu, name,
3317 pst->section_offsets, pst->objfile);
3318 }
3319 if (type_code == N_FUN)
3320 {
3321 /* Make up special symbol to contain
3322 procedure specific info */
3323 struct mips_extra_func_info *e =
3324 ((struct mips_extra_func_info *)
3325 obstack_alloc (&current_objfile->symbol_obstack,
3326 sizeof (struct mips_extra_func_info)));
3327 struct symbol *s = new_symbol (MIPS_EFI_SYMBOL_NAME);
3328
3329 memset ((PTR) e, 0, sizeof (struct mips_extra_func_info));
3330 SYMBOL_NAMESPACE (s) = LABEL_NAMESPACE;
3331 SYMBOL_CLASS (s) = LOC_CONST;
3332 SYMBOL_TYPE (s) = mdebug_type_void;
3333 SYMBOL_VALUE (s) = (long) e;
3334 e->pdr.framereg = -1;
3335 add_symbol_to_list (s, &local_symbols);
3336 }
3337 }
3338 else if (sh.st == stLabel)
3339 {
3340 if (sh.index == indexNil)
3341 {
3342 /* This is what the gcc2_compiled and __gnu_compiled_*
3343 show up as. So don't complain. */
3344 ;
3345 }
3346 else
3347 {
3348 /* Handle encoded stab line number. */
3349 valu += ANOFFSET (pst->section_offsets, SECT_OFF_TEXT);
3350 record_line (current_subfile, sh.index, valu);
3351 }
3352 }
3353 else if (sh.st == stProc || sh.st == stStaticProc
3354 || sh.st == stStatic || sh.st == stEnd)
3355 /* These are generated by gcc-2.x, do not complain */
3356 ;
3357 else
3358 complain (&stab_unknown_complaint, name);
3359 }
3360 st = end_symtab (pst->texthigh, pst->objfile, SECT_OFF_TEXT);
3361 end_stabs ();
3362
3363 /* Sort the symbol table now, we are done adding symbols to it.
3364 We must do this before parse_procedure calls lookup_symbol. */
3365 sort_symtab_syms (st);
3366
3367 /* There used to be a call to sort_blocks here, but this should not
3368 be necessary for stabs symtabs. And as sort_blocks modifies the
3369 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
3370 it did the wrong thing if the first procedure in a file was
3371 generated via asm statements. */
3372
3373 /* Fill in procedure info next. */
3374 if (fh->cpd > 0)
3375 {
3376 PDR *pr_block;
3377 struct cleanup *old_chain;
3378 char *pdr_ptr;
3379 char *pdr_end;
3380 PDR *pdr_in;
3381 PDR *pdr_in_end;
3382
3383 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
3384 old_chain = make_cleanup (free, pr_block);
3385
3386 pdr_ptr = ((char *) debug_info->external_pdr
3387 + fh->ipdFirst * external_pdr_size);
3388 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
3389 pdr_in = pr_block;
3390 for (;
3391 pdr_ptr < pdr_end;
3392 pdr_ptr += external_pdr_size, pdr_in++)
3393 {
3394 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
3395
3396 /* Determine lowest PDR address, the PDRs are not always
3397 sorted. */
3398 if (pdr_in == pr_block)
3399 lowest_pdr_addr = pdr_in->adr;
3400 else if (pdr_in->adr < lowest_pdr_addr)
3401 lowest_pdr_addr = pdr_in->adr;
3402 }
3403
3404 pdr_in = pr_block;
3405 pdr_in_end = pdr_in + fh->cpd;
3406 for (; pdr_in < pdr_in_end; pdr_in++)
3407 parse_procedure (pdr_in, st, pst);
3408
3409 do_cleanups (old_chain);
3410 }
3411 }
3412 else
3413 {
3414 /* This symbol table contains ordinary ecoff entries. */
3415
3416 int f_max;
3417 int maxlines;
3418 EXTR *ext_ptr;
3419
3420 /* How many symbols will we need */
3421 /* FIXME, this does not count enum values. */
3422 f_max = pst->n_global_syms + pst->n_static_syms;
3423 if (fh == 0)
3424 {
3425 maxlines = 0;
3426 st = new_symtab ("unknown", f_max, 0, pst->objfile);
3427 }
3428 else
3429 {
3430 f_max += fh->csym + fh->cpd;
3431 maxlines = 2 * fh->cline;
3432 st = new_symtab (pst->filename, 2 * f_max, maxlines, pst->objfile);
3433
3434 /* The proper language was already determined when building
3435 the psymtab, use it. */
3436 st->language = PST_PRIVATE (pst)->pst_language;
3437 }
3438
3439 psymtab_language = st->language;
3440
3441 lines = LINETABLE (st);
3442
3443 /* Get a new lexical context */
3444
3445 push_parse_stack ();
3446 top_stack->cur_st = st;
3447 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (st),
3448 STATIC_BLOCK);
3449 BLOCK_START (top_stack->cur_block) = pst->textlow;
3450 BLOCK_END (top_stack->cur_block) = 0;
3451 top_stack->blocktype = stFile;
3452 top_stack->maxsyms = 2 * f_max;
3453 top_stack->cur_type = 0;
3454 top_stack->procadr = 0;
3455 top_stack->numargs = 0;
3456 found_ecoff_debugging_info = 0;
3457
3458 if (fh)
3459 {
3460 char *sym_ptr;
3461 char *sym_end;
3462
3463 /* Parse local symbols first */
3464 sym_ptr = ((char *) debug_info->external_sym
3465 + fh->isymBase * external_sym_size);
3466 sym_end = sym_ptr + fh->csym * external_sym_size;
3467 while (sym_ptr < sym_end)
3468 {
3469 SYMR sh;
3470 int c;
3471
3472 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
3473 c = parse_symbol (&sh,
3474 debug_info->external_aux + fh->iauxBase,
3475 sym_ptr, fh->fBigendian, pst->section_offsets);
3476 sym_ptr += c * external_sym_size;
3477 }
3478
3479 /* Linenumbers. At the end, check if we can save memory.
3480 parse_lines has to look ahead an arbitrary number of PDR
3481 structures, so we swap them all first. */
3482 if (fh->cpd > 0)
3483 {
3484 PDR *pr_block;
3485 struct cleanup *old_chain;
3486 char *pdr_ptr;
3487 char *pdr_end;
3488 PDR *pdr_in;
3489 PDR *pdr_in_end;
3490
3491 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
3492
3493 old_chain = make_cleanup (free, pr_block);
3494
3495 pdr_ptr = ((char *) debug_info->external_pdr
3496 + fh->ipdFirst * external_pdr_size);
3497 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
3498 pdr_in = pr_block;
3499 for (;
3500 pdr_ptr < pdr_end;
3501 pdr_ptr += external_pdr_size, pdr_in++)
3502 {
3503 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
3504
3505 /* Determine lowest PDR address, the PDRs are not always
3506 sorted. */
3507 if (pdr_in == pr_block)
3508 lowest_pdr_addr = pdr_in->adr;
3509 else if (pdr_in->adr < lowest_pdr_addr)
3510 lowest_pdr_addr = pdr_in->adr;
3511 }
3512
3513 parse_lines (fh, pr_block, lines, maxlines, pst, lowest_pdr_addr);
3514 if (lines->nitems < fh->cline)
3515 lines = shrink_linetable (lines);
3516
3517 /* Fill in procedure info next. */
3518 pdr_in = pr_block;
3519 pdr_in_end = pdr_in + fh->cpd;
3520 for (; pdr_in < pdr_in_end; pdr_in++)
3521 parse_procedure (pdr_in, 0, pst);
3522
3523 do_cleanups (old_chain);
3524 }
3525 }
3526
3527 LINETABLE (st) = lines;
3528
3529 /* .. and our share of externals.
3530 XXX use the global list to speed up things here. how?
3531 FIXME, Maybe quit once we have found the right number of ext's? */
3532 top_stack->cur_st = st;
3533 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
3534 GLOBAL_BLOCK);
3535 top_stack->blocktype = stFile;
3536 top_stack->maxsyms
3537 = (debug_info->symbolic_header.isymMax
3538 + debug_info->symbolic_header.ipdMax
3539 + debug_info->symbolic_header.iextMax);
3540
3541 ext_ptr = PST_PRIVATE (pst)->extern_tab;
3542 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
3543 parse_external (ext_ptr, fh->fBigendian, pst->section_offsets);
3544
3545 /* If there are undefined symbols, tell the user.
3546 The alpha has an undefined symbol for every symbol that is
3547 from a shared library, so tell the user only if verbose is on. */
3548 if (info_verbose && n_undef_symbols)
3549 {
3550 printf_filtered ("File %s contains %d unresolved references:",
3551 st->filename, n_undef_symbols);
3552 printf_filtered ("\n\t%4d variables\n\t%4d procedures\n\t%4d labels\n",
3553 n_undef_vars, n_undef_procs, n_undef_labels);
3554 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
3555
3556 }
3557 pop_parse_stack ();
3558
3559 st->primary = 1;
3560
3561 /* Sort the symbol table now, we are done adding symbols to it.*/
3562 sort_symtab_syms (st);
3563
3564 sort_blocks (st);
3565 }
3566
3567 /* Now link the psymtab and the symtab. */
3568 pst->symtab = st;
3569
3570 current_objfile = NULL;
3571 }
3572 \f
3573 /* Ancillary parsing procedures. */
3574
3575 /* Return 1 if the symbol pointed to by SH has a cross reference
3576 to an opaque aggregate type, else 0. */
3577
3578 static int
3579 has_opaque_xref (fh, sh)
3580 FDR *fh;
3581 SYMR *sh;
3582 {
3583 TIR tir;
3584 union aux_ext *ax;
3585 RNDXR rn[1];
3586 unsigned int rf;
3587
3588 if (sh->index == indexNil)
3589 return 0;
3590
3591 ax = debug_info->external_aux + fh->iauxBase + sh->index;
3592 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
3593 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
3594 return 0;
3595
3596 ax++;
3597 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
3598 if (rn->rfd == 0xfff)
3599 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
3600 else
3601 rf = rn->rfd;
3602 if (rf != -1)
3603 return 0;
3604 return 1;
3605 }
3606
3607 /* Lookup the type at relative index RN. Return it in TPP
3608 if found and in any event come up with its name PNAME.
3609 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
3610 Return value says how many aux symbols we ate. */
3611
3612 static int
3613 cross_ref (fd, ax, tpp, type_code, pname, bigend, sym_name)
3614 int fd;
3615 union aux_ext *ax;
3616 struct type **tpp;
3617 enum type_code type_code; /* Use to alloc new type if none is found. */
3618 char **pname;
3619 int bigend;
3620 char *sym_name;
3621 {
3622 RNDXR rn[1];
3623 unsigned int rf;
3624 int result = 1;
3625 FDR *fh;
3626 char *esh;
3627 SYMR sh;
3628 int xref_fd;
3629 struct mdebug_pending *pend;
3630
3631 *tpp = (struct type *)NULL;
3632
3633 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
3634
3635 /* Escape index means 'the next one' */
3636 if (rn->rfd == 0xfff)
3637 {
3638 result++;
3639 rf = AUX_GET_ISYM (bigend, ax + 1);
3640 }
3641 else
3642 {
3643 rf = rn->rfd;
3644 }
3645
3646 /* mips cc uses a rf of -1 for opaque struct definitions.
3647 Set TYPE_FLAG_STUB for these types so that check_typedef will
3648 resolve them if the struct gets defined in another compilation unit. */
3649 if (rf == -1)
3650 {
3651 *pname = "<undefined>";
3652 *tpp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
3653 TYPE_FLAGS (*tpp) |= TYPE_FLAG_STUB;
3654 return result;
3655 }
3656
3657 /* mips cc uses an escaped rn->index of 0 for struct return types
3658 of procedures that were compiled without -g. These will always remain
3659 undefined. */
3660 if (rn->rfd == 0xfff && rn->index == 0)
3661 {
3662 *pname = "<undefined>";
3663 return result;
3664 }
3665
3666 /* Find the relative file descriptor and the symbol in it. */
3667 fh = get_rfd (fd, rf);
3668 xref_fd = fh - debug_info->fdr;
3669
3670 if (rn->index >= fh->csym)
3671 {
3672 /* File indirect entry is corrupt. */
3673 *pname = "<illegal>";
3674 complain (&bad_rfd_entry_complaint,
3675 sym_name, xref_fd, rn->index);
3676 return result;
3677 }
3678
3679 /* If we have processed this symbol then we left a forwarding
3680 pointer to the type in the pending list. If not, we`ll put
3681 it in a list of pending types, to be processed later when
3682 the file will be. In any event, we collect the name for the
3683 type here. */
3684
3685 esh = ((char *) debug_info->external_sym
3686 + ((fh->isymBase + rn->index)
3687 * debug_swap->external_sym_size));
3688 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
3689
3690 /* Make sure that this type of cross reference can be handled. */
3691 if ((sh.sc != scInfo
3692 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
3693 && sh.st != stStruct && sh.st != stUnion
3694 && sh.st != stEnum))
3695 && (sh.st != stBlock || (sh.sc != scCommon && sh.sc != scSCommon)))
3696 {
3697 /* File indirect entry is corrupt. */
3698 *pname = "<illegal>";
3699 complain (&bad_rfd_entry_complaint,
3700 sym_name, xref_fd, rn->index);
3701 return result;
3702 }
3703
3704 *pname = debug_info->ss + fh->issBase + sh.iss;
3705
3706 pend = is_pending_symbol (fh, esh);
3707 if (pend)
3708 *tpp = pend->t;
3709 else
3710 {
3711 /* We have not yet seen this type. */
3712
3713 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
3714 {
3715 TIR tir;
3716
3717 /* alpha cc puts out a stTypedef with a sh.iss of zero for
3718 two cases:
3719 a) forward declarations of structs/unions/enums which are not
3720 defined in this compilation unit.
3721 For these the type will be void. This is a bad design decision
3722 as cross referencing across compilation units is impossible
3723 due to the missing name.
3724 b) forward declarations of structs/unions/enums/typedefs which
3725 are defined later in this file or in another file in the same
3726 compilation unit. Irix5 cc uses a stIndirect symbol for this.
3727 Simply cross reference those again to get the true type.
3728 The forward references are not entered in the pending list and
3729 in the symbol table. */
3730
3731 (*debug_swap->swap_tir_in) (bigend,
3732 &(debug_info->external_aux
3733 + fh->iauxBase + sh.index)->a_ti,
3734 &tir);
3735 if (tir.tq0 != tqNil)
3736 complain (&illegal_forward_tq0_complaint, sym_name);
3737 switch (tir.bt)
3738 {
3739 case btVoid:
3740 *tpp = init_type (type_code, 0, 0, (char *) NULL,
3741 current_objfile);
3742 *pname = "<undefined>";
3743 break;
3744
3745 case btStruct:
3746 case btUnion:
3747 case btEnum:
3748 cross_ref (xref_fd,
3749 (debug_info->external_aux
3750 + fh->iauxBase + sh.index + 1),
3751 tpp, type_code, pname,
3752 fh->fBigendian, sym_name);
3753 break;
3754
3755 case btTypedef:
3756 /* Follow a forward typedef. This might recursively
3757 call cross_ref till we get a non typedef'ed type.
3758 FIXME: This is not correct behaviour, but gdb currently
3759 cannot handle typedefs without type copying. Type
3760 copying is impossible as we might have mutual forward
3761 references between two files and the copied type would not
3762 get filled in when we later parse its definition. */
3763 *tpp = parse_type (xref_fd,
3764 debug_info->external_aux + fh->iauxBase,
3765 sh.index,
3766 (int *)NULL,
3767 fh->fBigendian,
3768 debug_info->ss + fh->issBase + sh.iss);
3769 add_pending (fh, esh, *tpp);
3770 break;
3771
3772 default:
3773 complain (&illegal_forward_bt_complaint, tir.bt, sym_name);
3774 *tpp = init_type (type_code, 0, 0, (char *) NULL,
3775 current_objfile);
3776 break;
3777 }
3778 return result;
3779 }
3780 else if (sh.st == stTypedef)
3781 {
3782 /* Parse the type for a normal typedef. This might recursively call
3783 cross_ref till we get a non typedef'ed type.
3784 FIXME: This is not correct behaviour, but gdb currently
3785 cannot handle typedefs without type copying. But type copying is
3786 impossible as we might have mutual forward references between
3787 two files and the copied type would not get filled in when
3788 we later parse its definition. */
3789 *tpp = parse_type (xref_fd,
3790 debug_info->external_aux + fh->iauxBase,
3791 sh.index,
3792 (int *)NULL,
3793 fh->fBigendian,
3794 debug_info->ss + fh->issBase + sh.iss);
3795 }
3796 else
3797 {
3798 /* Cross reference to a struct/union/enum which is defined
3799 in another file in the same compilation unit but that file
3800 has not been parsed yet.
3801 Initialize the type only, it will be filled in when
3802 it's definition is parsed. */
3803 *tpp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
3804 }
3805 add_pending (fh, esh, *tpp);
3806 }
3807
3808 /* We used one auxent normally, two if we got a "next one" rf. */
3809 return result;
3810 }
3811
3812
3813 /* Quick&dirty lookup procedure, to avoid the MI ones that require
3814 keeping the symtab sorted */
3815
3816 static struct symbol *
3817 mylookup_symbol (name, block, namespace, class)
3818 char *name;
3819 register struct block *block;
3820 namespace_enum namespace;
3821 enum address_class class;
3822 {
3823 register int bot, top, inc;
3824 register struct symbol *sym;
3825
3826 bot = 0;
3827 top = BLOCK_NSYMS (block);
3828 inc = name[0];
3829 while (bot < top)
3830 {
3831 sym = BLOCK_SYM (block, bot);
3832 if (SYMBOL_NAME (sym)[0] == inc
3833 && SYMBOL_NAMESPACE (sym) == namespace
3834 && SYMBOL_CLASS (sym) == class
3835 && strcmp (SYMBOL_NAME (sym), name) == 0)
3836 return sym;
3837 bot++;
3838 }
3839 block = BLOCK_SUPERBLOCK (block);
3840 if (block)
3841 return mylookup_symbol (name, block, namespace, class);
3842 return 0;
3843 }
3844
3845
3846 /* Add a new symbol S to a block B.
3847 Infrequently, we will need to reallocate the block to make it bigger.
3848 We only detect this case when adding to top_stack->cur_block, since
3849 that's the only time we know how big the block is. FIXME. */
3850
3851 static void
3852 add_symbol (s, b)
3853 struct symbol *s;
3854 struct block *b;
3855 {
3856 int nsyms = BLOCK_NSYMS (b)++;
3857 struct block *origb;
3858 struct parse_stack *stackp;
3859
3860 if (b == top_stack->cur_block &&
3861 nsyms >= top_stack->maxsyms)
3862 {
3863 complain (&block_overflow_complaint, SYMBOL_NAME (s));
3864 /* In this case shrink_block is actually grow_block, since
3865 BLOCK_NSYMS(b) is larger than its current size. */
3866 origb = b;
3867 b = shrink_block (top_stack->cur_block, top_stack->cur_st);
3868
3869 /* Now run through the stack replacing pointers to the
3870 original block. shrink_block has already done this
3871 for the blockvector and BLOCK_FUNCTION. */
3872 for (stackp = top_stack; stackp; stackp = stackp->next)
3873 {
3874 if (stackp->cur_block == origb)
3875 {
3876 stackp->cur_block = b;
3877 stackp->maxsyms = BLOCK_NSYMS (b);
3878 }
3879 }
3880 }
3881 BLOCK_SYM (b, nsyms) = s;
3882 }
3883
3884 /* Add a new block B to a symtab S */
3885
3886 static void
3887 add_block (b, s)
3888 struct block *b;
3889 struct symtab *s;
3890 {
3891 struct blockvector *bv = BLOCKVECTOR (s);
3892
3893 bv = (struct blockvector *) xrealloc ((PTR) bv,
3894 (sizeof (struct blockvector)
3895 + BLOCKVECTOR_NBLOCKS (bv)
3896 * sizeof (bv->block)));
3897 if (bv != BLOCKVECTOR (s))
3898 BLOCKVECTOR (s) = bv;
3899
3900 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
3901 }
3902
3903 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
3904 MIPS' linenumber encoding might need more than one byte
3905 to describe it, LAST is used to detect these continuation lines.
3906
3907 Combining lines with the same line number seems like a bad idea.
3908 E.g: There could be a line number entry with the same line number after the
3909 prologue and GDB should not ignore it (this is a better way to find
3910 a prologue than mips_skip_prologue).
3911 But due to the compressed line table format there are line number entries
3912 for the same line which are needed to bridge the gap to the next
3913 line number entry. These entries have a bogus address info with them
3914 and we are unable to tell them from intended duplicate line number
3915 entries.
3916 This is another reason why -ggdb debugging format is preferable. */
3917
3918 static int
3919 add_line (lt, lineno, adr, last)
3920 struct linetable *lt;
3921 int lineno;
3922 CORE_ADDR adr;
3923 int last;
3924 {
3925 /* DEC c89 sometimes produces zero linenos which confuse gdb.
3926 Change them to something sensible. */
3927 if (lineno == 0)
3928 lineno = 1;
3929 if (last == 0)
3930 last = -2; /* make sure we record first line */
3931
3932 if (last == lineno) /* skip continuation lines */
3933 return lineno;
3934
3935 lt->item[lt->nitems].line = lineno;
3936 lt->item[lt->nitems++].pc = adr << 2;
3937 return lineno;
3938 }
3939 \f
3940 /* Sorting and reordering procedures */
3941
3942 /* Blocks with a smaller low bound should come first */
3943
3944 static int
3945 compare_blocks (arg1, arg2)
3946 const PTR arg1;
3947 const PTR arg2;
3948 {
3949 register int addr_diff;
3950 struct block **b1 = (struct block **) arg1;
3951 struct block **b2 = (struct block **) arg2;
3952
3953 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
3954 if (addr_diff == 0)
3955 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
3956 return addr_diff;
3957 }
3958
3959 /* Sort the blocks of a symtab S.
3960 Reorder the blocks in the blockvector by code-address,
3961 as required by some MI search routines */
3962
3963 static void
3964 sort_blocks (s)
3965 struct symtab *s;
3966 {
3967 struct blockvector *bv = BLOCKVECTOR (s);
3968
3969 if (BLOCKVECTOR_NBLOCKS (bv) <= 2)
3970 {
3971 /* Cosmetic */
3972 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
3973 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
3974 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
3975 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
3976 return;
3977 }
3978 /*
3979 * This is very unfortunate: normally all functions are compiled in
3980 * the order they are found, but if the file is compiled -O3 things
3981 * are very different. It would be nice to find a reliable test
3982 * to detect -O3 images in advance.
3983 */
3984 if (BLOCKVECTOR_NBLOCKS (bv) > 3)
3985 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
3986 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
3987 sizeof (struct block *),
3988 compare_blocks);
3989
3990 {
3991 register CORE_ADDR high = 0;
3992 register int i, j = BLOCKVECTOR_NBLOCKS (bv);
3993
3994 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
3995 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
3996 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
3997 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
3998 }
3999
4000 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4001 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4002
4003 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4004 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4005 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4006 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4007 }
4008 \f
4009
4010 /* Constructor/restructor/destructor procedures */
4011
4012 /* Allocate a new symtab for NAME. Needs an estimate of how many symbols
4013 MAXSYMS and linenumbers MAXLINES we'll put in it */
4014
4015 static struct symtab *
4016 new_symtab (name, maxsyms, maxlines, objfile)
4017 char *name;
4018 int maxsyms;
4019 int maxlines;
4020 struct objfile *objfile;
4021 {
4022 struct symtab *s = allocate_symtab (name, objfile);
4023
4024 LINETABLE (s) = new_linetable (maxlines);
4025
4026 /* All symtabs must have at least two blocks */
4027 BLOCKVECTOR (s) = new_bvect (2);
4028 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK) = new_block (maxsyms);
4029 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK) = new_block (maxsyms);
4030 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)) =
4031 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
4032
4033 s->free_code = free_linetable;
4034 s->debugformat = obsavestring ("ECOFF", 5,
4035 &objfile -> symbol_obstack);
4036 return (s);
4037 }
4038
4039 /* Allocate a new partial_symtab NAME */
4040
4041 static struct partial_symtab *
4042 new_psymtab (name, objfile, section_offsets)
4043 char *name;
4044 struct objfile *objfile;
4045 struct section_offsets *section_offsets;
4046 {
4047 struct partial_symtab *psymtab;
4048
4049 psymtab = allocate_psymtab (name, objfile);
4050 psymtab->section_offsets = section_offsets;
4051
4052 /* Keep a backpointer to the file's symbols */
4053
4054 psymtab->read_symtab_private = ((char *)
4055 obstack_alloc (&objfile->psymbol_obstack,
4056 sizeof (struct symloc)));
4057 memset ((PTR) psymtab->read_symtab_private, 0, sizeof (struct symloc));
4058 CUR_BFD (psymtab) = cur_bfd;
4059 DEBUG_SWAP (psymtab) = debug_swap;
4060 DEBUG_INFO (psymtab) = debug_info;
4061 PENDING_LIST (psymtab) = pending_list;
4062
4063 /* The way to turn this into a symtab is to call... */
4064 psymtab->read_symtab = mdebug_psymtab_to_symtab;
4065 return (psymtab);
4066 }
4067
4068
4069 /* Allocate a linetable array of the given SIZE. Since the struct
4070 already includes one item, we subtract one when calculating the
4071 proper size to allocate. */
4072
4073 static struct linetable *
4074 new_linetable (size)
4075 int size;
4076 {
4077 struct linetable *l;
4078
4079 size = (size - 1) * sizeof (l->item) + sizeof (struct linetable);
4080 l = (struct linetable *) xmalloc (size);
4081 l->nitems = 0;
4082 return l;
4083 }
4084
4085 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4086 I am not so sure about the 3.4 ones.
4087
4088 Since the struct linetable already includes one item, we subtract one when
4089 calculating the proper size to allocate. */
4090
4091 static struct linetable *
4092 shrink_linetable (lt)
4093 struct linetable *lt;
4094 {
4095
4096 return (struct linetable *) xrealloc ((PTR) lt,
4097 (sizeof (struct linetable)
4098 + ((lt->nitems - 1)
4099 * sizeof (lt->item))));
4100 }
4101
4102 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4103
4104 static struct blockvector *
4105 new_bvect (nblocks)
4106 int nblocks;
4107 {
4108 struct blockvector *bv;
4109 int size;
4110
4111 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4112 bv = (struct blockvector *) xzalloc (size);
4113
4114 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4115
4116 return bv;
4117 }
4118
4119 /* Allocate and zero a new block of MAXSYMS symbols */
4120
4121 static struct block *
4122 new_block (maxsyms)
4123 int maxsyms;
4124 {
4125 int size = sizeof (struct block) + (maxsyms - 1) * sizeof (struct symbol *);
4126
4127 return (struct block *) xzalloc (size);
4128 }
4129
4130 /* Ooops, too big. Shrink block B in symtab S to its minimal size.
4131 Shrink_block can also be used by add_symbol to grow a block. */
4132
4133 static struct block *
4134 shrink_block (b, s)
4135 struct block *b;
4136 struct symtab *s;
4137 {
4138 struct block *new;
4139 struct blockvector *bv = BLOCKVECTOR (s);
4140 int i;
4141
4142 /* Just reallocate it and fix references to the old one */
4143
4144 new = (struct block *) xrealloc ((PTR) b,
4145 (sizeof (struct block)
4146 + ((BLOCK_NSYMS (b) - 1)
4147 * sizeof (struct symbol *))));
4148
4149 /* Should chase pointers to old one. Fortunately, that`s just
4150 the block`s function and inferior blocks */
4151 if (BLOCK_FUNCTION (new) && SYMBOL_BLOCK_VALUE (BLOCK_FUNCTION (new)) == b)
4152 SYMBOL_BLOCK_VALUE (BLOCK_FUNCTION (new)) = new;
4153 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
4154 if (BLOCKVECTOR_BLOCK (bv, i) == b)
4155 BLOCKVECTOR_BLOCK (bv, i) = new;
4156 else if (BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, i)) == b)
4157 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (bv, i)) = new;
4158 return new;
4159 }
4160
4161 /* Create a new symbol with printname NAME */
4162
4163 static struct symbol *
4164 new_symbol (name)
4165 char *name;
4166 {
4167 struct symbol *s = ((struct symbol *)
4168 obstack_alloc (&current_objfile->symbol_obstack,
4169 sizeof (struct symbol)));
4170
4171 memset ((PTR) s, 0, sizeof (*s));
4172 SYMBOL_NAME (s) = obsavestring (name, strlen (name),
4173 &current_objfile->symbol_obstack);
4174 SYMBOL_LANGUAGE (s) = psymtab_language;
4175 SYMBOL_INIT_DEMANGLED_NAME (s, &current_objfile->symbol_obstack);
4176 return s;
4177 }
4178
4179 /* Create a new type with printname NAME */
4180
4181 static struct type *
4182 new_type (name)
4183 char *name;
4184 {
4185 struct type *t;
4186
4187 t = alloc_type (current_objfile);
4188 TYPE_NAME (t) = name;
4189 TYPE_CPLUS_SPECIFIC (t) = (struct cplus_struct_type *) &cplus_struct_default;
4190 return t;
4191 }
4192 \f
4193 /* Read ECOFF debugging information from a BFD section. This is
4194 called from elfread.c. It parses the section into a
4195 ecoff_debug_info struct, and then lets the rest of the file handle
4196 it as normal. */
4197
4198 void
4199 elfmdebug_build_psymtabs (objfile, swap, sec, section_offsets)
4200 struct objfile *objfile;
4201 const struct ecoff_debug_swap *swap;
4202 asection *sec;
4203 struct section_offsets *section_offsets;
4204 {
4205 bfd *abfd = objfile->obfd;
4206 struct ecoff_debug_info *info;
4207
4208 info = ((struct ecoff_debug_info *)
4209 obstack_alloc (&objfile->psymbol_obstack,
4210 sizeof (struct ecoff_debug_info)));
4211
4212 if (!(*swap->read_debug_info) (abfd, sec, info))
4213 error ("Error reading ECOFF debugging information: %s",
4214 bfd_errmsg (bfd_get_error ()));
4215
4216 mdebug_build_psymtabs (objfile, swap, info, section_offsets);
4217 }
4218 \f
4219
4220 /* Things used for calling functions in the inferior.
4221 These functions are exported to our companion
4222 mips-tdep.c file and are here because they play
4223 with the symbol-table explicitly. */
4224
4225 /* Sigtramp: make sure we have all the necessary information
4226 about the signal trampoline code. Since the official code
4227 from MIPS does not do so, we make up that information ourselves.
4228 If they fix the library (unlikely) this code will neutralize itself. */
4229
4230 /* FIXME: This function is called only by mips-tdep.c. It needs to be
4231 here because it calls functions defined in this file, but perhaps
4232 this could be handled in a better way. Only compile it in when
4233 tm-mips.h is included. */
4234
4235 #ifdef TM_MIPS_H
4236
4237 void
4238 fixup_sigtramp ()
4239 {
4240 struct symbol *s;
4241 struct symtab *st;
4242 struct block *b, *b0 = NULL;
4243
4244 sigtramp_address = -1;
4245
4246 /* We have to handle the following cases here:
4247 a) The Mips library has a sigtramp label within sigvec.
4248 b) Irix has a _sigtramp which we want to use, but it also has sigvec. */
4249 s = lookup_symbol ("sigvec", 0, VAR_NAMESPACE, 0, NULL);
4250 if (s != 0)
4251 {
4252 b0 = SYMBOL_BLOCK_VALUE (s);
4253 s = lookup_symbol ("sigtramp", b0, VAR_NAMESPACE, 0, NULL);
4254 }
4255 if (s == 0)
4256 {
4257 /* No sigvec or no sigtramp inside sigvec, try _sigtramp. */
4258 s = lookup_symbol ("_sigtramp", 0, VAR_NAMESPACE, 0, NULL);
4259 }
4260
4261 /* But maybe this program uses its own version of sigvec */
4262 if (s == 0)
4263 return;
4264
4265 /* Did we or MIPSco fix the library ? */
4266 if (SYMBOL_CLASS (s) == LOC_BLOCK)
4267 {
4268 sigtramp_address = BLOCK_START (SYMBOL_BLOCK_VALUE (s));
4269 sigtramp_end = BLOCK_END (SYMBOL_BLOCK_VALUE (s));
4270 return;
4271 }
4272
4273 sigtramp_address = SYMBOL_VALUE (s);
4274 sigtramp_end = sigtramp_address + 0x88; /* black magic */
4275
4276 /* But what symtab does it live in ? */
4277 st = find_pc_symtab (SYMBOL_VALUE (s));
4278
4279 /*
4280 * Ok, there goes the fix: turn it into a procedure, with all the
4281 * needed info. Note we make it a nested procedure of sigvec,
4282 * which is the way the (assembly) code is actually written.
4283 */
4284 SYMBOL_NAMESPACE (s) = VAR_NAMESPACE;
4285 SYMBOL_CLASS (s) = LOC_BLOCK;
4286 SYMBOL_TYPE (s) = init_type (TYPE_CODE_FUNC, 4, 0, (char *) NULL,
4287 st->objfile);
4288 TYPE_TARGET_TYPE (SYMBOL_TYPE (s)) = mdebug_type_void;
4289
4290 /* Need a block to allocate MIPS_EFI_SYMBOL_NAME in */
4291 b = new_block (1);
4292 SYMBOL_BLOCK_VALUE (s) = b;
4293 BLOCK_START (b) = sigtramp_address;
4294 BLOCK_END (b) = sigtramp_end;
4295 BLOCK_FUNCTION (b) = s;
4296 BLOCK_SUPERBLOCK (b) = BLOCK_SUPERBLOCK (b0);
4297 add_block (b, st);
4298 sort_blocks (st);
4299
4300 /* Make a MIPS_EFI_SYMBOL_NAME entry for it */
4301 {
4302 struct mips_extra_func_info *e =
4303 ((struct mips_extra_func_info *)
4304 xzalloc (sizeof (struct mips_extra_func_info)));
4305
4306 e->numargs = 0; /* the kernel thinks otherwise */
4307 e->pdr.frameoffset = 32;
4308 e->pdr.framereg = SP_REGNUM;
4309 /* Note that setting pcreg is no longer strictly necessary as
4310 mips_frame_saved_pc is now aware of signal handler frames. */
4311 e->pdr.pcreg = PC_REGNUM;
4312 e->pdr.regmask = -2;
4313 /* Offset to saved r31, in the sigtramp case the saved registers
4314 are above the frame in the sigcontext.
4315 We have 4 alignment bytes, 12 bytes for onstack, mask and pc,
4316 32 * 4 bytes for the general registers, 12 bytes for mdhi, mdlo, ownedfp
4317 and 32 * 4 bytes for the floating point registers. */
4318 e->pdr.regoffset = 4 + 12 + 31 * 4;
4319 e->pdr.fregmask = -1;
4320 /* Offset to saved f30 (first saved *double* register). */
4321 e->pdr.fregoffset = 4 + 12 + 32 * 4 + 12 + 30 * 4;
4322 e->pdr.isym = (long) s;
4323 e->pdr.adr = sigtramp_address;
4324
4325 current_objfile = st->objfile; /* Keep new_symbol happy */
4326 s = new_symbol (MIPS_EFI_SYMBOL_NAME);
4327 SYMBOL_VALUE (s) = (long) e;
4328 SYMBOL_NAMESPACE (s) = LABEL_NAMESPACE;
4329 SYMBOL_CLASS (s) = LOC_CONST;
4330 SYMBOL_TYPE (s) = mdebug_type_void;
4331 current_objfile = NULL;
4332 }
4333
4334 BLOCK_SYM (b, BLOCK_NSYMS (b)++) = s;
4335 }
4336
4337 #endif /* TM_MIPS_H */
4338
4339 void
4340 _initialize_mdebugread ()
4341 {
4342 mdebug_type_void =
4343 init_type (TYPE_CODE_VOID, 1,
4344 0,
4345 "void", (struct objfile *) NULL);
4346 mdebug_type_char =
4347 init_type (TYPE_CODE_INT, 1,
4348 0,
4349 "char", (struct objfile *) NULL);
4350 mdebug_type_unsigned_char =
4351 init_type (TYPE_CODE_INT, 1,
4352 TYPE_FLAG_UNSIGNED,
4353 "unsigned char", (struct objfile *) NULL);
4354 mdebug_type_short =
4355 init_type (TYPE_CODE_INT, 2,
4356 0,
4357 "short", (struct objfile *) NULL);
4358 mdebug_type_unsigned_short =
4359 init_type (TYPE_CODE_INT, 2,
4360 TYPE_FLAG_UNSIGNED,
4361 "unsigned short", (struct objfile *) NULL);
4362 mdebug_type_int_32 =
4363 init_type (TYPE_CODE_INT, 4,
4364 0,
4365 "int", (struct objfile *) NULL);
4366 mdebug_type_unsigned_int_32 =
4367 init_type (TYPE_CODE_INT, 4,
4368 TYPE_FLAG_UNSIGNED,
4369 "unsigned int", (struct objfile *) NULL);
4370 mdebug_type_int_64 =
4371 init_type (TYPE_CODE_INT, 8,
4372 0,
4373 "int", (struct objfile *) NULL);
4374 mdebug_type_unsigned_int_64 =
4375 init_type (TYPE_CODE_INT, 8,
4376 TYPE_FLAG_UNSIGNED,
4377 "unsigned int", (struct objfile *) NULL);
4378 mdebug_type_long_32 =
4379 init_type (TYPE_CODE_INT, 4,
4380 0,
4381 "long", (struct objfile *) NULL);
4382 mdebug_type_unsigned_long_32 =
4383 init_type (TYPE_CODE_INT, 4,
4384 TYPE_FLAG_UNSIGNED,
4385 "unsigned long", (struct objfile *) NULL);
4386 mdebug_type_long_64 =
4387 init_type (TYPE_CODE_INT, 8,
4388 0,
4389 "long", (struct objfile *) NULL);
4390 mdebug_type_unsigned_long_64 =
4391 init_type (TYPE_CODE_INT, 8,
4392 TYPE_FLAG_UNSIGNED,
4393 "unsigned long", (struct objfile *) NULL);
4394 mdebug_type_long_long_64 =
4395 init_type (TYPE_CODE_INT, 8,
4396 0,
4397 "long long", (struct objfile *) NULL);
4398 mdebug_type_unsigned_long_long_64 =
4399 init_type (TYPE_CODE_INT, 8,
4400 TYPE_FLAG_UNSIGNED,
4401 "unsigned long long", (struct objfile *) NULL);
4402 mdebug_type_adr_32 =
4403 init_type (TYPE_CODE_PTR, 4,
4404 TYPE_FLAG_UNSIGNED,
4405 "adr_32", (struct objfile *) NULL);
4406 TYPE_TARGET_TYPE (mdebug_type_adr_32) = mdebug_type_void;
4407 mdebug_type_adr_64 =
4408 init_type (TYPE_CODE_PTR, 8,
4409 TYPE_FLAG_UNSIGNED,
4410 "adr_64", (struct objfile *) NULL);
4411 TYPE_TARGET_TYPE (mdebug_type_adr_64) = mdebug_type_void;
4412 mdebug_type_float =
4413 init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4414 0,
4415 "float", (struct objfile *) NULL);
4416 mdebug_type_double =
4417 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4418 0,
4419 "double", (struct objfile *) NULL);
4420 mdebug_type_complex =
4421 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4422 0,
4423 "complex", (struct objfile *) NULL);
4424 TYPE_TARGET_TYPE (mdebug_type_complex) = mdebug_type_float;
4425 mdebug_type_double_complex =
4426 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4427 0,
4428 "double complex", (struct objfile *) NULL);
4429 TYPE_TARGET_TYPE (mdebug_type_double_complex) = mdebug_type_double;
4430
4431 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
4432 FIXME. */
4433 mdebug_type_string =
4434 init_type (TYPE_CODE_STRING,
4435 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
4436 0, "string",
4437 (struct objfile *) NULL);
4438
4439 /* We use TYPE_CODE_INT to print these as integers. Does this do any
4440 good? Would we be better off with TYPE_CODE_ERROR? Should
4441 TYPE_CODE_ERROR print things in hex if it knows the size? */
4442 mdebug_type_fixed_dec =
4443 init_type (TYPE_CODE_INT,
4444 TARGET_INT_BIT / TARGET_CHAR_BIT,
4445 0, "fixed decimal",
4446 (struct objfile *) NULL);
4447
4448 mdebug_type_float_dec =
4449 init_type (TYPE_CODE_ERROR,
4450 TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4451 0, "floating decimal",
4452 (struct objfile *) NULL);
4453
4454 nodebug_func_symbol_type = init_type (TYPE_CODE_FUNC, 1, 0,
4455 "<function, no debug info>", NULL);
4456 TYPE_TARGET_TYPE (nodebug_func_symbol_type) = mdebug_type_int;
4457 nodebug_var_symbol_type =
4458 init_type (TYPE_CODE_INT, TARGET_INT_BIT / HOST_CHAR_BIT, 0,
4459 "<variable, no debug info>", NULL);
4460 }