1/* wrstabs.c -- Output stabs debugging information 2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2006 3 Free Software Foundation, Inc. 4 Written by Ian Lance Taylor <ian@cygnus.com>. 5 6 This file is part of GNU Binutils. 7 8 This program is free software; you can redistribute it and/or modify 9 it under the terms of the GNU General Public License as published by 10 the Free Software Foundation; either version 2 of the License, or 11 (at your option) any later version. 12 13 This program is distributed in the hope that it will be useful, 14 but WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 GNU General Public License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with this program; if not, write to the Free Software 20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA 21 02110-1301, USA. */ 22 23/* This file contains code which writes out stabs debugging 24 information. */ 25 26#include <stdio.h> 27#include <assert.h> 28 29#include "bfd.h" 30#include "bucomm.h" 31#include "libiberty.h" 32#include "safe-ctype.h" 33#include "debug.h" 34#include "budbg.h" 35#include "aout/aout64.h" 36#include "aout/stab_gnu.h" 37 38/* The size of a stabs symbol. This presumes 32 bit values. */ 39 40#define STAB_SYMBOL_SIZE (12) 41 42/* An entry in a string hash table. */ 43 44struct string_hash_entry 45{ 46 struct bfd_hash_entry root; 47 /* Next string in this table. */ 48 struct string_hash_entry *next; 49 /* Index in string table. */ 50 long index; 51 /* Size of type if this is a typedef. */ 52 unsigned int size; 53}; 54 55/* A string hash table. */ 56 57struct string_hash_table 58{ 59 struct bfd_hash_table table; 60}; 61 62/* The type stack. Each element on the stack is a string. */ 63 64struct stab_type_stack 65{ 66 /* The next element on the stack. */ 67 struct stab_type_stack *next; 68 /* This element as a string. */ 69 char *string; 70 /* The type index of this element. */ 71 long index; 72 /* The size of the type. */ 73 unsigned int size; 74 /* Whether type string defines a new type. */ 75 bfd_boolean definition; 76 /* String defining struct fields. */ 77 char *fields; 78 /* NULL terminated array of strings defining base classes for a 79 class. */ 80 char **baseclasses; 81 /* String defining class methods. */ 82 char *methods; 83 /* String defining vtable pointer for a class. */ 84 char *vtable; 85}; 86 87/* This structure is used to keep track of type indices for tagged 88 types. */ 89 90struct stab_tag 91{ 92 /* The type index. */ 93 long index; 94 /* The tag name. */ 95 const char *tag; 96 /* The kind of type. This is set to DEBUG_KIND_ILLEGAL when the 97 type is defined. */ 98 enum debug_type_kind kind; 99 /* The size of the struct. */ 100 unsigned int size; 101}; 102 103/* We remember various sorts of type indices. They are not related, 104 but, for convenience, we keep all the information in this 105 structure. */ 106 107struct stab_type_cache 108{ 109 /* The void type index. */ 110 long void_type; 111 /* Signed integer type indices, indexed by size - 1. */ 112 long signed_integer_types[8]; 113 /* Unsigned integer type indices, indexed by size - 1. */ 114 long unsigned_integer_types[8]; 115 /* Floating point types, indexed by size - 1. */ 116 long float_types[16]; 117 /* Pointers to types, indexed by the type index. */ 118 long *pointer_types; 119 size_t pointer_types_alloc; 120 /* Functions returning types, indexed by the type index. */ 121 long *function_types; 122 size_t function_types_alloc; 123 /* References to types, indexed by the type index. */ 124 long *reference_types; 125 size_t reference_types_alloc; 126 /* Struct/union/class type indices, indexed by the struct id. */ 127 struct stab_tag *struct_types; 128 size_t struct_types_alloc; 129}; 130 131/* This is the handle passed through debug_write. */ 132 133struct stab_write_handle 134{ 135 /* The BFD. */ 136 bfd *abfd; 137 /* This buffer holds the symbols. */ 138 bfd_byte *symbols; 139 size_t symbols_size; 140 size_t symbols_alloc; 141 /* This is a list of hash table entries for the strings. */ 142 struct string_hash_entry *strings; 143 /* The last string hash table entry. */ 144 struct string_hash_entry *last_string; 145 /* The size of the strings. */ 146 size_t strings_size; 147 /* This hash table eliminates duplicate strings. */ 148 struct string_hash_table strhash; 149 /* The type stack. */ 150 struct stab_type_stack *type_stack; 151 /* The next type index. */ 152 long type_index; 153 /* The type cache. */ 154 struct stab_type_cache type_cache; 155 /* A mapping from typedef names to type indices. */ 156 struct string_hash_table typedef_hash; 157 /* If this is not -1, it is the offset to the most recent N_SO 158 symbol, and the value of that symbol needs to be set. */ 159 long so_offset; 160 /* If this is not -1, it is the offset to the most recent N_FUN 161 symbol, and the value of that symbol needs to be set. */ 162 long fun_offset; 163 /* The last text section address seen. */ 164 bfd_vma last_text_address; 165 /* The block nesting depth. */ 166 unsigned int nesting; 167 /* The function address. */ 168 bfd_vma fnaddr; 169 /* A pending LBRAC symbol. */ 170 bfd_vma pending_lbrac; 171 /* The current line number file name. */ 172 const char *lineno_filename; 173}; 174 175static struct bfd_hash_entry *string_hash_newfunc 176 (struct bfd_hash_entry *, struct bfd_hash_table *, const char *); 177static bfd_boolean stab_write_symbol 178 (struct stab_write_handle *, int, int, bfd_vma, const char *); 179static bfd_boolean stab_push_string 180 (struct stab_write_handle *, const char *, long, bfd_boolean, unsigned int); 181static bfd_boolean stab_push_defined_type 182 (struct stab_write_handle *, long, unsigned int); 183static char *stab_pop_type (struct stab_write_handle *); 184static bfd_boolean stab_modify_type 185 (struct stab_write_handle *, int, unsigned int, long **, size_t *); 186static long stab_get_struct_index 187 (struct stab_write_handle *, const char *, unsigned int, 188 enum debug_type_kind, unsigned int *); 189static bfd_boolean stab_class_method_var 190 (struct stab_write_handle *, const char *, enum debug_visibility, 191 bfd_boolean, bfd_boolean, bfd_boolean, bfd_vma, bfd_boolean); 192static bfd_boolean stab_start_compilation_unit (void *, const char *); 193static bfd_boolean stab_start_source (void *, const char *); 194static bfd_boolean stab_empty_type (void *); 195static bfd_boolean stab_void_type (void *); 196static bfd_boolean stab_int_type (void *, unsigned int, bfd_boolean); 197static bfd_boolean stab_float_type (void *, unsigned int); 198static bfd_boolean stab_complex_type (void *, unsigned int); 199static bfd_boolean stab_bool_type (void *, unsigned int); 200static bfd_boolean stab_enum_type 201 (void *, const char *, const char **, bfd_signed_vma *); 202static bfd_boolean stab_pointer_type (void *); 203static bfd_boolean stab_function_type (void *, int, bfd_boolean); 204static bfd_boolean stab_reference_type (void *); 205static bfd_boolean stab_range_type (void *, bfd_signed_vma, bfd_signed_vma); 206static bfd_boolean stab_array_type 207 (void *, bfd_signed_vma, bfd_signed_vma, bfd_boolean); 208static bfd_boolean stab_set_type (void *, bfd_boolean); 209static bfd_boolean stab_offset_type (void *); 210static bfd_boolean stab_method_type (void *, bfd_boolean, int, bfd_boolean); 211static bfd_boolean stab_const_type (void *); 212static bfd_boolean stab_volatile_type (void *); 213static bfd_boolean stab_start_struct_type 214 (void *, const char *, unsigned int, bfd_boolean, unsigned int); 215static bfd_boolean stab_struct_field 216 (void *, const char *, bfd_vma, bfd_vma, enum debug_visibility); 217static bfd_boolean stab_end_struct_type (void *); 218static bfd_boolean stab_start_class_type 219 (void *, const char *, unsigned int, bfd_boolean, unsigned int, 220 bfd_boolean, bfd_boolean); 221static bfd_boolean stab_class_static_member 222 (void *, const char *, const char *, enum debug_visibility); 223static bfd_boolean stab_class_baseclass 224 (void *, bfd_vma, bfd_boolean, enum debug_visibility); 225static bfd_boolean stab_class_start_method (void *, const char *); 226static bfd_boolean stab_class_method_variant 227 (void *, const char *, enum debug_visibility, bfd_boolean, bfd_boolean, 228 bfd_vma, bfd_boolean); 229static bfd_boolean stab_class_static_method_variant 230 (void *, const char *, enum debug_visibility, bfd_boolean, bfd_boolean); 231static bfd_boolean stab_class_end_method (void *); 232static bfd_boolean stab_end_class_type (void *); 233static bfd_boolean stab_typedef_type (void *, const char *); 234static bfd_boolean stab_tag_type 235 (void *, const char *, unsigned int, enum debug_type_kind); 236static bfd_boolean stab_typdef (void *, const char *); 237static bfd_boolean stab_tag (void *, const char *); 238static bfd_boolean stab_int_constant (void *, const char *, bfd_vma); 239static bfd_boolean stab_float_constant (void *, const char *, double); 240static bfd_boolean stab_typed_constant (void *, const char *, bfd_vma); 241static bfd_boolean stab_variable 242 (void *, const char *, enum debug_var_kind, bfd_vma); 243static bfd_boolean stab_start_function (void *, const char *, bfd_boolean); 244static bfd_boolean stab_function_parameter 245 (void *, const char *, enum debug_parm_kind, bfd_vma); 246static bfd_boolean stab_start_block (void *, bfd_vma); 247static bfd_boolean stab_end_block (void *, bfd_vma); 248static bfd_boolean stab_end_function (void *); 249static bfd_boolean stab_lineno (void *, const char *, unsigned long, bfd_vma); 250 251static const struct debug_write_fns stab_fns = 252{ 253 stab_start_compilation_unit, 254 stab_start_source, 255 stab_empty_type, 256 stab_void_type, 257 stab_int_type, 258 stab_float_type, 259 stab_complex_type, 260 stab_bool_type, 261 stab_enum_type, 262 stab_pointer_type, 263 stab_function_type, 264 stab_reference_type, 265 stab_range_type, 266 stab_array_type, 267 stab_set_type, 268 stab_offset_type, 269 stab_method_type, 270 stab_const_type, 271 stab_volatile_type, 272 stab_start_struct_type, 273 stab_struct_field, 274 stab_end_struct_type, 275 stab_start_class_type, 276 stab_class_static_member, 277 stab_class_baseclass, 278 stab_class_start_method, 279 stab_class_method_variant, 280 stab_class_static_method_variant, 281 stab_class_end_method, 282 stab_end_class_type, 283 stab_typedef_type, 284 stab_tag_type, 285 stab_typdef, 286 stab_tag, 287 stab_int_constant, 288 stab_float_constant, 289 stab_typed_constant, 290 stab_variable, 291 stab_start_function, 292 stab_function_parameter, 293 stab_start_block, 294 stab_end_block, 295 stab_end_function, 296 stab_lineno 297}; 298 299/* Routine to create an entry in a string hash table. */ 300 301static struct bfd_hash_entry * 302string_hash_newfunc (struct bfd_hash_entry *entry, 303 struct bfd_hash_table *table, const char *string) 304{ 305 struct string_hash_entry *ret = (struct string_hash_entry *) entry; 306 307 /* Allocate the structure if it has not already been allocated by a 308 subclass. */ 309 if (ret == (struct string_hash_entry *) NULL) 310 ret = ((struct string_hash_entry *) 311 bfd_hash_allocate (table, sizeof (struct string_hash_entry))); 312 if (ret == (struct string_hash_entry *) NULL) 313 return NULL; 314 315 /* Call the allocation method of the superclass. */ 316 ret = ((struct string_hash_entry *) 317 bfd_hash_newfunc ((struct bfd_hash_entry *) ret, table, string)); 318 319 if (ret) 320 { 321 /* Initialize the local fields. */ 322 ret->next = NULL; 323 ret->index = -1; 324 ret->size = 0; 325 } 326 327 return (struct bfd_hash_entry *) ret; 328} 329 330/* Look up an entry in a string hash table. */ 331 332#define string_hash_lookup(t, string, create, copy) \ 333 ((struct string_hash_entry *) \ 334 bfd_hash_lookup (&(t)->table, (string), (create), (copy))) 335 336/* Add a symbol to the stabs debugging information we are building. */ 337 338static bfd_boolean 339stab_write_symbol (struct stab_write_handle *info, int type, int desc, 340 bfd_vma value, const char *string) 341{ 342 bfd_size_type strx; 343 bfd_byte sym[STAB_SYMBOL_SIZE]; 344 345 if (string == NULL) 346 strx = 0; 347 else 348 { 349 struct string_hash_entry *h; 350 351 h = string_hash_lookup (&info->strhash, string, TRUE, TRUE); 352 if (h == NULL) 353 { 354 non_fatal (_("string_hash_lookup failed: %s"), 355 bfd_errmsg (bfd_get_error ())); 356 return FALSE; 357 } 358 if (h->index != -1) 359 strx = h->index; 360 else 361 { 362 strx = info->strings_size; 363 h->index = strx; 364 if (info->last_string == NULL) 365 info->strings = h; 366 else 367 info->last_string->next = h; 368 info->last_string = h; 369 info->strings_size += strlen (string) + 1; 370 } 371 } 372 373 /* This presumes 32 bit values. */ 374 bfd_put_32 (info->abfd, strx, sym); 375 bfd_put_8 (info->abfd, type, sym + 4); 376 bfd_put_8 (info->abfd, 0, sym + 5); 377 bfd_put_16 (info->abfd, desc, sym + 6); 378 bfd_put_32 (info->abfd, value, sym + 8); 379 380 if (info->symbols_size + STAB_SYMBOL_SIZE > info->symbols_alloc) 381 { 382 info->symbols_alloc *= 2; 383 info->symbols = (bfd_byte *) xrealloc (info->symbols, 384 info->symbols_alloc); 385 } 386 387 memcpy (info->symbols + info->symbols_size, sym, STAB_SYMBOL_SIZE); 388 389 info->symbols_size += STAB_SYMBOL_SIZE; 390 391 return TRUE; 392} 393 394/* Push a string on to the type stack. */ 395 396static bfd_boolean 397stab_push_string (struct stab_write_handle *info, const char *string, 398 long index, bfd_boolean definition, unsigned int size) 399{ 400 struct stab_type_stack *s; 401 402 s = (struct stab_type_stack *) xmalloc (sizeof *s); 403 s->string = xstrdup (string); 404 s->index = index; 405 s->definition = definition; 406 s->size = size; 407 408 s->fields = NULL; 409 s->baseclasses = NULL; 410 s->methods = NULL; 411 s->vtable = NULL; 412 413 s->next = info->type_stack; 414 info->type_stack = s; 415 416 return TRUE; 417} 418 419/* Push a type index which has already been defined. */ 420 421static bfd_boolean 422stab_push_defined_type (struct stab_write_handle *info, long index, 423 unsigned int size) 424{ 425 char buf[20]; 426 427 sprintf (buf, "%ld", index); 428 return stab_push_string (info, buf, index, FALSE, size); 429} 430 431/* Pop a type off the type stack. The caller is responsible for 432 freeing the string. */ 433 434static char * 435stab_pop_type (struct stab_write_handle *info) 436{ 437 struct stab_type_stack *s; 438 char *ret; 439 440 s = info->type_stack; 441 assert (s != NULL); 442 443 info->type_stack = s->next; 444 445 ret = s->string; 446 447 free (s); 448 449 return ret; 450} 451 452/* The general routine to write out stabs in sections debugging 453 information. This accumulates the stabs symbols and the strings in 454 two obstacks. We can't easily write out the information as we go 455 along, because we need to know the section sizes before we can 456 write out the section contents. ABFD is the BFD and DHANDLE is the 457 handle for the debugging information. This sets *PSYMS to point to 458 the symbols, *PSYMSIZE the size of the symbols, *PSTRINGS to the 459 strings, and *PSTRINGSIZE to the size of the strings. */ 460 461bfd_boolean 462write_stabs_in_sections_debugging_info (bfd *abfd, void *dhandle, 463 bfd_byte **psyms, 464 bfd_size_type *psymsize, 465 bfd_byte **pstrings, 466 bfd_size_type *pstringsize) 467{ 468 struct stab_write_handle info; 469 struct string_hash_entry *h; 470 bfd_byte *p; 471 472 info.abfd = abfd; 473 474 info.symbols_size = 0; 475 info.symbols_alloc = 500; 476 info.symbols = (bfd_byte *) xmalloc (info.symbols_alloc); 477 478 info.strings = NULL; 479 info.last_string = NULL; 480 /* Reserve 1 byte for a null byte. */ 481 info.strings_size = 1; 482 483 if (!bfd_hash_table_init (&info.strhash.table, string_hash_newfunc, 484 sizeof (struct string_hash_entry)) 485 || !bfd_hash_table_init (&info.typedef_hash.table, string_hash_newfunc, 486 sizeof (struct string_hash_entry))) 487 { 488 non_fatal ("bfd_hash_table_init_failed: %s", 489 bfd_errmsg (bfd_get_error ())); 490 return FALSE; 491 } 492 493 info.type_stack = NULL; 494 info.type_index = 1; 495 memset (&info.type_cache, 0, sizeof info.type_cache); 496 info.so_offset = -1; 497 info.fun_offset = -1; 498 info.last_text_address = 0; 499 info.nesting = 0; 500 info.fnaddr = 0; 501 info.pending_lbrac = (bfd_vma) -1; 502 503 /* The initial symbol holds the string size. */ 504 if (! stab_write_symbol (&info, 0, 0, 0, (const char *) NULL)) 505 return FALSE; 506 507 /* Output an initial N_SO symbol. */ 508 info.so_offset = info.symbols_size; 509 if (! stab_write_symbol (&info, N_SO, 0, 0, bfd_get_filename (abfd))) 510 return FALSE; 511 512 if (! debug_write (dhandle, &stab_fns, (void *) &info)) 513 return FALSE; 514 515 assert (info.pending_lbrac == (bfd_vma) -1); 516 517 /* Output a trailing N_SO. */ 518 if (! stab_write_symbol (&info, N_SO, 0, info.last_text_address, 519 (const char *) NULL)) 520 return FALSE; 521 522 /* Put the string size in the initial symbol. */ 523 bfd_put_32 (abfd, info.strings_size, info.symbols + 8); 524 525 *psyms = info.symbols; 526 *psymsize = info.symbols_size; 527 528 *pstringsize = info.strings_size; 529 *pstrings = (bfd_byte *) xmalloc (info.strings_size); 530 531 p = *pstrings; 532 *p++ = '\0'; 533 for (h = info.strings; h != NULL; h = h->next) 534 { 535 strcpy ((char *) p, h->root.string); 536 p += strlen ((char *) p) + 1; 537 } 538 539 return TRUE; 540} 541 542/* Start writing out information for a compilation unit. */ 543 544static bfd_boolean 545stab_start_compilation_unit (void *p, const char *filename) 546{ 547 struct stab_write_handle *info = (struct stab_write_handle *) p; 548 549 /* We would normally output an N_SO symbol here. However, that 550 would force us to reset all of our type information. I think we 551 will be better off just outputting an N_SOL symbol, and not 552 worrying about splitting information between files. */ 553 554 info->lineno_filename = filename; 555 556 return stab_write_symbol (info, N_SOL, 0, 0, filename); 557} 558 559/* Start writing out information for a particular source file. */ 560 561static bfd_boolean 562stab_start_source (void *p, const char *filename) 563{ 564 struct stab_write_handle *info = (struct stab_write_handle *) p; 565 566 /* FIXME: The symbol's value is supposed to be the text section 567 address. However, we would have to fill it in later, and gdb 568 doesn't care, so we don't bother with it. */ 569 570 info->lineno_filename = filename; 571 572 return stab_write_symbol (info, N_SOL, 0, 0, filename); 573} 574 575/* Push an empty type. This shouldn't normally happen. We just use a 576 void type. */ 577 578static bfd_boolean 579stab_empty_type (void *p) 580{ 581 struct stab_write_handle *info = (struct stab_write_handle *) p; 582 583 /* We don't call stab_void_type if the type is not yet defined, 584 because that might screw up the typedef. */ 585 586 if (info->type_cache.void_type != 0) 587 return stab_push_defined_type (info, info->type_cache.void_type, 0); 588 else 589 { 590 long index; 591 char buf[40]; 592 593 index = info->type_index; 594 ++info->type_index; 595 596 sprintf (buf, "%ld=%ld", index, index); 597 598 return stab_push_string (info, buf, index, FALSE, 0); 599 } 600} 601 602/* Push a void type. */ 603 604static bfd_boolean 605stab_void_type (void *p) 606{ 607 struct stab_write_handle *info = (struct stab_write_handle *) p; 608 609 if (info->type_cache.void_type != 0) 610 return stab_push_defined_type (info, info->type_cache.void_type, 0); 611 else 612 { 613 long index; 614 char buf[40]; 615 616 index = info->type_index; 617 ++info->type_index; 618 619 info->type_cache.void_type = index; 620 621 sprintf (buf, "%ld=%ld", index, index); 622 623 return stab_push_string (info, buf, index, TRUE, 0); 624 } 625} 626 627/* Push an integer type. */ 628 629static bfd_boolean 630stab_int_type (void *p, unsigned int size, bfd_boolean unsignedp) 631{ 632 struct stab_write_handle *info = (struct stab_write_handle *) p; 633 long *cache; 634 635 if (size <= 0 || (size > sizeof (long) && size != 8)) 636 { 637 non_fatal (_("stab_int_type: bad size %u"), size); 638 return FALSE; 639 } 640 641 if (unsignedp) 642 cache = info->type_cache.signed_integer_types; 643 else 644 cache = info->type_cache.unsigned_integer_types; 645 646 if (cache[size - 1] != 0) 647 return stab_push_defined_type (info, cache[size - 1], size); 648 else 649 { 650 long index; 651 char buf[100]; 652 653 index = info->type_index; 654 ++info->type_index; 655 656 cache[size - 1] = index; 657 658 sprintf (buf, "%ld=r%ld;", index, index); 659 if (unsignedp) 660 { 661 strcat (buf, "0;"); 662 if (size < sizeof (long)) 663 sprintf (buf + strlen (buf), "%ld;", ((long) 1 << (size * 8)) - 1); 664 else if (size == sizeof (long)) 665 strcat (buf, "-1;"); 666 else if (size == 8) 667 strcat (buf, "01777777777777777777777;"); 668 else 669 abort (); 670 } 671 else 672 { 673 if (size <= sizeof (long)) 674 sprintf (buf + strlen (buf), "%ld;%ld;", 675 (long) - ((unsigned long) 1 << (size * 8 - 1)), 676 (long) (((unsigned long) 1 << (size * 8 - 1)) - 1)); 677 else if (size == 8) 678 strcat (buf, "01000000000000000000000;0777777777777777777777;"); 679 else 680 abort (); 681 } 682 683 return stab_push_string (info, buf, index, TRUE, size); 684 } 685} 686 687/* Push a floating point type. */ 688 689static bfd_boolean 690stab_float_type (void *p, unsigned int size) 691{ 692 struct stab_write_handle *info = (struct stab_write_handle *) p; 693 694 if (size > 0 695 && size - 1 < (sizeof info->type_cache.float_types 696 / sizeof info->type_cache.float_types[0]) 697 && info->type_cache.float_types[size - 1] != 0) 698 return stab_push_defined_type (info, 699 info->type_cache.float_types[size - 1], 700 size); 701 else 702 { 703 long index; 704 char *int_type; 705 char buf[50]; 706 707 /* Floats are defined as a subrange of int. */ 708 if (! stab_int_type (info, 4, FALSE)) 709 return FALSE; 710 int_type = stab_pop_type (info); 711 712 index = info->type_index; 713 ++info->type_index; 714 715 if (size > 0 716 && size - 1 < (sizeof info->type_cache.float_types 717 / sizeof info->type_cache.float_types[0])) 718 info->type_cache.float_types[size - 1] = index; 719 720 sprintf (buf, "%ld=r%s;%u;0;", index, int_type, size); 721 722 free (int_type); 723 724 return stab_push_string (info, buf, index, TRUE, size); 725 } 726} 727 728/* Push a complex type. */ 729 730static bfd_boolean 731stab_complex_type (void *p, unsigned int size) 732{ 733 struct stab_write_handle *info = (struct stab_write_handle *) p; 734 char buf[50]; 735 long index; 736 737 index = info->type_index; 738 ++info->type_index; 739 740 sprintf (buf, "%ld=r%ld;%u;0;", index, index, size); 741 742 return stab_push_string (info, buf, index, TRUE, size * 2); 743} 744 745/* Push a bfd_boolean type. We use an XCOFF predefined type, since gdb 746 always recognizes them. */ 747 748static bfd_boolean 749stab_bool_type (void *p, unsigned int size) 750{ 751 struct stab_write_handle *info = (struct stab_write_handle *) p; 752 long index; 753 754 switch (size) 755 { 756 case 1: 757 index = -21; 758 break; 759 760 case 2: 761 index = -22; 762 break; 763 764 default: 765 case 4: 766 index = -16; 767 break; 768 769 case 8: 770 index = -33; 771 break; 772 } 773 774 return stab_push_defined_type (info, index, size); 775} 776 777/* Push an enum type. */ 778 779static bfd_boolean 780stab_enum_type (void *p, const char *tag, const char **names, 781 bfd_signed_vma *vals) 782{ 783 struct stab_write_handle *info = (struct stab_write_handle *) p; 784 size_t len; 785 const char **pn; 786 char *buf; 787 long index = 0; 788 bfd_signed_vma *pv; 789 790 if (names == NULL) 791 { 792 assert (tag != NULL); 793 794 buf = (char *) xmalloc (10 + strlen (tag)); 795 sprintf (buf, "xe%s:", tag); 796 /* FIXME: The size is just a guess. */ 797 if (! stab_push_string (info, buf, 0, FALSE, 4)) 798 return FALSE; 799 free (buf); 800 return TRUE; 801 } 802 803 len = 10; 804 if (tag != NULL) 805 len += strlen (tag); 806 for (pn = names; *pn != NULL; pn++) 807 len += strlen (*pn) + 20; 808 809 buf = (char *) xmalloc (len); 810 811 if (tag == NULL) 812 strcpy (buf, "e"); 813 else 814 { 815 index = info->type_index; 816 ++info->type_index; 817 sprintf (buf, "%s:T%ld=e", tag, index); 818 } 819 820 for (pn = names, pv = vals; *pn != NULL; pn++, pv++) 821 sprintf (buf + strlen (buf), "%s:%ld,", *pn, (long) *pv); 822 strcat (buf, ";"); 823 824 if (tag == NULL) 825 { 826 /* FIXME: The size is just a guess. */ 827 if (! stab_push_string (info, buf, 0, FALSE, 4)) 828 return FALSE; 829 } 830 else 831 { 832 /* FIXME: The size is just a guess. */ 833 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf) 834 || ! stab_push_defined_type (info, index, 4)) 835 return FALSE; 836 } 837 838 free (buf); 839 840 return TRUE; 841} 842 843/* Push a modification of the top type on the stack. Cache the 844 results in CACHE and CACHE_ALLOC. */ 845 846static bfd_boolean 847stab_modify_type (struct stab_write_handle *info, int mod, 848 unsigned int size, long **cache, size_t *cache_alloc) 849{ 850 long targindex; 851 long index; 852 char *s, *buf; 853 854 assert (info->type_stack != NULL); 855 targindex = info->type_stack->index; 856 857 if (targindex <= 0 858 || cache == NULL) 859 { 860 bfd_boolean definition; 861 862 /* Either the target type has no index, or we aren't caching 863 this modifier. Either way we have no way of recording the 864 new type, so we don't bother to define one. */ 865 definition = info->type_stack->definition; 866 s = stab_pop_type (info); 867 buf = (char *) xmalloc (strlen (s) + 2); 868 sprintf (buf, "%c%s", mod, s); 869 free (s); 870 if (! stab_push_string (info, buf, 0, definition, size)) 871 return FALSE; 872 free (buf); 873 } 874 else 875 { 876 if ((size_t) targindex >= *cache_alloc) 877 { 878 size_t alloc; 879 880 alloc = *cache_alloc; 881 if (alloc == 0) 882 alloc = 10; 883 while ((size_t) targindex >= alloc) 884 alloc *= 2; 885 *cache = (long *) xrealloc (*cache, alloc * sizeof (long)); 886 memset (*cache + *cache_alloc, 0, 887 (alloc - *cache_alloc) * sizeof (long)); 888 *cache_alloc = alloc; 889 } 890 891 index = (*cache)[targindex]; 892 if (index != 0 && ! info->type_stack->definition) 893 { 894 /* We have already defined a modification of this type, and 895 the entry on the type stack is not a definition, so we 896 can safely discard it (we may have a definition on the 897 stack, even if we already defined a modification, if it 898 is a struct which we did not define at the time it was 899 referenced). */ 900 free (stab_pop_type (info)); 901 if (! stab_push_defined_type (info, index, size)) 902 return FALSE; 903 } 904 else 905 { 906 index = info->type_index; 907 ++info->type_index; 908 909 s = stab_pop_type (info); 910 buf = (char *) xmalloc (strlen (s) + 20); 911 sprintf (buf, "%ld=%c%s", index, mod, s); 912 free (s); 913 914 (*cache)[targindex] = index; 915 916 if (! stab_push_string (info, buf, index, TRUE, size)) 917 return FALSE; 918 919 free (buf); 920 } 921 } 922 923 return TRUE; 924} 925 926/* Push a pointer type. */ 927 928static bfd_boolean 929stab_pointer_type (void *p) 930{ 931 struct stab_write_handle *info = (struct stab_write_handle *) p; 932 933 /* FIXME: The size should depend upon the architecture. */ 934 return stab_modify_type (info, '*', 4, &info->type_cache.pointer_types, 935 &info->type_cache.pointer_types_alloc); 936} 937 938/* Push a function type. */ 939 940static bfd_boolean 941stab_function_type (void *p, int argcount, 942 bfd_boolean varargs ATTRIBUTE_UNUSED) 943{ 944 struct stab_write_handle *info = (struct stab_write_handle *) p; 945 int i; 946 947 /* We have no way to represent the argument types, so we just 948 discard them. However, if they define new types, we must output 949 them. We do this by producing empty typedefs. */ 950 for (i = 0; i < argcount; i++) 951 { 952 if (! info->type_stack->definition) 953 free (stab_pop_type (info)); 954 else 955 { 956 char *s, *buf; 957 958 s = stab_pop_type (info); 959 960 buf = (char *) xmalloc (strlen (s) + 3); 961 sprintf (buf, ":t%s", s); 962 free (s); 963 964 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 965 return FALSE; 966 967 free (buf); 968 } 969 } 970 971 return stab_modify_type (info, 'f', 0, &info->type_cache.function_types, 972 &info->type_cache.function_types_alloc); 973} 974 975/* Push a reference type. */ 976 977static bfd_boolean 978stab_reference_type (void *p) 979{ 980 struct stab_write_handle *info = (struct stab_write_handle *) p; 981 982 /* FIXME: The size should depend upon the architecture. */ 983 return stab_modify_type (info, '&', 4, &info->type_cache.reference_types, 984 &info->type_cache.reference_types_alloc); 985} 986 987/* Push a range type. */ 988 989static bfd_boolean 990stab_range_type (void *p, bfd_signed_vma low, bfd_signed_vma high) 991{ 992 struct stab_write_handle *info = (struct stab_write_handle *) p; 993 bfd_boolean definition; 994 unsigned int size; 995 char *s, *buf; 996 997 definition = info->type_stack->definition; 998 size = info->type_stack->size; 999 1000 s = stab_pop_type (info); 1001 buf = (char *) xmalloc (strlen (s) + 100); 1002 sprintf (buf, "r%s;%ld;%ld;", s, (long) low, (long) high); 1003 free (s); 1004 1005 if (! stab_push_string (info, buf, 0, definition, size)) 1006 return FALSE; 1007 1008 free (buf); 1009 1010 return TRUE; 1011} 1012 1013/* Push an array type. */ 1014 1015static bfd_boolean 1016stab_array_type (void *p, bfd_signed_vma low, bfd_signed_vma high, 1017 bfd_boolean stringp) 1018{ 1019 struct stab_write_handle *info = (struct stab_write_handle *) p; 1020 bfd_boolean definition; 1021 unsigned int element_size; 1022 char *range, *element, *buf; 1023 long index; 1024 unsigned int size; 1025 1026 definition = info->type_stack->definition; 1027 range = stab_pop_type (info); 1028 1029 definition = definition || info->type_stack->definition; 1030 element_size = info->type_stack->size; 1031 element = stab_pop_type (info); 1032 1033 buf = (char *) xmalloc (strlen (range) + strlen (element) + 100); 1034 1035 if (! stringp) 1036 { 1037 index = 0; 1038 *buf = '\0'; 1039 } 1040 else 1041 { 1042 /* We need to define a type in order to include the string 1043 attribute. */ 1044 index = info->type_index; 1045 ++info->type_index; 1046 definition = TRUE; 1047 sprintf (buf, "%ld=@S;", index); 1048 } 1049 1050 sprintf (buf + strlen (buf), "ar%s;%ld;%ld;%s", 1051 range, (long) low, (long) high, element); 1052 free (range); 1053 free (element); 1054 1055 if (high < low) 1056 size = 0; 1057 else 1058 size = element_size * ((high - low) + 1); 1059 if (! stab_push_string (info, buf, index, definition, size)) 1060 return FALSE; 1061 1062 free (buf); 1063 1064 return TRUE; 1065} 1066 1067/* Push a set type. */ 1068 1069static bfd_boolean 1070stab_set_type (void *p, bfd_boolean bitstringp) 1071{ 1072 struct stab_write_handle *info = (struct stab_write_handle *) p; 1073 bfd_boolean definition; 1074 char *s, *buf; 1075 long index; 1076 1077 definition = info->type_stack->definition; 1078 1079 s = stab_pop_type (info); 1080 buf = (char *) xmalloc (strlen (s) + 30); 1081 1082 if (! bitstringp) 1083 { 1084 *buf = '\0'; 1085 index = 0; 1086 } 1087 else 1088 { 1089 /* We need to define a type in order to include the string 1090 attribute. */ 1091 index = info->type_index; 1092 ++info->type_index; 1093 definition = TRUE; 1094 sprintf (buf, "%ld=@S;", index); 1095 } 1096 1097 sprintf (buf + strlen (buf), "S%s", s); 1098 free (s); 1099 1100 if (! stab_push_string (info, buf, index, definition, 0)) 1101 return FALSE; 1102 1103 free (buf); 1104 1105 return TRUE; 1106} 1107 1108/* Push an offset type. */ 1109 1110static bfd_boolean 1111stab_offset_type (void *p) 1112{ 1113 struct stab_write_handle *info = (struct stab_write_handle *) p; 1114 bfd_boolean definition; 1115 char *target, *base, *buf; 1116 1117 definition = info->type_stack->definition; 1118 target = stab_pop_type (info); 1119 1120 definition = definition || info->type_stack->definition; 1121 base = stab_pop_type (info); 1122 1123 buf = (char *) xmalloc (strlen (target) + strlen (base) + 3); 1124 sprintf (buf, "@%s,%s", base, target); 1125 free (base); 1126 free (target); 1127 1128 if (! stab_push_string (info, buf, 0, definition, 0)) 1129 return FALSE; 1130 1131 free (buf); 1132 1133 return TRUE; 1134} 1135 1136/* Push a method type. */ 1137 1138static bfd_boolean 1139stab_method_type (void *p, bfd_boolean domainp, int argcount, 1140 bfd_boolean varargs) 1141{ 1142 struct stab_write_handle *info = (struct stab_write_handle *) p; 1143 bfd_boolean definition; 1144 char *domain, *return_type, *buf; 1145 char **args; 1146 int i; 1147 size_t len; 1148 1149 /* We don't bother with stub method types, because that would 1150 require a mangler for C++ argument types. This will waste space 1151 in the debugging output. */ 1152 1153 /* We need a domain. I'm not sure DOMAINP can ever be false, 1154 anyhow. */ 1155 if (! domainp) 1156 { 1157 if (! stab_empty_type (p)) 1158 return FALSE; 1159 } 1160 1161 definition = info->type_stack->definition; 1162 domain = stab_pop_type (info); 1163 1164 /* A non-varargs function is indicated by making the last parameter 1165 type be void. */ 1166 1167 if (argcount < 0) 1168 { 1169 args = NULL; 1170 argcount = 0; 1171 } 1172 else if (argcount == 0) 1173 { 1174 if (varargs) 1175 args = NULL; 1176 else 1177 { 1178 args = (char **) xmalloc (1 * sizeof (*args)); 1179 if (! stab_empty_type (p)) 1180 return FALSE; 1181 definition = definition || info->type_stack->definition; 1182 args[0] = stab_pop_type (info); 1183 argcount = 1; 1184 } 1185 } 1186 else 1187 { 1188 args = (char **) xmalloc ((argcount + 1) * sizeof (*args)); 1189 for (i = argcount - 1; i >= 0; i--) 1190 { 1191 definition = definition || info->type_stack->definition; 1192 args[i] = stab_pop_type (info); 1193 } 1194 if (! varargs) 1195 { 1196 if (! stab_empty_type (p)) 1197 return FALSE; 1198 definition = definition || info->type_stack->definition; 1199 args[argcount] = stab_pop_type (info); 1200 ++argcount; 1201 } 1202 } 1203 1204 definition = definition || info->type_stack->definition; 1205 return_type = stab_pop_type (info); 1206 1207 len = strlen (domain) + strlen (return_type) + 10; 1208 for (i = 0; i < argcount; i++) 1209 len += strlen (args[i]); 1210 1211 buf = (char *) xmalloc (len); 1212 1213 sprintf (buf, "#%s,%s", domain, return_type); 1214 free (domain); 1215 free (return_type); 1216 for (i = 0; i < argcount; i++) 1217 { 1218 strcat (buf, ","); 1219 strcat (buf, args[i]); 1220 free (args[i]); 1221 } 1222 strcat (buf, ";"); 1223 1224 if (args != NULL) 1225 free (args); 1226 1227 if (! stab_push_string (info, buf, 0, definition, 0)) 1228 return FALSE; 1229 1230 free (buf); 1231 1232 return TRUE; 1233} 1234 1235/* Push a const version of a type. */ 1236 1237static bfd_boolean 1238stab_const_type (void *p) 1239{ 1240 struct stab_write_handle *info = (struct stab_write_handle *) p; 1241 1242 return stab_modify_type (info, 'k', info->type_stack->size, 1243 (long **) NULL, (size_t *) NULL); 1244} 1245 1246/* Push a volatile version of a type. */ 1247 1248static bfd_boolean 1249stab_volatile_type (void *p) 1250{ 1251 struct stab_write_handle *info = (struct stab_write_handle *) p; 1252 1253 return stab_modify_type (info, 'B', info->type_stack->size, 1254 (long **) NULL, (size_t *) NULL); 1255} 1256 1257/* Get the type index to use for a struct/union/class ID. This should 1258 return -1 if it fails. */ 1259 1260static long 1261stab_get_struct_index (struct stab_write_handle *info, const char *tag, 1262 unsigned int id, enum debug_type_kind kind, 1263 unsigned int *psize) 1264{ 1265 if (id >= info->type_cache.struct_types_alloc) 1266 { 1267 size_t alloc; 1268 1269 alloc = info->type_cache.struct_types_alloc; 1270 if (alloc == 0) 1271 alloc = 10; 1272 while (id >= alloc) 1273 alloc *= 2; 1274 info->type_cache.struct_types = 1275 (struct stab_tag *) xrealloc (info->type_cache.struct_types, 1276 alloc * sizeof (struct stab_tag)); 1277 memset ((info->type_cache.struct_types 1278 + info->type_cache.struct_types_alloc), 1279 0, 1280 ((alloc - info->type_cache.struct_types_alloc) 1281 * sizeof (struct stab_tag))); 1282 info->type_cache.struct_types_alloc = alloc; 1283 } 1284 1285 if (info->type_cache.struct_types[id].index == 0) 1286 { 1287 info->type_cache.struct_types[id].index = info->type_index; 1288 ++info->type_index; 1289 info->type_cache.struct_types[id].tag = tag; 1290 info->type_cache.struct_types[id].kind = kind; 1291 } 1292 1293 if (kind == DEBUG_KIND_ILLEGAL) 1294 { 1295 /* This is a definition of the struct. */ 1296 info->type_cache.struct_types[id].kind = kind; 1297 info->type_cache.struct_types[id].size = *psize; 1298 } 1299 else 1300 *psize = info->type_cache.struct_types[id].size; 1301 1302 return info->type_cache.struct_types[id].index; 1303} 1304 1305/* Start outputting a struct. We ignore the tag, and handle it in 1306 stab_tag. */ 1307 1308static bfd_boolean 1309stab_start_struct_type (void *p, const char *tag, unsigned int id, 1310 bfd_boolean structp, unsigned int size) 1311{ 1312 struct stab_write_handle *info = (struct stab_write_handle *) p; 1313 long index; 1314 bfd_boolean definition; 1315 char *buf; 1316 1317 buf = (char *) xmalloc (40); 1318 1319 if (id == 0) 1320 { 1321 index = 0; 1322 *buf = '\0'; 1323 definition = FALSE; 1324 } 1325 else 1326 { 1327 index = stab_get_struct_index (info, tag, id, DEBUG_KIND_ILLEGAL, 1328 &size); 1329 if (index < 0) 1330 return FALSE; 1331 sprintf (buf, "%ld=", index); 1332 definition = TRUE; 1333 } 1334 1335 sprintf (buf + strlen (buf), "%c%u", 1336 structp ? 's' : 'u', 1337 size); 1338 1339 if (! stab_push_string (info, buf, index, definition, size)) 1340 return FALSE; 1341 1342 info->type_stack->fields = (char *) xmalloc (1); 1343 info->type_stack->fields[0] = '\0'; 1344 1345 return TRUE; 1346} 1347 1348/* Add a field to a struct. */ 1349 1350static bfd_boolean 1351stab_struct_field (void *p, const char *name, bfd_vma bitpos, 1352 bfd_vma bitsize, enum debug_visibility visibility) 1353{ 1354 struct stab_write_handle *info = (struct stab_write_handle *) p; 1355 bfd_boolean definition; 1356 unsigned int size; 1357 char *s, *n; 1358 const char *vis; 1359 1360 definition = info->type_stack->definition; 1361 size = info->type_stack->size; 1362 s = stab_pop_type (info); 1363 1364 /* Add this field to the end of the current struct fields, which is 1365 currently on the top of the stack. */ 1366 1367 assert (info->type_stack->fields != NULL); 1368 n = (char *) xmalloc (strlen (info->type_stack->fields) 1369 + strlen (name) 1370 + strlen (s) 1371 + 50); 1372 1373 switch (visibility) 1374 { 1375 default: 1376 abort (); 1377 1378 case DEBUG_VISIBILITY_PUBLIC: 1379 vis = ""; 1380 break; 1381 1382 case DEBUG_VISIBILITY_PRIVATE: 1383 vis = "/0"; 1384 break; 1385 1386 case DEBUG_VISIBILITY_PROTECTED: 1387 vis = "/1"; 1388 break; 1389 } 1390 1391 if (bitsize == 0) 1392 { 1393 bitsize = size * 8; 1394 if (bitsize == 0) 1395 non_fatal (_("%s: warning: unknown size for field `%s' in struct"), 1396 bfd_get_filename (info->abfd), name); 1397 } 1398 1399 sprintf (n, "%s%s:%s%s,%ld,%ld;", info->type_stack->fields, name, vis, s, 1400 (long) bitpos, (long) bitsize); 1401 1402 free (info->type_stack->fields); 1403 info->type_stack->fields = n; 1404 1405 if (definition) 1406 info->type_stack->definition = TRUE; 1407 1408 return TRUE; 1409} 1410 1411/* Finish up a struct. */ 1412 1413static bfd_boolean 1414stab_end_struct_type (void *p) 1415{ 1416 struct stab_write_handle *info = (struct stab_write_handle *) p; 1417 bfd_boolean definition; 1418 long index; 1419 unsigned int size; 1420 char *fields, *first, *buf; 1421 1422 assert (info->type_stack != NULL && info->type_stack->fields != NULL); 1423 1424 definition = info->type_stack->definition; 1425 index = info->type_stack->index; 1426 size = info->type_stack->size; 1427 fields = info->type_stack->fields; 1428 first = stab_pop_type (info); 1429 1430 buf = (char *) xmalloc (strlen (first) + strlen (fields) + 2); 1431 sprintf (buf, "%s%s;", first, fields); 1432 free (first); 1433 free (fields); 1434 1435 if (! stab_push_string (info, buf, index, definition, size)) 1436 return FALSE; 1437 1438 free (buf); 1439 1440 return TRUE; 1441} 1442 1443/* Start outputting a class. */ 1444 1445static bfd_boolean 1446stab_start_class_type (void *p, const char *tag, unsigned int id, bfd_boolean structp, unsigned int size, bfd_boolean vptr, bfd_boolean ownvptr) 1447{ 1448 struct stab_write_handle *info = (struct stab_write_handle *) p; 1449 bfd_boolean definition; 1450 char *vstring; 1451 1452 if (! vptr || ownvptr) 1453 { 1454 definition = FALSE; 1455 vstring = NULL; 1456 } 1457 else 1458 { 1459 definition = info->type_stack->definition; 1460 vstring = stab_pop_type (info); 1461 } 1462 1463 if (! stab_start_struct_type (p, tag, id, structp, size)) 1464 return FALSE; 1465 1466 if (vptr) 1467 { 1468 char *vtable; 1469 1470 if (ownvptr) 1471 { 1472 assert (info->type_stack->index > 0); 1473 vtable = (char *) xmalloc (20); 1474 sprintf (vtable, "~%%%ld", info->type_stack->index); 1475 } 1476 else 1477 { 1478 vtable = (char *) xmalloc (strlen (vstring) + 3); 1479 sprintf (vtable, "~%%%s", vstring); 1480 free (vstring); 1481 } 1482 1483 info->type_stack->vtable = vtable; 1484 } 1485 1486 if (definition) 1487 info->type_stack->definition = TRUE; 1488 1489 return TRUE; 1490} 1491 1492/* Add a static member to the class on the type stack. */ 1493 1494static bfd_boolean 1495stab_class_static_member (void *p, const char *name, const char *physname, 1496 enum debug_visibility visibility) 1497{ 1498 struct stab_write_handle *info = (struct stab_write_handle *) p; 1499 bfd_boolean definition; 1500 char *s, *n; 1501 const char *vis; 1502 1503 definition = info->type_stack->definition; 1504 s = stab_pop_type (info); 1505 1506 /* Add this field to the end of the current struct fields, which is 1507 currently on the top of the stack. */ 1508 1509 assert (info->type_stack->fields != NULL); 1510 n = (char *) xmalloc (strlen (info->type_stack->fields) 1511 + strlen (name) 1512 + strlen (s) 1513 + strlen (physname) 1514 + 10); 1515 1516 switch (visibility) 1517 { 1518 default: 1519 abort (); 1520 1521 case DEBUG_VISIBILITY_PUBLIC: 1522 vis = ""; 1523 break; 1524 1525 case DEBUG_VISIBILITY_PRIVATE: 1526 vis = "/0"; 1527 break; 1528 1529 case DEBUG_VISIBILITY_PROTECTED: 1530 vis = "/1"; 1531 break; 1532 } 1533 1534 sprintf (n, "%s%s:%s%s:%s;", info->type_stack->fields, name, vis, s, 1535 physname); 1536 1537 free (info->type_stack->fields); 1538 info->type_stack->fields = n; 1539 1540 if (definition) 1541 info->type_stack->definition = TRUE; 1542 1543 return TRUE; 1544} 1545 1546/* Add a base class to the class on the type stack. */ 1547 1548static bfd_boolean 1549stab_class_baseclass (void *p, bfd_vma bitpos, bfd_boolean virtual, 1550 enum debug_visibility visibility) 1551{ 1552 struct stab_write_handle *info = (struct stab_write_handle *) p; 1553 bfd_boolean definition; 1554 char *s; 1555 char *buf; 1556 unsigned int c; 1557 char **baseclasses; 1558 1559 definition = info->type_stack->definition; 1560 s = stab_pop_type (info); 1561 1562 /* Build the base class specifier. */ 1563 1564 buf = (char *) xmalloc (strlen (s) + 25); 1565 buf[0] = virtual ? '1' : '0'; 1566 switch (visibility) 1567 { 1568 default: 1569 abort (); 1570 1571 case DEBUG_VISIBILITY_PRIVATE: 1572 buf[1] = '0'; 1573 break; 1574 1575 case DEBUG_VISIBILITY_PROTECTED: 1576 buf[1] = '1'; 1577 break; 1578 1579 case DEBUG_VISIBILITY_PUBLIC: 1580 buf[1] = '2'; 1581 break; 1582 } 1583 1584 sprintf (buf + 2, "%ld,%s;", (long) bitpos, s); 1585 free (s); 1586 1587 /* Add the new baseclass to the existing ones. */ 1588 1589 assert (info->type_stack != NULL && info->type_stack->fields != NULL); 1590 1591 if (info->type_stack->baseclasses == NULL) 1592 c = 0; 1593 else 1594 { 1595 c = 0; 1596 while (info->type_stack->baseclasses[c] != NULL) 1597 ++c; 1598 } 1599 1600 baseclasses = (char **) xrealloc (info->type_stack->baseclasses, 1601 (c + 2) * sizeof (*baseclasses)); 1602 baseclasses[c] = buf; 1603 baseclasses[c + 1] = NULL; 1604 1605 info->type_stack->baseclasses = baseclasses; 1606 1607 if (definition) 1608 info->type_stack->definition = TRUE; 1609 1610 return TRUE; 1611} 1612 1613/* Start adding a method to the class on the type stack. */ 1614 1615static bfd_boolean 1616stab_class_start_method (void *p, const char *name) 1617{ 1618 struct stab_write_handle *info = (struct stab_write_handle *) p; 1619 char *m; 1620 1621 assert (info->type_stack != NULL && info->type_stack->fields != NULL); 1622 1623 if (info->type_stack->methods == NULL) 1624 { 1625 m = (char *) xmalloc (strlen (name) + 3); 1626 *m = '\0'; 1627 } 1628 else 1629 { 1630 m = (char *) xrealloc (info->type_stack->methods, 1631 (strlen (info->type_stack->methods) 1632 + strlen (name) 1633 + 4)); 1634 } 1635 1636 sprintf (m + strlen (m), "%s::", name); 1637 1638 info->type_stack->methods = m; 1639 1640 return TRUE; 1641} 1642 1643/* Add a variant, either static or not, to the current method. */ 1644 1645static bfd_boolean 1646stab_class_method_var (struct stab_write_handle *info, const char *physname, 1647 enum debug_visibility visibility, 1648 bfd_boolean staticp, bfd_boolean constp, 1649 bfd_boolean volatilep, bfd_vma voffset, 1650 bfd_boolean contextp) 1651{ 1652 bfd_boolean definition; 1653 char *type; 1654 char *context = NULL; 1655 char visc, qualc, typec; 1656 1657 definition = info->type_stack->definition; 1658 type = stab_pop_type (info); 1659 1660 if (contextp) 1661 { 1662 definition = definition || info->type_stack->definition; 1663 context = stab_pop_type (info); 1664 } 1665 1666 assert (info->type_stack != NULL && info->type_stack->methods != NULL); 1667 1668 switch (visibility) 1669 { 1670 default: 1671 abort (); 1672 1673 case DEBUG_VISIBILITY_PRIVATE: 1674 visc = '0'; 1675 break; 1676 1677 case DEBUG_VISIBILITY_PROTECTED: 1678 visc = '1'; 1679 break; 1680 1681 case DEBUG_VISIBILITY_PUBLIC: 1682 visc = '2'; 1683 break; 1684 } 1685 1686 if (constp) 1687 { 1688 if (volatilep) 1689 qualc = 'D'; 1690 else 1691 qualc = 'B'; 1692 } 1693 else 1694 { 1695 if (volatilep) 1696 qualc = 'C'; 1697 else 1698 qualc = 'A'; 1699 } 1700 1701 if (staticp) 1702 typec = '?'; 1703 else if (! contextp) 1704 typec = '.'; 1705 else 1706 typec = '*'; 1707 1708 info->type_stack->methods = 1709 (char *) xrealloc (info->type_stack->methods, 1710 (strlen (info->type_stack->methods) 1711 + strlen (type) 1712 + strlen (physname) 1713 + (contextp ? strlen (context) : 0) 1714 + 40)); 1715 1716 sprintf (info->type_stack->methods + strlen (info->type_stack->methods), 1717 "%s:%s;%c%c%c", type, physname, visc, qualc, typec); 1718 free (type); 1719 1720 if (contextp) 1721 { 1722 sprintf (info->type_stack->methods + strlen (info->type_stack->methods), 1723 "%ld;%s;", (long) voffset, context); 1724 free (context); 1725 } 1726 1727 if (definition) 1728 info->type_stack->definition = TRUE; 1729 1730 return TRUE; 1731} 1732 1733/* Add a variant to the current method. */ 1734 1735static bfd_boolean 1736stab_class_method_variant (void *p, const char *physname, 1737 enum debug_visibility visibility, 1738 bfd_boolean constp, bfd_boolean volatilep, 1739 bfd_vma voffset, bfd_boolean contextp) 1740{ 1741 struct stab_write_handle *info = (struct stab_write_handle *) p; 1742 1743 return stab_class_method_var (info, physname, visibility, FALSE, constp, 1744 volatilep, voffset, contextp); 1745} 1746 1747/* Add a static variant to the current method. */ 1748 1749static bfd_boolean 1750stab_class_static_method_variant (void *p, const char *physname, 1751 enum debug_visibility visibility, 1752 bfd_boolean constp, bfd_boolean volatilep) 1753{ 1754 struct stab_write_handle *info = (struct stab_write_handle *) p; 1755 1756 return stab_class_method_var (info, physname, visibility, TRUE, constp, 1757 volatilep, 0, FALSE); 1758} 1759 1760/* Finish up a method. */ 1761 1762static bfd_boolean 1763stab_class_end_method (void *p) 1764{ 1765 struct stab_write_handle *info = (struct stab_write_handle *) p; 1766 1767 assert (info->type_stack != NULL && info->type_stack->methods != NULL); 1768 1769 /* We allocated enough room on info->type_stack->methods to add the 1770 trailing semicolon. */ 1771 strcat (info->type_stack->methods, ";"); 1772 1773 return TRUE; 1774} 1775 1776/* Finish up a class. */ 1777 1778static bfd_boolean 1779stab_end_class_type (void *p) 1780{ 1781 struct stab_write_handle *info = (struct stab_write_handle *) p; 1782 size_t len; 1783 unsigned int i = 0; 1784 char *buf; 1785 1786 assert (info->type_stack != NULL && info->type_stack->fields != NULL); 1787 1788 /* Work out the size we need to allocate for the class definition. */ 1789 1790 len = (strlen (info->type_stack->string) 1791 + strlen (info->type_stack->fields) 1792 + 10); 1793 if (info->type_stack->baseclasses != NULL) 1794 { 1795 len += 20; 1796 for (i = 0; info->type_stack->baseclasses[i] != NULL; i++) 1797 len += strlen (info->type_stack->baseclasses[i]); 1798 } 1799 if (info->type_stack->methods != NULL) 1800 len += strlen (info->type_stack->methods); 1801 if (info->type_stack->vtable != NULL) 1802 len += strlen (info->type_stack->vtable); 1803 1804 /* Build the class definition. */ 1805 1806 buf = (char *) xmalloc (len); 1807 1808 strcpy (buf, info->type_stack->string); 1809 1810 if (info->type_stack->baseclasses != NULL) 1811 { 1812 sprintf (buf + strlen (buf), "!%u,", i); 1813 for (i = 0; info->type_stack->baseclasses[i] != NULL; i++) 1814 { 1815 strcat (buf, info->type_stack->baseclasses[i]); 1816 free (info->type_stack->baseclasses[i]); 1817 } 1818 free (info->type_stack->baseclasses); 1819 info->type_stack->baseclasses = NULL; 1820 } 1821 1822 strcat (buf, info->type_stack->fields); 1823 free (info->type_stack->fields); 1824 info->type_stack->fields = NULL; 1825 1826 if (info->type_stack->methods != NULL) 1827 { 1828 strcat (buf, info->type_stack->methods); 1829 free (info->type_stack->methods); 1830 info->type_stack->methods = NULL; 1831 } 1832 1833 strcat (buf, ";"); 1834 1835 if (info->type_stack->vtable != NULL) 1836 { 1837 strcat (buf, info->type_stack->vtable); 1838 free (info->type_stack->vtable); 1839 info->type_stack->vtable = NULL; 1840 } 1841 1842 /* Replace the string on the top of the stack with the complete 1843 class definition. */ 1844 free (info->type_stack->string); 1845 info->type_stack->string = buf; 1846 1847 return TRUE; 1848} 1849 1850/* Push a typedef which was previously defined. */ 1851 1852static bfd_boolean 1853stab_typedef_type (void *p, const char *name) 1854{ 1855 struct stab_write_handle *info = (struct stab_write_handle *) p; 1856 struct string_hash_entry *h; 1857 1858 h = string_hash_lookup (&info->typedef_hash, name, FALSE, FALSE); 1859 assert (h != NULL && h->index > 0); 1860 1861 return stab_push_defined_type (info, h->index, h->size); 1862} 1863 1864/* Push a struct, union or class tag. */ 1865 1866static bfd_boolean 1867stab_tag_type (void *p, const char *name, unsigned int id, 1868 enum debug_type_kind kind) 1869{ 1870 struct stab_write_handle *info = (struct stab_write_handle *) p; 1871 long index; 1872 unsigned int size = 0; 1873 1874 index = stab_get_struct_index (info, name, id, kind, &size); 1875 if (index < 0) 1876 return FALSE; 1877 1878 return stab_push_defined_type (info, index, size); 1879} 1880 1881/* Define a typedef. */ 1882 1883static bfd_boolean 1884stab_typdef (void *p, const char *name) 1885{ 1886 struct stab_write_handle *info = (struct stab_write_handle *) p; 1887 long index; 1888 unsigned int size; 1889 char *s, *buf; 1890 struct string_hash_entry *h; 1891 1892 index = info->type_stack->index; 1893 size = info->type_stack->size; 1894 s = stab_pop_type (info); 1895 1896 buf = (char *) xmalloc (strlen (name) + strlen (s) + 20); 1897 1898 if (index > 0) 1899 sprintf (buf, "%s:t%s", name, s); 1900 else 1901 { 1902 index = info->type_index; 1903 ++info->type_index; 1904 sprintf (buf, "%s:t%ld=%s", name, index, s); 1905 } 1906 1907 free (s); 1908 1909 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 1910 return FALSE; 1911 1912 free (buf); 1913 1914 h = string_hash_lookup (&info->typedef_hash, name, TRUE, FALSE); 1915 if (h == NULL) 1916 { 1917 non_fatal (_("string_hash_lookup failed: %s"), 1918 bfd_errmsg (bfd_get_error ())); 1919 return FALSE; 1920 } 1921 1922 /* I don't think we care about redefinitions. */ 1923 1924 h->index = index; 1925 h->size = size; 1926 1927 return TRUE; 1928} 1929 1930/* Define a tag. */ 1931 1932static bfd_boolean 1933stab_tag (void *p, const char *tag) 1934{ 1935 struct stab_write_handle *info = (struct stab_write_handle *) p; 1936 char *s, *buf; 1937 1938 s = stab_pop_type (info); 1939 1940 buf = (char *) xmalloc (strlen (tag) + strlen (s) + 3); 1941 1942 sprintf (buf, "%s:T%s", tag, s); 1943 free (s); 1944 1945 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 1946 return FALSE; 1947 1948 free (buf); 1949 1950 return TRUE; 1951} 1952 1953/* Define an integer constant. */ 1954 1955static bfd_boolean 1956stab_int_constant (void *p, const char *name, bfd_vma val) 1957{ 1958 struct stab_write_handle *info = (struct stab_write_handle *) p; 1959 char *buf; 1960 1961 buf = (char *) xmalloc (strlen (name) + 20); 1962 sprintf (buf, "%s:c=i%ld", name, (long) val); 1963 1964 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 1965 return FALSE; 1966 1967 free (buf); 1968 1969 return TRUE; 1970} 1971 1972/* Define a floating point constant. */ 1973 1974static bfd_boolean 1975stab_float_constant (void *p, const char *name, double val) 1976{ 1977 struct stab_write_handle *info = (struct stab_write_handle *) p; 1978 char *buf; 1979 1980 buf = (char *) xmalloc (strlen (name) + 20); 1981 sprintf (buf, "%s:c=f%g", name, val); 1982 1983 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 1984 return FALSE; 1985 1986 free (buf); 1987 1988 return TRUE; 1989} 1990 1991/* Define a typed constant. */ 1992 1993static bfd_boolean 1994stab_typed_constant (void *p, const char *name, bfd_vma val) 1995{ 1996 struct stab_write_handle *info = (struct stab_write_handle *) p; 1997 char *s, *buf; 1998 1999 s = stab_pop_type (info); 2000 2001 buf = (char *) xmalloc (strlen (name) + strlen (s) + 20); 2002 sprintf (buf, "%s:c=e%s,%ld", name, s, (long) val); 2003 free (s); 2004 2005 if (! stab_write_symbol (info, N_LSYM, 0, 0, buf)) 2006 return FALSE; 2007 2008 free (buf); 2009 2010 return TRUE; 2011} 2012 2013/* Record a variable. */ 2014 2015static bfd_boolean 2016stab_variable (void *p, const char *name, enum debug_var_kind kind, 2017 bfd_vma val) 2018{ 2019 struct stab_write_handle *info = (struct stab_write_handle *) p; 2020 char *s, *buf; 2021 int stab_type; 2022 const char *kindstr; 2023 2024 s = stab_pop_type (info); 2025 2026 switch (kind) 2027 { 2028 default: 2029 abort (); 2030 2031 case DEBUG_GLOBAL: 2032 stab_type = N_GSYM; 2033 kindstr = "G"; 2034 break; 2035 2036 case DEBUG_STATIC: 2037 stab_type = N_STSYM; 2038 kindstr = "S"; 2039 break; 2040 2041 case DEBUG_LOCAL_STATIC: 2042 stab_type = N_STSYM; 2043 kindstr = "V"; 2044 break; 2045 2046 case DEBUG_LOCAL: 2047 stab_type = N_LSYM; 2048 kindstr = ""; 2049 2050 /* Make sure that this is a type reference or definition. */ 2051 if (! ISDIGIT (*s)) 2052 { 2053 char *n; 2054 long index; 2055 2056 index = info->type_index; 2057 ++info->type_index; 2058 n = (char *) xmalloc (strlen (s) + 20); 2059 sprintf (n, "%ld=%s", index, s); 2060 free (s); 2061 s = n; 2062 } 2063 break; 2064 2065 case DEBUG_REGISTER: 2066 stab_type = N_RSYM; 2067 kindstr = "r"; 2068 break; 2069 } 2070 2071 buf = (char *) xmalloc (strlen (name) + strlen (s) + 3); 2072 sprintf (buf, "%s:%s%s", name, kindstr, s); 2073 free (s); 2074 2075 if (! stab_write_symbol (info, stab_type, 0, val, buf)) 2076 return FALSE; 2077 2078 free (buf); 2079 2080 return TRUE; 2081} 2082 2083/* Start outputting a function. */ 2084 2085static bfd_boolean 2086stab_start_function (void *p, const char *name, bfd_boolean globalp) 2087{ 2088 struct stab_write_handle *info = (struct stab_write_handle *) p; 2089 char *rettype, *buf; 2090 2091 assert (info->nesting == 0 && info->fun_offset == -1); 2092 2093 rettype = stab_pop_type (info); 2094 2095 buf = (char *) xmalloc (strlen (name) + strlen (rettype) + 3); 2096 sprintf (buf, "%s:%c%s", name, 2097 globalp ? 'F' : 'f', 2098 rettype); 2099 2100 /* We don't know the value now, so we set it in start_block. */ 2101 info->fun_offset = info->symbols_size; 2102 2103 if (! stab_write_symbol (info, N_FUN, 0, 0, buf)) 2104 return FALSE; 2105 2106 free (buf); 2107 2108 return TRUE; 2109} 2110 2111/* Output a function parameter. */ 2112 2113static bfd_boolean 2114stab_function_parameter (void *p, const char *name, enum debug_parm_kind kind, bfd_vma val) 2115{ 2116 struct stab_write_handle *info = (struct stab_write_handle *) p; 2117 char *s, *buf; 2118 int stab_type; 2119 char kindc; 2120 2121 s = stab_pop_type (info); 2122 2123 switch (kind) 2124 { 2125 default: 2126 abort (); 2127 2128 case DEBUG_PARM_STACK: 2129 stab_type = N_PSYM; 2130 kindc = 'p'; 2131 break; 2132 2133 case DEBUG_PARM_REG: 2134 stab_type = N_RSYM; 2135 kindc = 'P'; 2136 break; 2137 2138 case DEBUG_PARM_REFERENCE: 2139 stab_type = N_PSYM; 2140 kindc = 'v'; 2141 break; 2142 2143 case DEBUG_PARM_REF_REG: 2144 stab_type = N_RSYM; 2145 kindc = 'a'; 2146 break; 2147 } 2148 2149 buf = (char *) xmalloc (strlen (name) + strlen (s) + 3); 2150 sprintf (buf, "%s:%c%s", name, kindc, s); 2151 free (s); 2152 2153 if (! stab_write_symbol (info, stab_type, 0, val, buf)) 2154 return FALSE; 2155 2156 free (buf); 2157 2158 return TRUE; 2159} 2160 2161/* Start a block. */ 2162 2163static bfd_boolean 2164stab_start_block (void *p, bfd_vma addr) 2165{ 2166 struct stab_write_handle *info = (struct stab_write_handle *) p; 2167 2168 /* Fill in any slots which have been waiting for the first known 2169 text address. */ 2170 2171 if (info->so_offset != -1) 2172 { 2173 bfd_put_32 (info->abfd, addr, info->symbols + info->so_offset + 8); 2174 info->so_offset = -1; 2175 } 2176 2177 if (info->fun_offset != -1) 2178 { 2179 bfd_put_32 (info->abfd, addr, info->symbols + info->fun_offset + 8); 2180 info->fun_offset = -1; 2181 } 2182 2183 ++info->nesting; 2184 2185 /* We will be called with a top level block surrounding the 2186 function, but stabs information does not output that block, so we 2187 ignore it. */ 2188 2189 if (info->nesting == 1) 2190 { 2191 info->fnaddr = addr; 2192 return TRUE; 2193 } 2194 2195 /* We have to output the LBRAC symbol after any variables which are 2196 declared inside the block. We postpone the LBRAC until the next 2197 start_block or end_block. */ 2198 2199 /* If we have postponed an LBRAC, output it now. */ 2200 if (info->pending_lbrac != (bfd_vma) -1) 2201 { 2202 if (! stab_write_symbol (info, N_LBRAC, 0, info->pending_lbrac, 2203 (const char *) NULL)) 2204 return FALSE; 2205 } 2206 2207 /* Remember the address and output it later. */ 2208 2209 info->pending_lbrac = addr - info->fnaddr; 2210 2211 return TRUE; 2212} 2213 2214/* End a block. */ 2215 2216static bfd_boolean 2217stab_end_block (void *p, bfd_vma addr) 2218{ 2219 struct stab_write_handle *info = (struct stab_write_handle *) p; 2220 2221 if (addr > info->last_text_address) 2222 info->last_text_address = addr; 2223 2224 /* If we have postponed an LBRAC, output it now. */ 2225 if (info->pending_lbrac != (bfd_vma) -1) 2226 { 2227 if (! stab_write_symbol (info, N_LBRAC, 0, info->pending_lbrac, 2228 (const char *) NULL)) 2229 return FALSE; 2230 info->pending_lbrac = (bfd_vma) -1; 2231 } 2232 2233 assert (info->nesting > 0); 2234 2235 --info->nesting; 2236 2237 /* We ignore the outermost block. */ 2238 if (info->nesting == 0) 2239 return TRUE; 2240 2241 return stab_write_symbol (info, N_RBRAC, 0, addr - info->fnaddr, 2242 (const char *) NULL); 2243} 2244 2245/* End a function. */ 2246 2247static bfd_boolean 2248stab_end_function (void *p ATTRIBUTE_UNUSED) 2249{ 2250 return TRUE; 2251} 2252 2253/* Output a line number. */ 2254 2255static bfd_boolean 2256stab_lineno (void *p, const char *file, unsigned long lineno, bfd_vma addr) 2257{ 2258 struct stab_write_handle *info = (struct stab_write_handle *) p; 2259 2260 assert (info->lineno_filename != NULL); 2261 2262 if (addr > info->last_text_address) 2263 info->last_text_address = addr; 2264 2265 if (strcmp (file, info->lineno_filename) != 0) 2266 { 2267 if (! stab_write_symbol (info, N_SOL, 0, addr, file)) 2268 return FALSE; 2269 info->lineno_filename = file; 2270 } 2271 2272 return stab_write_symbol (info, N_SLINE, lineno, addr - info->fnaddr, 2273 (const char *) NULL); 2274} 2275