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