Fix typos in ChangeLogs and update copyright notices
[deliverable/binutils-gdb.git] / binutils / prdbg.c
1 /* prdbg.c -- Print out generic debugging information.
2 Copyright 1995, 1996 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 prints out the generic debugging information, by
23 supplying a set of routines to debug_write. */
24
25 #include <stdio.h>
26 #include <assert.h>
27
28 #include "bfd.h"
29 #include "bucomm.h"
30 #include "libiberty.h"
31 #include "debug.h"
32 #include "budbg.h"
33
34 /* This is the structure we use as a handle for these routines. */
35
36 struct pr_handle
37 {
38 /* File to print information to. */
39 FILE *f;
40 /* Current indentation level. */
41 unsigned int indent;
42 /* Type stack. */
43 struct pr_stack *stack;
44 /* Parameter number we are about to output. */
45 int parameter;
46 };
47
48 /* The type stack. */
49
50 struct pr_stack
51 {
52 /* Next element on the stack. */
53 struct pr_stack *next;
54 /* This element. */
55 char *type;
56 /* Current visibility of fields if this is a class. */
57 enum debug_visibility visibility;
58 /* Name of the current method we are handling. */
59 const char *method;
60 };
61
62 static void indent PARAMS ((struct pr_handle *));
63 static boolean push_type PARAMS ((struct pr_handle *, const char *));
64 static boolean prepend_type PARAMS ((struct pr_handle *, const char *));
65 static boolean append_type PARAMS ((struct pr_handle *, const char *));
66 static boolean substitute_type PARAMS ((struct pr_handle *, const char *));
67 static boolean indent_type PARAMS ((struct pr_handle *));
68 static char *pop_type PARAMS ((struct pr_handle *));
69 static void print_vma PARAMS ((bfd_vma, char *, boolean, boolean));
70 static boolean pr_fix_visibility
71 PARAMS ((struct pr_handle *, enum debug_visibility));
72
73 static boolean pr_start_compilation_unit PARAMS ((PTR, const char *));
74 static boolean pr_start_source PARAMS ((PTR, const char *));
75 static boolean pr_empty_type PARAMS ((PTR));
76 static boolean pr_void_type PARAMS ((PTR));
77 static boolean pr_int_type PARAMS ((PTR, unsigned int, boolean));
78 static boolean pr_float_type PARAMS ((PTR, unsigned int));
79 static boolean pr_complex_type PARAMS ((PTR, unsigned int));
80 static boolean pr_bool_type PARAMS ((PTR, unsigned int));
81 static boolean pr_enum_type
82 PARAMS ((PTR, const char *, const char **, bfd_signed_vma *));
83 static boolean pr_pointer_type PARAMS ((PTR));
84 static boolean pr_function_type PARAMS ((PTR, int, boolean));
85 static boolean pr_reference_type PARAMS ((PTR));
86 static boolean pr_range_type PARAMS ((PTR, bfd_signed_vma, bfd_signed_vma));
87 static boolean pr_array_type
88 PARAMS ((PTR, bfd_signed_vma, bfd_signed_vma, boolean));
89 static boolean pr_set_type PARAMS ((PTR, boolean));
90 static boolean pr_offset_type PARAMS ((PTR));
91 static boolean pr_method_type PARAMS ((PTR, boolean, int, boolean));
92 static boolean pr_const_type PARAMS ((PTR));
93 static boolean pr_volatile_type PARAMS ((PTR));
94 static boolean pr_start_struct_type
95 PARAMS ((PTR, const char *, unsigned int, boolean, unsigned int));
96 static boolean pr_struct_field
97 PARAMS ((PTR, const char *, bfd_vma, bfd_vma, enum debug_visibility));
98 static boolean pr_end_struct_type PARAMS ((PTR));
99 static boolean pr_start_class_type
100 PARAMS ((PTR, const char *, unsigned int, boolean, unsigned int, boolean,
101 boolean));
102 static boolean pr_class_static_member
103 PARAMS ((PTR, const char *, const char *, enum debug_visibility));
104 static boolean pr_class_baseclass
105 PARAMS ((PTR, bfd_vma, boolean, enum debug_visibility));
106 static boolean pr_class_start_method PARAMS ((PTR, const char *));
107 static boolean pr_class_method_variant
108 PARAMS ((PTR, const char *, enum debug_visibility, boolean, boolean,
109 bfd_vma, boolean));
110 static boolean pr_class_static_method_variant
111 PARAMS ((PTR, const char *, enum debug_visibility, boolean, boolean));
112 static boolean pr_class_end_method PARAMS ((PTR));
113 static boolean pr_end_class_type PARAMS ((PTR));
114 static boolean pr_typedef_type PARAMS ((PTR, const char *));
115 static boolean pr_tag_type
116 PARAMS ((PTR, const char *, unsigned int, enum debug_type_kind));
117 static boolean pr_typdef PARAMS ((PTR, const char *));
118 static boolean pr_tag PARAMS ((PTR, const char *));
119 static boolean pr_int_constant PARAMS ((PTR, const char *, bfd_vma));
120 static boolean pr_float_constant PARAMS ((PTR, const char *, double));
121 static boolean pr_typed_constant PARAMS ((PTR, const char *, bfd_vma));
122 static boolean pr_variable
123 PARAMS ((PTR, const char *, enum debug_var_kind, bfd_vma));
124 static boolean pr_start_function PARAMS ((PTR, const char *, boolean));
125 static boolean pr_function_parameter
126 PARAMS ((PTR, const char *, enum debug_parm_kind, bfd_vma));
127 static boolean pr_start_block PARAMS ((PTR, bfd_vma));
128 static boolean pr_end_block PARAMS ((PTR, bfd_vma));
129 static boolean pr_end_function PARAMS ((PTR));
130 static boolean pr_lineno PARAMS ((PTR, const char *, unsigned long, bfd_vma));
131
132 static const struct debug_write_fns pr_fns =
133 {
134 pr_start_compilation_unit,
135 pr_start_source,
136 pr_empty_type,
137 pr_void_type,
138 pr_int_type,
139 pr_float_type,
140 pr_complex_type,
141 pr_bool_type,
142 pr_enum_type,
143 pr_pointer_type,
144 pr_function_type,
145 pr_reference_type,
146 pr_range_type,
147 pr_array_type,
148 pr_set_type,
149 pr_offset_type,
150 pr_method_type,
151 pr_const_type,
152 pr_volatile_type,
153 pr_start_struct_type,
154 pr_struct_field,
155 pr_end_struct_type,
156 pr_start_class_type,
157 pr_class_static_member,
158 pr_class_baseclass,
159 pr_class_start_method,
160 pr_class_method_variant,
161 pr_class_static_method_variant,
162 pr_class_end_method,
163 pr_end_class_type,
164 pr_typedef_type,
165 pr_tag_type,
166 pr_typdef,
167 pr_tag,
168 pr_int_constant,
169 pr_float_constant,
170 pr_typed_constant,
171 pr_variable,
172 pr_start_function,
173 pr_function_parameter,
174 pr_start_block,
175 pr_end_block,
176 pr_end_function,
177 pr_lineno
178 };
179 \f
180 /* Print out the generic debugging information recorded in dhandle. */
181
182 boolean
183 print_debugging_info (f, dhandle)
184 FILE *f;
185 PTR dhandle;
186 {
187 struct pr_handle info;
188
189 info.f = f;
190 info.indent = 0;
191 info.stack = NULL;
192 info.parameter = 0;
193
194 return debug_write (dhandle, &pr_fns, (PTR) &info);
195 }
196 \f
197 /* Indent to the current indentation level. */
198
199 static void
200 indent (info)
201 struct pr_handle *info;
202 {
203 unsigned int i;
204
205 for (i = 0; i < info->indent; i++)
206 putc (' ', info->f);
207 }
208
209 /* Push a type on the type stack. */
210
211 static boolean
212 push_type (info, type)
213 struct pr_handle *info;
214 const char *type;
215 {
216 struct pr_stack *n;
217
218 if (type == NULL)
219 return false;
220
221 n = (struct pr_stack *) xmalloc (sizeof *n);
222 memset (n, 0, sizeof *n);
223
224 n->type = xstrdup (type);
225 n->visibility = DEBUG_VISIBILITY_IGNORE;
226 n->method = NULL;
227 n->next = info->stack;
228 info->stack = n;
229
230 return true;
231 }
232
233 /* Prepend a string onto the type on the top of the type stack. */
234
235 static boolean
236 prepend_type (info, s)
237 struct pr_handle *info;
238 const char *s;
239 {
240 char *n;
241
242 assert (info->stack != NULL);
243
244 n = (char *) xmalloc (strlen (s) + strlen (info->stack->type) + 1);
245 sprintf (n, "%s%s", s, info->stack->type);
246 free (info->stack->type);
247 info->stack->type = n;
248
249 return true;
250 }
251
252 /* Append a string to the type on the top of the type stack. */
253
254 static boolean
255 append_type (info, s)
256 struct pr_handle *info;
257 const char *s;
258 {
259 unsigned int len;
260
261 if (s == NULL)
262 return false;
263
264 assert (info->stack != NULL);
265
266 len = strlen (info->stack->type);
267 info->stack->type = (char *) xrealloc (info->stack->type,
268 len + strlen (s) + 1);
269 strcpy (info->stack->type + len, s);
270
271 return true;
272 }
273
274 /* We use an underscore to indicate where the name should go in a type
275 string. This function substitutes a string for the underscore. If
276 there is no underscore, the name follows the type. */
277
278 static boolean
279 substitute_type (info, s)
280 struct pr_handle *info;
281 const char *s;
282 {
283 char *u;
284
285 assert (info->stack != NULL);
286
287 u = strchr (info->stack->type, '|');
288 if (u != NULL)
289 {
290 char *n;
291
292 n = (char *) xmalloc (strlen (info->stack->type) + strlen (s));
293
294 memcpy (n, info->stack->type, u - info->stack->type);
295 strcpy (n + (u - info->stack->type), s);
296 strcat (n, u + 1);
297
298 free (info->stack->type);
299 info->stack->type = n;
300
301 return true;
302 }
303
304 if (strchr (s, '|') != NULL
305 && (strchr (info->stack->type, '{') != NULL
306 || strchr (info->stack->type, '(') != NULL))
307 {
308 if (! prepend_type (info, "(")
309 || ! append_type (info, ")"))
310 return false;
311 }
312
313 if (*s == '\0')
314 return true;
315
316 return (append_type (info, " ")
317 && append_type (info, s));
318 }
319
320 /* Indent the type at the top of the stack by appending spaces. */
321
322 static boolean
323 indent_type (info)
324 struct pr_handle *info;
325 {
326 unsigned int i;
327
328 for (i = 0; i < info->indent; i++)
329 {
330 if (! append_type (info, " "))
331 return false;
332 }
333
334 return true;
335 }
336
337 /* Pop a type from the type stack. */
338
339 static char *
340 pop_type (info)
341 struct pr_handle *info;
342 {
343 struct pr_stack *o;
344 char *ret;
345
346 assert (info->stack != NULL);
347
348 o = info->stack;
349 info->stack = o->next;
350 ret = o->type;
351 free (o);
352
353 return ret;
354 }
355
356 /* Print a VMA value into a string. */
357
358 static void
359 print_vma (vma, buf, unsignedp, hexp)
360 bfd_vma vma;
361 char *buf;
362 boolean unsignedp;
363 boolean hexp;
364 {
365 if (sizeof (vma) <= sizeof (unsigned long))
366 {
367 if (hexp)
368 sprintf (buf, "0x%lx", (unsigned long) vma);
369 else if (unsignedp)
370 sprintf (buf, "%lu", (unsigned long) vma);
371 else
372 sprintf (buf, "%ld", (long) vma);
373 }
374 else
375 {
376 buf[0] = '0';
377 buf[1] = 'x';
378 sprintf_vma (buf + 2, vma);
379 }
380 }
381 \f
382 /* Start a new compilation unit. */
383
384 static boolean
385 pr_start_compilation_unit (p, filename)
386 PTR p;
387 const char *filename;
388 {
389 struct pr_handle *info = (struct pr_handle *) p;
390
391 assert (info->indent == 0);
392
393 fprintf (info->f, "%s:\n", filename);
394
395 return true;
396 }
397
398 /* Start a source file within a compilation unit. */
399
400 static boolean
401 pr_start_source (p, filename)
402 PTR p;
403 const char *filename;
404 {
405 struct pr_handle *info = (struct pr_handle *) p;
406
407 assert (info->indent == 0);
408
409 fprintf (info->f, " %s:\n", filename);
410
411 return true;
412 }
413
414 /* Push an empty type onto the type stack. */
415
416 static boolean
417 pr_empty_type (p)
418 PTR p;
419 {
420 struct pr_handle *info = (struct pr_handle *) p;
421
422 return push_type (info, "<undefined>");
423 }
424
425 /* Push a void type onto the type stack. */
426
427 static boolean
428 pr_void_type (p)
429 PTR p;
430 {
431 struct pr_handle *info = (struct pr_handle *) p;
432
433 return push_type (info, "void");
434 }
435
436 /* Push an integer type onto the type stack. */
437
438 static boolean
439 pr_int_type (p, size, unsignedp)
440 PTR p;
441 unsigned int size;
442 boolean unsignedp;
443 {
444 struct pr_handle *info = (struct pr_handle *) p;
445 char ab[10];
446
447 sprintf (ab, "%sint%d", unsignedp ? "u" : "", size * 8);
448 return push_type (info, ab);
449 }
450
451 /* Push a floating type onto the type stack. */
452
453 static boolean
454 pr_float_type (p, size)
455 PTR p;
456 unsigned int size;
457 {
458 struct pr_handle *info = (struct pr_handle *) p;
459 char ab[10];
460
461 if (size == 4)
462 return push_type (info, "float");
463 else if (size == 8)
464 return push_type (info, "double");
465
466 sprintf (ab, "float%d", size * 8);
467 return push_type (info, ab);
468 }
469
470 /* Push a complex type onto the type stack. */
471
472 static boolean
473 pr_complex_type (p, size)
474 PTR p;
475 unsigned int size;
476 {
477 struct pr_handle *info = (struct pr_handle *) p;
478
479 if (! pr_float_type (p, size))
480 return false;
481
482 return prepend_type (info, "complex ");
483 }
484
485 /* Push a boolean type onto the type stack. */
486
487 static boolean
488 pr_bool_type (p, size)
489 PTR p;
490 unsigned int size;
491 {
492 struct pr_handle *info = (struct pr_handle *) p;
493 char ab[10];
494
495 sprintf (ab, "bool%d", size * 8);
496
497 return push_type (info, ab);
498 }
499
500 /* Push an enum type onto the type stack. */
501
502 static boolean
503 pr_enum_type (p, tag, names, values)
504 PTR p;
505 const char *tag;
506 const char **names;
507 bfd_signed_vma *values;
508 {
509 struct pr_handle *info = (struct pr_handle *) p;
510 unsigned int i;
511 bfd_signed_vma val;
512
513 if (! push_type (info, "enum "))
514 return false;
515 if (tag != NULL)
516 {
517 if (! append_type (info, tag)
518 || ! append_type (info, " "))
519 return false;
520 }
521 if (! append_type (info, "{ "))
522 return false;
523
524 if (names == NULL)
525 {
526 if (! append_type (info, "/* undefined */"))
527 return false;
528 }
529 else
530 {
531 val = 0;
532 for (i = 0; names[i] != NULL; i++)
533 {
534 if (i > 0)
535 {
536 if (! append_type (info, ", "))
537 return false;
538 }
539
540 if (! append_type (info, names[i]))
541 return false;
542
543 if (values[i] != val)
544 {
545 char ab[20];
546
547 print_vma (values[i], ab, false, false);
548 if (! append_type (info, " = ")
549 || ! append_type (info, ab))
550 return false;
551 val = values[i];
552 }
553
554 ++val;
555 }
556 }
557
558 return append_type (info, " }");
559 }
560
561 /* Turn the top type on the stack into a pointer. */
562
563 static boolean
564 pr_pointer_type (p)
565 PTR p;
566 {
567 struct pr_handle *info = (struct pr_handle *) p;
568 char *s;
569
570 assert (info->stack != NULL);
571
572 s = strchr (info->stack->type, '|');
573 if (s != NULL && s[1] == '[')
574 return substitute_type (info, "(*|)");
575 return substitute_type (info, "*|");
576 }
577
578 /* Turn the top type on the stack into a function returning that type. */
579
580 static boolean
581 pr_function_type (p, argcount, varargs)
582 PTR p;
583 int argcount;
584 boolean varargs;
585 {
586 struct pr_handle *info = (struct pr_handle *) p;
587 char **arg_types;
588 unsigned int len;
589 char *s;
590
591 assert (info->stack != NULL);
592
593 len = 10;
594
595 if (argcount <= 0)
596 {
597 arg_types = NULL;
598 len += 15;
599 }
600 else
601 {
602 int i;
603
604 arg_types = (char **) xmalloc (argcount * sizeof *arg_types);
605 for (i = argcount - 1; i >= 0; i--)
606 {
607 if (! substitute_type (info, ""))
608 return false;
609 arg_types[i] = pop_type (info);
610 if (arg_types[i] == NULL)
611 return false;
612 len += strlen (arg_types[i]) + 2;
613 }
614 if (varargs)
615 len += 5;
616 }
617
618 /* Now the return type is on the top of the stack. */
619
620 s = (char *) xmalloc (len);
621 strcpy (s, "(|) (");
622
623 if (argcount < 0)
624 strcat (s, "/* unknown */");
625 else
626 {
627 int i;
628
629 for (i = 0; i < argcount; i++)
630 {
631 if (i > 0)
632 strcat (s, ", ");
633 strcat (s, arg_types[i]);
634 }
635 if (varargs)
636 {
637 if (i > 0)
638 strcat (s, ", ");
639 strcat (s, "...");
640 }
641 if (argcount > 0)
642 free (arg_types);
643 }
644
645 strcat (s, ")");
646
647 if (! substitute_type (info, s))
648 return false;
649
650 free (s);
651
652 return true;
653 }
654
655 /* Turn the top type on the stack into a reference to that type. */
656
657 static boolean
658 pr_reference_type (p)
659 PTR p;
660 {
661 struct pr_handle *info = (struct pr_handle *) p;
662
663 assert (info->stack != NULL);
664
665 return substitute_type (info, "&|");
666 }
667
668 /* Make a range type. */
669
670 static boolean
671 pr_range_type (p, lower, upper)
672 PTR p;
673 bfd_signed_vma lower;
674 bfd_signed_vma upper;
675 {
676 struct pr_handle *info = (struct pr_handle *) p;
677 char abl[20], abu[20];
678
679 assert (info->stack != NULL);
680
681 if (! substitute_type (info, ""))
682 return false;
683
684 print_vma (lower, abl, false, false);
685 print_vma (upper, abu, false, false);
686
687 return (prepend_type (info, "range (")
688 && append_type (info, "):")
689 && append_type (info, abl)
690 && append_type (info, ":")
691 && append_type (info, abu));
692 }
693
694 /* Make an array type. */
695
696 /*ARGSUSED*/
697 static boolean
698 pr_array_type (p, lower, upper, stringp)
699 PTR p;
700 bfd_signed_vma lower;
701 bfd_signed_vma upper;
702 boolean stringp;
703 {
704 struct pr_handle *info = (struct pr_handle *) p;
705 char *range_type;
706 char abl[20], abu[20], ab[50];
707
708 range_type = pop_type (info);
709 if (range_type == NULL)
710 return false;
711
712 if (lower == 0)
713 {
714 if (upper == -1)
715 sprintf (ab, "|[]");
716 else
717 {
718 print_vma (upper + 1, abu, false, false);
719 sprintf (ab, "|[%s]", abu);
720 }
721 }
722 else
723 {
724 print_vma (lower, abl, false, false);
725 print_vma (upper, abu, false, false);
726 sprintf (ab, "|[%s:%s]", abl, abu);
727 }
728
729 if (! substitute_type (info, ab))
730 return false;
731
732 if (strcmp (range_type, "int") != 0)
733 {
734 if (! append_type (info, ":")
735 || ! append_type (info, range_type))
736 return false;
737 }
738
739 if (stringp)
740 {
741 if (! append_type (info, " /* string */"))
742 return false;
743 }
744
745 return true;
746 }
747
748 /* Make a set type. */
749
750 /*ARGSUSED*/
751 static boolean
752 pr_set_type (p, bitstringp)
753 PTR p;
754 boolean bitstringp;
755 {
756 struct pr_handle *info = (struct pr_handle *) p;
757
758 if (! substitute_type (info, ""))
759 return false;
760
761 if (! prepend_type (info, "set { ")
762 || ! append_type (info, " }"))
763 return false;
764
765 if (bitstringp)
766 {
767 if (! append_type (info, "/* bitstring */"))
768 return false;
769 }
770
771 return true;
772 }
773
774 /* Make an offset type. */
775
776 static boolean
777 pr_offset_type (p)
778 PTR p;
779 {
780 struct pr_handle *info = (struct pr_handle *) p;
781 char *t;
782
783 if (! substitute_type (info, ""))
784 return false;
785
786 t = pop_type (info);
787 if (t == NULL)
788 return false;
789
790 return (substitute_type (info, "")
791 && prepend_type (info, " ")
792 && prepend_type (info, t)
793 && append_type (info, "::|"));
794 }
795
796 /* Make a method type. */
797
798 static boolean
799 pr_method_type (p, domain, argcount, varargs)
800 PTR p;
801 boolean domain;
802 int argcount;
803 boolean varargs;
804 {
805 struct pr_handle *info = (struct pr_handle *) p;
806 unsigned int len;
807 char *domain_type;
808 char **arg_types;
809 char *s;
810
811 len = 10;
812
813 if (! domain)
814 domain_type = NULL;
815 else
816 {
817 if (! substitute_type (info, ""))
818 return false;
819 domain_type = pop_type (info);
820 if (domain_type == NULL)
821 return false;
822 if (strncmp (domain_type, "class ", sizeof "class " - 1) == 0
823 && strchr (domain_type + sizeof "class " - 1, ' ') == NULL)
824 domain_type += sizeof "class " - 1;
825 else if (strncmp (domain_type, "union class ",
826 sizeof "union class ") == 0
827 && (strchr (domain_type + sizeof "union class " - 1, ' ')
828 == NULL))
829 domain_type += sizeof "union class " - 1;
830 len += strlen (domain_type);
831 }
832
833 if (argcount <= 0)
834 {
835 arg_types = NULL;
836 len += 15;
837 }
838 else
839 {
840 int i;
841
842 arg_types = (char **) xmalloc (argcount * sizeof *arg_types);
843 for (i = argcount - 1; i >= 0; i--)
844 {
845 if (! substitute_type (info, ""))
846 return false;
847 arg_types[i] = pop_type (info);
848 if (arg_types[i] == NULL)
849 return false;
850 len += strlen (arg_types[i]) + 2;
851 }
852 if (varargs)
853 len += 5;
854 }
855
856 /* Now the return type is on the top of the stack. */
857
858 s = (char *) xmalloc (len);
859 if (! domain)
860 *s = '\0';
861 else
862 strcpy (s, domain_type);
863 strcat (s, "::| (");
864
865 if (argcount < 0)
866 strcat (s, "/* unknown */");
867 else
868 {
869 int i;
870
871 for (i = 0; i < argcount; i++)
872 {
873 if (i > 0)
874 strcat (s, ", ");
875 strcat (s, arg_types[i]);
876 }
877 if (varargs)
878 {
879 if (i > 0)
880 strcat (s, ", ");
881 strcat (s, "...");
882 }
883 if (argcount > 0)
884 free (arg_types);
885 }
886
887 strcat (s, ")");
888
889 if (! substitute_type (info, s))
890 return false;
891
892 free (s);
893
894 return true;
895 }
896
897 /* Make a const qualified type. */
898
899 static boolean
900 pr_const_type (p)
901 PTR p;
902 {
903 struct pr_handle *info = (struct pr_handle *) p;
904
905 return substitute_type (info, "const |");
906 }
907
908 /* Make a volatile qualified type. */
909
910 static boolean
911 pr_volatile_type (p)
912 PTR p;
913 {
914 struct pr_handle *info = (struct pr_handle *) p;
915
916 return substitute_type (info, "volatile |");
917 }
918
919 /* Start accumulating a struct type. */
920
921 static boolean
922 pr_start_struct_type (p, tag, id, structp, size)
923 PTR p;
924 const char *tag;
925 unsigned int id;
926 boolean structp;
927 unsigned int size;
928 {
929 struct pr_handle *info = (struct pr_handle *) p;
930
931 info->indent += 2;
932
933 if (! push_type (info, structp ? "struct " : "union "))
934 return false;
935 if (tag != NULL)
936 {
937 if (! append_type (info, tag))
938 return false;
939 }
940 else
941 {
942 char idbuf[20];
943
944 sprintf (idbuf, "%%anon%u", id);
945 if (! append_type (info, idbuf))
946 return false;
947 }
948
949 if (! append_type (info, " {"))
950 return false;
951 if (size != 0 || tag != NULL)
952 {
953 char ab[30];
954
955 if (! append_type (info, " /*"))
956 return false;
957
958 if (size != 0)
959 {
960 sprintf (ab, " size %u", size);
961 if (! append_type (info, ab))
962 return false;
963 }
964 if (tag != NULL)
965 {
966 sprintf (ab, " id %u", id);
967 if (! append_type (info, ab))
968 return false;
969 }
970 if (! append_type (info, " */"))
971 return false;
972 }
973 if (! append_type (info, "\n"))
974 return false;
975
976 info->stack->visibility = DEBUG_VISIBILITY_PUBLIC;
977
978 return indent_type (info);
979 }
980
981 /* Output the visibility of a field in a struct. */
982
983 static boolean
984 pr_fix_visibility (info, visibility)
985 struct pr_handle *info;
986 enum debug_visibility visibility;
987 {
988 const char *s = NULL;
989 char *t;
990 unsigned int len;
991
992 assert (info->stack != NULL);
993
994 if (info->stack->visibility == visibility)
995 return true;
996
997 assert (info->stack->visibility != DEBUG_VISIBILITY_IGNORE);
998
999 switch (visibility)
1000 {
1001 case DEBUG_VISIBILITY_PUBLIC:
1002 s = "public";
1003 break;
1004 case DEBUG_VISIBILITY_PRIVATE:
1005 s = "private";
1006 break;
1007 case DEBUG_VISIBILITY_PROTECTED:
1008 s = "protected";
1009 break;
1010 case DEBUG_VISIBILITY_IGNORE:
1011 s = "/* ignore */";
1012 break;
1013 default:
1014 abort ();
1015 return false;
1016 }
1017
1018 /* Trim off a trailing space in the struct string, to make the
1019 output look a bit better, then stick on the visibility string. */
1020
1021 t = info->stack->type;
1022 len = strlen (t);
1023 assert (t[len - 1] == ' ');
1024 t[len - 1] = '\0';
1025
1026 if (! append_type (info, s)
1027 || ! append_type (info, ":\n")
1028 || ! indent_type (info))
1029 return false;
1030
1031 info->stack->visibility = visibility;
1032
1033 return true;
1034 }
1035
1036 /* Add a field to a struct type. */
1037
1038 static boolean
1039 pr_struct_field (p, name, bitpos, bitsize, visibility)
1040 PTR p;
1041 const char *name;
1042 bfd_vma bitpos;
1043 bfd_vma bitsize;
1044 enum debug_visibility visibility;
1045 {
1046 struct pr_handle *info = (struct pr_handle *) p;
1047 char ab[20];
1048 char *t;
1049
1050 if (! substitute_type (info, name))
1051 return false;
1052
1053 if (! append_type (info, "; /* "))
1054 return false;
1055
1056 if (bitsize != 0)
1057 {
1058 print_vma (bitsize, ab, true, false);
1059 if (! append_type (info, "bitsize ")
1060 || ! append_type (info, ab)
1061 || ! append_type (info, ", "))
1062 return false;
1063 }
1064
1065 print_vma (bitpos, ab, true, false);
1066 if (! append_type (info, "bitpos ")
1067 || ! append_type (info, ab)
1068 || ! append_type (info, " */\n")
1069 || ! indent_type (info))
1070 return false;
1071
1072 t = pop_type (info);
1073 if (t == NULL)
1074 return false;
1075
1076 if (! pr_fix_visibility (info, visibility))
1077 return false;
1078
1079 return append_type (info, t);
1080 }
1081
1082 /* Finish a struct type. */
1083
1084 static boolean
1085 pr_end_struct_type (p)
1086 PTR p;
1087 {
1088 struct pr_handle *info = (struct pr_handle *) p;
1089 char *s;
1090
1091 assert (info->stack != NULL);
1092 assert (info->indent >= 2);
1093
1094 info->indent -= 2;
1095
1096 /* Change the trailing indentation to have a close brace. */
1097 s = info->stack->type + strlen (info->stack->type) - 2;
1098 assert (s[0] == ' ' && s[1] == ' ' && s[2] == '\0');
1099
1100 *s++ = '}';
1101 *s = '\0';
1102
1103 return true;
1104 }
1105
1106 /* Start a class type. */
1107
1108 static boolean
1109 pr_start_class_type (p, tag, id, structp, size, vptr, ownvptr)
1110 PTR p;
1111 const char *tag;
1112 unsigned int id;
1113 boolean structp;
1114 unsigned int size;
1115 boolean vptr;
1116 boolean ownvptr;
1117 {
1118 struct pr_handle *info = (struct pr_handle *) p;
1119 char *tv = NULL;
1120
1121 info->indent += 2;
1122
1123 if (vptr && ! ownvptr)
1124 {
1125 tv = pop_type (info);
1126 if (tv == NULL)
1127 return false;
1128 }
1129
1130 if (! push_type (info, structp ? "class " : "union class "))
1131 return false;
1132 if (tag != NULL)
1133 {
1134 if (! append_type (info, tag))
1135 return false;
1136 }
1137 else
1138 {
1139 char idbuf[20];
1140
1141 sprintf (idbuf, "%%anon%u", id);
1142 if (! append_type (info, idbuf))
1143 return false;
1144 }
1145
1146 if (! append_type (info, " {"))
1147 return false;
1148 if (size != 0 || vptr || ownvptr || tag != NULL)
1149 {
1150 if (! append_type (info, " /*"))
1151 return false;
1152
1153 if (size != 0)
1154 {
1155 char ab[20];
1156
1157 sprintf (ab, "%u", size);
1158 if (! append_type (info, " size ")
1159 || ! append_type (info, ab))
1160 return false;
1161 }
1162
1163 if (vptr)
1164 {
1165 if (! append_type (info, " vtable "))
1166 return false;
1167 if (ownvptr)
1168 {
1169 if (! append_type (info, "self "))
1170 return false;
1171 }
1172 else
1173 {
1174 if (! append_type (info, tv)
1175 || ! append_type (info, " "))
1176 return false;
1177 }
1178 }
1179
1180 if (tag != NULL)
1181 {
1182 char ab[30];
1183
1184 sprintf (ab, " id %u", id);
1185 if (! append_type (info, ab))
1186 return false;
1187 }
1188
1189 if (! append_type (info, " */"))
1190 return false;
1191 }
1192
1193 info->stack->visibility = DEBUG_VISIBILITY_PRIVATE;
1194
1195 return (append_type (info, "\n")
1196 && indent_type (info));
1197 }
1198
1199 /* Add a static member to a class. */
1200
1201 static boolean
1202 pr_class_static_member (p, name, physname, visibility)
1203 PTR p;
1204 const char *name;
1205 const char *physname;
1206 enum debug_visibility visibility;
1207 {
1208 struct pr_handle *info = (struct pr_handle *) p;
1209 char *t;
1210
1211 if (! substitute_type (info, name))
1212 return false;
1213
1214 if (! prepend_type (info, "static ")
1215 || ! append_type (info, "; /* ")
1216 || ! append_type (info, physname)
1217 || ! append_type (info, " */\n")
1218 || ! indent_type (info))
1219 return false;
1220
1221 t = pop_type (info);
1222 if (t == NULL)
1223 return false;
1224
1225 if (! pr_fix_visibility (info, visibility))
1226 return false;
1227
1228 return append_type (info, t);
1229 }
1230
1231 /* Add a base class to a class. */
1232
1233 static boolean
1234 pr_class_baseclass (p, bitpos, virtual, visibility)
1235 PTR p;
1236 bfd_vma bitpos;
1237 boolean virtual;
1238 enum debug_visibility visibility;
1239 {
1240 struct pr_handle *info = (struct pr_handle *) p;
1241 char *t;
1242 const char *prefix;
1243 char ab[20];
1244 char *s, *l, *n;
1245
1246 assert (info->stack != NULL && info->stack->next != NULL);
1247
1248 if (! substitute_type (info, ""))
1249 return false;
1250
1251 t = pop_type (info);
1252 if (t == NULL)
1253 return false;
1254
1255 if (strncmp (t, "class ", sizeof "class " - 1) == 0)
1256 t += sizeof "class " - 1;
1257
1258 /* Push it back on to take advantage of the prepend_type and
1259 append_type routines. */
1260 if (! push_type (info, t))
1261 return false;
1262
1263 if (virtual)
1264 {
1265 if (! prepend_type (info, "virtual "))
1266 return false;
1267 }
1268
1269 switch (visibility)
1270 {
1271 case DEBUG_VISIBILITY_PUBLIC:
1272 prefix = "public ";
1273 break;
1274 case DEBUG_VISIBILITY_PROTECTED:
1275 prefix = "protected ";
1276 break;
1277 case DEBUG_VISIBILITY_PRIVATE:
1278 prefix = "private ";
1279 break;
1280 default:
1281 prefix = "/* unknown visibility */ ";
1282 break;
1283 }
1284
1285 if (! prepend_type (info, prefix))
1286 return false;
1287
1288 if (bitpos != 0)
1289 {
1290 print_vma (bitpos, ab, true, false);
1291 if (! append_type (info, " /* bitpos ")
1292 || ! append_type (info, ab)
1293 || ! append_type (info, " */"))
1294 return false;
1295 }
1296
1297 /* Now the top of the stack is something like "public A / * bitpos
1298 10 * /". The next element on the stack is something like "class
1299 xx { / * size 8 * /\n...". We want to substitute the top of the
1300 stack in before the {. */
1301 s = strchr (info->stack->next->type, '{');
1302 assert (s != NULL);
1303 --s;
1304
1305 /* If there is already a ':', then we already have a baseclass, and
1306 we must append this one after a comma. */
1307 for (l = info->stack->next->type; l != s; l++)
1308 if (*l == ':')
1309 break;
1310 if (! prepend_type (info, l == s ? " : " : ", "))
1311 return false;
1312
1313 t = pop_type (info);
1314 if (t == NULL)
1315 return false;
1316
1317 n = (char *) xmalloc (strlen (info->stack->type) + strlen (t) + 1);
1318 memcpy (n, info->stack->type, s - info->stack->type);
1319 strcpy (n + (s - info->stack->type), t);
1320 strcat (n, s);
1321
1322 free (info->stack->type);
1323 info->stack->type = n;
1324
1325 free (t);
1326
1327 return true;
1328 }
1329
1330 /* Start adding a method to a class. */
1331
1332 static boolean
1333 pr_class_start_method (p, name)
1334 PTR p;
1335 const char *name;
1336 {
1337 struct pr_handle *info = (struct pr_handle *) p;
1338
1339 assert (info->stack != NULL);
1340 info->stack->method = name;
1341 return true;
1342 }
1343
1344 /* Add a variant to a method. */
1345
1346 static boolean
1347 pr_class_method_variant (p, physname, visibility, constp, volatilep, voffset,
1348 context)
1349 PTR p;
1350 const char *physname;
1351 enum debug_visibility visibility;
1352 boolean constp;
1353 boolean volatilep;
1354 bfd_vma voffset;
1355 boolean context;
1356 {
1357 struct pr_handle *info = (struct pr_handle *) p;
1358 char *method_type;
1359 char *context_type;
1360
1361 assert (info->stack != NULL);
1362 assert (info->stack->next != NULL);
1363
1364 /* Put the const and volatile qualifiers on the type. */
1365 if (volatilep)
1366 {
1367 if (! append_type (info, " volatile"))
1368 return false;
1369 }
1370 if (constp)
1371 {
1372 if (! append_type (info, " const"))
1373 return false;
1374 }
1375
1376 /* Stick the name of the method into its type. */
1377 if (! substitute_type (info,
1378 (context
1379 ? info->stack->next->next->method
1380 : info->stack->next->method)))
1381 return false;
1382
1383 /* Get the type. */
1384 method_type = pop_type (info);
1385 if (method_type == NULL)
1386 return false;
1387
1388 /* Pull off the context type if there is one. */
1389 if (! context)
1390 context_type = NULL;
1391 else
1392 {
1393 context_type = pop_type (info);
1394 if (context_type == NULL)
1395 return false;
1396 }
1397
1398 /* Now the top of the stack is the class. */
1399
1400 if (! pr_fix_visibility (info, visibility))
1401 return false;
1402
1403 if (! append_type (info, method_type)
1404 || ! append_type (info, " /* ")
1405 || ! append_type (info, physname)
1406 || ! append_type (info, " "))
1407 return false;
1408 if (context || voffset != 0)
1409 {
1410 char ab[20];
1411
1412 if (context)
1413 {
1414 if (! append_type (info, "context ")
1415 || ! append_type (info, context_type)
1416 || ! append_type (info, " "))
1417 return false;
1418 }
1419 print_vma (voffset, ab, true, false);
1420 if (! append_type (info, "voffset ")
1421 || ! append_type (info, ab))
1422 return false;
1423 }
1424
1425 return (append_type (info, " */;\n")
1426 && indent_type (info));
1427 }
1428
1429 /* Add a static variant to a method. */
1430
1431 static boolean
1432 pr_class_static_method_variant (p, physname, visibility, constp, volatilep)
1433 PTR p;
1434 const char *physname;
1435 enum debug_visibility visibility;
1436 boolean constp;
1437 boolean volatilep;
1438 {
1439 struct pr_handle *info = (struct pr_handle *) p;
1440 char *method_type;
1441
1442 assert (info->stack != NULL);
1443 assert (info->stack->next != NULL);
1444 assert (info->stack->next->method != NULL);
1445
1446 /* Put the const and volatile qualifiers on the type. */
1447 if (volatilep)
1448 {
1449 if (! append_type (info, " volatile"))
1450 return false;
1451 }
1452 if (constp)
1453 {
1454 if (! append_type (info, " const"))
1455 return false;
1456 }
1457
1458 /* Mark it as static. */
1459 if (! prepend_type (info, "static "))
1460 return false;
1461
1462 /* Stick the name of the method into its type. */
1463 if (! substitute_type (info, info->stack->next->method))
1464 return false;
1465
1466 /* Get the type. */
1467 method_type = pop_type (info);
1468 if (method_type == NULL)
1469 return false;
1470
1471 /* Now the top of the stack is the class. */
1472
1473 if (! pr_fix_visibility (info, visibility))
1474 return false;
1475
1476 return (append_type (info, method_type)
1477 && append_type (info, " /* ")
1478 && append_type (info, physname)
1479 && append_type (info, " */;\n")
1480 && indent_type (info));
1481 }
1482
1483 /* Finish up a method. */
1484
1485 static boolean
1486 pr_class_end_method (p)
1487 PTR p;
1488 {
1489 struct pr_handle *info = (struct pr_handle *) p;
1490
1491 info->stack->method = NULL;
1492 return true;
1493 }
1494
1495 /* Finish up a class. */
1496
1497 static boolean
1498 pr_end_class_type (p)
1499 PTR p;
1500 {
1501 return pr_end_struct_type (p);
1502 }
1503
1504 /* Push a type on the stack using a typedef name. */
1505
1506 static boolean
1507 pr_typedef_type (p, name)
1508 PTR p;
1509 const char *name;
1510 {
1511 struct pr_handle *info = (struct pr_handle *) p;
1512
1513 return push_type (info, name);
1514 }
1515
1516 /* Push a type on the stack using a tag name. */
1517
1518 static boolean
1519 pr_tag_type (p, name, id, kind)
1520 PTR p;
1521 const char *name;
1522 unsigned int id;
1523 enum debug_type_kind kind;
1524 {
1525 struct pr_handle *info = (struct pr_handle *) p;
1526 const char *t, *tag;
1527 char idbuf[20];
1528
1529 switch (kind)
1530 {
1531 case DEBUG_KIND_STRUCT:
1532 t = "struct ";
1533 break;
1534 case DEBUG_KIND_UNION:
1535 t = "union ";
1536 break;
1537 case DEBUG_KIND_ENUM:
1538 t = "enum ";
1539 break;
1540 case DEBUG_KIND_CLASS:
1541 t = "class ";
1542 break;
1543 case DEBUG_KIND_UNION_CLASS:
1544 t = "union class ";
1545 break;
1546 default:
1547 abort ();
1548 return false;
1549 }
1550
1551 if (! push_type (info, t))
1552 return false;
1553 if (name != NULL)
1554 tag = name;
1555 else
1556 {
1557 sprintf (idbuf, "%%anon%u", id);
1558 tag = idbuf;
1559 }
1560
1561 if (! append_type (info, tag))
1562 return false;
1563 if (name != NULL && kind != DEBUG_KIND_ENUM)
1564 {
1565 sprintf (idbuf, " /* id %u */", id);
1566 if (! append_type (info, idbuf))
1567 return false;
1568 }
1569
1570 return true;
1571 }
1572
1573 /* Output a typedef. */
1574
1575 static boolean
1576 pr_typdef (p, name)
1577 PTR p;
1578 const char *name;
1579 {
1580 struct pr_handle *info = (struct pr_handle *) p;
1581 char *s;
1582
1583 if (! substitute_type (info, name))
1584 return false;
1585
1586 s = pop_type (info);
1587 if (s == NULL)
1588 return false;
1589
1590 indent (info);
1591 fprintf (info->f, "typedef %s;\n", s);
1592
1593 free (s);
1594
1595 return true;
1596 }
1597
1598 /* Output a tag. The tag should already be in the string on the
1599 stack, so all we have to do here is print it out. */
1600
1601 /*ARGSUSED*/
1602 static boolean
1603 pr_tag (p, name)
1604 PTR p;
1605 const char *name ATTRIBUTE_UNUSED;
1606 {
1607 struct pr_handle *info = (struct pr_handle *) p;
1608 char *t;
1609
1610 t = pop_type (info);
1611 if (t == NULL)
1612 return false;
1613
1614 indent (info);
1615 fprintf (info->f, "%s;\n", t);
1616
1617 free (t);
1618
1619 return true;
1620 }
1621
1622 /* Output an integer constant. */
1623
1624 static boolean
1625 pr_int_constant (p, name, val)
1626 PTR p;
1627 const char *name;
1628 bfd_vma val;
1629 {
1630 struct pr_handle *info = (struct pr_handle *) p;
1631 char ab[20];
1632
1633 indent (info);
1634 print_vma (val, ab, false, false);
1635 fprintf (info->f, "const int %s = %s;\n", name, ab);
1636 return true;
1637 }
1638
1639 /* Output a floating point constant. */
1640
1641 static boolean
1642 pr_float_constant (p, name, val)
1643 PTR p;
1644 const char *name;
1645 double val;
1646 {
1647 struct pr_handle *info = (struct pr_handle *) p;
1648
1649 indent (info);
1650 fprintf (info->f, "const double %s = %g;\n", name, val);
1651 return true;
1652 }
1653
1654 /* Output a typed constant. */
1655
1656 static boolean
1657 pr_typed_constant (p, name, val)
1658 PTR p;
1659 const char *name;
1660 bfd_vma val;
1661 {
1662 struct pr_handle *info = (struct pr_handle *) p;
1663 char *t;
1664 char ab[20];
1665
1666 t = pop_type (info);
1667 if (t == NULL)
1668 return false;
1669
1670 indent (info);
1671 print_vma (val, ab, false, false);
1672 fprintf (info->f, "const %s %s = %s;\n", t, name, ab);
1673
1674 free (t);
1675
1676 return true;
1677 }
1678
1679 /* Output a variable. */
1680
1681 static boolean
1682 pr_variable (p, name, kind, val)
1683 PTR p;
1684 const char *name;
1685 enum debug_var_kind kind;
1686 bfd_vma val;
1687 {
1688 struct pr_handle *info = (struct pr_handle *) p;
1689 char *t;
1690 char ab[20];
1691
1692 if (! substitute_type (info, name))
1693 return false;
1694
1695 t = pop_type (info);
1696 if (t == NULL)
1697 return false;
1698
1699 indent (info);
1700 switch (kind)
1701 {
1702 case DEBUG_STATIC:
1703 case DEBUG_LOCAL_STATIC:
1704 fprintf (info->f, "static ");
1705 break;
1706 case DEBUG_REGISTER:
1707 fprintf (info->f, "register ");
1708 break;
1709 default:
1710 break;
1711 }
1712 print_vma (val, ab, true, true);
1713 fprintf (info->f, "%s /* %s */;\n", t, ab);
1714
1715 free (t);
1716
1717 return true;
1718 }
1719
1720 /* Start outputting a function. */
1721
1722 static boolean
1723 pr_start_function (p, name, global)
1724 PTR p;
1725 const char *name;
1726 boolean global;
1727 {
1728 struct pr_handle *info = (struct pr_handle *) p;
1729 char *t;
1730
1731 if (! substitute_type (info, name))
1732 return false;
1733
1734 t = pop_type (info);
1735 if (t == NULL)
1736 return false;
1737
1738 indent (info);
1739 if (! global)
1740 fprintf (info->f, "static ");
1741 fprintf (info->f, "%s (", t);
1742
1743 info->parameter = 1;
1744
1745 return true;
1746 }
1747
1748 /* Output a function parameter. */
1749
1750 static boolean
1751 pr_function_parameter (p, name, kind, val)
1752 PTR p;
1753 const char *name;
1754 enum debug_parm_kind kind;
1755 bfd_vma val;
1756 {
1757 struct pr_handle *info = (struct pr_handle *) p;
1758 char *t;
1759 char ab[20];
1760
1761 if (kind == DEBUG_PARM_REFERENCE
1762 || kind == DEBUG_PARM_REF_REG)
1763 {
1764 if (! pr_reference_type (p))
1765 return false;
1766 }
1767
1768 if (! substitute_type (info, name))
1769 return false;
1770
1771 t = pop_type (info);
1772 if (t == NULL)
1773 return false;
1774
1775 if (info->parameter != 1)
1776 fprintf (info->f, ", ");
1777
1778 if (kind == DEBUG_PARM_REG || kind == DEBUG_PARM_REF_REG)
1779 fprintf (info->f, "register ");
1780
1781 print_vma (val, ab, true, true);
1782 fprintf (info->f, "%s /* %s */", t, ab);
1783
1784 free (t);
1785
1786 ++info->parameter;
1787
1788 return true;
1789 }
1790
1791 /* Start writing out a block. */
1792
1793 static boolean
1794 pr_start_block (p, addr)
1795 PTR p;
1796 bfd_vma addr;
1797 {
1798 struct pr_handle *info = (struct pr_handle *) p;
1799 char ab[20];
1800
1801 if (info->parameter > 0)
1802 {
1803 fprintf (info->f, ")\n");
1804 info->parameter = 0;
1805 }
1806
1807 indent (info);
1808 print_vma (addr, ab, true, true);
1809 fprintf (info->f, "{ /* %s */\n", ab);
1810
1811 info->indent += 2;
1812
1813 return true;
1814 }
1815
1816 /* Write out line number information. */
1817
1818 static boolean
1819 pr_lineno (p, filename, lineno, addr)
1820 PTR p;
1821 const char *filename;
1822 unsigned long lineno;
1823 bfd_vma addr;
1824 {
1825 struct pr_handle *info = (struct pr_handle *) p;
1826 char ab[20];
1827
1828 indent (info);
1829 print_vma (addr, ab, true, true);
1830 fprintf (info->f, "/* file %s line %lu addr %s */\n", filename, lineno, ab);
1831
1832 return true;
1833 }
1834
1835 /* Finish writing out a block. */
1836
1837 static boolean
1838 pr_end_block (p, addr)
1839 PTR p;
1840 bfd_vma addr;
1841 {
1842 struct pr_handle *info = (struct pr_handle *) p;
1843 char ab[20];
1844
1845 info->indent -= 2;
1846
1847 indent (info);
1848 print_vma (addr, ab, true, true);
1849 fprintf (info->f, "} /* %s */\n", ab);
1850
1851 return true;
1852 }
1853
1854 /* Finish writing out a function. */
1855
1856 /*ARGSUSED*/
1857 static boolean
1858 pr_end_function (p)
1859 PTR p ATTRIBUTE_UNUSED;
1860 {
1861 return true;
1862 }
This page took 0.170326 seconds and 5 git commands to generate.