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