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