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