]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/mdebugread.c
Copyright updates for 2007.
[thirdparty/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) = TARGET_INT_BIT / HOST_CHAR_BIT;
1050 for (ext_tsym = ext_sh + external_sym_size;
1051 ;
1052 ext_tsym += external_sym_size)
1053 {
1054 SYMR tsym;
1055 struct symbol *enum_sym;
1056
1057 (*swap_sym_in) (cur_bfd, ext_tsym, &tsym);
1058
1059 if (tsym.st != stMember)
1060 break;
1061
1062 FIELD_BITPOS (*f) = tsym.value;
1063 FIELD_TYPE (*f) = t;
1064 FIELD_NAME (*f) = debug_info->ss + cur_fdr->issBase + tsym.iss;
1065 FIELD_BITSIZE (*f) = 0;
1066 FIELD_STATIC_KIND (*f) = 0;
1067
1068 enum_sym = ((struct symbol *)
1069 obstack_alloc (&current_objfile->objfile_obstack,
1070 sizeof (struct symbol)));
1071 memset (enum_sym, 0, sizeof (struct symbol));
1072 DEPRECATED_SYMBOL_NAME (enum_sym) =
1073 obsavestring (f->name, strlen (f->name),
1074 &current_objfile->objfile_obstack);
1075 SYMBOL_CLASS (enum_sym) = LOC_CONST;
1076 SYMBOL_TYPE (enum_sym) = t;
1077 SYMBOL_DOMAIN (enum_sym) = VAR_DOMAIN;
1078 SYMBOL_VALUE (enum_sym) = tsym.value;
1079 if (SYMBOL_VALUE (enum_sym) < 0)
1080 unsigned_enum = 0;
1081 add_symbol (enum_sym, top_stack->cur_block);
1082
1083 /* Skip the stMembers that we've handled. */
1084 count++;
1085 f++;
1086 }
1087 if (unsigned_enum)
1088 TYPE_FLAGS (t) |= TYPE_FLAG_UNSIGNED;
1089 }
1090 /* make this the current type */
1091 top_stack->cur_type = t;
1092 top_stack->cur_field = 0;
1093
1094 /* Do not create a symbol for alpha cc unnamed structs. */
1095 if (sh->iss == 0)
1096 break;
1097
1098 /* gcc puts out an empty struct for an opaque struct definitions,
1099 do not create a symbol for it either. */
1100 if (TYPE_NFIELDS (t) == 0)
1101 {
1102 TYPE_FLAGS (t) |= TYPE_FLAG_STUB;
1103 break;
1104 }
1105
1106 s = new_symbol (name);
1107 SYMBOL_DOMAIN (s) = STRUCT_DOMAIN;
1108 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1109 SYMBOL_VALUE (s) = 0;
1110 SYMBOL_TYPE (s) = t;
1111 add_symbol (s, top_stack->cur_block);
1112 break;
1113
1114 /* End of local variables shared by struct, union, enum, and
1115 block (as yet unknown struct/union/enum) processing. */
1116 }
1117
1118 case_stBlock_code:
1119 found_ecoff_debugging_info = 1;
1120 /* beginnning of (code) block. Value of symbol
1121 is the displacement from procedure start */
1122 push_parse_stack ();
1123
1124 /* Do not start a new block if this is the outermost block of a
1125 procedure. This allows the LOC_BLOCK symbol to point to the
1126 block with the local variables, so funcname::var works. */
1127 if (top_stack->blocktype == stProc
1128 || top_stack->blocktype == stStaticProc)
1129 {
1130 top_stack->blocktype = stNil;
1131 break;
1132 }
1133
1134 top_stack->blocktype = stBlock;
1135 b = new_block (NON_FUNCTION_BLOCK);
1136 BLOCK_START (b) = sh->value + top_stack->procadr;
1137 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1138 top_stack->cur_block = b;
1139 add_block (b, top_stack->cur_st);
1140 break;
1141
1142 case stEnd: /* end (of anything) */
1143 if (sh->sc == scInfo || SC_IS_COMMON (sh->sc))
1144 {
1145 /* Finished with type */
1146 top_stack->cur_type = 0;
1147 }
1148 else if (sh->sc == scText &&
1149 (top_stack->blocktype == stProc ||
1150 top_stack->blocktype == stStaticProc))
1151 {
1152 /* Finished with procedure */
1153 struct blockvector *bv = BLOCKVECTOR (top_stack->cur_st);
1154 struct mdebug_extra_func_info *e;
1155 struct block *b = top_stack->cur_block;
1156 struct type *ftype = top_stack->cur_type;
1157 int i;
1158
1159 BLOCK_END (top_stack->cur_block) += sh->value; /* size */
1160
1161 /* Make up special symbol to contain procedure specific info */
1162 s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
1163 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
1164 SYMBOL_CLASS (s) = LOC_CONST;
1165 SYMBOL_TYPE (s) = mdebug_type_void;
1166 e = ((struct mdebug_extra_func_info *)
1167 obstack_alloc (&current_objfile->objfile_obstack,
1168 sizeof (struct mdebug_extra_func_info)));
1169 memset (e, 0, sizeof (struct mdebug_extra_func_info));
1170 SYMBOL_VALUE (s) = (long) e;
1171 e->numargs = top_stack->numargs;
1172 e->pdr.framereg = -1;
1173 add_symbol (s, top_stack->cur_block);
1174
1175 /* f77 emits proc-level with address bounds==[0,0],
1176 So look for such child blocks, and patch them. */
1177 for (i = 0; i < BLOCKVECTOR_NBLOCKS (bv); i++)
1178 {
1179 struct block *b_bad = BLOCKVECTOR_BLOCK (bv, i);
1180 if (BLOCK_SUPERBLOCK (b_bad) == b
1181 && BLOCK_START (b_bad) == top_stack->procadr
1182 && BLOCK_END (b_bad) == top_stack->procadr)
1183 {
1184 BLOCK_START (b_bad) = BLOCK_START (b);
1185 BLOCK_END (b_bad) = BLOCK_END (b);
1186 }
1187 }
1188
1189 if (TYPE_NFIELDS (ftype) <= 0)
1190 {
1191 /* No parameter type information is recorded with the function's
1192 type. Set that from the type of the parameter symbols. */
1193 int nparams = top_stack->numargs;
1194 int iparams;
1195 struct symbol *sym;
1196
1197 if (nparams > 0)
1198 {
1199 struct dict_iterator iter;
1200 TYPE_NFIELDS (ftype) = nparams;
1201 TYPE_FIELDS (ftype) = (struct field *)
1202 TYPE_ALLOC (ftype, nparams * sizeof (struct field));
1203
1204 iparams = 0;
1205 ALL_BLOCK_SYMBOLS (b, iter, sym)
1206 {
1207 if (iparams == nparams)
1208 break;
1209
1210 switch (SYMBOL_CLASS (sym))
1211 {
1212 case LOC_ARG:
1213 case LOC_REF_ARG:
1214 case LOC_REGPARM:
1215 case LOC_REGPARM_ADDR:
1216 TYPE_FIELD_TYPE (ftype, iparams) = SYMBOL_TYPE (sym);
1217 TYPE_FIELD_ARTIFICIAL (ftype, iparams) = 0;
1218 iparams++;
1219 break;
1220 default:
1221 break;
1222 }
1223 }
1224 }
1225 }
1226 }
1227 else if (sh->sc == scText && top_stack->blocktype == stBlock)
1228 {
1229 /* End of (code) block. The value of the symbol is the
1230 displacement from the procedure`s start address of the
1231 end of this block. */
1232 BLOCK_END (top_stack->cur_block) = sh->value + top_stack->procadr;
1233 }
1234 else if (sh->sc == scText && top_stack->blocktype == stNil)
1235 {
1236 /* End of outermost block. Pop parse stack and ignore. The
1237 following stEnd of stProc will take care of the block. */
1238 ;
1239 }
1240 else if (sh->sc == scText && top_stack->blocktype == stFile)
1241 {
1242 /* End of file. Pop parse stack and ignore. Higher
1243 level code deals with this. */
1244 ;
1245 }
1246 else
1247 complaint (&symfile_complaints,
1248 _("stEnd with storage class %d not handled"), sh->sc);
1249
1250 pop_parse_stack (); /* restore previous lexical context */
1251 break;
1252
1253 case stMember: /* member of struct or union */
1254 f = &TYPE_FIELDS (top_stack->cur_type)[top_stack->cur_field++];
1255 FIELD_NAME (*f) = name;
1256 FIELD_BITPOS (*f) = sh->value;
1257 bitsize = 0;
1258 FIELD_TYPE (*f) = parse_type (cur_fd, ax, sh->index, &bitsize, bigend, name);
1259 FIELD_BITSIZE (*f) = bitsize;
1260 FIELD_STATIC_KIND (*f) = 0;
1261 break;
1262
1263 case stIndirect: /* forward declaration on Irix5 */
1264 /* Forward declarations from Irix5 cc are handled by cross_ref,
1265 skip them. */
1266 break;
1267
1268 case stTypedef: /* type definition */
1269 found_ecoff_debugging_info = 1;
1270
1271 /* Typedefs for forward declarations and opaque structs from alpha cc
1272 are handled by cross_ref, skip them. */
1273 if (sh->iss == 0)
1274 break;
1275
1276 /* Parse the type or use the pending type. */
1277 pend = is_pending_symbol (cur_fdr, ext_sh);
1278 if (pend == (struct mdebug_pending *) NULL)
1279 {
1280 t = parse_type (cur_fd, ax, sh->index, (int *) NULL, bigend, name);
1281 add_pending (cur_fdr, ext_sh, t);
1282 }
1283 else
1284 t = pend->t;
1285
1286 /* mips cc puts out a typedef with the name of the struct for forward
1287 declarations. These should not go into the symbol table and
1288 TYPE_NAME should not be set for them.
1289 They can't be distinguished from an intentional typedef to
1290 the same name however:
1291 x.h:
1292 struct x { int ix; int jx; };
1293 struct xx;
1294 x.c:
1295 typedef struct x x;
1296 struct xx {int ixx; int jxx; };
1297 generates a cross referencing stTypedef for x and xx.
1298 The user visible effect of this is that the type of a pointer
1299 to struct foo sometimes is given as `foo *' instead of `struct foo *'.
1300 The problem is fixed with alpha cc and Irix5 cc. */
1301
1302 /* However if the typedef cross references to an opaque aggregate, it
1303 is safe to omit it from the symbol table. */
1304
1305 if (has_opaque_xref (cur_fdr, sh))
1306 break;
1307 s = new_symbol (name);
1308 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1309 SYMBOL_CLASS (s) = LOC_TYPEDEF;
1310 SYMBOL_BLOCK_VALUE (s) = top_stack->cur_block;
1311 SYMBOL_TYPE (s) = t;
1312 add_symbol (s, top_stack->cur_block);
1313
1314 /* Incomplete definitions of structs should not get a name. */
1315 if (TYPE_NAME (SYMBOL_TYPE (s)) == NULL
1316 && (TYPE_NFIELDS (SYMBOL_TYPE (s)) != 0
1317 || (TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_STRUCT
1318 && TYPE_CODE (SYMBOL_TYPE (s)) != TYPE_CODE_UNION)))
1319 {
1320 if (TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_PTR
1321 || TYPE_CODE (SYMBOL_TYPE (s)) == TYPE_CODE_FUNC)
1322 {
1323 /* If we are giving a name to a type such as "pointer to
1324 foo" or "function returning foo", we better not set
1325 the TYPE_NAME. If the program contains "typedef char
1326 *caddr_t;", we don't want all variables of type char
1327 * to print as caddr_t. This is not just a
1328 consequence of GDB's type management; CC and GCC (at
1329 least through version 2.4) both output variables of
1330 either type char * or caddr_t with the type
1331 refering to the stTypedef symbol for caddr_t. If a future
1332 compiler cleans this up it GDB is not ready for it
1333 yet, but if it becomes ready we somehow need to
1334 disable this check (without breaking the PCC/GCC2.4
1335 case).
1336
1337 Sigh.
1338
1339 Fortunately, this check seems not to be necessary
1340 for anything except pointers or functions. */
1341 }
1342 else
1343 TYPE_NAME (SYMBOL_TYPE (s)) = DEPRECATED_SYMBOL_NAME (s);
1344 }
1345 break;
1346
1347 case stFile: /* file name */
1348 push_parse_stack ();
1349 top_stack->blocktype = sh->st;
1350 break;
1351
1352 /* I`ve never seen these for C */
1353 case stRegReloc:
1354 break; /* register relocation */
1355 case stForward:
1356 break; /* forwarding address */
1357 case stConstant:
1358 break; /* constant */
1359 default:
1360 complaint (&symfile_complaints, _("unknown symbol type 0x%x"), sh->st);
1361 break;
1362 }
1363
1364 return count;
1365 }
1366
1367 /* Parse the type information provided in the raw AX entries for
1368 the symbol SH. Return the bitfield size in BS, in case.
1369 We must byte-swap the AX entries before we use them; BIGEND says whether
1370 they are big-endian or little-endian (from fh->fBigendian). */
1371
1372 static struct type *
1373 parse_type (int fd, union aux_ext *ax, unsigned int aux_index, int *bs,
1374 int bigend, char *sym_name)
1375 {
1376 /* Null entries in this map are treated specially */
1377 static struct type **map_bt[] =
1378 {
1379 &mdebug_type_void, /* btNil */
1380 &mdebug_type_adr_32, /* btAdr */
1381 &mdebug_type_char, /* btChar */
1382 &mdebug_type_unsigned_char, /* btUChar */
1383 &mdebug_type_short, /* btShort */
1384 &mdebug_type_unsigned_short, /* btUShort */
1385 &mdebug_type_int_32, /* btInt */
1386 &mdebug_type_unsigned_int_32, /* btUInt */
1387 &mdebug_type_long_32, /* btLong */
1388 &mdebug_type_unsigned_long_32, /* btULong */
1389 &mdebug_type_float, /* btFloat */
1390 &mdebug_type_double, /* btDouble */
1391 0, /* btStruct */
1392 0, /* btUnion */
1393 0, /* btEnum */
1394 0, /* btTypedef */
1395 0, /* btRange */
1396 0, /* btSet */
1397 &mdebug_type_complex, /* btComplex */
1398 &mdebug_type_double_complex, /* btDComplex */
1399 0, /* btIndirect */
1400 &mdebug_type_fixed_dec, /* btFixedDec */
1401 &mdebug_type_float_dec, /* btFloatDec */
1402 &mdebug_type_string, /* btString */
1403 0, /* btBit */
1404 0, /* btPicture */
1405 &mdebug_type_void, /* btVoid */
1406 0, /* DEC C++: Pointer to member */
1407 0, /* DEC C++: Virtual function table */
1408 0, /* DEC C++: Class (Record) */
1409 &mdebug_type_long_64, /* btLong64 */
1410 &mdebug_type_unsigned_long_64, /* btULong64 */
1411 &mdebug_type_long_long_64, /* btLongLong64 */
1412 &mdebug_type_unsigned_long_long_64, /* btULongLong64 */
1413 &mdebug_type_adr_64, /* btAdr64 */
1414 &mdebug_type_int_64, /* btInt64 */
1415 &mdebug_type_unsigned_int_64, /* btUInt64 */
1416 };
1417
1418 TIR t[1];
1419 struct type *tp = 0;
1420 enum type_code type_code = TYPE_CODE_UNDEF;
1421
1422 /* Handle undefined types, they have indexNil. */
1423 if (aux_index == indexNil)
1424 return mdebug_type_int;
1425
1426 /* Handle corrupt aux indices. */
1427 if (aux_index >= (debug_info->fdr + fd)->caux)
1428 {
1429 index_complaint (sym_name);
1430 return mdebug_type_int;
1431 }
1432 ax += aux_index;
1433
1434 /* Use aux as a type information record, map its basic type. */
1435 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1436 if (t->bt >= (sizeof (map_bt) / sizeof (*map_bt)))
1437 {
1438 basic_type_complaint (t->bt, sym_name);
1439 return mdebug_type_int;
1440 }
1441 if (map_bt[t->bt])
1442 {
1443 tp = *map_bt[t->bt];
1444 }
1445 else
1446 {
1447 tp = NULL;
1448 /* Cannot use builtin types -- build our own */
1449 switch (t->bt)
1450 {
1451 case btStruct:
1452 type_code = TYPE_CODE_STRUCT;
1453 break;
1454 case btUnion:
1455 type_code = TYPE_CODE_UNION;
1456 break;
1457 case btEnum:
1458 type_code = TYPE_CODE_ENUM;
1459 break;
1460 case btRange:
1461 type_code = TYPE_CODE_RANGE;
1462 break;
1463 case btSet:
1464 type_code = TYPE_CODE_SET;
1465 break;
1466 case btIndirect:
1467 /* alpha cc -migrate uses this for typedefs. The true type will
1468 be obtained by crossreferencing below. */
1469 type_code = TYPE_CODE_ERROR;
1470 break;
1471 case btTypedef:
1472 /* alpha cc uses this for typedefs. The true type will be
1473 obtained by crossreferencing below. */
1474 type_code = TYPE_CODE_ERROR;
1475 break;
1476 default:
1477 basic_type_complaint (t->bt, sym_name);
1478 return mdebug_type_int;
1479 }
1480 }
1481
1482 /* Move on to next aux */
1483 ax++;
1484
1485 if (t->fBitfield)
1486 {
1487 int width = AUX_GET_WIDTH (bigend, ax);
1488 /* Inhibit core dumps if TIR is corrupted. */
1489 if (bs == (int *) NULL)
1490 {
1491 /* Alpha cc -migrate encodes char and unsigned char types
1492 as short and unsigned short types with a field width of 8.
1493 Enum types also have a field width which we ignore for now. */
1494 if (t->bt == btShort && width == 8)
1495 tp = mdebug_type_char;
1496 else if (t->bt == btUShort && width == 8)
1497 tp = mdebug_type_unsigned_char;
1498 else if (t->bt == btEnum)
1499 ;
1500 else
1501 complaint (&symfile_complaints, _("can't handle TIR fBitfield for %s"),
1502 sym_name);
1503 }
1504 else
1505 *bs = width;
1506 ax++;
1507 }
1508
1509 /* A btIndirect entry cross references to an aux entry containing
1510 the type. */
1511 if (t->bt == btIndirect)
1512 {
1513 RNDXR rn[1];
1514 int rf;
1515 FDR *xref_fh;
1516 int xref_fd;
1517
1518 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
1519 ax++;
1520 if (rn->rfd == 0xfff)
1521 {
1522 rf = AUX_GET_ISYM (bigend, ax);
1523 ax++;
1524 }
1525 else
1526 rf = rn->rfd;
1527
1528 if (rf == -1)
1529 {
1530 complaint (&symfile_complaints,
1531 _("unable to cross ref btIndirect for %s"), sym_name);
1532 return mdebug_type_int;
1533 }
1534 xref_fh = get_rfd (fd, rf);
1535 xref_fd = xref_fh - debug_info->fdr;
1536 tp = parse_type (xref_fd, debug_info->external_aux + xref_fh->iauxBase,
1537 rn->index, (int *) NULL, xref_fh->fBigendian, sym_name);
1538 }
1539
1540 /* All these types really point to some (common) MIPS type
1541 definition, and only the type-qualifiers fully identify
1542 them. We'll make the same effort at sharing. */
1543 if (t->bt == btStruct ||
1544 t->bt == btUnion ||
1545 t->bt == btEnum ||
1546
1547 /* btSet (I think) implies that the name is a tag name, not a typedef
1548 name. This apparently is a MIPS extension for C sets. */
1549 t->bt == btSet)
1550 {
1551 char *name;
1552
1553 /* Try to cross reference this type, build new type on failure. */
1554 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1555 if (tp == (struct type *) NULL)
1556 tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
1557
1558 /* DEC c89 produces cross references to qualified aggregate types,
1559 dereference them. */
1560 while (TYPE_CODE (tp) == TYPE_CODE_PTR
1561 || TYPE_CODE (tp) == TYPE_CODE_ARRAY)
1562 tp = TYPE_TARGET_TYPE (tp);
1563
1564 /* Make sure that TYPE_CODE(tp) has an expected type code.
1565 Any type may be returned from cross_ref if file indirect entries
1566 are corrupted. */
1567 if (TYPE_CODE (tp) != TYPE_CODE_STRUCT
1568 && TYPE_CODE (tp) != TYPE_CODE_UNION
1569 && TYPE_CODE (tp) != TYPE_CODE_ENUM)
1570 {
1571 unexpected_type_code_complaint (sym_name);
1572 }
1573 else
1574 {
1575
1576 /* Usually, TYPE_CODE(tp) is already type_code. The main
1577 exception is if we guessed wrong re struct/union/enum.
1578 But for struct vs. union a wrong guess is harmless, so
1579 don't complain(). */
1580 if ((TYPE_CODE (tp) == TYPE_CODE_ENUM
1581 && type_code != TYPE_CODE_ENUM)
1582 || (TYPE_CODE (tp) != TYPE_CODE_ENUM
1583 && type_code == TYPE_CODE_ENUM))
1584 {
1585 bad_tag_guess_complaint (sym_name);
1586 }
1587
1588 if (TYPE_CODE (tp) != type_code)
1589 {
1590 TYPE_CODE (tp) = type_code;
1591 }
1592
1593 /* Do not set the tag name if it is a compiler generated tag name
1594 (.Fxx or .xxfake or empty) for unnamed struct/union/enums. */
1595 if (name[0] == '.' || name[0] == '\0')
1596 TYPE_TAG_NAME (tp) = NULL;
1597 else if (TYPE_TAG_NAME (tp) == NULL
1598 || strcmp (TYPE_TAG_NAME (tp), name) != 0)
1599 TYPE_TAG_NAME (tp) = obsavestring (name, strlen (name),
1600 &current_objfile->objfile_obstack);
1601 }
1602 }
1603
1604 /* All these types really point to some (common) MIPS type
1605 definition, and only the type-qualifiers fully identify
1606 them. We'll make the same effort at sharing.
1607 FIXME: We are not doing any guessing on range types. */
1608 if (t->bt == btRange)
1609 {
1610 char *name;
1611
1612 /* Try to cross reference this type, build new type on failure. */
1613 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1614 if (tp == (struct type *) NULL)
1615 tp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
1616
1617 /* Make sure that TYPE_CODE(tp) has an expected type code.
1618 Any type may be returned from cross_ref if file indirect entries
1619 are corrupted. */
1620 if (TYPE_CODE (tp) != TYPE_CODE_RANGE)
1621 {
1622 unexpected_type_code_complaint (sym_name);
1623 }
1624 else
1625 {
1626 /* Usually, TYPE_CODE(tp) is already type_code. The main
1627 exception is if we guessed wrong re struct/union/enum. */
1628 if (TYPE_CODE (tp) != type_code)
1629 {
1630 bad_tag_guess_complaint (sym_name);
1631 TYPE_CODE (tp) = type_code;
1632 }
1633 if (TYPE_NAME (tp) == NULL
1634 || strcmp (TYPE_NAME (tp), name) != 0)
1635 TYPE_NAME (tp) = obsavestring (name, strlen (name),
1636 &current_objfile->objfile_obstack);
1637 }
1638 }
1639 if (t->bt == btTypedef)
1640 {
1641 char *name;
1642
1643 /* Try to cross reference this type, it should succeed. */
1644 ax += cross_ref (fd, ax, &tp, type_code, &name, bigend, sym_name);
1645 if (tp == (struct type *) NULL)
1646 {
1647 complaint (&symfile_complaints,
1648 _("unable to cross ref btTypedef for %s"), sym_name);
1649 tp = mdebug_type_int;
1650 }
1651 }
1652
1653 /* Deal with range types */
1654 if (t->bt == btRange)
1655 {
1656 TYPE_NFIELDS (tp) = 2;
1657 TYPE_FIELDS (tp) = ((struct field *)
1658 TYPE_ALLOC (tp, 2 * sizeof (struct field)));
1659 TYPE_FIELD_NAME (tp, 0) = obsavestring ("Low", strlen ("Low"),
1660 &current_objfile->objfile_obstack);
1661 TYPE_FIELD_BITPOS (tp, 0) = AUX_GET_DNLOW (bigend, ax);
1662 ax++;
1663 TYPE_FIELD_NAME (tp, 1) = obsavestring ("High", strlen ("High"),
1664 &current_objfile->objfile_obstack);
1665 TYPE_FIELD_BITPOS (tp, 1) = AUX_GET_DNHIGH (bigend, ax);
1666 ax++;
1667 }
1668
1669 /* Parse all the type qualifiers now. If there are more
1670 than 6 the game will continue in the next aux */
1671
1672 while (1)
1673 {
1674 #define PARSE_TQ(tq) \
1675 if (t->tq != tqNil) \
1676 ax += upgrade_type(fd, &tp, t->tq, ax, bigend, sym_name); \
1677 else \
1678 break;
1679
1680 PARSE_TQ (tq0);
1681 PARSE_TQ (tq1);
1682 PARSE_TQ (tq2);
1683 PARSE_TQ (tq3);
1684 PARSE_TQ (tq4);
1685 PARSE_TQ (tq5);
1686 #undef PARSE_TQ
1687
1688 /* mips cc 2.x and gcc never put out continued aux entries. */
1689 if (!t->continued)
1690 break;
1691
1692 (*debug_swap->swap_tir_in) (bigend, &ax->a_ti, t);
1693 ax++;
1694 }
1695
1696 /* Complain for illegal continuations due to corrupt aux entries. */
1697 if (t->continued)
1698 complaint (&symfile_complaints, _("illegal TIR continued for %s"), sym_name);
1699
1700 return tp;
1701 }
1702
1703 /* Make up a complex type from a basic one. Type is passed by
1704 reference in TPP and side-effected as necessary. The type
1705 qualifier TQ says how to handle the aux symbols at AX for
1706 the symbol SX we are currently analyzing. BIGEND says whether
1707 aux symbols are big-endian or little-endian.
1708 Returns the number of aux symbols we parsed. */
1709
1710 static int
1711 upgrade_type (int fd, struct type **tpp, int tq, union aux_ext *ax, int bigend,
1712 char *sym_name)
1713 {
1714 int off;
1715 struct type *t;
1716
1717 /* Used in array processing */
1718 int rf, id;
1719 FDR *fh;
1720 struct type *range;
1721 struct type *indx;
1722 int lower, upper;
1723 RNDXR rndx;
1724
1725 switch (tq)
1726 {
1727 case tqPtr:
1728 t = lookup_pointer_type (*tpp);
1729 *tpp = t;
1730 return 0;
1731
1732 case tqProc:
1733 t = lookup_function_type (*tpp);
1734 *tpp = t;
1735 return 0;
1736
1737 case tqArray:
1738 off = 0;
1739
1740 /* Determine and record the domain type (type of index) */
1741 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, &rndx);
1742 id = rndx.index;
1743 rf = rndx.rfd;
1744 if (rf == 0xfff)
1745 {
1746 ax++;
1747 rf = AUX_GET_ISYM (bigend, ax);
1748 off++;
1749 }
1750 fh = get_rfd (fd, rf);
1751
1752 indx = parse_type (fh - debug_info->fdr,
1753 debug_info->external_aux + fh->iauxBase,
1754 id, (int *) NULL, bigend, sym_name);
1755
1756 /* The bounds type should be an integer type, but might be anything
1757 else due to corrupt aux entries. */
1758 if (TYPE_CODE (indx) != TYPE_CODE_INT)
1759 {
1760 complaint (&symfile_complaints,
1761 _("illegal array index type for %s, assuming int"), sym_name);
1762 indx = mdebug_type_int;
1763 }
1764
1765 /* Get the bounds, and create the array type. */
1766 ax++;
1767 lower = AUX_GET_DNLOW (bigend, ax);
1768 ax++;
1769 upper = AUX_GET_DNHIGH (bigend, ax);
1770 ax++;
1771 rf = AUX_GET_WIDTH (bigend, ax); /* bit size of array element */
1772
1773 range = create_range_type ((struct type *) NULL, indx,
1774 lower, upper);
1775
1776 t = create_array_type ((struct type *) NULL, *tpp, range);
1777
1778 /* We used to fill in the supplied array element bitsize
1779 here if the TYPE_LENGTH of the target type was zero.
1780 This happens for a `pointer to an array of anonymous structs',
1781 but in this case the array element bitsize is also zero,
1782 so nothing is gained.
1783 And we used to check the TYPE_LENGTH of the target type against
1784 the supplied array element bitsize.
1785 gcc causes a mismatch for `pointer to array of object',
1786 since the sdb directives it uses do not have a way of
1787 specifying the bitsize, but it does no harm (the
1788 TYPE_LENGTH should be correct) and we should be able to
1789 ignore the erroneous bitsize from the auxiliary entry safely.
1790 dbx seems to ignore it too. */
1791
1792 /* TYPE_FLAG_TARGET_STUB now takes care of the zero TYPE_LENGTH
1793 problem. */
1794 if (TYPE_LENGTH (*tpp) == 0)
1795 {
1796 TYPE_FLAGS (t) |= TYPE_FLAG_TARGET_STUB;
1797 }
1798
1799 *tpp = t;
1800 return 4 + off;
1801
1802 case tqVol:
1803 /* Volatile -- currently ignored */
1804 return 0;
1805
1806 case tqConst:
1807 /* Const -- currently ignored */
1808 return 0;
1809
1810 default:
1811 complaint (&symfile_complaints, _("unknown type qualifier 0x%x"), tq);
1812 return 0;
1813 }
1814 }
1815
1816
1817 /* Parse a procedure descriptor record PR. Note that the procedure is
1818 parsed _after_ the local symbols, now we just insert the extra
1819 information we need into a MDEBUG_EFI_SYMBOL_NAME symbol that has
1820 already been placed in the procedure's main block. Note also that
1821 images that have been partially stripped (ld -x) have been deprived
1822 of local symbols, and we have to cope with them here. FIRST_OFF is
1823 the offset of the first procedure for this FDR; we adjust the
1824 address by this amount, but I don't know why. SEARCH_SYMTAB is the symtab
1825 to look for the function which contains the MDEBUG_EFI_SYMBOL_NAME symbol
1826 in question, or NULL to use top_stack->cur_block. */
1827
1828 static void parse_procedure (PDR *, struct symtab *, struct partial_symtab *);
1829
1830 static void
1831 parse_procedure (PDR *pr, struct symtab *search_symtab,
1832 struct partial_symtab *pst)
1833 {
1834 struct symbol *s, *i;
1835 struct block *b;
1836 struct mdebug_extra_func_info *e;
1837 char *sh_name;
1838
1839 /* Simple rule to find files linked "-x" */
1840 if (cur_fdr->rss == -1)
1841 {
1842 if (pr->isym == -1)
1843 {
1844 /* Static procedure at address pr->adr. Sigh. */
1845 /* FIXME-32x64. assuming pr->adr fits in long. */
1846 complaint (&symfile_complaints,
1847 _("can't handle PDR for static proc at 0x%lx"),
1848 (unsigned long) pr->adr);
1849 return;
1850 }
1851 else
1852 {
1853 /* external */
1854 EXTR she;
1855
1856 (*debug_swap->swap_ext_in) (cur_bfd,
1857 ((char *) debug_info->external_ext
1858 + (pr->isym
1859 * debug_swap->external_ext_size)),
1860 &she);
1861 sh_name = debug_info->ssext + she.asym.iss;
1862 }
1863 }
1864 else
1865 {
1866 /* Full symbols */
1867 SYMR sh;
1868
1869 (*debug_swap->swap_sym_in) (cur_bfd,
1870 ((char *) debug_info->external_sym
1871 + ((cur_fdr->isymBase + pr->isym)
1872 * debug_swap->external_sym_size)),
1873 &sh);
1874 sh_name = debug_info->ss + cur_fdr->issBase + sh.iss;
1875 }
1876
1877 if (search_symtab != NULL)
1878 {
1879 #if 0
1880 /* This loses both in the case mentioned (want a static, find a global),
1881 but also if we are looking up a non-mangled name which happens to
1882 match the name of a mangled function. */
1883 /* We have to save the cur_fdr across the call to lookup_symbol.
1884 If the pdr is for a static function and if a global function with
1885 the same name exists, lookup_symbol will eventually read in the symtab
1886 for the global function and clobber cur_fdr. */
1887 FDR *save_cur_fdr = cur_fdr;
1888 s = lookup_symbol (sh_name, NULL, VAR_DOMAIN, 0, NULL);
1889 cur_fdr = save_cur_fdr;
1890 #else
1891 s = mylookup_symbol
1892 (sh_name,
1893 BLOCKVECTOR_BLOCK (BLOCKVECTOR (search_symtab), STATIC_BLOCK),
1894 VAR_DOMAIN,
1895 LOC_BLOCK);
1896 #endif
1897 }
1898 else
1899 s = mylookup_symbol (sh_name, top_stack->cur_block,
1900 VAR_DOMAIN, LOC_BLOCK);
1901
1902 if (s != 0)
1903 {
1904 b = SYMBOL_BLOCK_VALUE (s);
1905 }
1906 else
1907 {
1908 complaint (&symfile_complaints, _("PDR for %s, but no symbol"), sh_name);
1909 #if 1
1910 return;
1911 #else
1912 /* FIXME -- delete. We can't do symbol allocation now; it's all done. */
1913 s = new_symbol (sh_name);
1914 SYMBOL_DOMAIN (s) = VAR_DOMAIN;
1915 SYMBOL_CLASS (s) = LOC_BLOCK;
1916 /* Donno its type, hope int is ok */
1917 SYMBOL_TYPE (s) = lookup_function_type (mdebug_type_int);
1918 add_symbol (s, top_stack->cur_block);
1919 /* Wont have symbols for this one */
1920 b = new_block (2);
1921 SYMBOL_BLOCK_VALUE (s) = b;
1922 BLOCK_FUNCTION (b) = s;
1923 BLOCK_START (b) = pr->adr;
1924 /* BOUND used to be the end of procedure's text, but the
1925 argument is no longer passed in. */
1926 BLOCK_END (b) = bound;
1927 BLOCK_SUPERBLOCK (b) = top_stack->cur_block;
1928 add_block (b, top_stack->cur_st);
1929 #endif
1930 }
1931
1932 i = mylookup_symbol (MDEBUG_EFI_SYMBOL_NAME, b, LABEL_DOMAIN, LOC_CONST);
1933
1934 if (i)
1935 {
1936 e = (struct mdebug_extra_func_info *) SYMBOL_VALUE (i);
1937 e->pdr = *pr;
1938 e->pdr.isym = (long) s;
1939
1940 /* GDB expects the absolute function start address for the
1941 procedure descriptor in e->pdr.adr.
1942 As the address in the procedure descriptor is usually relative,
1943 we would have to relocate e->pdr.adr with cur_fdr->adr and
1944 ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile)).
1945 Unfortunately cur_fdr->adr and e->pdr.adr are both absolute
1946 in shared libraries on some systems, and on other systems
1947 e->pdr.adr is sometimes offset by a bogus value.
1948 To work around these problems, we replace e->pdr.adr with
1949 the start address of the function. */
1950 e->pdr.adr = BLOCK_START (b);
1951
1952 /* Correct incorrect setjmp procedure descriptor from the library
1953 to make backtrace through setjmp work. */
1954 if (e->pdr.pcreg == 0
1955 && strcmp (sh_name, "setjmp") == 0)
1956 {
1957 complaint (&symfile_complaints, _("fixing bad setjmp PDR from libc"));
1958 #ifdef RA_REGNUM
1959 e->pdr.pcreg = RA_REGNUM;
1960 #else
1961 e->pdr.pcreg = 0;
1962 #endif
1963 e->pdr.regmask = 0x80000000;
1964 e->pdr.regoffset = -4;
1965 }
1966 }
1967
1968 /* It would be reasonable that functions that have been compiled
1969 without debugging info have a btNil type for their return value,
1970 and functions that are void and are compiled with debugging info
1971 have btVoid.
1972 gcc and DEC f77 put out btNil types for both cases, so btNil is mapped
1973 to TYPE_CODE_VOID in parse_type to get the `compiled with debugging info'
1974 case right.
1975 The glevel field in cur_fdr could be used to determine the presence
1976 of debugging info, but GCC doesn't always pass the -g switch settings
1977 to the assembler and GAS doesn't set the glevel field from the -g switch
1978 settings.
1979 To work around these problems, the return value type of a TYPE_CODE_VOID
1980 function is adjusted accordingly if no debugging info was found in the
1981 compilation unit. */
1982
1983 if (processing_gcc_compilation == 0
1984 && found_ecoff_debugging_info == 0
1985 && TYPE_CODE (TYPE_TARGET_TYPE (SYMBOL_TYPE (s))) == TYPE_CODE_VOID)
1986 SYMBOL_TYPE (s) = nodebug_func_symbol_type;
1987 }
1988
1989 /* Parse the external symbol ES. Just call parse_symbol() after
1990 making sure we know where the aux are for it.
1991 BIGEND says whether aux entries are big-endian or little-endian.
1992
1993 This routine clobbers top_stack->cur_block and ->cur_st. */
1994
1995 static void parse_external (EXTR *, int, struct section_offsets *,
1996 struct objfile *);
1997
1998 static void
1999 parse_external (EXTR *es, int bigend, struct section_offsets *section_offsets,
2000 struct objfile *objfile)
2001 {
2002 union aux_ext *ax;
2003
2004 if (es->ifd != ifdNil)
2005 {
2006 cur_fd = es->ifd;
2007 cur_fdr = debug_info->fdr + cur_fd;
2008 ax = debug_info->external_aux + cur_fdr->iauxBase;
2009 }
2010 else
2011 {
2012 cur_fdr = debug_info->fdr;
2013 ax = 0;
2014 }
2015
2016 /* Reading .o files */
2017 if (SC_IS_UNDEF (es->asym.sc) || es->asym.sc == scNil)
2018 {
2019 char *what;
2020 switch (es->asym.st)
2021 {
2022 case stNil:
2023 /* These are generated for static symbols in .o files,
2024 ignore them. */
2025 return;
2026 case stStaticProc:
2027 case stProc:
2028 what = "procedure";
2029 n_undef_procs++;
2030 break;
2031 case stGlobal:
2032 what = "variable";
2033 n_undef_vars++;
2034 break;
2035 case stLabel:
2036 what = "label";
2037 n_undef_labels++;
2038 break;
2039 default:
2040 what = "symbol";
2041 break;
2042 }
2043 n_undef_symbols++;
2044 /* FIXME: Turn this into a complaint? */
2045 if (info_verbose)
2046 printf_filtered (_("Warning: %s `%s' is undefined (in %s)\n"),
2047 what, debug_info->ssext + es->asym.iss,
2048 fdr_name (cur_fdr));
2049 return;
2050 }
2051
2052 switch (es->asym.st)
2053 {
2054 case stProc:
2055 case stStaticProc:
2056 /* There is no need to parse the external procedure symbols.
2057 If they are from objects compiled without -g, their index will
2058 be indexNil, and the symbol definition from the minimal symbol
2059 is preferrable (yielding a function returning int instead of int).
2060 If the index points to a local procedure symbol, the local
2061 symbol already provides the correct type.
2062 Note that the index of the external procedure symbol points
2063 to the local procedure symbol in the local symbol table, and
2064 _not_ to the auxiliary symbol info. */
2065 break;
2066 case stGlobal:
2067 case stLabel:
2068 /* Global common symbols are resolved by the runtime loader,
2069 ignore them. */
2070 if (SC_IS_COMMON (es->asym.sc))
2071 break;
2072
2073 /* Note that the case of a symbol with indexNil must be handled
2074 anyways by parse_symbol(). */
2075 parse_symbol (&es->asym, ax, (char *) NULL, bigend, section_offsets, objfile);
2076 break;
2077 default:
2078 break;
2079 }
2080 }
2081
2082 /* Parse the line number info for file descriptor FH into
2083 GDB's linetable LT. MIPS' encoding requires a little bit
2084 of magic to get things out. Note also that MIPS' line
2085 numbers can go back and forth, apparently we can live
2086 with that and do not need to reorder our linetables */
2087
2088 static void parse_lines (FDR *, PDR *, struct linetable *, int,
2089 struct partial_symtab *, CORE_ADDR);
2090
2091 static void
2092 parse_lines (FDR *fh, PDR *pr, struct linetable *lt, int maxlines,
2093 struct partial_symtab *pst, CORE_ADDR lowest_pdr_addr)
2094 {
2095 unsigned char *base;
2096 int j, k;
2097 int delta, count, lineno = 0;
2098
2099 if (fh->cbLine == 0)
2100 return;
2101
2102 /* Scan by procedure descriptors */
2103 k = 0;
2104 for (j = 0; j < fh->cpd; j++, pr++)
2105 {
2106 CORE_ADDR l;
2107 CORE_ADDR adr;
2108 unsigned char *halt;
2109
2110 /* No code for this one */
2111 if (pr->iline == ilineNil ||
2112 pr->lnLow == -1 || pr->lnHigh == -1)
2113 continue;
2114
2115 /* Determine start and end address of compressed line bytes for
2116 this procedure. */
2117 base = debug_info->line + fh->cbLineOffset;
2118 if (j != (fh->cpd - 1))
2119 halt = base + pr[1].cbLineOffset;
2120 else
2121 halt = base + fh->cbLine;
2122 base += pr->cbLineOffset;
2123
2124 adr = pst->textlow + pr->adr - lowest_pdr_addr;
2125
2126 l = adr >> 2; /* in words */
2127 for (lineno = pr->lnLow; base < halt;)
2128 {
2129 count = *base & 0x0f;
2130 delta = *base++ >> 4;
2131 if (delta >= 8)
2132 delta -= 16;
2133 if (delta == -8)
2134 {
2135 delta = (base[0] << 8) | base[1];
2136 if (delta >= 0x8000)
2137 delta -= 0x10000;
2138 base += 2;
2139 }
2140 lineno += delta; /* first delta is 0 */
2141
2142 /* Complain if the line table overflows. Could happen
2143 with corrupt binaries. */
2144 if (lt->nitems >= maxlines)
2145 {
2146 complaint (&symfile_complaints,
2147 _("guessed size of linetable for %s incorrectly"),
2148 fdr_name (fh));
2149 break;
2150 }
2151 k = add_line (lt, lineno, l, k);
2152 l += count + 1;
2153 }
2154 }
2155 }
2156 \f
2157 static void
2158 function_outside_compilation_unit_complaint (const char *arg1)
2159 {
2160 complaint (&symfile_complaints,
2161 _("function `%s' appears to be defined outside of all compilation units"),
2162 arg1);
2163 }
2164
2165 /* Use the STORAGE_CLASS to compute which section the given symbol
2166 belongs to, and then records this new minimal symbol. */
2167
2168 static void
2169 record_minimal_symbol (const char *name, const CORE_ADDR address,
2170 enum minimal_symbol_type ms_type, int storage_class,
2171 struct objfile *objfile)
2172 {
2173 int section;
2174 asection *bfd_section;
2175
2176 switch (storage_class)
2177 {
2178 case scText:
2179 section = SECT_OFF_TEXT (objfile);
2180 bfd_section = bfd_get_section_by_name (cur_bfd, ".text");
2181 break;
2182 case scData:
2183 section = SECT_OFF_DATA (objfile);
2184 bfd_section = bfd_get_section_by_name (cur_bfd, ".data");
2185 break;
2186 case scBss:
2187 section = SECT_OFF_BSS (objfile);
2188 bfd_section = bfd_get_section_by_name (cur_bfd, ".bss");
2189 break;
2190 case scSData:
2191 section = get_section_index (objfile, ".sdata");
2192 bfd_section = bfd_get_section_by_name (cur_bfd, ".sdata");
2193 break;
2194 case scSBss:
2195 section = get_section_index (objfile, ".sbss");
2196 bfd_section = bfd_get_section_by_name (cur_bfd, ".sbss");
2197 break;
2198 case scRData:
2199 section = get_section_index (objfile, ".rdata");
2200 bfd_section = bfd_get_section_by_name (cur_bfd, ".rdata");
2201 break;
2202 case scInit:
2203 section = get_section_index (objfile, ".init");
2204 bfd_section = bfd_get_section_by_name (cur_bfd, ".init");
2205 break;
2206 case scXData:
2207 section = get_section_index (objfile, ".xdata");
2208 bfd_section = bfd_get_section_by_name (cur_bfd, ".xdata");
2209 break;
2210 case scPData:
2211 section = get_section_index (objfile, ".pdata");
2212 bfd_section = bfd_get_section_by_name (cur_bfd, ".pdata");
2213 break;
2214 case scFini:
2215 section = get_section_index (objfile, ".fini");
2216 bfd_section = bfd_get_section_by_name (cur_bfd, ".fini");
2217 break;
2218 case scRConst:
2219 section = get_section_index (objfile, ".rconst");
2220 bfd_section = bfd_get_section_by_name (cur_bfd, ".rconst");
2221 break;
2222 #ifdef scTlsData
2223 case scTlsData:
2224 section = get_section_index (objfile, ".tlsdata");
2225 bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsdata");
2226 break;
2227 #endif
2228 #ifdef scTlsBss
2229 case scTlsBss:
2230 section = get_section_index (objfile, ".tlsbss");
2231 bfd_section = bfd_get_section_by_name (cur_bfd, ".tlsbss");
2232 break;
2233 #endif
2234 default:
2235 /* This kind of symbol is not associated to a section. */
2236 section = -1;
2237 bfd_section = NULL;
2238 }
2239
2240 prim_record_minimal_symbol_and_info (name, address, ms_type, NULL,
2241 section, bfd_section, objfile);
2242 }
2243
2244 /* Master parsing procedure for first-pass reading of file symbols
2245 into a partial_symtab. */
2246
2247 static void
2248 parse_partial_symbols (struct objfile *objfile)
2249 {
2250 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
2251 const bfd_size_type external_rfd_size = debug_swap->external_rfd_size;
2252 const bfd_size_type external_ext_size = debug_swap->external_ext_size;
2253 void (*const swap_ext_in) (bfd *, void *, EXTR *) = debug_swap->swap_ext_in;
2254 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
2255 void (*const swap_rfd_in) (bfd *, void *, RFDT *) = debug_swap->swap_rfd_in;
2256 int f_idx, s_idx;
2257 HDRR *hdr = &debug_info->symbolic_header;
2258 /* Running pointers */
2259 FDR *fh;
2260 char *ext_out;
2261 char *ext_out_end;
2262 EXTR *ext_block;
2263 EXTR *ext_in;
2264 EXTR *ext_in_end;
2265 SYMR sh;
2266 struct partial_symtab *pst;
2267 int textlow_not_set = 1;
2268 int past_first_source_file = 0;
2269
2270 /* List of current psymtab's include files */
2271 char **psymtab_include_list;
2272 int includes_allocated;
2273 int includes_used;
2274 EXTR *extern_tab;
2275 struct pst_map *fdr_to_pst;
2276 /* Index within current psymtab dependency list */
2277 struct partial_symtab **dependency_list;
2278 int dependencies_used, dependencies_allocated;
2279 struct cleanup *old_chain;
2280 char *name;
2281 enum language prev_language;
2282 asection *text_sect;
2283 int relocatable = 0;
2284
2285 /* Irix 5.2 shared libraries have a fh->adr field of zero, but
2286 the shared libraries are prelinked at a high memory address.
2287 We have to adjust the start address of the object file for this case,
2288 by setting it to the start address of the first procedure in the file.
2289 But we should do no adjustments if we are debugging a .o file, where
2290 the text section (and fh->adr) really starts at zero. */
2291 text_sect = bfd_get_section_by_name (cur_bfd, ".text");
2292 if (text_sect != NULL
2293 && (bfd_get_section_flags (cur_bfd, text_sect) & SEC_RELOC))
2294 relocatable = 1;
2295
2296 extern_tab = (EXTR *) obstack_alloc (&objfile->objfile_obstack,
2297 sizeof (EXTR) * hdr->iextMax);
2298
2299 includes_allocated = 30;
2300 includes_used = 0;
2301 psymtab_include_list = (char **) alloca (includes_allocated *
2302 sizeof (char *));
2303 next_symbol_text_func = mdebug_next_symbol_text;
2304
2305 dependencies_allocated = 30;
2306 dependencies_used = 0;
2307 dependency_list =
2308 (struct partial_symtab **) alloca (dependencies_allocated *
2309 sizeof (struct partial_symtab *));
2310
2311 last_source_file = NULL;
2312
2313 /*
2314 * Big plan:
2315 *
2316 * Only parse the Local and External symbols, and the Relative FDR.
2317 * Fixup enough of the loader symtab to be able to use it.
2318 * Allocate space only for the file's portions we need to
2319 * look at. (XXX)
2320 */
2321
2322 max_gdbinfo = 0;
2323 max_glevel = MIN_GLEVEL;
2324
2325 /* Allocate the map FDR -> PST.
2326 Minor hack: -O3 images might claim some global data belongs
2327 to FDR -1. We`ll go along with that */
2328 fdr_to_pst = (struct pst_map *) xzalloc ((hdr->ifdMax + 1) * sizeof *fdr_to_pst);
2329 old_chain = make_cleanup (xfree, fdr_to_pst);
2330 fdr_to_pst++;
2331 {
2332 struct partial_symtab *pst = new_psymtab ("", objfile);
2333 fdr_to_pst[-1].pst = pst;
2334 FDR_IDX (pst) = -1;
2335 }
2336
2337 /* Allocate the global pending list. */
2338 pending_list =
2339 ((struct mdebug_pending **)
2340 obstack_alloc (&objfile->objfile_obstack,
2341 hdr->ifdMax * sizeof (struct mdebug_pending *)));
2342 memset (pending_list, 0,
2343 hdr->ifdMax * sizeof (struct mdebug_pending *));
2344
2345 /* Pass 0 over external syms: swap them in. */
2346 ext_block = (EXTR *) xmalloc (hdr->iextMax * sizeof (EXTR));
2347 make_cleanup (xfree, ext_block);
2348
2349 ext_out = (char *) debug_info->external_ext;
2350 ext_out_end = ext_out + hdr->iextMax * external_ext_size;
2351 ext_in = ext_block;
2352 for (; ext_out < ext_out_end; ext_out += external_ext_size, ext_in++)
2353 (*swap_ext_in) (cur_bfd, ext_out, ext_in);
2354
2355 /* Pass 1 over external syms: Presize and partition the list */
2356 ext_in = ext_block;
2357 ext_in_end = ext_in + hdr->iextMax;
2358 for (; ext_in < ext_in_end; ext_in++)
2359 {
2360 /* See calls to complain below. */
2361 if (ext_in->ifd >= -1
2362 && ext_in->ifd < hdr->ifdMax
2363 && ext_in->asym.iss >= 0
2364 && ext_in->asym.iss < hdr->issExtMax)
2365 fdr_to_pst[ext_in->ifd].n_globals++;
2366 }
2367
2368 /* Pass 1.5 over files: partition out global symbol space */
2369 s_idx = 0;
2370 for (f_idx = -1; f_idx < hdr->ifdMax; f_idx++)
2371 {
2372 fdr_to_pst[f_idx].globals_offset = s_idx;
2373 s_idx += fdr_to_pst[f_idx].n_globals;
2374 fdr_to_pst[f_idx].n_globals = 0;
2375 }
2376
2377 /* ECOFF in ELF:
2378
2379 For ECOFF in ELF, we skip the creation of the minimal symbols.
2380 The ECOFF symbols should be a subset of the Elf symbols, and the
2381 section information of the elf symbols will be more accurate.
2382 FIXME! What about Irix 5's native linker?
2383
2384 By default, Elf sections which don't exist in ECOFF
2385 get put in ECOFF's absolute section by the gnu linker.
2386 Since absolute sections don't get relocated, we
2387 end up calculating an address different from that of
2388 the symbol's minimal symbol (created earlier from the
2389 Elf symtab).
2390
2391 To fix this, either :
2392 1) don't create the duplicate symbol
2393 (assumes ECOFF symtab is a subset of the ELF symtab;
2394 assumes no side-effects result from ignoring ECOFF symbol)
2395 2) create it, only if lookup for existing symbol in ELF's minimal
2396 symbols fails
2397 (inefficient;
2398 assumes no side-effects result from ignoring ECOFF symbol)
2399 3) create it, but lookup ELF's minimal symbol and use it's section
2400 during relocation, then modify "uniqify" phase to merge and
2401 eliminate the duplicate symbol
2402 (highly inefficient)
2403
2404 I've implemented #1 here...
2405 Skip the creation of the minimal symbols based on the ECOFF
2406 symbol table. */
2407
2408 /* Pass 2 over external syms: fill in external symbols */
2409 ext_in = ext_block;
2410 ext_in_end = ext_in + hdr->iextMax;
2411 for (; ext_in < ext_in_end; ext_in++)
2412 {
2413 enum minimal_symbol_type ms_type = mst_text;
2414 CORE_ADDR svalue = ext_in->asym.value;
2415
2416 /* The Irix 5 native tools seem to sometimes generate bogus
2417 external symbols. */
2418 if (ext_in->ifd < -1 || ext_in->ifd >= hdr->ifdMax)
2419 {
2420 complaint (&symfile_complaints,
2421 _("bad ifd for external symbol: %d (max %ld)"), ext_in->ifd,
2422 hdr->ifdMax);
2423 continue;
2424 }
2425 if (ext_in->asym.iss < 0 || ext_in->asym.iss >= hdr->issExtMax)
2426 {
2427 complaint (&symfile_complaints,
2428 _("bad iss for external symbol: %ld (max %ld)"),
2429 ext_in->asym.iss, hdr->issExtMax);
2430 continue;
2431 }
2432
2433 extern_tab[fdr_to_pst[ext_in->ifd].globals_offset
2434 + fdr_to_pst[ext_in->ifd].n_globals++] = *ext_in;
2435
2436
2437 if (SC_IS_UNDEF (ext_in->asym.sc) || ext_in->asym.sc == scNil)
2438 continue;
2439
2440
2441 /* Pass 3 over files, over local syms: fill in static symbols */
2442 name = debug_info->ssext + ext_in->asym.iss;
2443
2444 /* Process ECOFF Symbol Types and Storage Classes */
2445 switch (ext_in->asym.st)
2446 {
2447 case stProc:
2448 /* Beginnning of Procedure */
2449 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2450 break;
2451 case stStaticProc:
2452 /* Load time only static procs */
2453 ms_type = mst_file_text;
2454 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2455 break;
2456 case stGlobal:
2457 /* External symbol */
2458 if (SC_IS_COMMON (ext_in->asym.sc))
2459 {
2460 /* The value of a common symbol is its size, not its address.
2461 Ignore it. */
2462 continue;
2463 }
2464 else if (SC_IS_DATA (ext_in->asym.sc))
2465 {
2466 ms_type = mst_data;
2467 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2468 }
2469 else if (SC_IS_BSS (ext_in->asym.sc))
2470 {
2471 ms_type = mst_bss;
2472 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2473 }
2474 else if (SC_IS_SBSS (ext_in->asym.sc))
2475 {
2476 ms_type = mst_bss;
2477 svalue += ANOFFSET (objfile->section_offsets,
2478 get_section_index (objfile, ".sbss"));
2479 }
2480 else
2481 ms_type = mst_abs;
2482 break;
2483 case stLabel:
2484 /* Label */
2485
2486 /* On certain platforms, some extra label symbols can be
2487 generated by the linker. One possible usage for this kind
2488 of symbols is to represent the address of the begining of a
2489 given section. For instance, on Tru64 5.1, the address of
2490 the _ftext label is the start address of the .text section.
2491
2492 The storage class of these symbols is usually directly
2493 related to the section to which the symbol refers. For
2494 instance, on Tru64 5.1, the storage class for the _fdata
2495 label is scData, refering to the .data section.
2496
2497 It is actually possible that the section associated to the
2498 storage class of the label does not exist. On True64 5.1
2499 for instance, the libm.so shared library does not contain
2500 any .data section, although it contains a _fpdata label
2501 which storage class is scData... Since these symbols are
2502 usually useless for the debugger user anyway, we just
2503 discard these symbols.
2504 */
2505
2506 if (SC_IS_TEXT (ext_in->asym.sc))
2507 {
2508 if (objfile->sect_index_text == -1)
2509 continue;
2510
2511 ms_type = mst_file_text;
2512 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2513 }
2514 else if (SC_IS_DATA (ext_in->asym.sc))
2515 {
2516 if (objfile->sect_index_data == -1)
2517 continue;
2518
2519 ms_type = mst_file_data;
2520 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2521 }
2522 else if (SC_IS_BSS (ext_in->asym.sc))
2523 {
2524 if (objfile->sect_index_bss == -1)
2525 continue;
2526
2527 ms_type = mst_file_bss;
2528 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2529 }
2530 else if (SC_IS_SBSS (ext_in->asym.sc))
2531 {
2532 const int sbss_sect_index = get_section_index (objfile, ".sbss");
2533
2534 if (sbss_sect_index == -1)
2535 continue;
2536
2537 ms_type = mst_file_bss;
2538 svalue += ANOFFSET (objfile->section_offsets, sbss_sect_index);
2539 }
2540 else
2541 ms_type = mst_abs;
2542 break;
2543 case stLocal:
2544 case stNil:
2545 /* The alpha has the section start addresses in stLocal symbols
2546 whose name starts with a `.'. Skip those but complain for all
2547 other stLocal symbols.
2548 Irix6 puts the section start addresses in stNil symbols, skip
2549 those too. */
2550 if (name[0] == '.')
2551 continue;
2552 /* Fall through. */
2553 default:
2554 ms_type = mst_unknown;
2555 unknown_ext_complaint (name);
2556 }
2557 if (!ECOFF_IN_ELF (cur_bfd))
2558 record_minimal_symbol (name, svalue, ms_type, ext_in->asym.sc,
2559 objfile);
2560 }
2561
2562 /* Pass 3 over files, over local syms: fill in static symbols */
2563 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
2564 {
2565 struct partial_symtab *save_pst;
2566 EXTR *ext_ptr;
2567 CORE_ADDR textlow;
2568
2569 cur_fdr = fh = debug_info->fdr + f_idx;
2570
2571 if (fh->csym == 0)
2572 {
2573 fdr_to_pst[f_idx].pst = NULL;
2574 continue;
2575 }
2576
2577 /* Determine the start address for this object file from the
2578 file header and relocate it, except for Irix 5.2 zero fh->adr. */
2579 if (fh->cpd)
2580 {
2581 textlow = fh->adr;
2582 if (relocatable || textlow != 0)
2583 textlow += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2584 }
2585 else
2586 textlow = 0;
2587 pst = start_psymtab_common (objfile, objfile->section_offsets,
2588 fdr_name (fh),
2589 textlow,
2590 objfile->global_psymbols.next,
2591 objfile->static_psymbols.next);
2592 pst->read_symtab_private = ((char *)
2593 obstack_alloc (&objfile->objfile_obstack,
2594 sizeof (struct symloc)));
2595 memset (pst->read_symtab_private, 0, sizeof (struct symloc));
2596
2597 save_pst = pst;
2598 FDR_IDX (pst) = f_idx;
2599 CUR_BFD (pst) = cur_bfd;
2600 DEBUG_SWAP (pst) = debug_swap;
2601 DEBUG_INFO (pst) = debug_info;
2602 PENDING_LIST (pst) = pending_list;
2603
2604 /* The way to turn this into a symtab is to call... */
2605 pst->read_symtab = mdebug_psymtab_to_symtab;
2606
2607 /* Set up language for the pst.
2608 The language from the FDR is used if it is unambigious (e.g. cfront
2609 with native cc and g++ will set the language to C).
2610 Otherwise we have to deduce the language from the filename.
2611 Native ecoff has every header file in a separate FDR, so
2612 deduce_language_from_filename will return language_unknown for
2613 a header file, which is not what we want.
2614 But the FDRs for the header files are after the FDR for the source
2615 file, so we can assign the language of the source file to the
2616 following header files. Then we save the language in the private
2617 pst data so that we can reuse it when building symtabs. */
2618 prev_language = psymtab_language;
2619
2620 switch (fh->lang)
2621 {
2622 case langCplusplusV2:
2623 psymtab_language = language_cplus;
2624 break;
2625 default:
2626 psymtab_language = deduce_language_from_filename (fdr_name (fh));
2627 break;
2628 }
2629 if (psymtab_language == language_unknown)
2630 psymtab_language = prev_language;
2631 PST_PRIVATE (pst)->pst_language = psymtab_language;
2632
2633 pst->texthigh = pst->textlow;
2634
2635 /* For stabs-in-ecoff files, the second symbol must be @stab.
2636 This symbol is emitted by mips-tfile to signal that the
2637 current object file uses encapsulated stabs instead of mips
2638 ecoff for local symbols. (It is the second symbol because
2639 the first symbol is the stFile used to signal the start of a
2640 file). */
2641 processing_gcc_compilation = 0;
2642 if (fh->csym >= 2)
2643 {
2644 (*swap_sym_in) (cur_bfd,
2645 ((char *) debug_info->external_sym
2646 + (fh->isymBase + 1) * external_sym_size),
2647 &sh);
2648 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
2649 stabs_symbol) == 0)
2650 processing_gcc_compilation = 2;
2651 }
2652
2653 if (processing_gcc_compilation != 0)
2654 {
2655 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
2656 {
2657 int type_code;
2658 char *namestring;
2659
2660 (*swap_sym_in) (cur_bfd,
2661 (((char *) debug_info->external_sym)
2662 + (fh->isymBase + cur_sdx) * external_sym_size),
2663 &sh);
2664 type_code = ECOFF_UNMARK_STAB (sh.index);
2665 if (!ECOFF_IS_STAB (&sh))
2666 {
2667 if (sh.st == stProc || sh.st == stStaticProc)
2668 {
2669 CORE_ADDR procaddr;
2670 long isym;
2671
2672 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2673 if (sh.st == stStaticProc)
2674 {
2675 namestring = debug_info->ss + fh->issBase + sh.iss;
2676 record_minimal_symbol (namestring, sh.value,
2677 mst_file_text, sh.sc,
2678 objfile);
2679 }
2680 procaddr = sh.value;
2681
2682 isym = AUX_GET_ISYM (fh->fBigendian,
2683 (debug_info->external_aux
2684 + fh->iauxBase
2685 + sh.index));
2686 (*swap_sym_in) (cur_bfd,
2687 ((char *) debug_info->external_sym
2688 + ((fh->isymBase + isym - 1)
2689 * external_sym_size)),
2690 &sh);
2691 if (sh.st == stEnd)
2692 {
2693 CORE_ADDR high = procaddr + sh.value;
2694
2695 /* Kludge for Irix 5.2 zero fh->adr. */
2696 if (!relocatable
2697 && (pst->textlow == 0 || procaddr < pst->textlow))
2698 pst->textlow = procaddr;
2699 if (high > pst->texthigh)
2700 pst->texthigh = high;
2701 }
2702 }
2703 else if (sh.st == stStatic)
2704 {
2705 switch (sh.sc)
2706 {
2707 case scUndefined:
2708 case scSUndefined:
2709 case scNil:
2710 case scAbs:
2711 break;
2712
2713 case scData:
2714 case scSData:
2715 case scRData:
2716 case scPData:
2717 case scXData:
2718 namestring = debug_info->ss + fh->issBase + sh.iss;
2719 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2720 record_minimal_symbol (namestring, sh.value,
2721 mst_file_data, sh.sc,
2722 objfile);
2723 break;
2724
2725 default:
2726 /* FIXME! Shouldn't this use cases for bss,
2727 then have the default be abs? */
2728 namestring = debug_info->ss + fh->issBase + sh.iss;
2729 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2730 record_minimal_symbol (namestring, sh.value,
2731 mst_file_bss, sh.sc,
2732 objfile);
2733 break;
2734 }
2735 }
2736 continue;
2737 }
2738 /* Handle stabs continuation */
2739 {
2740 char *stabstring = debug_info->ss + fh->issBase + sh.iss;
2741 int len = strlen (stabstring);
2742 while (stabstring[len - 1] == '\\')
2743 {
2744 SYMR sh2;
2745 char *stabstring1 = stabstring;
2746 char *stabstring2;
2747 int len2;
2748
2749 /* Ignore continuation char from 1st string */
2750 len--;
2751
2752 /* Read next stabstring */
2753 cur_sdx++;
2754 (*swap_sym_in) (cur_bfd,
2755 (((char *) debug_info->external_sym)
2756 + (fh->isymBase + cur_sdx)
2757 * external_sym_size),
2758 &sh2);
2759 stabstring2 = debug_info->ss + fh->issBase + sh2.iss;
2760 len2 = strlen (stabstring2);
2761
2762 /* Concatinate stabstring2 with stabstring1 */
2763 if (stabstring
2764 && stabstring != debug_info->ss + fh->issBase + sh.iss)
2765 stabstring = xrealloc (stabstring, len + len2 + 1);
2766 else
2767 {
2768 stabstring = xmalloc (len + len2 + 1);
2769 strcpy (stabstring, stabstring1);
2770 }
2771 strcpy (stabstring + len, stabstring2);
2772 len += len2;
2773 }
2774
2775 switch (type_code)
2776 {
2777 char *p;
2778 /*
2779 * Standard, external, non-debugger, symbols
2780 */
2781
2782 case N_TEXT | N_EXT:
2783 case N_NBTEXT | N_EXT:
2784 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2785 goto record_it;
2786
2787 case N_DATA | N_EXT:
2788 case N_NBDATA | N_EXT:
2789 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2790 goto record_it;
2791
2792 case N_BSS:
2793 case N_BSS | N_EXT:
2794 case N_NBBSS | N_EXT:
2795 case N_SETV | N_EXT: /* FIXME, is this in BSS? */
2796 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
2797 goto record_it;
2798
2799 case N_ABS | N_EXT:
2800 record_it:
2801 continue;
2802
2803 /* Standard, local, non-debugger, symbols */
2804
2805 case N_NBTEXT:
2806
2807 /* We need to be able to deal with both N_FN or N_TEXT,
2808 because we have no way of knowing whether the sys-supplied ld
2809 or GNU ld was used to make the executable. Sequents throw
2810 in another wrinkle -- they renumbered N_FN. */
2811
2812 case N_FN:
2813 case N_FN_SEQ:
2814 case N_TEXT:
2815 continue;
2816
2817 case N_DATA:
2818 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
2819 goto record_it;
2820
2821 case N_UNDF | N_EXT:
2822 continue; /* Just undefined, not COMMON */
2823
2824 case N_UNDF:
2825 continue;
2826
2827 /* Lots of symbol types we can just ignore. */
2828
2829 case N_ABS:
2830 case N_NBDATA:
2831 case N_NBBSS:
2832 continue;
2833
2834 /* Keep going . . . */
2835
2836 /*
2837 * Special symbol types for GNU
2838 */
2839 case N_INDR:
2840 case N_INDR | N_EXT:
2841 case N_SETA:
2842 case N_SETA | N_EXT:
2843 case N_SETT:
2844 case N_SETT | N_EXT:
2845 case N_SETD:
2846 case N_SETD | N_EXT:
2847 case N_SETB:
2848 case N_SETB | N_EXT:
2849 case N_SETV:
2850 continue;
2851
2852 /*
2853 * Debugger symbols
2854 */
2855
2856 case N_SO:
2857 {
2858 CORE_ADDR valu;
2859 static int prev_so_symnum = -10;
2860 static int first_so_symnum;
2861 char *p;
2862 int prev_textlow_not_set;
2863
2864 valu = sh.value + ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
2865
2866 prev_textlow_not_set = textlow_not_set;
2867
2868 #ifdef SOFUN_ADDRESS_MAYBE_MISSING
2869 /* A zero value is probably an indication for the SunPRO 3.0
2870 compiler. end_psymtab explicitly tests for zero, so
2871 don't relocate it. */
2872
2873 if (sh.value == 0)
2874 {
2875 textlow_not_set = 1;
2876 valu = 0;
2877 }
2878 else
2879 textlow_not_set = 0;
2880 #else
2881 textlow_not_set = 0;
2882 #endif
2883 past_first_source_file = 1;
2884
2885 if (prev_so_symnum != symnum - 1)
2886 { /* Here if prev stab wasn't N_SO */
2887 first_so_symnum = symnum;
2888
2889 if (pst)
2890 {
2891 pst = (struct partial_symtab *) 0;
2892 includes_used = 0;
2893 dependencies_used = 0;
2894 }
2895 }
2896
2897 prev_so_symnum = symnum;
2898
2899 /* End the current partial symtab and start a new one */
2900
2901 /* SET_NAMESTRING ();*/
2902 namestring = stabstring;
2903
2904 /* Null name means end of .o file. Don't start a new one. */
2905 if (*namestring == '\000')
2906 continue;
2907
2908 /* Some compilers (including gcc) emit a pair of initial N_SOs.
2909 The first one is a directory name; the second the file name.
2910 If pst exists, is empty, and has a filename ending in '/',
2911 we assume the previous N_SO was a directory name. */
2912
2913 p = strrchr (namestring, '/');
2914 if (p && *(p + 1) == '\000')
2915 continue; /* Simply ignore directory name SOs */
2916
2917 /* Some other compilers (C++ ones in particular) emit useless
2918 SOs for non-existant .c files. We ignore all subsequent SOs that
2919 immediately follow the first. */
2920
2921 if (!pst)
2922 pst = save_pst;
2923 continue;
2924 }
2925
2926 case N_BINCL:
2927 continue;
2928
2929 case N_SOL:
2930 {
2931 enum language tmp_language;
2932 /* Mark down an include file in the current psymtab */
2933
2934 /* SET_NAMESTRING ();*/
2935 namestring = stabstring;
2936
2937 tmp_language = deduce_language_from_filename (namestring);
2938
2939 /* Only change the psymtab's language if we've learned
2940 something useful (eg. tmp_language is not language_unknown).
2941 In addition, to match what start_subfile does, never change
2942 from C++ to C. */
2943 if (tmp_language != language_unknown
2944 && (tmp_language != language_c
2945 || psymtab_language != language_cplus))
2946 psymtab_language = tmp_language;
2947
2948 /* In C++, one may expect the same filename to come round many
2949 times, when code is coming alternately from the main file
2950 and from inline functions in other files. So I check to see
2951 if this is a file we've seen before -- either the main
2952 source file, or a previously included file.
2953
2954 This seems to be a lot of time to be spending on N_SOL, but
2955 things like "break c-exp.y:435" need to work (I
2956 suppose the psymtab_include_list could be hashed or put
2957 in a binary tree, if profiling shows this is a major hog). */
2958 if (pst && strcmp (namestring, pst->filename) == 0)
2959 continue;
2960 {
2961 int i;
2962 for (i = 0; i < includes_used; i++)
2963 if (strcmp (namestring,
2964 psymtab_include_list[i]) == 0)
2965 {
2966 i = -1;
2967 break;
2968 }
2969 if (i == -1)
2970 continue;
2971 }
2972
2973 psymtab_include_list[includes_used++] = namestring;
2974 if (includes_used >= includes_allocated)
2975 {
2976 char **orig = psymtab_include_list;
2977
2978 psymtab_include_list = (char **)
2979 alloca ((includes_allocated *= 2) *
2980 sizeof (char *));
2981 memcpy (psymtab_include_list, orig,
2982 includes_used * sizeof (char *));
2983 }
2984 continue;
2985 }
2986 case N_LSYM: /* Typedef or automatic variable. */
2987 case N_STSYM: /* Data seg var -- static */
2988 case N_LCSYM: /* BSS " */
2989 case N_ROSYM: /* Read-only data seg var -- static. */
2990 case N_NBSTS: /* Gould nobase. */
2991 case N_NBLCS: /* symbols. */
2992 case N_FUN:
2993 case N_GSYM: /* Global (extern) variable; can be
2994 data or bss (sigh FIXME). */
2995
2996 /* Following may probably be ignored; I'll leave them here
2997 for now (until I do Pascal and Modula 2 extensions). */
2998
2999 case N_PC: /* I may or may not need this; I
3000 suspect not. */
3001 case N_M2C: /* I suspect that I can ignore this here. */
3002 case N_SCOPE: /* Same. */
3003
3004 /* SET_NAMESTRING ();*/
3005 namestring = stabstring;
3006 p = (char *) strchr (namestring, ':');
3007 if (!p)
3008 continue; /* Not a debugging symbol. */
3009
3010
3011
3012 /* Main processing section for debugging symbols which
3013 the initial read through the symbol tables needs to worry
3014 about. If we reach this point, the symbol which we are
3015 considering is definitely one we are interested in.
3016 p must also contain the (valid) index into the namestring
3017 which indicates the debugging type symbol. */
3018
3019 switch (p[1])
3020 {
3021 case 'S':
3022 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3023 #ifdef STATIC_TRANSFORM_NAME
3024 namestring = STATIC_TRANSFORM_NAME (namestring);
3025 #endif
3026 add_psymbol_to_list (namestring, p - namestring,
3027 VAR_DOMAIN, LOC_STATIC,
3028 &objfile->static_psymbols,
3029 0, sh.value,
3030 psymtab_language, objfile);
3031 continue;
3032 case 'G':
3033 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3034 /* The addresses in these entries are reported to be
3035 wrong. See the code that reads 'G's for symtabs. */
3036 add_psymbol_to_list (namestring, p - namestring,
3037 VAR_DOMAIN, LOC_STATIC,
3038 &objfile->global_psymbols,
3039 0, sh.value,
3040 psymtab_language, objfile);
3041 continue;
3042
3043 case 'T':
3044 /* When a 'T' entry is defining an anonymous enum, it
3045 may have a name which is the empty string, or a
3046 single space. Since they're not really defining a
3047 symbol, those shouldn't go in the partial symbol
3048 table. We do pick up the elements of such enums at
3049 'check_enum:', below. */
3050 if (p >= namestring + 2
3051 || (p == namestring + 1
3052 && namestring[0] != ' '))
3053 {
3054 add_psymbol_to_list (namestring, p - namestring,
3055 STRUCT_DOMAIN, LOC_TYPEDEF,
3056 &objfile->static_psymbols,
3057 sh.value, 0,
3058 psymtab_language, objfile);
3059 if (p[2] == 't')
3060 {
3061 /* Also a typedef with the same name. */
3062 add_psymbol_to_list (namestring, p - namestring,
3063 VAR_DOMAIN, LOC_TYPEDEF,
3064 &objfile->static_psymbols,
3065 sh.value, 0,
3066 psymtab_language, objfile);
3067 p += 1;
3068 }
3069 }
3070 goto check_enum;
3071 case 't':
3072 if (p != namestring) /* a name is there, not just :T... */
3073 {
3074 add_psymbol_to_list (namestring, p - namestring,
3075 VAR_DOMAIN, LOC_TYPEDEF,
3076 &objfile->static_psymbols,
3077 sh.value, 0,
3078 psymtab_language, objfile);
3079 }
3080 check_enum:
3081 /* If this is an enumerated type, we need to
3082 add all the enum constants to the partial symbol
3083 table. This does not cover enums without names, e.g.
3084 "enum {a, b} c;" in C, but fortunately those are
3085 rare. There is no way for GDB to find those from the
3086 enum type without spending too much time on it. Thus
3087 to solve this problem, the compiler needs to put out the
3088 enum in a nameless type. GCC2 does this. */
3089
3090 /* We are looking for something of the form
3091 <name> ":" ("t" | "T") [<number> "="] "e"
3092 {<constant> ":" <value> ","} ";". */
3093
3094 /* Skip over the colon and the 't' or 'T'. */
3095 p += 2;
3096 /* This type may be given a number. Also, numbers can come
3097 in pairs like (0,26). Skip over it. */
3098 while ((*p >= '0' && *p <= '9')
3099 || *p == '(' || *p == ',' || *p == ')'
3100 || *p == '=')
3101 p++;
3102
3103 if (*p++ == 'e')
3104 {
3105 /* The aix4 compiler emits extra crud before the members. */
3106 if (*p == '-')
3107 {
3108 /* Skip over the type (?). */
3109 while (*p != ':')
3110 p++;
3111
3112 /* Skip over the colon. */
3113 p++;
3114 }
3115
3116 /* We have found an enumerated type. */
3117 /* According to comments in read_enum_type
3118 a comma could end it instead of a semicolon.
3119 I don't know where that happens.
3120 Accept either. */
3121 while (*p && *p != ';' && *p != ',')
3122 {
3123 char *q;
3124
3125 /* Check for and handle cretinous dbx symbol name
3126 continuation! */
3127 if (*p == '\\' || (*p == '?' && p[1] == '\0'))
3128 p = next_symbol_text (objfile);
3129
3130 /* Point to the character after the name
3131 of the enum constant. */
3132 for (q = p; *q && *q != ':'; q++)
3133 ;
3134 /* Note that the value doesn't matter for
3135 enum constants in psymtabs, just in symtabs. */
3136 add_psymbol_to_list (p, q - p,
3137 VAR_DOMAIN, LOC_CONST,
3138 &objfile->static_psymbols, 0,
3139 0, psymtab_language, objfile);
3140 /* Point past the name. */
3141 p = q;
3142 /* Skip over the value. */
3143 while (*p && *p != ',')
3144 p++;
3145 /* Advance past the comma. */
3146 if (*p)
3147 p++;
3148 }
3149 }
3150 continue;
3151 case 'c':
3152 /* Constant, e.g. from "const" in Pascal. */
3153 add_psymbol_to_list (namestring, p - namestring,
3154 VAR_DOMAIN, LOC_CONST,
3155 &objfile->static_psymbols, sh.value,
3156 0, psymtab_language, objfile);
3157 continue;
3158
3159 case 'f':
3160 if (! pst)
3161 {
3162 int name_len = p - namestring;
3163 char *name = xmalloc (name_len + 1);
3164 memcpy (name, namestring, name_len);
3165 name[name_len] = '\0';
3166 function_outside_compilation_unit_complaint (name);
3167 xfree (name);
3168 }
3169 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3170 add_psymbol_to_list (namestring, p - namestring,
3171 VAR_DOMAIN, LOC_BLOCK,
3172 &objfile->static_psymbols,
3173 0, sh.value,
3174 psymtab_language, objfile);
3175 continue;
3176
3177 /* Global functions were ignored here, but now they
3178 are put into the global psymtab like one would expect.
3179 They're also in the minimal symbol table. */
3180 case 'F':
3181 if (! pst)
3182 {
3183 int name_len = p - namestring;
3184 char *name = xmalloc (name_len + 1);
3185 memcpy (name, namestring, name_len);
3186 name[name_len] = '\0';
3187 function_outside_compilation_unit_complaint (name);
3188 xfree (name);
3189 }
3190 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3191 add_psymbol_to_list (namestring, p - namestring,
3192 VAR_DOMAIN, LOC_BLOCK,
3193 &objfile->global_psymbols,
3194 0, sh.value,
3195 psymtab_language, objfile);
3196 continue;
3197
3198 /* Two things show up here (hopefully); static symbols of
3199 local scope (static used inside braces) or extensions
3200 of structure symbols. We can ignore both. */
3201 case 'V':
3202 case '(':
3203 case '0':
3204 case '1':
3205 case '2':
3206 case '3':
3207 case '4':
3208 case '5':
3209 case '6':
3210 case '7':
3211 case '8':
3212 case '9':
3213 case '-':
3214 case '#': /* for symbol identification (used in live ranges) */
3215 continue;
3216
3217 case ':':
3218 /* It is a C++ nested symbol. We don't need to record it
3219 (I don't think); if we try to look up foo::bar::baz,
3220 then symbols for the symtab containing foo should get
3221 read in, I think. */
3222 /* Someone says sun cc puts out symbols like
3223 /foo/baz/maclib::/usr/local/bin/maclib,
3224 which would get here with a symbol type of ':'. */
3225 continue;
3226
3227 default:
3228 /* Unexpected symbol descriptor. The second and subsequent stabs
3229 of a continued stab can show up here. The question is
3230 whether they ever can mimic a normal stab--it would be
3231 nice if not, since we certainly don't want to spend the
3232 time searching to the end of every string looking for
3233 a backslash. */
3234
3235 complaint (&symfile_complaints,
3236 _("unknown symbol descriptor `%c'"), p[1]);
3237
3238 /* Ignore it; perhaps it is an extension that we don't
3239 know about. */
3240 continue;
3241 }
3242
3243 case N_EXCL:
3244 continue;
3245
3246 case N_ENDM:
3247 #ifdef SOFUN_ADDRESS_MAYBE_MISSING
3248 /* Solaris 2 end of module, finish current partial
3249 symbol table. END_PSYMTAB will set
3250 pst->texthigh to the proper value, which is
3251 necessary if a module compiled without
3252 debugging info follows this module. */
3253 if (pst)
3254 {
3255 pst = (struct partial_symtab *) 0;
3256 includes_used = 0;
3257 dependencies_used = 0;
3258 }
3259 #endif
3260 continue;
3261
3262 case N_RBRAC:
3263 if (sh.value > save_pst->texthigh)
3264 save_pst->texthigh = sh.value;
3265 continue;
3266 case N_EINCL:
3267 case N_DSLINE:
3268 case N_BSLINE:
3269 case N_SSYM: /* Claim: Structure or union element.
3270 Hopefully, I can ignore this. */
3271 case N_ENTRY: /* Alternate entry point; can ignore. */
3272 case N_MAIN: /* Can definitely ignore this. */
3273 case N_CATCH: /* These are GNU C++ extensions */
3274 case N_EHDECL: /* that can safely be ignored here. */
3275 case N_LENG:
3276 case N_BCOMM:
3277 case N_ECOMM:
3278 case N_ECOML:
3279 case N_FNAME:
3280 case N_SLINE:
3281 case N_RSYM:
3282 case N_PSYM:
3283 case N_LBRAC:
3284 case N_NSYMS: /* Ultrix 4.0: symbol count */
3285 case N_DEFD: /* GNU Modula-2 */
3286 case N_ALIAS: /* SunPro F77: alias name, ignore for now. */
3287
3288 case N_OBJ: /* useless types from Solaris */
3289 case N_OPT:
3290 /* These symbols aren't interesting; don't worry about them */
3291
3292 continue;
3293
3294 default:
3295 /* If we haven't found it yet, ignore it. It's probably some
3296 new type we don't know about yet. */
3297 complaint (&symfile_complaints, _("unknown symbol type %s"),
3298 hex_string (type_code)); /*CUR_SYMBOL_TYPE*/
3299 continue;
3300 }
3301 if (stabstring
3302 && stabstring != debug_info->ss + fh->issBase + sh.iss)
3303 xfree (stabstring);
3304 }
3305 /* end - Handle continuation */
3306 }
3307 }
3308 else
3309 {
3310 for (cur_sdx = 0; cur_sdx < fh->csym;)
3311 {
3312 char *name;
3313 enum address_class class;
3314
3315 (*swap_sym_in) (cur_bfd,
3316 ((char *) debug_info->external_sym
3317 + ((fh->isymBase + cur_sdx)
3318 * external_sym_size)),
3319 &sh);
3320
3321 if (ECOFF_IS_STAB (&sh))
3322 {
3323 cur_sdx++;
3324 continue;
3325 }
3326
3327 /* Non absolute static symbols go into the minimal table. */
3328 if (SC_IS_UNDEF (sh.sc) || sh.sc == scNil
3329 || (sh.index == indexNil
3330 && (sh.st != stStatic || sh.sc == scAbs)))
3331 {
3332 /* FIXME, premature? */
3333 cur_sdx++;
3334 continue;
3335 }
3336
3337 name = debug_info->ss + fh->issBase + sh.iss;
3338
3339 switch (sh.sc)
3340 {
3341 case scText:
3342 case scRConst:
3343 /* The value of a stEnd symbol is the displacement from the
3344 corresponding start symbol value, do not relocate it. */
3345 if (sh.st != stEnd)
3346 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3347 break;
3348 case scData:
3349 case scSData:
3350 case scRData:
3351 case scPData:
3352 case scXData:
3353 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3354 break;
3355 case scBss:
3356 case scSBss:
3357 sh.value += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
3358 break;
3359 }
3360
3361 switch (sh.st)
3362 {
3363 CORE_ADDR high;
3364 CORE_ADDR procaddr;
3365 int new_sdx;
3366
3367 case stStaticProc:
3368 prim_record_minimal_symbol_and_info (name, sh.value,
3369 mst_file_text, NULL,
3370 SECT_OFF_TEXT (objfile), NULL,
3371 objfile);
3372
3373 /* FALLTHROUGH */
3374
3375 case stProc:
3376 /* Ignore all parameter symbol records. */
3377 if (sh.index >= hdr->iauxMax)
3378 {
3379 /* Should not happen, but does when cross-compiling
3380 with the MIPS compiler. FIXME -- pull later. */
3381 index_complaint (name);
3382 new_sdx = cur_sdx + 1; /* Don't skip at all */
3383 }
3384 else
3385 new_sdx = AUX_GET_ISYM (fh->fBigendian,
3386 (debug_info->external_aux
3387 + fh->iauxBase
3388 + sh.index));
3389
3390 if (new_sdx <= cur_sdx)
3391 {
3392 /* This should not happen either... FIXME. */
3393 complaint (&symfile_complaints,
3394 _("bad proc end in aux found from symbol %s"),
3395 name);
3396 new_sdx = cur_sdx + 1; /* Don't skip backward */
3397 }
3398
3399 /* For stProc symbol records, we need to check the
3400 storage class as well, as only (stProc, scText)
3401 entries represent "real" procedures - See the
3402 Compaq document titled "Object File / Symbol Table
3403 Format Specification" for more information. If the
3404 storage class is not scText, we discard the whole
3405 block of symbol records for this stProc. */
3406 if (sh.st == stProc && sh.sc != scText)
3407 goto skip;
3408
3409 /* Usually there is a local and a global stProc symbol
3410 for a function. This means that the function name
3411 has already been entered into the mimimal symbol table
3412 while processing the global symbols in pass 2 above.
3413 One notable exception is the PROGRAM name from
3414 f77 compiled executables, it is only put out as
3415 local stProc symbol, and a global MAIN__ stProc symbol
3416 points to it. It doesn't matter though, as gdb is
3417 still able to find the PROGRAM name via the partial
3418 symbol table, and the MAIN__ symbol via the minimal
3419 symbol table. */
3420 if (sh.st == stProc)
3421 add_psymbol_to_list (name, strlen (name),
3422 VAR_DOMAIN, LOC_BLOCK,
3423 &objfile->global_psymbols,
3424 0, sh.value, psymtab_language, objfile);
3425 else
3426 add_psymbol_to_list (name, strlen (name),
3427 VAR_DOMAIN, LOC_BLOCK,
3428 &objfile->static_psymbols,
3429 0, sh.value, psymtab_language, objfile);
3430
3431 procaddr = sh.value;
3432
3433 cur_sdx = new_sdx;
3434 (*swap_sym_in) (cur_bfd,
3435 ((char *) debug_info->external_sym
3436 + ((fh->isymBase + cur_sdx - 1)
3437 * external_sym_size)),
3438 &sh);
3439 if (sh.st != stEnd)
3440 continue;
3441
3442 /* Kludge for Irix 5.2 zero fh->adr. */
3443 if (!relocatable
3444 && (pst->textlow == 0 || procaddr < pst->textlow))
3445 pst->textlow = procaddr;
3446
3447 high = procaddr + sh.value;
3448 if (high > pst->texthigh)
3449 pst->texthigh = high;
3450 continue;
3451
3452 case stStatic: /* Variable */
3453 if (SC_IS_DATA (sh.sc))
3454 prim_record_minimal_symbol_and_info (name, sh.value,
3455 mst_file_data, NULL,
3456 SECT_OFF_DATA (objfile),
3457 NULL,
3458 objfile);
3459 else
3460 prim_record_minimal_symbol_and_info (name, sh.value,
3461 mst_file_bss, NULL,
3462 SECT_OFF_BSS (objfile),
3463 NULL,
3464 objfile);
3465 class = LOC_STATIC;
3466 break;
3467
3468 case stIndirect: /* Irix5 forward declaration */
3469 /* Skip forward declarations from Irix5 cc */
3470 goto skip;
3471
3472 case stTypedef: /* Typedef */
3473 /* Skip typedefs for forward declarations and opaque
3474 structs from alpha and mips cc. */
3475 if (sh.iss == 0 || has_opaque_xref (fh, &sh))
3476 goto skip;
3477 class = LOC_TYPEDEF;
3478 break;
3479
3480 case stConstant: /* Constant decl */
3481 class = LOC_CONST;
3482 break;
3483
3484 case stUnion:
3485 case stStruct:
3486 case stEnum:
3487 case stBlock: /* { }, str, un, enum */
3488 /* Do not create a partial symbol for cc unnamed aggregates
3489 and gcc empty aggregates. */
3490 if ((sh.sc == scInfo
3491 || SC_IS_COMMON (sh.sc))
3492 && sh.iss != 0
3493 && sh.index != cur_sdx + 2)
3494 {
3495 add_psymbol_to_list (name, strlen (name),
3496 STRUCT_DOMAIN, LOC_TYPEDEF,
3497 &objfile->static_psymbols,
3498 0, (CORE_ADDR) 0,
3499 psymtab_language, objfile);
3500 }
3501 handle_psymbol_enumerators (objfile, fh, sh.st, sh.value);
3502
3503 /* Skip over the block */
3504 new_sdx = sh.index;
3505 if (new_sdx <= cur_sdx)
3506 {
3507 /* This happens with the Ultrix kernel. */
3508 complaint (&symfile_complaints,
3509 _("bad aux index at block symbol %s"), name);
3510 new_sdx = cur_sdx + 1; /* Don't skip backward */
3511 }
3512 cur_sdx = new_sdx;
3513 continue;
3514
3515 case stFile: /* File headers */
3516 case stLabel: /* Labels */
3517 case stEnd: /* Ends of files */
3518 goto skip;
3519
3520 case stLocal: /* Local variables */
3521 /* Normally these are skipped because we skip over
3522 all blocks we see. However, these can occur
3523 as visible symbols in a .h file that contains code. */
3524 goto skip;
3525
3526 default:
3527 /* Both complaints are valid: one gives symbol name,
3528 the other the offending symbol type. */
3529 complaint (&symfile_complaints, _("unknown local symbol %s"),
3530 name);
3531 complaint (&symfile_complaints, _("with type %d"), sh.st);
3532 cur_sdx++;
3533 continue;
3534 }
3535 /* Use this gdb symbol */
3536 add_psymbol_to_list (name, strlen (name),
3537 VAR_DOMAIN, class,
3538 &objfile->static_psymbols,
3539 0, sh.value, psymtab_language, objfile);
3540 skip:
3541 cur_sdx++; /* Go to next file symbol */
3542 }
3543
3544 /* Now do enter the external symbols. */
3545 ext_ptr = &extern_tab[fdr_to_pst[f_idx].globals_offset];
3546 cur_sdx = fdr_to_pst[f_idx].n_globals;
3547 PST_PRIVATE (save_pst)->extern_count = cur_sdx;
3548 PST_PRIVATE (save_pst)->extern_tab = ext_ptr;
3549 for (; --cur_sdx >= 0; ext_ptr++)
3550 {
3551 enum address_class class;
3552 SYMR *psh;
3553 char *name;
3554 CORE_ADDR svalue;
3555
3556 if (ext_ptr->ifd != f_idx)
3557 internal_error (__FILE__, __LINE__, _("failed internal consistency check"));
3558 psh = &ext_ptr->asym;
3559
3560 /* Do not add undefined symbols to the partial symbol table. */
3561 if (SC_IS_UNDEF (psh->sc) || psh->sc == scNil)
3562 continue;
3563
3564 svalue = psh->value;
3565 switch (psh->sc)
3566 {
3567 case scText:
3568 case scRConst:
3569 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_TEXT (objfile));
3570 break;
3571 case scData:
3572 case scSData:
3573 case scRData:
3574 case scPData:
3575 case scXData:
3576 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_DATA (objfile));
3577 break;
3578 case scBss:
3579 case scSBss:
3580 svalue += ANOFFSET (objfile->section_offsets, SECT_OFF_BSS (objfile));
3581 break;
3582 }
3583
3584 switch (psh->st)
3585 {
3586 case stNil:
3587 /* These are generated for static symbols in .o files,
3588 ignore them. */
3589 continue;
3590 case stProc:
3591 case stStaticProc:
3592 /* External procedure symbols have been entered
3593 into the minimal symbol table in pass 2 above.
3594 Ignore them, as parse_external will ignore them too. */
3595 continue;
3596 case stLabel:
3597 class = LOC_LABEL;
3598 break;
3599 default:
3600 unknown_ext_complaint (debug_info->ssext + psh->iss);
3601 /* Fall through, pretend it's global. */
3602 case stGlobal:
3603 /* Global common symbols are resolved by the runtime loader,
3604 ignore them. */
3605 if (SC_IS_COMMON (psh->sc))
3606 continue;
3607
3608 class = LOC_STATIC;
3609 break;
3610 }
3611 name = debug_info->ssext + psh->iss;
3612 add_psymbol_to_list (name, strlen (name),
3613 VAR_DOMAIN, class,
3614 &objfile->global_psymbols,
3615 0, svalue,
3616 psymtab_language, objfile);
3617 }
3618 }
3619
3620 /* Link pst to FDR. end_psymtab returns NULL if the psymtab was
3621 empty and put on the free list. */
3622 fdr_to_pst[f_idx].pst = end_psymtab (save_pst,
3623 psymtab_include_list, includes_used,
3624 -1, save_pst->texthigh,
3625 dependency_list, dependencies_used, textlow_not_set);
3626 includes_used = 0;
3627 dependencies_used = 0;
3628
3629 /* The objfile has its functions reordered if this partial symbol
3630 table overlaps any other partial symbol table.
3631 We cannot assume a reordered objfile if a partial symbol table
3632 is contained within another partial symbol table, as partial symbol
3633 tables for include files with executable code are contained
3634 within the partial symbol table for the including source file,
3635 and we do not want to flag the objfile reordered for these cases.
3636
3637 This strategy works well for Irix-5.2 shared libraries, but we
3638 might have to use a more elaborate (and slower) algorithm for
3639 other cases. */
3640 save_pst = fdr_to_pst[f_idx].pst;
3641 if (save_pst != NULL
3642 && save_pst->textlow != 0
3643 && !(objfile->flags & OBJF_REORDERED))
3644 {
3645 ALL_OBJFILE_PSYMTABS (objfile, pst)
3646 {
3647 if (save_pst != pst
3648 && save_pst->textlow >= pst->textlow
3649 && save_pst->textlow < pst->texthigh
3650 && save_pst->texthigh > pst->texthigh)
3651 {
3652 objfile->flags |= OBJF_REORDERED;
3653 break;
3654 }
3655 }
3656 }
3657 }
3658
3659 /* Now scan the FDRs for dependencies */
3660 for (f_idx = 0; f_idx < hdr->ifdMax; f_idx++)
3661 {
3662 fh = f_idx + debug_info->fdr;
3663 pst = fdr_to_pst[f_idx].pst;
3664
3665 if (pst == (struct partial_symtab *) NULL)
3666 continue;
3667
3668 /* This should catch stabs-in-ecoff. */
3669 if (fh->crfd <= 1)
3670 continue;
3671
3672 /* Skip the first file indirect entry as it is a self dependency
3673 for source files or a reverse .h -> .c dependency for header files. */
3674 pst->number_of_dependencies = 0;
3675 pst->dependencies =
3676 ((struct partial_symtab **)
3677 obstack_alloc (&objfile->objfile_obstack,
3678 ((fh->crfd - 1)
3679 * sizeof (struct partial_symtab *))));
3680 for (s_idx = 1; s_idx < fh->crfd; s_idx++)
3681 {
3682 RFDT rh;
3683
3684 (*swap_rfd_in) (cur_bfd,
3685 ((char *) debug_info->external_rfd
3686 + (fh->rfdBase + s_idx) * external_rfd_size),
3687 &rh);
3688 if (rh < 0 || rh >= hdr->ifdMax)
3689 {
3690 complaint (&symfile_complaints, _("bad file number %ld"), rh);
3691 continue;
3692 }
3693
3694 /* Skip self dependencies of header files. */
3695 if (rh == f_idx)
3696 continue;
3697
3698 /* Do not add to dependeny list if psymtab was empty. */
3699 if (fdr_to_pst[rh].pst == (struct partial_symtab *) NULL)
3700 continue;
3701 pst->dependencies[pst->number_of_dependencies++] = fdr_to_pst[rh].pst;
3702 }
3703 }
3704
3705 /* Remove the dummy psymtab created for -O3 images above, if it is
3706 still empty, to enable the detection of stripped executables. */
3707 if (objfile->psymtabs->next == NULL
3708 && objfile->psymtabs->number_of_dependencies == 0
3709 && objfile->psymtabs->n_global_syms == 0
3710 && objfile->psymtabs->n_static_syms == 0)
3711 objfile->psymtabs = NULL;
3712 do_cleanups (old_chain);
3713 }
3714
3715 /* If the current psymbol has an enumerated type, we need to add
3716 all the the enum constants to the partial symbol table. */
3717
3718 static void
3719 handle_psymbol_enumerators (struct objfile *objfile, FDR *fh, int stype,
3720 CORE_ADDR svalue)
3721 {
3722 const bfd_size_type external_sym_size = debug_swap->external_sym_size;
3723 void (*const swap_sym_in) (bfd *, void *, SYMR *) = debug_swap->swap_sym_in;
3724 char *ext_sym = ((char *) debug_info->external_sym
3725 + ((fh->isymBase + cur_sdx + 1) * external_sym_size));
3726 SYMR sh;
3727 TIR tir;
3728
3729 switch (stype)
3730 {
3731 case stEnum:
3732 break;
3733
3734 case stBlock:
3735 /* It is an enumerated type if the next symbol entry is a stMember
3736 and its auxiliary index is indexNil or its auxiliary entry
3737 is a plain btNil or btVoid.
3738 Alpha cc -migrate enums are recognized by a zero index and
3739 a zero symbol value.
3740 DU 4.0 cc enums are recognized by a member type of btEnum without
3741 qualifiers and a zero symbol value. */
3742 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3743 if (sh.st != stMember)
3744 return;
3745
3746 if (sh.index == indexNil
3747 || (sh.index == 0 && svalue == 0))
3748 break;
3749 (*debug_swap->swap_tir_in) (fh->fBigendian,
3750 &(debug_info->external_aux
3751 + fh->iauxBase + sh.index)->a_ti,
3752 &tir);
3753 if ((tir.bt != btNil
3754 && tir.bt != btVoid
3755 && (tir.bt != btEnum || svalue != 0))
3756 || tir.tq0 != tqNil)
3757 return;
3758 break;
3759
3760 default:
3761 return;
3762 }
3763
3764 for (;;)
3765 {
3766 char *name;
3767
3768 (*swap_sym_in) (cur_bfd, ext_sym, &sh);
3769 if (sh.st != stMember)
3770 break;
3771 name = debug_info->ss + cur_fdr->issBase + sh.iss;
3772
3773 /* Note that the value doesn't matter for enum constants
3774 in psymtabs, just in symtabs. */
3775 add_psymbol_to_list (name, strlen (name),
3776 VAR_DOMAIN, LOC_CONST,
3777 &objfile->static_psymbols, 0,
3778 (CORE_ADDR) 0, psymtab_language, objfile);
3779 ext_sym += external_sym_size;
3780 }
3781 }
3782
3783 /* Get the next symbol. OBJFILE is unused. */
3784
3785 static char *
3786 mdebug_next_symbol_text (struct objfile *objfile)
3787 {
3788 SYMR sh;
3789
3790 cur_sdx++;
3791 (*debug_swap->swap_sym_in) (cur_bfd,
3792 ((char *) debug_info->external_sym
3793 + ((cur_fdr->isymBase + cur_sdx)
3794 * debug_swap->external_sym_size)),
3795 &sh);
3796 return debug_info->ss + cur_fdr->issBase + sh.iss;
3797 }
3798
3799 /* Ancillary function to psymtab_to_symtab(). Does all the work
3800 for turning the partial symtab PST into a symtab, recurring
3801 first on all dependent psymtabs. The argument FILENAME is
3802 only passed so we can see in debug stack traces what file
3803 is being read.
3804
3805 This function has a split personality, based on whether the
3806 symbol table contains ordinary ecoff symbols, or stabs-in-ecoff.
3807 The flow of control and even the memory allocation differs. FIXME. */
3808
3809 static void
3810 psymtab_to_symtab_1 (struct partial_symtab *pst, char *filename)
3811 {
3812 bfd_size_type external_sym_size;
3813 bfd_size_type external_pdr_size;
3814 void (*swap_sym_in) (bfd *, void *, SYMR *);
3815 void (*swap_pdr_in) (bfd *, void *, PDR *);
3816 int i;
3817 struct symtab *st = NULL;
3818 FDR *fh;
3819 struct linetable *lines;
3820 CORE_ADDR lowest_pdr_addr = 0;
3821 int last_symtab_ended = 0;
3822
3823 if (pst->readin)
3824 return;
3825 pst->readin = 1;
3826
3827 /* Read in all partial symbtabs on which this one is dependent.
3828 NOTE that we do have circular dependencies, sigh. We solved
3829 that by setting pst->readin before this point. */
3830
3831 for (i = 0; i < pst->number_of_dependencies; i++)
3832 if (!pst->dependencies[i]->readin)
3833 {
3834 /* Inform about additional files to be read in. */
3835 if (info_verbose)
3836 {
3837 fputs_filtered (" ", gdb_stdout);
3838 wrap_here ("");
3839 fputs_filtered ("and ", gdb_stdout);
3840 wrap_here ("");
3841 printf_filtered ("%s...",
3842 pst->dependencies[i]->filename);
3843 wrap_here (""); /* Flush output */
3844 gdb_flush (gdb_stdout);
3845 }
3846 /* We only pass the filename for debug purposes */
3847 psymtab_to_symtab_1 (pst->dependencies[i],
3848 pst->dependencies[i]->filename);
3849 }
3850
3851 /* Do nothing if this is a dummy psymtab. */
3852
3853 if (pst->n_global_syms == 0 && pst->n_static_syms == 0
3854 && pst->textlow == 0 && pst->texthigh == 0)
3855 return;
3856
3857 /* Now read the symbols for this symtab */
3858
3859 cur_bfd = CUR_BFD (pst);
3860 debug_swap = DEBUG_SWAP (pst);
3861 debug_info = DEBUG_INFO (pst);
3862 pending_list = PENDING_LIST (pst);
3863 external_sym_size = debug_swap->external_sym_size;
3864 external_pdr_size = debug_swap->external_pdr_size;
3865 swap_sym_in = debug_swap->swap_sym_in;
3866 swap_pdr_in = debug_swap->swap_pdr_in;
3867 current_objfile = pst->objfile;
3868 cur_fd = FDR_IDX (pst);
3869 fh = ((cur_fd == -1)
3870 ? (FDR *) NULL
3871 : debug_info->fdr + cur_fd);
3872 cur_fdr = fh;
3873
3874 /* See comment in parse_partial_symbols about the @stabs sentinel. */
3875 processing_gcc_compilation = 0;
3876 if (fh != (FDR *) NULL && fh->csym >= 2)
3877 {
3878 SYMR sh;
3879
3880 (*swap_sym_in) (cur_bfd,
3881 ((char *) debug_info->external_sym
3882 + (fh->isymBase + 1) * external_sym_size),
3883 &sh);
3884 if (strcmp (debug_info->ss + fh->issBase + sh.iss,
3885 stabs_symbol) == 0)
3886 {
3887 /* We indicate that this is a GCC compilation so that certain
3888 features will be enabled in stabsread/dbxread. */
3889 processing_gcc_compilation = 2;
3890 }
3891 }
3892
3893 if (processing_gcc_compilation != 0)
3894 {
3895
3896 /* This symbol table contains stabs-in-ecoff entries. */
3897
3898 /* Parse local symbols first */
3899
3900 if (fh->csym <= 2) /* FIXME, this blows psymtab->symtab ptr */
3901 {
3902 current_objfile = NULL;
3903 return;
3904 }
3905 for (cur_sdx = 2; cur_sdx < fh->csym; cur_sdx++)
3906 {
3907 SYMR sh;
3908 char *name;
3909 CORE_ADDR valu;
3910
3911 (*swap_sym_in) (cur_bfd,
3912 (((char *) debug_info->external_sym)
3913 + (fh->isymBase + cur_sdx) * external_sym_size),
3914 &sh);
3915 name = debug_info->ss + fh->issBase + sh.iss;
3916 valu = sh.value;
3917 /* XXX This is a hack. It will go away! */
3918 if (ECOFF_IS_STAB (&sh) || (name[0] == '#'))
3919 {
3920 int type_code = ECOFF_UNMARK_STAB (sh.index);
3921
3922 /* We should never get non N_STAB symbols here, but they
3923 should be harmless, so keep process_one_symbol from
3924 complaining about them. */
3925 if (type_code & N_STAB)
3926 {
3927 /* If we found a trailing N_SO with no name, process
3928 it here instead of in process_one_symbol, so we
3929 can keep a handle to its symtab. The symtab
3930 would otherwise be ended twice, once in
3931 process_one_symbol, and once after this loop. */
3932 if (type_code == N_SO
3933 && last_source_file
3934 && previous_stab_code != (unsigned char) N_SO
3935 && *name == '\000')
3936 {
3937 valu += ANOFFSET (pst->section_offsets,
3938 SECT_OFF_TEXT (pst->objfile));
3939 previous_stab_code = N_SO;
3940 st = end_symtab (valu, pst->objfile,
3941 SECT_OFF_TEXT (pst->objfile));
3942 end_stabs ();
3943 last_symtab_ended = 1;
3944 }
3945 else
3946 {
3947 last_symtab_ended = 0;
3948 process_one_symbol (type_code, 0, valu, name,
3949 pst->section_offsets, pst->objfile);
3950 }
3951 }
3952 /* Similarly a hack. */
3953 else if (name[0] == '#')
3954 {
3955 process_one_symbol (N_SLINE, 0, valu, name,
3956 pst->section_offsets, pst->objfile);
3957 }
3958 if (type_code == N_FUN)
3959 {
3960 /* Make up special symbol to contain
3961 procedure specific info */
3962 struct mdebug_extra_func_info *e =
3963 ((struct mdebug_extra_func_info *)
3964 obstack_alloc (&current_objfile->objfile_obstack,
3965 sizeof (struct mdebug_extra_func_info)));
3966 struct symbol *s = new_symbol (MDEBUG_EFI_SYMBOL_NAME);
3967
3968 memset (e, 0, sizeof (struct mdebug_extra_func_info));
3969 SYMBOL_DOMAIN (s) = LABEL_DOMAIN;
3970 SYMBOL_CLASS (s) = LOC_CONST;
3971 SYMBOL_TYPE (s) = mdebug_type_void;
3972 SYMBOL_VALUE (s) = (long) e;
3973 e->pdr.framereg = -1;
3974 add_symbol_to_list (s, &local_symbols);
3975 }
3976 }
3977 else if (sh.st == stLabel)
3978 {
3979 if (sh.index == indexNil)
3980 {
3981 /* This is what the gcc2_compiled and __gnu_compiled_*
3982 show up as. So don't complain. */
3983 ;
3984 }
3985 else
3986 {
3987 /* Handle encoded stab line number. */
3988 valu += ANOFFSET (pst->section_offsets, SECT_OFF_TEXT (pst->objfile));
3989 record_line (current_subfile, sh.index, valu);
3990 }
3991 }
3992 else if (sh.st == stProc || sh.st == stStaticProc
3993 || sh.st == stStatic || sh.st == stEnd)
3994 /* These are generated by gcc-2.x, do not complain */
3995 ;
3996 else
3997 complaint (&symfile_complaints, _("unknown stabs symbol %s"), name);
3998 }
3999
4000 if (! last_symtab_ended)
4001 {
4002 st = end_symtab (pst->texthigh, pst->objfile, SECT_OFF_TEXT (pst->objfile));
4003 end_stabs ();
4004 }
4005
4006 /* There used to be a call to sort_blocks here, but this should not
4007 be necessary for stabs symtabs. And as sort_blocks modifies the
4008 start address of the GLOBAL_BLOCK to the FIRST_LOCAL_BLOCK,
4009 it did the wrong thing if the first procedure in a file was
4010 generated via asm statements. */
4011
4012 /* Fill in procedure info next. */
4013 if (fh->cpd > 0)
4014 {
4015 PDR *pr_block;
4016 struct cleanup *old_chain;
4017 char *pdr_ptr;
4018 char *pdr_end;
4019 PDR *pdr_in;
4020 PDR *pdr_in_end;
4021
4022 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4023 old_chain = make_cleanup (xfree, pr_block);
4024
4025 pdr_ptr = ((char *) debug_info->external_pdr
4026 + fh->ipdFirst * external_pdr_size);
4027 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4028 pdr_in = pr_block;
4029 for (;
4030 pdr_ptr < pdr_end;
4031 pdr_ptr += external_pdr_size, pdr_in++)
4032 {
4033 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4034
4035 /* Determine lowest PDR address, the PDRs are not always
4036 sorted. */
4037 if (pdr_in == pr_block)
4038 lowest_pdr_addr = pdr_in->adr;
4039 else if (pdr_in->adr < lowest_pdr_addr)
4040 lowest_pdr_addr = pdr_in->adr;
4041 }
4042
4043 pdr_in = pr_block;
4044 pdr_in_end = pdr_in + fh->cpd;
4045 for (; pdr_in < pdr_in_end; pdr_in++)
4046 parse_procedure (pdr_in, st, pst);
4047
4048 do_cleanups (old_chain);
4049 }
4050 }
4051 else
4052 {
4053 /* This symbol table contains ordinary ecoff entries. */
4054
4055 int f_max;
4056 int maxlines;
4057 EXTR *ext_ptr;
4058
4059 if (fh == 0)
4060 {
4061 maxlines = 0;
4062 st = new_symtab ("unknown", 0, pst->objfile);
4063 }
4064 else
4065 {
4066 maxlines = 2 * fh->cline;
4067 st = new_symtab (pst->filename, maxlines, pst->objfile);
4068
4069 /* The proper language was already determined when building
4070 the psymtab, use it. */
4071 st->language = PST_PRIVATE (pst)->pst_language;
4072 }
4073
4074 psymtab_language = st->language;
4075
4076 lines = LINETABLE (st);
4077
4078 /* Get a new lexical context */
4079
4080 push_parse_stack ();
4081 top_stack->cur_st = st;
4082 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (st),
4083 STATIC_BLOCK);
4084 BLOCK_START (top_stack->cur_block) = pst->textlow;
4085 BLOCK_END (top_stack->cur_block) = 0;
4086 top_stack->blocktype = stFile;
4087 top_stack->cur_type = 0;
4088 top_stack->procadr = 0;
4089 top_stack->numargs = 0;
4090 found_ecoff_debugging_info = 0;
4091
4092 if (fh)
4093 {
4094 char *sym_ptr;
4095 char *sym_end;
4096
4097 /* Parse local symbols first */
4098 sym_ptr = ((char *) debug_info->external_sym
4099 + fh->isymBase * external_sym_size);
4100 sym_end = sym_ptr + fh->csym * external_sym_size;
4101 while (sym_ptr < sym_end)
4102 {
4103 SYMR sh;
4104 int c;
4105
4106 (*swap_sym_in) (cur_bfd, sym_ptr, &sh);
4107 c = parse_symbol (&sh,
4108 debug_info->external_aux + fh->iauxBase,
4109 sym_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
4110 sym_ptr += c * external_sym_size;
4111 }
4112
4113 /* Linenumbers. At the end, check if we can save memory.
4114 parse_lines has to look ahead an arbitrary number of PDR
4115 structures, so we swap them all first. */
4116 if (fh->cpd > 0)
4117 {
4118 PDR *pr_block;
4119 struct cleanup *old_chain;
4120 char *pdr_ptr;
4121 char *pdr_end;
4122 PDR *pdr_in;
4123 PDR *pdr_in_end;
4124
4125 pr_block = (PDR *) xmalloc (fh->cpd * sizeof (PDR));
4126
4127 old_chain = make_cleanup (xfree, pr_block);
4128
4129 pdr_ptr = ((char *) debug_info->external_pdr
4130 + fh->ipdFirst * external_pdr_size);
4131 pdr_end = pdr_ptr + fh->cpd * external_pdr_size;
4132 pdr_in = pr_block;
4133 for (;
4134 pdr_ptr < pdr_end;
4135 pdr_ptr += external_pdr_size, pdr_in++)
4136 {
4137 (*swap_pdr_in) (cur_bfd, pdr_ptr, pdr_in);
4138
4139 /* Determine lowest PDR address, the PDRs are not always
4140 sorted. */
4141 if (pdr_in == pr_block)
4142 lowest_pdr_addr = pdr_in->adr;
4143 else if (pdr_in->adr < lowest_pdr_addr)
4144 lowest_pdr_addr = pdr_in->adr;
4145 }
4146
4147 parse_lines (fh, pr_block, lines, maxlines, pst, lowest_pdr_addr);
4148 if (lines->nitems < fh->cline)
4149 lines = shrink_linetable (lines);
4150
4151 /* Fill in procedure info next. */
4152 pdr_in = pr_block;
4153 pdr_in_end = pdr_in + fh->cpd;
4154 for (; pdr_in < pdr_in_end; pdr_in++)
4155 parse_procedure (pdr_in, 0, pst);
4156
4157 do_cleanups (old_chain);
4158 }
4159 }
4160
4161 LINETABLE (st) = lines;
4162
4163 /* .. and our share of externals.
4164 XXX use the global list to speed up things here. how?
4165 FIXME, Maybe quit once we have found the right number of ext's? */
4166 top_stack->cur_st = st;
4167 top_stack->cur_block = BLOCKVECTOR_BLOCK (BLOCKVECTOR (top_stack->cur_st),
4168 GLOBAL_BLOCK);
4169 top_stack->blocktype = stFile;
4170
4171 ext_ptr = PST_PRIVATE (pst)->extern_tab;
4172 for (i = PST_PRIVATE (pst)->extern_count; --i >= 0; ext_ptr++)
4173 parse_external (ext_ptr, fh->fBigendian, pst->section_offsets, pst->objfile);
4174
4175 /* If there are undefined symbols, tell the user.
4176 The alpha has an undefined symbol for every symbol that is
4177 from a shared library, so tell the user only if verbose is on. */
4178 if (info_verbose && n_undef_symbols)
4179 {
4180 printf_filtered (_("File %s contains %d unresolved references:"),
4181 st->filename, n_undef_symbols);
4182 printf_filtered ("\n\t%4d variables\n\t%4d procedures\n\t%4d labels\n",
4183 n_undef_vars, n_undef_procs, n_undef_labels);
4184 n_undef_symbols = n_undef_labels = n_undef_vars = n_undef_procs = 0;
4185
4186 }
4187 pop_parse_stack ();
4188
4189 st->primary = 1;
4190
4191 sort_blocks (st);
4192 }
4193
4194 /* Now link the psymtab and the symtab. */
4195 pst->symtab = st;
4196
4197 current_objfile = NULL;
4198 }
4199 \f
4200 /* Ancillary parsing procedures. */
4201
4202 /* Return 1 if the symbol pointed to by SH has a cross reference
4203 to an opaque aggregate type, else 0. */
4204
4205 static int
4206 has_opaque_xref (FDR *fh, SYMR *sh)
4207 {
4208 TIR tir;
4209 union aux_ext *ax;
4210 RNDXR rn[1];
4211 unsigned int rf;
4212
4213 if (sh->index == indexNil)
4214 return 0;
4215
4216 ax = debug_info->external_aux + fh->iauxBase + sh->index;
4217 (*debug_swap->swap_tir_in) (fh->fBigendian, &ax->a_ti, &tir);
4218 if (tir.bt != btStruct && tir.bt != btUnion && tir.bt != btEnum)
4219 return 0;
4220
4221 ax++;
4222 (*debug_swap->swap_rndx_in) (fh->fBigendian, &ax->a_rndx, rn);
4223 if (rn->rfd == 0xfff)
4224 rf = AUX_GET_ISYM (fh->fBigendian, ax + 1);
4225 else
4226 rf = rn->rfd;
4227 if (rf != -1)
4228 return 0;
4229 return 1;
4230 }
4231
4232 /* Lookup the type at relative index RN. Return it in TPP
4233 if found and in any event come up with its name PNAME.
4234 BIGEND says whether aux symbols are big-endian or not (from fh->fBigendian).
4235 Return value says how many aux symbols we ate. */
4236
4237 static int
4238 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. */
4239 char **pname, int bigend, char *sym_name)
4240 {
4241 RNDXR rn[1];
4242 unsigned int rf;
4243 int result = 1;
4244 FDR *fh;
4245 char *esh;
4246 SYMR sh;
4247 int xref_fd;
4248 struct mdebug_pending *pend;
4249
4250 *tpp = (struct type *) NULL;
4251
4252 (*debug_swap->swap_rndx_in) (bigend, &ax->a_rndx, rn);
4253
4254 /* Escape index means 'the next one' */
4255 if (rn->rfd == 0xfff)
4256 {
4257 result++;
4258 rf = AUX_GET_ISYM (bigend, ax + 1);
4259 }
4260 else
4261 {
4262 rf = rn->rfd;
4263 }
4264
4265 /* mips cc uses a rf of -1 for opaque struct definitions.
4266 Set TYPE_FLAG_STUB for these types so that check_typedef will
4267 resolve them if the struct gets defined in another compilation unit. */
4268 if (rf == -1)
4269 {
4270 *pname = "<undefined>";
4271 *tpp = init_type (type_code, 0, TYPE_FLAG_STUB, (char *) NULL, current_objfile);
4272 return result;
4273 }
4274
4275 /* mips cc uses an escaped rn->index of 0 for struct return types
4276 of procedures that were compiled without -g. These will always remain
4277 undefined. */
4278 if (rn->rfd == 0xfff && rn->index == 0)
4279 {
4280 *pname = "<undefined>";
4281 return result;
4282 }
4283
4284 /* Find the relative file descriptor and the symbol in it. */
4285 fh = get_rfd (fd, rf);
4286 xref_fd = fh - debug_info->fdr;
4287
4288 if (rn->index >= fh->csym)
4289 {
4290 /* File indirect entry is corrupt. */
4291 *pname = "<illegal>";
4292 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4293 return result;
4294 }
4295
4296 /* If we have processed this symbol then we left a forwarding
4297 pointer to the type in the pending list. If not, we`ll put
4298 it in a list of pending types, to be processed later when
4299 the file will be. In any event, we collect the name for the
4300 type here. */
4301
4302 esh = ((char *) debug_info->external_sym
4303 + ((fh->isymBase + rn->index)
4304 * debug_swap->external_sym_size));
4305 (*debug_swap->swap_sym_in) (cur_bfd, esh, &sh);
4306
4307 /* Make sure that this type of cross reference can be handled. */
4308 if ((sh.sc != scInfo
4309 || (sh.st != stBlock && sh.st != stTypedef && sh.st != stIndirect
4310 && sh.st != stStruct && sh.st != stUnion
4311 && sh.st != stEnum))
4312 && (sh.st != stBlock || !SC_IS_COMMON (sh.sc)))
4313 {
4314 /* File indirect entry is corrupt. */
4315 *pname = "<illegal>";
4316 bad_rfd_entry_complaint (sym_name, xref_fd, rn->index);
4317 return result;
4318 }
4319
4320 *pname = debug_info->ss + fh->issBase + sh.iss;
4321
4322 pend = is_pending_symbol (fh, esh);
4323 if (pend)
4324 *tpp = pend->t;
4325 else
4326 {
4327 /* We have not yet seen this type. */
4328
4329 if ((sh.iss == 0 && sh.st == stTypedef) || sh.st == stIndirect)
4330 {
4331 TIR tir;
4332
4333 /* alpha cc puts out a stTypedef with a sh.iss of zero for
4334 two cases:
4335 a) forward declarations of structs/unions/enums which are not
4336 defined in this compilation unit.
4337 For these the type will be void. This is a bad design decision
4338 as cross referencing across compilation units is impossible
4339 due to the missing name.
4340 b) forward declarations of structs/unions/enums/typedefs which
4341 are defined later in this file or in another file in the same
4342 compilation unit. Irix5 cc uses a stIndirect symbol for this.
4343 Simply cross reference those again to get the true type.
4344 The forward references are not entered in the pending list and
4345 in the symbol table. */
4346
4347 (*debug_swap->swap_tir_in) (bigend,
4348 &(debug_info->external_aux
4349 + fh->iauxBase + sh.index)->a_ti,
4350 &tir);
4351 if (tir.tq0 != tqNil)
4352 complaint (&symfile_complaints,
4353 _("illegal tq0 in forward typedef for %s"), sym_name);
4354 switch (tir.bt)
4355 {
4356 case btVoid:
4357 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4358 current_objfile);
4359 *pname = "<undefined>";
4360 break;
4361
4362 case btStruct:
4363 case btUnion:
4364 case btEnum:
4365 cross_ref (xref_fd,
4366 (debug_info->external_aux
4367 + fh->iauxBase + sh.index + 1),
4368 tpp, type_code, pname,
4369 fh->fBigendian, sym_name);
4370 break;
4371
4372 case btTypedef:
4373 /* Follow a forward typedef. This might recursively
4374 call cross_ref till we get a non typedef'ed type.
4375 FIXME: This is not correct behaviour, but gdb currently
4376 cannot handle typedefs without type copying. Type
4377 copying is impossible as we might have mutual forward
4378 references between two files and the copied type would not
4379 get filled in when we later parse its definition. */
4380 *tpp = parse_type (xref_fd,
4381 debug_info->external_aux + fh->iauxBase,
4382 sh.index,
4383 (int *) NULL,
4384 fh->fBigendian,
4385 debug_info->ss + fh->issBase + sh.iss);
4386 add_pending (fh, esh, *tpp);
4387 break;
4388
4389 default:
4390 complaint (&symfile_complaints,
4391 _("illegal bt %d in forward typedef for %s"), tir.bt,
4392 sym_name);
4393 *tpp = init_type (type_code, 0, 0, (char *) NULL,
4394 current_objfile);
4395 break;
4396 }
4397 return result;
4398 }
4399 else if (sh.st == stTypedef)
4400 {
4401 /* Parse the type for a normal typedef. This might recursively call
4402 cross_ref till we get a non typedef'ed type.
4403 FIXME: This is not correct behaviour, but gdb currently
4404 cannot handle typedefs without type copying. But type copying is
4405 impossible as we might have mutual forward references between
4406 two files and the copied type would not get filled in when
4407 we later parse its definition. */
4408 *tpp = parse_type (xref_fd,
4409 debug_info->external_aux + fh->iauxBase,
4410 sh.index,
4411 (int *) NULL,
4412 fh->fBigendian,
4413 debug_info->ss + fh->issBase + sh.iss);
4414 }
4415 else
4416 {
4417 /* Cross reference to a struct/union/enum which is defined
4418 in another file in the same compilation unit but that file
4419 has not been parsed yet.
4420 Initialize the type only, it will be filled in when
4421 it's definition is parsed. */
4422 *tpp = init_type (type_code, 0, 0, (char *) NULL, current_objfile);
4423 }
4424 add_pending (fh, esh, *tpp);
4425 }
4426
4427 /* We used one auxent normally, two if we got a "next one" rf. */
4428 return result;
4429 }
4430
4431
4432 /* Quick&dirty lookup procedure, to avoid the MI ones that require
4433 keeping the symtab sorted */
4434
4435 static struct symbol *
4436 mylookup_symbol (char *name, struct block *block,
4437 domain_enum domain, enum address_class class)
4438 {
4439 struct dict_iterator iter;
4440 int inc;
4441 struct symbol *sym;
4442
4443 inc = name[0];
4444 ALL_BLOCK_SYMBOLS (block, iter, sym)
4445 {
4446 if (DEPRECATED_SYMBOL_NAME (sym)[0] == inc
4447 && SYMBOL_DOMAIN (sym) == domain
4448 && SYMBOL_CLASS (sym) == class
4449 && strcmp (DEPRECATED_SYMBOL_NAME (sym), name) == 0)
4450 return sym;
4451 }
4452
4453 block = BLOCK_SUPERBLOCK (block);
4454 if (block)
4455 return mylookup_symbol (name, block, domain, class);
4456 return 0;
4457 }
4458
4459
4460 /* Add a new symbol S to a block B. */
4461
4462 static void
4463 add_symbol (struct symbol *s, struct block *b)
4464 {
4465 dict_add_symbol (BLOCK_DICT (b), s);
4466 }
4467
4468 /* Add a new block B to a symtab S */
4469
4470 static void
4471 add_block (struct block *b, struct symtab *s)
4472 {
4473 struct blockvector *bv = BLOCKVECTOR (s);
4474
4475 bv = (struct blockvector *) xrealloc ((void *) bv,
4476 (sizeof (struct blockvector)
4477 + BLOCKVECTOR_NBLOCKS (bv)
4478 * sizeof (bv->block)));
4479 if (bv != BLOCKVECTOR (s))
4480 BLOCKVECTOR (s) = bv;
4481
4482 BLOCKVECTOR_BLOCK (bv, BLOCKVECTOR_NBLOCKS (bv)++) = b;
4483 }
4484
4485 /* Add a new linenumber entry (LINENO,ADR) to a linevector LT.
4486 MIPS' linenumber encoding might need more than one byte
4487 to describe it, LAST is used to detect these continuation lines.
4488
4489 Combining lines with the same line number seems like a bad idea.
4490 E.g: There could be a line number entry with the same line number after the
4491 prologue and GDB should not ignore it (this is a better way to find
4492 a prologue than mips_skip_prologue).
4493 But due to the compressed line table format there are line number entries
4494 for the same line which are needed to bridge the gap to the next
4495 line number entry. These entries have a bogus address info with them
4496 and we are unable to tell them from intended duplicate line number
4497 entries.
4498 This is another reason why -ggdb debugging format is preferable. */
4499
4500 static int
4501 add_line (struct linetable *lt, int lineno, CORE_ADDR adr, int last)
4502 {
4503 /* DEC c89 sometimes produces zero linenos which confuse gdb.
4504 Change them to something sensible. */
4505 if (lineno == 0)
4506 lineno = 1;
4507 if (last == 0)
4508 last = -2; /* make sure we record first line */
4509
4510 if (last == lineno) /* skip continuation lines */
4511 return lineno;
4512
4513 lt->item[lt->nitems].line = lineno;
4514 lt->item[lt->nitems++].pc = adr << 2;
4515 return lineno;
4516 }
4517 \f
4518 /* Sorting and reordering procedures */
4519
4520 /* Blocks with a smaller low bound should come first */
4521
4522 static int
4523 compare_blocks (const void *arg1, const void *arg2)
4524 {
4525 LONGEST addr_diff;
4526 struct block **b1 = (struct block **) arg1;
4527 struct block **b2 = (struct block **) arg2;
4528
4529 addr_diff = (BLOCK_START ((*b1))) - (BLOCK_START ((*b2)));
4530 if (addr_diff == 0)
4531 return (BLOCK_END ((*b2))) - (BLOCK_END ((*b1)));
4532 return addr_diff;
4533 }
4534
4535 /* Sort the blocks of a symtab S.
4536 Reorder the blocks in the blockvector by code-address,
4537 as required by some MI search routines */
4538
4539 static void
4540 sort_blocks (struct symtab *s)
4541 {
4542 struct blockvector *bv = BLOCKVECTOR (s);
4543
4544 if (BLOCKVECTOR_NBLOCKS (bv) <= 2)
4545 {
4546 /* Cosmetic */
4547 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) == 0)
4548 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = 0;
4549 if (BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) == 0)
4550 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) = 0;
4551 return;
4552 }
4553 /*
4554 * This is very unfortunate: normally all functions are compiled in
4555 * the order they are found, but if the file is compiled -O3 things
4556 * are very different. It would be nice to find a reliable test
4557 * to detect -O3 images in advance.
4558 */
4559 if (BLOCKVECTOR_NBLOCKS (bv) > 3)
4560 qsort (&BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK),
4561 BLOCKVECTOR_NBLOCKS (bv) - FIRST_LOCAL_BLOCK,
4562 sizeof (struct block *),
4563 compare_blocks);
4564
4565 {
4566 CORE_ADDR high = 0;
4567 int i, j = BLOCKVECTOR_NBLOCKS (bv);
4568
4569 for (i = FIRST_LOCAL_BLOCK; i < j; i++)
4570 if (high < BLOCK_END (BLOCKVECTOR_BLOCK (bv, i)))
4571 high = BLOCK_END (BLOCKVECTOR_BLOCK (bv, i));
4572 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) = high;
4573 }
4574
4575 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK)) =
4576 BLOCK_START (BLOCKVECTOR_BLOCK (bv, FIRST_LOCAL_BLOCK));
4577
4578 BLOCK_START (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4579 BLOCK_START (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4580 BLOCK_END (BLOCKVECTOR_BLOCK (bv, STATIC_BLOCK)) =
4581 BLOCK_END (BLOCKVECTOR_BLOCK (bv, GLOBAL_BLOCK));
4582 }
4583 \f
4584
4585 /* Constructor/restructor/destructor procedures */
4586
4587 /* Allocate a new symtab for NAME. Needs an estimate of how many
4588 linenumbers MAXLINES we'll put in it */
4589
4590 static struct symtab *
4591 new_symtab (char *name, int maxlines, struct objfile *objfile)
4592 {
4593 struct symtab *s = allocate_symtab (name, objfile);
4594
4595 LINETABLE (s) = new_linetable (maxlines);
4596
4597 /* All symtabs must have at least two blocks */
4598 BLOCKVECTOR (s) = new_bvect (2);
4599 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK)
4600 = new_block (NON_FUNCTION_BLOCK);
4601 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)
4602 = new_block (NON_FUNCTION_BLOCK);
4603 BLOCK_SUPERBLOCK (BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), STATIC_BLOCK)) =
4604 BLOCKVECTOR_BLOCK (BLOCKVECTOR (s), GLOBAL_BLOCK);
4605
4606 s->free_code = free_linetable;
4607 s->debugformat = obsavestring ("ECOFF", 5,
4608 &objfile->objfile_obstack);
4609 return (s);
4610 }
4611
4612 /* Allocate a new partial_symtab NAME */
4613
4614 static struct partial_symtab *
4615 new_psymtab (char *name, struct objfile *objfile)
4616 {
4617 struct partial_symtab *psymtab;
4618
4619 psymtab = allocate_psymtab (name, objfile);
4620 psymtab->section_offsets = objfile->section_offsets;
4621
4622 /* Keep a backpointer to the file's symbols */
4623
4624 psymtab->read_symtab_private = ((char *)
4625 obstack_alloc (&objfile->objfile_obstack,
4626 sizeof (struct symloc)));
4627 memset (psymtab->read_symtab_private, 0, sizeof (struct symloc));
4628 CUR_BFD (psymtab) = cur_bfd;
4629 DEBUG_SWAP (psymtab) = debug_swap;
4630 DEBUG_INFO (psymtab) = debug_info;
4631 PENDING_LIST (psymtab) = pending_list;
4632
4633 /* The way to turn this into a symtab is to call... */
4634 psymtab->read_symtab = mdebug_psymtab_to_symtab;
4635 return (psymtab);
4636 }
4637
4638
4639 /* Allocate a linetable array of the given SIZE. Since the struct
4640 already includes one item, we subtract one when calculating the
4641 proper size to allocate. */
4642
4643 static struct linetable *
4644 new_linetable (int size)
4645 {
4646 struct linetable *l;
4647
4648 size = (size - 1) * sizeof (l->item) + sizeof (struct linetable);
4649 l = (struct linetable *) xmalloc (size);
4650 l->nitems = 0;
4651 return l;
4652 }
4653
4654 /* Oops, too big. Shrink it. This was important with the 2.4 linetables,
4655 I am not so sure about the 3.4 ones.
4656
4657 Since the struct linetable already includes one item, we subtract one when
4658 calculating the proper size to allocate. */
4659
4660 static struct linetable *
4661 shrink_linetable (struct linetable *lt)
4662 {
4663
4664 return (struct linetable *) xrealloc ((void *) lt,
4665 (sizeof (struct linetable)
4666 + ((lt->nitems - 1)
4667 * sizeof (lt->item))));
4668 }
4669
4670 /* Allocate and zero a new blockvector of NBLOCKS blocks. */
4671
4672 static struct blockvector *
4673 new_bvect (int nblocks)
4674 {
4675 struct blockvector *bv;
4676 int size;
4677
4678 size = sizeof (struct blockvector) + nblocks * sizeof (struct block *);
4679 bv = (struct blockvector *) xzalloc (size);
4680
4681 BLOCKVECTOR_NBLOCKS (bv) = nblocks;
4682
4683 return bv;
4684 }
4685
4686 /* Allocate and zero a new block, and set its BLOCK_DICT. If function
4687 is non-zero, assume the block is associated to a function, and make
4688 sure that the symbols are stored linearly; otherwise, store them
4689 hashed. */
4690
4691 static struct block *
4692 new_block (enum block_type type)
4693 {
4694 /* FIXME: carlton/2003-09-11: This should use allocate_block to
4695 allocate the block. Which, in turn, suggests that the block
4696 should be allocated on an obstack. */
4697 struct block *retval = xzalloc (sizeof (struct block));
4698
4699 if (type == FUNCTION_BLOCK)
4700 BLOCK_DICT (retval) = dict_create_linear_expandable ();
4701 else
4702 BLOCK_DICT (retval) = dict_create_hashed_expandable ();
4703
4704 return retval;
4705 }
4706
4707 /* Create a new symbol with printname NAME */
4708
4709 static struct symbol *
4710 new_symbol (char *name)
4711 {
4712 struct symbol *s = ((struct symbol *)
4713 obstack_alloc (&current_objfile->objfile_obstack,
4714 sizeof (struct symbol)));
4715
4716 memset (s, 0, sizeof (*s));
4717 SYMBOL_LANGUAGE (s) = psymtab_language;
4718 SYMBOL_SET_NAMES (s, name, strlen (name), current_objfile);
4719 return s;
4720 }
4721
4722 /* Create a new type with printname NAME */
4723
4724 static struct type *
4725 new_type (char *name)
4726 {
4727 struct type *t;
4728
4729 t = alloc_type (current_objfile);
4730 TYPE_NAME (t) = name;
4731 TYPE_CPLUS_SPECIFIC (t) = (struct cplus_struct_type *) &cplus_struct_default;
4732 return t;
4733 }
4734 \f
4735 /* Read ECOFF debugging information from a BFD section. This is
4736 called from elfread.c. It parses the section into a
4737 ecoff_debug_info struct, and then lets the rest of the file handle
4738 it as normal. */
4739
4740 void
4741 elfmdebug_build_psymtabs (struct objfile *objfile,
4742 const struct ecoff_debug_swap *swap, asection *sec)
4743 {
4744 bfd *abfd = objfile->obfd;
4745 struct ecoff_debug_info *info;
4746 struct cleanup *back_to;
4747
4748 /* FIXME: It's not clear whether we should be getting minimal symbol
4749 information from .mdebug in an ELF file, or whether we will.
4750 Re-initialize the minimal symbol reader in case we do. */
4751
4752 init_minimal_symbol_collection ();
4753 back_to = make_cleanup_discard_minimal_symbols ();
4754
4755 info = ((struct ecoff_debug_info *)
4756 obstack_alloc (&objfile->objfile_obstack,
4757 sizeof (struct ecoff_debug_info)));
4758
4759 if (!(*swap->read_debug_info) (abfd, sec, info))
4760 error (_("Error reading ECOFF debugging information: %s"),
4761 bfd_errmsg (bfd_get_error ()));
4762
4763 mdebug_build_psymtabs (objfile, swap, info);
4764
4765 install_minimal_symbols (objfile);
4766 do_cleanups (back_to);
4767 }
4768
4769 void
4770 _initialize_mdebugread (void)
4771 {
4772 mdebug_type_void =
4773 init_type (TYPE_CODE_VOID, 1,
4774 0,
4775 "void", (struct objfile *) NULL);
4776 mdebug_type_char =
4777 init_type (TYPE_CODE_INT, 1,
4778 0,
4779 "char", (struct objfile *) NULL);
4780 mdebug_type_unsigned_char =
4781 init_type (TYPE_CODE_INT, 1,
4782 TYPE_FLAG_UNSIGNED,
4783 "unsigned char", (struct objfile *) NULL);
4784 mdebug_type_short =
4785 init_type (TYPE_CODE_INT, 2,
4786 0,
4787 "short", (struct objfile *) NULL);
4788 mdebug_type_unsigned_short =
4789 init_type (TYPE_CODE_INT, 2,
4790 TYPE_FLAG_UNSIGNED,
4791 "unsigned short", (struct objfile *) NULL);
4792 mdebug_type_int_32 =
4793 init_type (TYPE_CODE_INT, 4,
4794 0,
4795 "int", (struct objfile *) NULL);
4796 mdebug_type_unsigned_int_32 =
4797 init_type (TYPE_CODE_INT, 4,
4798 TYPE_FLAG_UNSIGNED,
4799 "unsigned int", (struct objfile *) NULL);
4800 mdebug_type_int_64 =
4801 init_type (TYPE_CODE_INT, 8,
4802 0,
4803 "int", (struct objfile *) NULL);
4804 mdebug_type_unsigned_int_64 =
4805 init_type (TYPE_CODE_INT, 8,
4806 TYPE_FLAG_UNSIGNED,
4807 "unsigned int", (struct objfile *) NULL);
4808 mdebug_type_long_32 =
4809 init_type (TYPE_CODE_INT, 4,
4810 0,
4811 "long", (struct objfile *) NULL);
4812 mdebug_type_unsigned_long_32 =
4813 init_type (TYPE_CODE_INT, 4,
4814 TYPE_FLAG_UNSIGNED,
4815 "unsigned long", (struct objfile *) NULL);
4816 mdebug_type_long_64 =
4817 init_type (TYPE_CODE_INT, 8,
4818 0,
4819 "long", (struct objfile *) NULL);
4820 mdebug_type_unsigned_long_64 =
4821 init_type (TYPE_CODE_INT, 8,
4822 TYPE_FLAG_UNSIGNED,
4823 "unsigned long", (struct objfile *) NULL);
4824 mdebug_type_long_long_64 =
4825 init_type (TYPE_CODE_INT, 8,
4826 0,
4827 "long long", (struct objfile *) NULL);
4828 mdebug_type_unsigned_long_long_64 =
4829 init_type (TYPE_CODE_INT, 8,
4830 TYPE_FLAG_UNSIGNED,
4831 "unsigned long long", (struct objfile *) NULL);
4832 mdebug_type_adr_32 =
4833 init_type (TYPE_CODE_PTR, 4,
4834 TYPE_FLAG_UNSIGNED,
4835 "adr_32", (struct objfile *) NULL);
4836 TYPE_TARGET_TYPE (mdebug_type_adr_32) = mdebug_type_void;
4837 mdebug_type_adr_64 =
4838 init_type (TYPE_CODE_PTR, 8,
4839 TYPE_FLAG_UNSIGNED,
4840 "adr_64", (struct objfile *) NULL);
4841 TYPE_TARGET_TYPE (mdebug_type_adr_64) = mdebug_type_void;
4842 mdebug_type_float =
4843 init_type (TYPE_CODE_FLT, TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4844 0,
4845 "float", (struct objfile *) NULL);
4846 mdebug_type_double =
4847 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4848 0,
4849 "double", (struct objfile *) NULL);
4850 mdebug_type_complex =
4851 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_FLOAT_BIT / TARGET_CHAR_BIT,
4852 0,
4853 "complex", (struct objfile *) NULL);
4854 TYPE_TARGET_TYPE (mdebug_type_complex) = mdebug_type_float;
4855 mdebug_type_double_complex =
4856 init_type (TYPE_CODE_COMPLEX, 2 * TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4857 0,
4858 "double complex", (struct objfile *) NULL);
4859 TYPE_TARGET_TYPE (mdebug_type_double_complex) = mdebug_type_double;
4860
4861 /* Is a "string" the way btString means it the same as TYPE_CODE_STRING?
4862 FIXME. */
4863 mdebug_type_string =
4864 init_type (TYPE_CODE_STRING,
4865 TARGET_CHAR_BIT / TARGET_CHAR_BIT,
4866 0, "string",
4867 (struct objfile *) NULL);
4868
4869 /* We use TYPE_CODE_INT to print these as integers. Does this do any
4870 good? Would we be better off with TYPE_CODE_ERROR? Should
4871 TYPE_CODE_ERROR print things in hex if it knows the size? */
4872 mdebug_type_fixed_dec =
4873 init_type (TYPE_CODE_INT,
4874 TARGET_INT_BIT / TARGET_CHAR_BIT,
4875 0, "fixed decimal",
4876 (struct objfile *) NULL);
4877
4878 mdebug_type_float_dec =
4879 init_type (TYPE_CODE_ERROR,
4880 TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
4881 0, "floating decimal",
4882 (struct objfile *) NULL);
4883
4884 nodebug_func_symbol_type = init_type (TYPE_CODE_FUNC, 1, 0,
4885 "<function, no debug info>", NULL);
4886 TYPE_TARGET_TYPE (nodebug_func_symbol_type) = mdebug_type_int;
4887 nodebug_var_symbol_type =
4888 init_type (TYPE_CODE_INT, TARGET_INT_BIT / HOST_CHAR_BIT, 0,
4889 "<variable, no debug info>", NULL);
4890 }