* ieee.c (ieee_start_compilation_unit): Clear modified and
[binutils-gdb.git] / binutils / ieee.c
1 /* ieee.c -- Read and write IEEE-695 debugging information.
2 Copyright (C) 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 reads and writes IEEE-695 debugging information. */
23
24 #include <stdio.h>
25 #include <assert.h>
26
27 #include "bfd.h"
28 #include "ieee.h"
29 #include "bucomm.h"
30 #include "libiberty.h"
31 #include "debug.h"
32 #include "budbg.h"
33
34 /* This structure holds an entry on the block stack. */
35
36 struct ieee_block
37 {
38 /* The kind of block. */
39 int kind;
40 /* The source file name, for a BB5 block. */
41 const char *filename;
42 /* The index of the function type, for a BB4 or BB6 block. */
43 unsigned int fnindx;
44 };
45
46 /* This structure is the block stack. */
47
48 #define BLOCKSTACK_SIZE (16)
49
50 struct ieee_blockstack
51 {
52 /* The stack pointer. */
53 struct ieee_block *bsp;
54 /* The stack. */
55 struct ieee_block stack[BLOCKSTACK_SIZE];
56 };
57
58 /* This structure holds information for a variable. */
59
60 struct ieee_var
61 {
62 /* Start of name. */
63 const char *name;
64 /* Length of name. */
65 unsigned long namlen;
66 /* Type. */
67 debug_type type;
68 /* Slot if we make an indirect type. */
69 debug_type *pslot;
70 /* Kind of variable or function. */
71 enum
72 {
73 IEEE_UNKNOWN,
74 IEEE_EXTERNAL,
75 IEEE_GLOBAL,
76 IEEE_STATIC,
77 IEEE_LOCAL,
78 IEEE_FUNCTION
79 } kind;
80 };
81
82 /* This structure holds all the variables. */
83
84 struct ieee_vars
85 {
86 /* Number of slots allocated. */
87 unsigned int alloc;
88 /* Variables. */
89 struct ieee_var *vars;
90 };
91
92 /* This structure holds information for a type. We need this because
93 we don't want to represent bitfields as real types. */
94
95 struct ieee_type
96 {
97 /* Type. */
98 debug_type type;
99 /* Slot if this is type is referenced before it is defined. */
100 debug_type *pslot;
101 /* Slots for arguments if we make indirect types for them. */
102 debug_type *arg_slots;
103 /* If this is a bitfield, this is the size in bits. If this is not
104 a bitfield, this is zero. */
105 unsigned long bitsize;
106 };
107
108 /* This structure holds all the type information. */
109
110 struct ieee_types
111 {
112 /* Number of slots allocated. */
113 unsigned int alloc;
114 /* Types. */
115 struct ieee_type *types;
116 /* Builtin types. */
117 #define BUILTIN_TYPE_COUNT (60)
118 debug_type builtins[BUILTIN_TYPE_COUNT];
119 };
120
121 /* This structure holds a linked last of structs with their tag names,
122 so that we can convert them to C++ classes if necessary. */
123
124 struct ieee_tag
125 {
126 /* Next tag. */
127 struct ieee_tag *next;
128 /* This tag name. */
129 const char *name;
130 /* The type of the tag. */
131 debug_type type;
132 /* The tagged type is an indirect type pointing at this slot. */
133 debug_type slot;
134 /* This is an array of slots used when a field type is converted
135 into a indirect type, in case it needs to be later converted into
136 a reference type. */
137 debug_type *fslots;
138 };
139
140 /* This structure holds the information we pass around to the parsing
141 functions. */
142
143 struct ieee_info
144 {
145 /* The debugging handle. */
146 PTR dhandle;
147 /* The BFD. */
148 bfd *abfd;
149 /* The start of the bytes to be parsed. */
150 const bfd_byte *bytes;
151 /* The end of the bytes to be parsed. */
152 const bfd_byte *pend;
153 /* The block stack. */
154 struct ieee_blockstack blockstack;
155 /* The variables. */
156 struct ieee_vars vars;
157 /* The types. */
158 struct ieee_types types;
159 /* The list of tagged structs. */
160 struct ieee_tag *tags;
161 };
162
163 /* Basic builtin types, not including the pointers. */
164
165 enum builtin_types
166 {
167 builtin_unknown = 0,
168 builtin_void = 1,
169 builtin_signed_char = 2,
170 builtin_unsigned_char = 3,
171 builtin_signed_short_int = 4,
172 builtin_unsigned_short_int = 5,
173 builtin_signed_long = 6,
174 builtin_unsigned_long = 7,
175 builtin_signed_long_long = 8,
176 builtin_unsigned_long_long = 9,
177 builtin_float = 10,
178 builtin_double = 11,
179 builtin_long_double = 12,
180 builtin_long_long_double = 13,
181 builtin_quoted_string = 14,
182 builtin_instruction_address = 15,
183 builtin_int = 16,
184 builtin_unsigned = 17,
185 builtin_unsigned_int = 18,
186 builtin_char = 19,
187 builtin_long = 20,
188 builtin_short = 21,
189 builtin_unsigned_short = 22,
190 builtin_short_int = 23,
191 builtin_signed_short = 24,
192 builtin_bcd_float = 25
193 };
194
195 /* These are the values found in the derivation flags of a 'b'
196 component record of a 'T' type extension record in a C++ pmisc
197 record. These are bitmasks. */
198
199 /* Set for a private base class, clear for a public base class.
200 Protected base classes are not supported. */
201 #define BASEFLAGS_PRIVATE (0x1)
202 /* Set for a virtual base class. */
203 #define BASEFLAGS_VIRTUAL (0x2)
204 /* Set for a friend class, clear for a base class. */
205 #define BASEFLAGS_FRIEND (0x10)
206
207 /* These are the values found in the specs flags of a 'd', 'm', or 'v'
208 component record of a 'T' type extension record in a C++ pmisc
209 record. The same flags are used for a 'M' record in a C++ pmisc
210 record. */
211
212 /* The lower two bits hold visibility information. */
213 #define CXXFLAGS_VISIBILITY (0x3)
214 /* This value in the lower two bits indicates a public member. */
215 #define CXXFLAGS_VISIBILITY_PUBLIC (0x0)
216 /* This value in the lower two bits indicates a private member. */
217 #define CXXFLAGS_VISIBILITY_PRIVATE (0x1)
218 /* This value in the lower two bits indicates a protected member. */
219 #define CXXFLAGS_VISIBILITY_PROTECTED (0x2)
220 /* Set for a static member. */
221 #define CXXFLAGS_STATIC (0x4)
222 /* Set for a virtual override. */
223 #define CXXFLAGS_OVERRIDE (0x8)
224 /* Set for a friend function. */
225 #define CXXFLAGS_FRIEND (0x10)
226 /* Set for a const function. */
227 #define CXXFLAGS_CONST (0x20)
228 /* Set for a volatile function. */
229 #define CXXFLAGS_VOLATILE (0x40)
230 /* Set for an overloaded function. */
231 #define CXXFLAGS_OVERLOADED (0x80)
232 /* Set for an operator function. */
233 #define CXXFLAGS_OPERATOR (0x100)
234 /* Set for a constructor or destructor. */
235 #define CXXFLAGS_CTORDTOR (0x400)
236 /* Set for a constructor. */
237 #define CXXFLAGS_CTOR (0x200)
238 /* Set for an inline function. */
239 #define CXXFLAGS_INLINE (0x800)
240
241 /* Local functions. */
242
243 static void ieee_error
244 PARAMS ((struct ieee_info *, const bfd_byte *, const char *));
245 static void ieee_eof PARAMS ((struct ieee_info *));
246 static char *savestring PARAMS ((const char *, unsigned long));
247 static boolean ieee_read_number
248 PARAMS ((struct ieee_info *, const bfd_byte **, bfd_vma *));
249 static boolean ieee_read_optional_number
250 PARAMS ((struct ieee_info *, const bfd_byte **, bfd_vma *, boolean *));
251 static boolean ieee_read_id
252 PARAMS ((struct ieee_info *, const bfd_byte **, const char **,
253 unsigned long *));
254 static boolean ieee_read_optional_id
255 PARAMS ((struct ieee_info *, const bfd_byte **, const char **,
256 unsigned long *, boolean *));
257 static boolean ieee_read_expression
258 PARAMS ((struct ieee_info *, const bfd_byte **, bfd_vma *));
259 static debug_type ieee_builtin_type
260 PARAMS ((struct ieee_info *, const bfd_byte *, unsigned int));
261 static boolean ieee_alloc_type
262 PARAMS ((struct ieee_info *, unsigned int, boolean));
263 static boolean ieee_read_type_index
264 PARAMS ((struct ieee_info *, const bfd_byte **, debug_type *));
265 static int ieee_regno_to_genreg PARAMS ((bfd *, int));
266 static int ieee_genreg_to_regno PARAMS ((bfd *, int));
267 static boolean parse_ieee_bb PARAMS ((struct ieee_info *, const bfd_byte **));
268 static boolean parse_ieee_be PARAMS ((struct ieee_info *, const bfd_byte **));
269 static boolean parse_ieee_nn PARAMS ((struct ieee_info *, const bfd_byte **));
270 static boolean parse_ieee_ty PARAMS ((struct ieee_info *, const bfd_byte **));
271 static boolean parse_ieee_atn PARAMS ((struct ieee_info *, const bfd_byte **));
272 static boolean ieee_read_cxx_misc
273 PARAMS ((struct ieee_info *, const bfd_byte **, unsigned long));
274 static boolean ieee_read_cxx_class
275 PARAMS ((struct ieee_info *, const bfd_byte **, unsigned long));
276 static boolean ieee_read_cxx_defaults
277 PARAMS ((struct ieee_info *, const bfd_byte **, unsigned long));
278 static boolean ieee_read_reference
279 PARAMS ((struct ieee_info *, const bfd_byte **));
280 static boolean ieee_require_asn
281 PARAMS ((struct ieee_info *, const bfd_byte **, bfd_vma *));
282 static boolean ieee_require_atn65
283 PARAMS ((struct ieee_info *, const bfd_byte **, const char **,
284 unsigned long *));
285
286 /* Report an error in the IEEE debugging information. */
287
288 static void
289 ieee_error (info, p, s)
290 struct ieee_info *info;
291 const bfd_byte *p;
292 const char *s;
293 {
294 if (p != NULL)
295 fprintf (stderr, "%s: 0x%lx: %s (0x%x)\n", bfd_get_filename (info->abfd),
296 (unsigned long) (p - info->bytes), s, *p);
297 else
298 fprintf (stderr, "%s: %s\n", bfd_get_filename (info->abfd), s);
299 }
300
301 /* Report an unexpected EOF in the IEEE debugging information. */
302
303 static void
304 ieee_eof (info)
305 struct ieee_info *info;
306 {
307 ieee_error (info, (const bfd_byte *) NULL,
308 "unexpected end of debugging information");
309 }
310
311 /* Save a string in memory. */
312
313 static char *
314 savestring (start, len)
315 const char *start;
316 unsigned long len;
317 {
318 char *ret;
319
320 ret = (char *) xmalloc (len + 1);
321 memcpy (ret, start, len);
322 ret[len] = '\0';
323 return ret;
324 }
325
326 /* Read a number which must be present in an IEEE file. */
327
328 static boolean
329 ieee_read_number (info, pp, pv)
330 struct ieee_info *info;
331 const bfd_byte **pp;
332 bfd_vma *pv;
333 {
334 return ieee_read_optional_number (info, pp, pv, (boolean *) NULL);
335 }
336
337 /* Read a number in an IEEE file. If ppresent is not NULL, the number
338 need not be there. */
339
340 static boolean
341 ieee_read_optional_number (info, pp, pv, ppresent)
342 struct ieee_info *info;
343 const bfd_byte **pp;
344 bfd_vma *pv;
345 boolean *ppresent;
346 {
347 ieee_record_enum_type b;
348
349 if (*pp >= info->pend)
350 {
351 if (ppresent != NULL)
352 {
353 *ppresent = false;
354 return true;
355 }
356 ieee_eof (info);
357 return false;
358 }
359
360 b = (ieee_record_enum_type) **pp;
361 ++*pp;
362
363 if (b <= ieee_number_end_enum)
364 {
365 *pv = (bfd_vma) b;
366 if (ppresent != NULL)
367 *ppresent = true;
368 return true;
369 }
370
371 if (b >= ieee_number_repeat_start_enum && b <= ieee_number_repeat_end_enum)
372 {
373 unsigned int i;
374
375 i = (int) b - (int) ieee_number_repeat_start_enum;
376 if (*pp + i - 1 >= info->pend)
377 {
378 ieee_eof (info);
379 return false;
380 }
381
382 *pv = 0;
383 for (; i > 0; i--)
384 {
385 *pv <<= 8;
386 *pv += **pp;
387 ++*pp;
388 }
389
390 if (ppresent != NULL)
391 *ppresent = true;
392
393 return true;
394 }
395
396 if (ppresent != NULL)
397 {
398 --*pp;
399 *ppresent = false;
400 return true;
401 }
402
403 ieee_error (info, *pp - 1, "invalid number");
404 return false;
405 }
406
407 /* Read a required string from an IEEE file. */
408
409 static boolean
410 ieee_read_id (info, pp, pname, pnamlen)
411 struct ieee_info *info;
412 const bfd_byte **pp;
413 const char **pname;
414 unsigned long *pnamlen;
415 {
416 return ieee_read_optional_id (info, pp, pname, pnamlen, (boolean *) NULL);
417 }
418
419 /* Read a string from an IEEE file. If ppresent is not NULL, the
420 string is optional. */
421
422 static boolean
423 ieee_read_optional_id (info, pp, pname, pnamlen, ppresent)
424 struct ieee_info *info;
425 const bfd_byte **pp;
426 const char **pname;
427 unsigned long *pnamlen;
428 boolean *ppresent;
429 {
430 bfd_byte b;
431 unsigned long len;
432
433 if (*pp >= info->pend)
434 {
435 ieee_eof (info);
436 return false;
437 }
438
439 b = **pp;
440 ++*pp;
441
442 if (b <= 0x7f)
443 len = b;
444 else if ((ieee_record_enum_type) b == ieee_extension_length_1_enum)
445 {
446 len = **pp;
447 ++*pp;
448 }
449 else if ((ieee_record_enum_type) b == ieee_extension_length_2_enum)
450 {
451 len = (**pp << 8) + (*pp)[1];
452 *pp += 2;
453 }
454 else
455 {
456 if (ppresent != NULL)
457 {
458 --*pp;
459 *ppresent = false;
460 return true;
461 }
462 ieee_error (info, *pp - 1, "invalid string length");
463 return false;
464 }
465
466 if ((unsigned long) (info->pend - *pp) < len)
467 {
468 ieee_eof (info);
469 return false;
470 }
471
472 *pname = (const char *) *pp;
473 *pnamlen = len;
474 *pp += len;
475
476 if (ppresent != NULL)
477 *ppresent = true;
478
479 return true;
480 }
481
482 /* Read an expression from an IEEE file. Since this code is only used
483 to parse debugging information, I haven't bothered to write a full
484 blown IEEE expression parser. I've only thrown in the things I've
485 seen in debugging information. This can be easily extended if
486 necessary. */
487
488 static boolean
489 ieee_read_expression (info, pp, pv)
490 struct ieee_info *info;
491 const bfd_byte **pp;
492 bfd_vma *pv;
493 {
494 const bfd_byte *expr_start;
495 #define EXPR_STACK_SIZE (10)
496 bfd_vma expr_stack[EXPR_STACK_SIZE];
497 bfd_vma *esp;
498
499 expr_start = *pp;
500
501 esp = expr_stack;
502
503 while (1)
504 {
505 const bfd_byte *start;
506 bfd_vma val;
507 boolean present;
508 ieee_record_enum_type c;
509
510 start = *pp;
511
512 if (! ieee_read_optional_number (info, pp, &val, &present))
513 return false;
514
515 if (present)
516 {
517 if (esp - expr_stack >= EXPR_STACK_SIZE)
518 {
519 ieee_error (info, start, "expression stack overflow");
520 return false;
521 }
522 *esp++ = val;
523 continue;
524 }
525
526 c = (ieee_record_enum_type) **pp;
527
528 if (c >= ieee_module_beginning_enum)
529 break;
530
531 ++*pp;
532
533 if (c == ieee_comma)
534 break;
535
536 switch (c)
537 {
538 default:
539 ieee_error (info, start, "unsupported IEEE expression operator");
540 break;
541
542 case ieee_variable_R_enum:
543 {
544 bfd_vma indx;
545 asection *s;
546
547 if (! ieee_read_number (info, pp, &indx))
548 return false;
549 for (s = info->abfd->sections; s != NULL; s = s->next)
550 if ((bfd_vma) s->target_index == indx)
551 break;
552 if (s == NULL)
553 {
554 ieee_error (info, start, "unknown section");
555 return false;
556 }
557
558 if (esp - expr_stack >= EXPR_STACK_SIZE)
559 {
560 ieee_error (info, start, "expression stack overflow");
561 return false;
562 }
563
564 *esp++ = bfd_get_section_vma (info->abfd, s);
565 }
566 break;
567
568 case ieee_function_plus_enum:
569 case ieee_function_minus_enum:
570 {
571 bfd_vma v1, v2;
572
573 if (esp - expr_stack < 2)
574 {
575 ieee_error (info, start, "expression stack underflow");
576 return false;
577 }
578
579 v1 = *--esp;
580 v2 = *--esp;
581 *esp++ = v1 + v2;
582 }
583 break;
584 }
585 }
586
587 if (esp - 1 != expr_stack)
588 {
589 ieee_error (info, expr_start, "expression stack mismatch");
590 return false;
591 }
592
593 *pv = *--esp;
594
595 return true;
596 }
597
598 /* Return an IEEE builtin type. */
599
600 static debug_type
601 ieee_builtin_type (info, p, indx)
602 struct ieee_info *info;
603 const bfd_byte *p;
604 unsigned int indx;
605 {
606 PTR dhandle;
607 debug_type type;
608 const char *name;
609
610 if (indx < BUILTIN_TYPE_COUNT
611 && info->types.builtins[indx] != DEBUG_TYPE_NULL)
612 return info->types.builtins[indx];
613
614 dhandle = info->dhandle;
615
616 if (indx >= 32 && indx < 64)
617 {
618 type = debug_make_pointer_type (dhandle,
619 ieee_builtin_type (info, p, indx - 32));
620 assert (indx < BUILTIN_TYPE_COUNT);
621 info->types.builtins[indx] = type;
622 return type;
623 }
624
625 switch ((enum builtin_types) indx)
626 {
627 default:
628 ieee_error (info, p, "unknown builtin type");
629 return NULL;
630
631 case builtin_unknown:
632 type = debug_make_void_type (dhandle);
633 name = NULL;
634 break;
635
636 case builtin_void:
637 type = debug_make_void_type (dhandle);
638 name = "void";
639 break;
640
641 case builtin_signed_char:
642 type = debug_make_int_type (dhandle, 1, false);
643 name = "signed char";
644 break;
645
646 case builtin_unsigned_char:
647 type = debug_make_int_type (dhandle, 1, true);
648 name = "unsigned char";
649 break;
650
651 case builtin_signed_short_int:
652 type = debug_make_int_type (dhandle, 2, false);
653 name = "signed short int";
654 break;
655
656 case builtin_unsigned_short_int:
657 type = debug_make_int_type (dhandle, 2, true);
658 name = "unsigned short int";
659 break;
660
661 case builtin_signed_long:
662 type = debug_make_int_type (dhandle, 4, false);
663 name = "signed long";
664 break;
665
666 case builtin_unsigned_long:
667 type = debug_make_int_type (dhandle, 4, true);
668 name = "unsigned long";
669 break;
670
671 case builtin_signed_long_long:
672 type = debug_make_int_type (dhandle, 8, false);
673 name = "signed long long";
674 break;
675
676 case builtin_unsigned_long_long:
677 type = debug_make_int_type (dhandle, 8, true);
678 name = "unsigned long long";
679 break;
680
681 case builtin_float:
682 type = debug_make_float_type (dhandle, 4);
683 name = "float";
684 break;
685
686 case builtin_double:
687 type = debug_make_float_type (dhandle, 8);
688 name = "double";
689 break;
690
691 case builtin_long_double:
692 /* FIXME: The size for this type should depend upon the
693 processor. */
694 type = debug_make_float_type (dhandle, 12);
695 name = "long double";
696 break;
697
698 case builtin_long_long_double:
699 type = debug_make_float_type (dhandle, 16);
700 name = "long long double";
701 break;
702
703 case builtin_quoted_string:
704 type = debug_make_array_type (dhandle,
705 ieee_builtin_type (info, p,
706 ((unsigned int)
707 builtin_char)),
708 ieee_builtin_type (info, p,
709 ((unsigned int)
710 builtin_int)),
711 0, -1, true);
712 name = "QUOTED STRING";
713 break;
714
715 case builtin_instruction_address:
716 /* FIXME: This should be a code address. */
717 type = debug_make_int_type (dhandle, 4, true);
718 name = "instruction address";
719 break;
720
721 case builtin_int:
722 /* FIXME: The size for this type should depend upon the
723 processor. */
724 type = debug_make_int_type (dhandle, 4, false);
725 name = "int";
726 break;
727
728 case builtin_unsigned:
729 /* FIXME: The size for this type should depend upon the
730 processor. */
731 type = debug_make_int_type (dhandle, 4, true);
732 name = "unsigned";
733 break;
734
735 case builtin_unsigned_int:
736 /* FIXME: The size for this type should depend upon the
737 processor. */
738 type = debug_make_int_type (dhandle, 4, true);
739 name = "unsigned int";
740 break;
741
742 case builtin_char:
743 type = debug_make_int_type (dhandle, 1, false);
744 name = "char";
745 break;
746
747 case builtin_long:
748 type = debug_make_int_type (dhandle, 4, false);
749 name = "long";
750 break;
751
752 case builtin_short:
753 type = debug_make_int_type (dhandle, 2, false);
754 name = "short";
755 break;
756
757 case builtin_unsigned_short:
758 type = debug_make_int_type (dhandle, 2, true);
759 name = "unsigned short";
760 break;
761
762 case builtin_short_int:
763 type = debug_make_int_type (dhandle, 2, false);
764 name = "short int";
765 break;
766
767 case builtin_signed_short:
768 type = debug_make_int_type (dhandle, 2, false);
769 name = "signed short";
770 break;
771
772 case builtin_bcd_float:
773 ieee_error (info, p, "BCD float type not supported");
774 return false;
775 }
776
777 if (name != NULL)
778 type = debug_name_type (dhandle, name, type);
779
780 assert (indx < BUILTIN_TYPE_COUNT);
781
782 info->types.builtins[indx] = type;
783
784 return type;
785 }
786
787 /* Allocate more space in the type table. If ref is true, this is a
788 reference to the type; if it is not already defined, we should set
789 up an indirect type. */
790
791 static boolean
792 ieee_alloc_type (info, indx, ref)
793 struct ieee_info *info;
794 unsigned int indx;
795 boolean ref;
796 {
797 unsigned int nalloc;
798 register struct ieee_type *t;
799 struct ieee_type *tend;
800
801 if (indx >= info->types.alloc)
802 {
803 nalloc = info->types.alloc;
804 if (nalloc == 0)
805 nalloc = 4;
806 while (indx >= nalloc)
807 nalloc *= 2;
808
809 info->types.types = ((struct ieee_type *)
810 xrealloc (info->types.types,
811 nalloc * sizeof *info->types.types));
812
813 memset (info->types.types + info->types.alloc, 0,
814 (nalloc - info->types.alloc) * sizeof *info->types.types);
815
816 tend = info->types.types + nalloc;
817 for (t = info->types.types + info->types.alloc; t < tend; t++)
818 t->type = DEBUG_TYPE_NULL;
819
820 info->types.alloc = nalloc;
821 }
822
823 if (ref)
824 {
825 t = info->types.types + indx;
826 if (t->type == NULL)
827 {
828 t->pslot = (debug_type *) xmalloc (sizeof *t->pslot);
829 *t->pslot = DEBUG_TYPE_NULL;
830 t->type = debug_make_indirect_type (info->dhandle, t->pslot,
831 (const char *) NULL);
832 if (t->type == NULL)
833 return false;
834 }
835 }
836
837 return true;
838 }
839
840 /* Read a type index and return the corresponding type. */
841
842 static boolean
843 ieee_read_type_index (info, pp, ptype)
844 struct ieee_info *info;
845 const bfd_byte **pp;
846 debug_type *ptype;
847 {
848 const bfd_byte *start;
849 bfd_vma indx;
850
851 start = *pp;
852
853 if (! ieee_read_number (info, pp, &indx))
854 return false;
855
856 if (indx < 256)
857 {
858 *ptype = ieee_builtin_type (info, start, indx);
859 if (*ptype == NULL)
860 return false;
861 return true;
862 }
863
864 indx -= 256;
865 if (! ieee_alloc_type (info, indx, true))
866 return false;
867
868 *ptype = info->types.types[indx].type;
869
870 return true;
871 }
872
873 /* Parse IEEE debugging information for a file. This is passed the
874 bytes which compose the Debug Information Part of an IEEE file. */
875
876 boolean
877 parse_ieee (dhandle, abfd, bytes, len)
878 PTR dhandle;
879 bfd *abfd;
880 const bfd_byte *bytes;
881 bfd_size_type len;
882 {
883 struct ieee_info info;
884 unsigned int i;
885 const bfd_byte *p, *pend;
886
887 info.dhandle = dhandle;
888 info.abfd = abfd;
889 info.bytes = bytes;
890 info.pend = bytes + len;
891 info.blockstack.bsp = info.blockstack.stack;
892 info.vars.alloc = 0;
893 info.vars.vars = NULL;
894 info.types.alloc = 0;
895 info.types.types = NULL;
896 info.tags = NULL;
897 for (i = 0; i < BUILTIN_TYPE_COUNT; i++)
898 info.types.builtins[i] = DEBUG_TYPE_NULL;
899
900 p = bytes;
901 pend = info.pend;
902 while (p < pend)
903 {
904 const bfd_byte *record_start;
905 ieee_record_enum_type c;
906
907 record_start = p;
908
909 c = (ieee_record_enum_type) *p++;
910
911 if (c == ieee_at_record_enum)
912 c = (ieee_record_enum_type) (((unsigned int) c << 8) | *p++);
913
914 if (c <= ieee_number_repeat_end_enum)
915 {
916 ieee_error (&info, record_start, "unexpected number");
917 return false;
918 }
919
920 switch (c)
921 {
922 default:
923 ieee_error (&info, record_start, "unexpected record type");
924 return false;
925
926 case ieee_bb_record_enum:
927 if (! parse_ieee_bb (&info, &p))
928 return false;
929 break;
930
931 case ieee_be_record_enum:
932 if (! parse_ieee_be (&info, &p))
933 return false;
934 break;
935
936 case ieee_nn_record:
937 if (! parse_ieee_nn (&info, &p))
938 return false;
939 break;
940
941 case ieee_ty_record_enum:
942 if (! parse_ieee_ty (&info, &p))
943 return false;
944 break;
945
946 case ieee_atn_record_enum:
947 if (! parse_ieee_atn (&info, &p))
948 return false;
949 break;
950 }
951 }
952
953 if (info.blockstack.bsp != info.blockstack.stack)
954 {
955 ieee_error (&info, (const bfd_byte *) NULL,
956 "blocks left on stack at end");
957 return false;
958 }
959
960 return true;
961 }
962
963 /* Handle an IEEE BB record. */
964
965 static boolean
966 parse_ieee_bb (info, pp)
967 struct ieee_info *info;
968 const bfd_byte **pp;
969 {
970 const bfd_byte *block_start;
971 bfd_byte b;
972 bfd_vma size;
973 const char *name;
974 unsigned long namlen;
975 char *namcopy;
976 unsigned int fnindx;
977
978 block_start = *pp;
979
980 b = **pp;
981 ++*pp;
982
983 if (! ieee_read_number (info, pp, &size)
984 || ! ieee_read_id (info, pp, &name, &namlen))
985 return false;
986
987 fnindx = (unsigned int) -1;
988
989 switch (b)
990 {
991 case 1:
992 /* BB1: Type definitions local to a module. */
993 namcopy = savestring (name, namlen);
994 if (namcopy == NULL)
995 return false;
996 if (! debug_set_filename (info->dhandle, namcopy))
997 return false;
998 break;
999
1000 case 2:
1001 /* BB2: Global type definitions. The name is supposed to be
1002 empty, but we don't check. */
1003 if (! debug_set_filename (info->dhandle, "*global*"))
1004 return false;
1005 break;
1006
1007 case 3:
1008 /* BB3: High level module block begin. We don't have to do
1009 anything here. The name is supposed to be the same as for
1010 the BB1, but we don't check. */
1011 break;
1012
1013 case 4:
1014 /* BB4: Global function. */
1015 {
1016 bfd_vma stackspace, typindx, offset;
1017 debug_type return_type;
1018
1019 if (! ieee_read_number (info, pp, &stackspace)
1020 || ! ieee_read_number (info, pp, &typindx)
1021 || ! ieee_read_expression (info, pp, &offset))
1022 return false;
1023
1024 /* We have no way to record the stack space. FIXME. */
1025
1026 if (typindx < 256)
1027 {
1028 return_type = ieee_builtin_type (info, block_start, typindx);
1029 if (return_type == DEBUG_TYPE_NULL)
1030 return false;
1031 }
1032 else
1033 {
1034 typindx -= 256;
1035 if (! ieee_alloc_type (info, typindx, true))
1036 return false;
1037 fnindx = typindx;
1038 return_type = info->types.types[typindx].type;
1039 if (debug_get_type_kind (info->dhandle, return_type)
1040 == DEBUG_KIND_FUNCTION)
1041 return_type = debug_get_return_type (info->dhandle,
1042 return_type);
1043 }
1044
1045 namcopy = savestring (name, namlen);
1046 if (namcopy == NULL)
1047 return false;
1048 if (! debug_record_function (info->dhandle, namcopy, return_type,
1049 true, offset))
1050 return false;
1051 }
1052 break;
1053
1054 case 5:
1055 /* BB5: File name for source line numbers. */
1056 {
1057 unsigned int i;
1058
1059 /* We ignore the date and time. FIXME. */
1060 for (i = 0; i < 6; i++)
1061 {
1062 bfd_vma ignore;
1063 boolean present;
1064
1065 if (! ieee_read_optional_number (info, pp, &ignore, &present))
1066 return false;
1067 if (! present)
1068 break;
1069 }
1070
1071 namcopy = savestring (name, namlen);
1072 if (namcopy == NULL)
1073 return false;
1074 if (! debug_start_source (info->dhandle, namcopy))
1075 return false;
1076 }
1077 break;
1078
1079 case 6:
1080 /* BB6: Local function or block. */
1081 {
1082 bfd_vma stackspace, typindx, offset;
1083
1084 if (! ieee_read_number (info, pp, &stackspace)
1085 || ! ieee_read_number (info, pp, &typindx)
1086 || ! ieee_read_expression (info, pp, &offset))
1087 return false;
1088
1089 /* We have no way to record the stack space. FIXME. */
1090
1091 if (namlen == 0)
1092 {
1093 if (! debug_start_block (info->dhandle, offset))
1094 return false;
1095 /* Change b to indicate that this is a block
1096 rather than a function. */
1097 b = 0x86;
1098 }
1099 else
1100 {
1101 debug_type return_type;
1102
1103 if (typindx < 256)
1104 {
1105 return_type = ieee_builtin_type (info, block_start, typindx);
1106 if (return_type == NULL)
1107 return false;
1108 }
1109 else
1110 {
1111 typindx -= 256;
1112 if (! ieee_alloc_type (info, typindx, true))
1113 return false;
1114 fnindx = typindx;
1115 return_type = info->types.types[typindx].type;
1116 if (debug_get_type_kind (info->dhandle, return_type)
1117 == DEBUG_KIND_FUNCTION)
1118 return_type = debug_get_return_type (info->dhandle,
1119 return_type);
1120 }
1121
1122 namcopy = savestring (name, namlen);
1123 if (namcopy == NULL)
1124 return false;
1125 if (! debug_record_function (info->dhandle, namcopy, return_type,
1126 false, offset))
1127 return false;
1128 }
1129 }
1130 break;
1131
1132 case 10:
1133 /* BB10: Assembler module scope. We completely ignore all this
1134 information. FIXME. */
1135 {
1136 const char *inam, *vstr;
1137 unsigned long inamlen, vstrlen;
1138 bfd_vma tool_type;
1139 boolean present;
1140 unsigned int i;
1141
1142 if (! ieee_read_id (info, pp, &inam, &inamlen)
1143 || ! ieee_read_number (info, pp, &tool_type)
1144 || ! ieee_read_optional_id (info, pp, &vstr, &vstrlen, &present))
1145 return false;
1146 for (i = 0; i < 6; i++)
1147 {
1148 bfd_vma ignore;
1149
1150 if (! ieee_read_optional_number (info, pp, &ignore, &present))
1151 return false;
1152 if (! present)
1153 break;
1154 }
1155 }
1156 break;
1157
1158 case 11:
1159 /* BB11: Module section. We completely ignore all this
1160 information. FIXME. */
1161 {
1162 bfd_vma sectype, secindx, offset, map;
1163 boolean present;
1164
1165 if (! ieee_read_number (info, pp, &sectype)
1166 || ! ieee_read_number (info, pp, &secindx)
1167 || ! ieee_read_expression (info, pp, &offset)
1168 || ! ieee_read_optional_number (info, pp, &map, &present))
1169 return false;
1170 }
1171 break;
1172
1173 default:
1174 ieee_error (info, block_start, "unknown BB type");
1175 return false;
1176 }
1177
1178
1179 /* Push this block on the block stack. */
1180
1181 if (info->blockstack.bsp >= info->blockstack.stack + BLOCKSTACK_SIZE)
1182 {
1183 ieee_error (info, (const bfd_byte *) NULL, "stack overflow");
1184 return false;
1185 }
1186
1187 info->blockstack.bsp->kind = b;
1188 if (b == 5)
1189 info->blockstack.bsp->filename = namcopy;
1190 info->blockstack.bsp->fnindx = fnindx;
1191 ++info->blockstack.bsp;
1192
1193 return true;
1194 }
1195
1196 /* Handle an IEEE BE record. */
1197
1198 static boolean
1199 parse_ieee_be (info, pp)
1200 struct ieee_info *info;
1201 const bfd_byte **pp;
1202 {
1203 bfd_vma offset;
1204
1205 if (info->blockstack.bsp <= info->blockstack.stack)
1206 {
1207 ieee_error (info, *pp, "stack underflow");
1208 return false;
1209 }
1210 --info->blockstack.bsp;
1211
1212 switch (info->blockstack.bsp->kind)
1213 {
1214 case 4:
1215 case 6:
1216 if (! ieee_read_expression (info, pp, &offset))
1217 return false;
1218 if (! debug_end_function (info->dhandle, offset))
1219 return false;
1220 break;
1221
1222 case 0x86:
1223 /* This is BE6 when BB6 started a block rather than a local
1224 function. */
1225 if (! ieee_read_expression (info, pp, &offset))
1226 return false;
1227 if (! debug_end_block (info->dhandle, offset))
1228 return false;
1229 break;
1230
1231 case 5:
1232 /* When we end a BB5, we look up the stack for the last BB5, if
1233 there is one, so that we can call debug_start_source. */
1234 if (info->blockstack.bsp > info->blockstack.stack)
1235 {
1236 struct ieee_block *bl;
1237
1238 bl = info->blockstack.bsp;
1239 do
1240 {
1241 --bl;
1242 if (bl->kind == 5)
1243 {
1244 if (! debug_start_source (info->dhandle, bl->filename))
1245 return false;
1246 break;
1247 }
1248 }
1249 while (bl != info->blockstack.stack);
1250 }
1251 break;
1252
1253 case 11:
1254 if (! ieee_read_expression (info, pp, &offset))
1255 return false;
1256 /* We just ignore the module size. FIXME. */
1257 break;
1258
1259 default:
1260 /* Other block types do not have any trailing information. */
1261 break;
1262 }
1263
1264 return true;
1265 }
1266
1267 /* Parse an NN record. */
1268
1269 static boolean
1270 parse_ieee_nn (info, pp)
1271 struct ieee_info *info;
1272 const bfd_byte **pp;
1273 {
1274 const bfd_byte *nn_start;
1275 bfd_vma varindx;
1276 const char *name;
1277 unsigned long namlen;
1278
1279 nn_start = *pp;
1280
1281 if (! ieee_read_number (info, pp, &varindx)
1282 || ! ieee_read_id (info, pp, &name, &namlen))
1283 return false;
1284
1285 if (varindx < 32)
1286 {
1287 ieee_error (info, nn_start, "illegal variable index");
1288 return false;
1289 }
1290 varindx -= 32;
1291
1292 if (varindx >= info->vars.alloc)
1293 {
1294 unsigned int alloc;
1295
1296 alloc = info->vars.alloc;
1297 if (alloc == 0)
1298 alloc = 4;
1299 while (varindx >= alloc)
1300 alloc *= 2;
1301 info->vars.vars = ((struct ieee_var *)
1302 xrealloc (info->vars.vars,
1303 alloc * sizeof *info->vars.vars));
1304 memset (info->vars.vars + info->vars.alloc, 0,
1305 (alloc - info->vars.alloc) * sizeof *info->vars.vars);
1306 info->vars.alloc = alloc;
1307 }
1308
1309 info->vars.vars[varindx].name = name;
1310 info->vars.vars[varindx].namlen = namlen;
1311
1312 return true;
1313 }
1314
1315 /* Parse a TY record. */
1316
1317 static boolean
1318 parse_ieee_ty (info, pp)
1319 struct ieee_info *info;
1320 const bfd_byte **pp;
1321 {
1322 const bfd_byte *ty_start, *ty_var_start, *ty_code_start;
1323 bfd_vma typeindx, varindx, tc;
1324 PTR dhandle;
1325 boolean tag, typdef;
1326 debug_type *arg_slots;
1327 unsigned long type_bitsize;
1328 debug_type type;
1329
1330 ty_start = *pp;
1331
1332 if (! ieee_read_number (info, pp, &typeindx))
1333 return false;
1334
1335 if (typeindx < 256)
1336 {
1337 ieee_error (info, ty_start, "illegal type index");
1338 return false;
1339 }
1340
1341 typeindx -= 256;
1342 if (! ieee_alloc_type (info, typeindx, false))
1343 return false;
1344
1345 if (**pp != 0xce)
1346 {
1347 ieee_error (info, *pp, "unknown TY code");
1348 return false;
1349 }
1350 ++*pp;
1351
1352 ty_var_start = *pp;
1353
1354 if (! ieee_read_number (info, pp, &varindx))
1355 return false;
1356
1357 if (varindx < 32)
1358 {
1359 ieee_error (info, ty_var_start, "illegal variable index");
1360 return false;
1361 }
1362 varindx -= 32;
1363
1364 if (varindx >= info->vars.alloc || info->vars.vars[varindx].name == NULL)
1365 {
1366 ieee_error (info, ty_var_start, "undefined variable in TY");
1367 return false;
1368 }
1369
1370 ty_code_start = *pp;
1371
1372 if (! ieee_read_number (info, pp, &tc))
1373 return false;
1374
1375 dhandle = info->dhandle;
1376
1377 tag = false;
1378 typdef = false;
1379 arg_slots = NULL;
1380 type_bitsize = 0;
1381 switch (tc)
1382 {
1383 default:
1384 ieee_error (info, ty_code_start, "unknown TY code");
1385 return false;
1386
1387 case '!':
1388 /* Unknown type, with size. We treat it as int. FIXME. */
1389 {
1390 bfd_vma size;
1391
1392 if (! ieee_read_number (info, pp, &size))
1393 return false;
1394 type = debug_make_int_type (dhandle, size, false);
1395 }
1396 break;
1397
1398 case 'A': /* Array. */
1399 case 'a': /* FORTRAN array in column/row order. FIXME: Not
1400 distinguished from normal array. */
1401 {
1402 debug_type ele_type;
1403 bfd_vma lower, upper;
1404
1405 if (! ieee_read_type_index (info, pp, &ele_type)
1406 || ! ieee_read_number (info, pp, &lower)
1407 || ! ieee_read_number (info, pp, &upper))
1408 return false;
1409 type = debug_make_array_type (dhandle, ele_type,
1410 ieee_builtin_type (info, ty_code_start,
1411 ((unsigned int)
1412 builtin_int)),
1413 (bfd_signed_vma) lower,
1414 (bfd_signed_vma) upper,
1415 false);
1416 }
1417 break;
1418
1419 case 'E':
1420 /* Simple enumeration. */
1421 {
1422 bfd_vma size;
1423 unsigned int alloc;
1424 const char **names;
1425 unsigned int c;
1426 bfd_signed_vma *vals;
1427 unsigned int i;
1428
1429 if (! ieee_read_number (info, pp, &size))
1430 return false;
1431 /* FIXME: we ignore the enumeration size. */
1432
1433 alloc = 10;
1434 names = (const char **) xmalloc (alloc * sizeof *names);
1435 memset (names, 0, alloc * sizeof *names);
1436 c = 0;
1437 while (1)
1438 {
1439 const char *name;
1440 unsigned long namlen;
1441 boolean present;
1442
1443 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
1444 return false;
1445 if (! present)
1446 break;
1447
1448 if (c + 1 >= alloc)
1449 {
1450 alloc += 10;
1451 names = ((const char **)
1452 xrealloc (names, alloc * sizeof *names));
1453 }
1454
1455 names[c] = savestring (name, namlen);
1456 if (names[c] == NULL)
1457 return false;
1458 ++c;
1459 }
1460
1461 names[c] = NULL;
1462
1463 vals = (bfd_signed_vma *) xmalloc (c * sizeof *vals);
1464 for (i = 0; i < c; i++)
1465 vals[i] = i;
1466
1467 type = debug_make_enum_type (dhandle, names, vals);
1468 tag = true;
1469 }
1470 break;
1471
1472 case 'G':
1473 /* Struct with bit fields. */
1474 {
1475 bfd_vma size;
1476 unsigned int alloc;
1477 debug_field *fields;
1478 unsigned int c;
1479
1480 if (! ieee_read_number (info, pp, &size))
1481 return false;
1482
1483 alloc = 10;
1484 fields = (debug_field *) xmalloc (alloc * sizeof *fields);
1485 c = 0;
1486 while (1)
1487 {
1488 const char *name;
1489 unsigned long namlen;
1490 boolean present;
1491 debug_type ftype;
1492 bfd_vma bitpos, bitsize;
1493
1494 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
1495 return false;
1496 if (! present)
1497 break;
1498 if (! ieee_read_type_index (info, pp, &ftype)
1499 || ! ieee_read_number (info, pp, &bitpos)
1500 || ! ieee_read_number (info, pp, &bitsize))
1501 return false;
1502
1503 if (c + 1 >= alloc)
1504 {
1505 alloc += 10;
1506 fields = ((debug_field *)
1507 xrealloc (fields, alloc * sizeof *fields));
1508 }
1509
1510 fields[c] = debug_make_field (dhandle, savestring (name, namlen),
1511 ftype, bitpos, bitsize,
1512 DEBUG_VISIBILITY_PUBLIC);
1513 if (fields[c] == NULL)
1514 return false;
1515 ++c;
1516 }
1517
1518 fields[c] = NULL;
1519
1520 type = debug_make_struct_type (dhandle, true, size, fields);
1521 tag = true;
1522 }
1523 break;
1524
1525 case 'N':
1526 /* Enumeration. */
1527 {
1528 unsigned int alloc;
1529 const char **names;
1530 bfd_signed_vma *vals;
1531 unsigned int c;
1532
1533 alloc = 10;
1534 names = (const char **) xmalloc (alloc * sizeof *names);
1535 vals = (bfd_signed_vma *) xmalloc (alloc * sizeof *names);
1536 c = 0;
1537 while (1)
1538 {
1539 const char *name;
1540 unsigned long namlen;
1541 boolean present;
1542 bfd_vma val;
1543
1544 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
1545 return false;
1546 if (! present)
1547 break;
1548 if (! ieee_read_number (info, pp, &val))
1549 return false;
1550
1551 /* If the length of the name is zero, then the value is
1552 actually the size of the enum. We ignore this
1553 information. FIXME. */
1554 if (namlen == 0)
1555 continue;
1556
1557 if (c + 1 >= alloc)
1558 {
1559 alloc += 10;
1560 names = ((const char **)
1561 xrealloc (names, alloc * sizeof *names));
1562 vals = ((bfd_signed_vma *)
1563 xrealloc (vals, alloc * sizeof *vals));
1564 }
1565
1566 names[c] = savestring (name, namlen);
1567 if (names[c] == NULL)
1568 return false;
1569 vals[c] = (bfd_signed_vma) val;
1570 ++c;
1571 }
1572
1573 names[c] = NULL;
1574
1575 type = debug_make_enum_type (dhandle, names, vals);
1576 tag = true;
1577 }
1578 break;
1579
1580 case 'O': /* Small pointer. We don't distinguish small and large
1581 pointers. FIXME. */
1582 case 'P': /* Large pointer. */
1583 {
1584 debug_type t;
1585
1586 if (! ieee_read_type_index (info, pp, &t))
1587 return false;
1588 type = debug_make_pointer_type (dhandle, t);
1589 }
1590 break;
1591
1592 case 'R':
1593 /* Range. */
1594 {
1595 bfd_vma low, high, signedp, size;
1596
1597 if (! ieee_read_number (info, pp, &low)
1598 || ! ieee_read_number (info, pp, &high)
1599 || ! ieee_read_number (info, pp, &signedp)
1600 || ! ieee_read_number (info, pp, &size))
1601 return false;
1602
1603 type = debug_make_range_type (dhandle,
1604 debug_make_int_type (dhandle, size,
1605 ! signedp),
1606 (bfd_signed_vma) low,
1607 (bfd_signed_vma) high);
1608 }
1609 break;
1610
1611 case 'S': /* Struct. */
1612 case 'U': /* Union. */
1613 {
1614 bfd_vma size;
1615 unsigned int alloc;
1616 debug_field *fields;
1617 unsigned int c;
1618
1619 if (! ieee_read_number (info, pp, &size))
1620 return false;
1621
1622 alloc = 10;
1623 fields = (debug_field *) xmalloc (alloc * sizeof *fields);
1624 c = 0;
1625 while (1)
1626 {
1627 const char *name;
1628 unsigned long namlen;
1629 boolean present;
1630 bfd_vma tindx;
1631 bfd_vma offset;
1632 debug_type ftype;
1633 bfd_vma bitsize;
1634
1635 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
1636 return false;
1637 if (! present)
1638 break;
1639 if (! ieee_read_number (info, pp, &tindx)
1640 || ! ieee_read_number (info, pp, &offset))
1641 return false;
1642
1643 if (tindx < 256)
1644 {
1645 ftype = ieee_builtin_type (info, ty_code_start, tindx);
1646 bitsize = 0;
1647 offset *= 8;
1648 }
1649 else
1650 {
1651 struct ieee_type *t;
1652
1653 tindx -= 256;
1654 if (! ieee_alloc_type (info, tindx, true))
1655 return false;
1656 t = info->types.types + tindx;
1657 ftype = t->type;
1658 bitsize = t->bitsize;
1659 if (bitsize == 0)
1660 offset *= 8;
1661 }
1662
1663 if (c + 1 >= alloc)
1664 {
1665 alloc += 10;
1666 fields = ((debug_field *)
1667 xrealloc (fields, alloc * sizeof *fields));
1668 }
1669
1670 fields[c] = debug_make_field (dhandle, savestring (name, namlen),
1671 ftype, offset, bitsize,
1672 DEBUG_VISIBILITY_PUBLIC);
1673 if (fields[c] == NULL)
1674 return false;
1675 ++c;
1676 }
1677
1678 fields[c] = NULL;
1679
1680 type = debug_make_struct_type (dhandle, tc == 'S', size, fields);
1681 tag = true;
1682 }
1683 break;
1684
1685 case 'T':
1686 /* Typedef. */
1687 if (! ieee_read_type_index (info, pp, &type))
1688 return false;
1689 typdef = true;
1690 break;
1691
1692 case 'X':
1693 /* Procedure. FIXME: This is an extern declaration, which we
1694 have no way of representing. */
1695 {
1696 bfd_vma attr;
1697 debug_type rtype;
1698 bfd_vma nargs;
1699 boolean present;
1700 struct ieee_var *pv;
1701
1702 /* FIXME: We ignore the attribute and the argument names. */
1703
1704 if (! ieee_read_number (info, pp, &attr)
1705 || ! ieee_read_type_index (info, pp, &rtype)
1706 || ! ieee_read_number (info, pp, &nargs))
1707 return false;
1708 do
1709 {
1710 const char *name;
1711 unsigned long namlen;
1712
1713 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
1714 return false;
1715 }
1716 while (present);
1717
1718 pv = info->vars.vars + varindx;
1719 pv->kind = IEEE_EXTERNAL;
1720 if (pv->namlen > 0
1721 && debug_get_type_kind (dhandle, rtype) == DEBUG_KIND_POINTER)
1722 {
1723 /* Set up the return type as an indirect type pointing to
1724 the variable slot, so that we can change it to a
1725 reference later if appropriate. */
1726 pv->pslot = (debug_type *) xmalloc (sizeof *pv->pslot);
1727 *pv->pslot = rtype;
1728 rtype = debug_make_indirect_type (dhandle, pv->pslot,
1729 (const char *) NULL);
1730 }
1731
1732 type = debug_make_function_type (dhandle, rtype, (debug_type *) NULL,
1733 false);
1734 }
1735 break;
1736
1737 case 'Z':
1738 /* Array with 0 lower bound. */
1739 {
1740 debug_type etype;
1741 bfd_vma high;
1742
1743 if (! ieee_read_type_index (info, pp, &etype)
1744 || ! ieee_read_number (info, pp, &high))
1745 return false;
1746
1747 type = debug_make_array_type (dhandle, etype,
1748 ieee_builtin_type (info, ty_code_start,
1749 ((unsigned int)
1750 builtin_int)),
1751 0, (bfd_signed_vma) high, false);
1752 }
1753 break;
1754
1755 case 'c': /* Complex. */
1756 case 'd': /* Double complex. */
1757 {
1758 const char *name;
1759 unsigned long namlen;
1760
1761 /* FIXME: I don't know what the name means. */
1762
1763 if (! ieee_read_id (info, pp, &name, &namlen))
1764 return false;
1765
1766 type = debug_make_complex_type (dhandle, tc == 'c' ? 4 : 8);
1767 }
1768 break;
1769
1770 case 'f':
1771 /* Pascal file name. FIXME. */
1772 ieee_error (info, ty_code_start, "Pascal file name not supported");
1773 return false;
1774
1775 case 'g':
1776 /* Bitfield type. */
1777 {
1778 bfd_vma signedp, bitsize;
1779
1780 if (! ieee_read_number (info, pp, &signedp)
1781 || ! ieee_read_number (info, pp, &bitsize)
1782 || ! ieee_read_type_index (info, pp, &type))
1783 return false;
1784
1785 /* FIXME: This is just a guess. */
1786 if (! signedp)
1787 type = debug_make_int_type (dhandle, 4, true);
1788 type_bitsize = bitsize;
1789 }
1790 break;
1791
1792 case 'n':
1793 /* Qualifier. */
1794 {
1795 bfd_vma kind;
1796 debug_type t;
1797
1798 if (! ieee_read_number (info, pp, &kind)
1799 || ! ieee_read_type_index (info, pp, &t))
1800 return false;
1801
1802 switch (kind)
1803 {
1804 default:
1805 ieee_error (info, ty_start, "unsupported qualifer");
1806 return false;
1807
1808 case 1:
1809 type = debug_make_const_type (dhandle, t);
1810 break;
1811
1812 case 2:
1813 type = debug_make_volatile_type (dhandle, t);
1814 break;
1815 }
1816 }
1817 break;
1818
1819 case 's':
1820 /* Set. */
1821 {
1822 bfd_vma size;
1823 debug_type etype;
1824
1825 if (! ieee_read_number (info, pp, &size)
1826 || ! ieee_read_type_index (info, pp, &etype))
1827 return false;
1828
1829 /* FIXME: We ignore the size. */
1830
1831 type = debug_make_set_type (dhandle, etype, false);
1832 }
1833 break;
1834
1835 case 'x':
1836 /* Procedure with compiler dependencies. */
1837 {
1838 struct ieee_var *pv;
1839 bfd_vma attr, frame_type, push_mask, nargs, level, father;
1840 debug_type rtype;
1841 debug_type *arg_types;
1842 boolean varargs;
1843 boolean present;
1844
1845 /* FIXME: We ignore some of this information. */
1846
1847 pv = info->vars.vars + varindx;
1848
1849 if (! ieee_read_number (info, pp, &attr)
1850 || ! ieee_read_number (info, pp, &frame_type)
1851 || ! ieee_read_number (info, pp, &push_mask)
1852 || ! ieee_read_type_index (info, pp, &rtype)
1853 || ! ieee_read_number (info, pp, &nargs))
1854 return false;
1855 if (nargs == (bfd_vma) -1)
1856 {
1857 arg_types = NULL;
1858 varargs = false;
1859 }
1860 else
1861 {
1862 unsigned int i;
1863
1864 arg_types = ((debug_type *)
1865 xmalloc ((nargs + 1) * sizeof *arg_types));
1866 for (i = 0; i < nargs; i++)
1867 if (! ieee_read_type_index (info, pp, arg_types + i))
1868 return false;
1869
1870 /* If the last type is pointer to void, this is really a
1871 varargs function. */
1872 varargs = false;
1873 if (nargs > 0)
1874 {
1875 debug_type last;
1876
1877 last = arg_types[nargs - 1];
1878 if (debug_get_type_kind (dhandle, last) == DEBUG_KIND_POINTER
1879 && (debug_get_type_kind (dhandle,
1880 debug_get_target_type (dhandle,
1881 last))
1882 == DEBUG_KIND_VOID))
1883 {
1884 --nargs;
1885 varargs = true;
1886 }
1887 }
1888
1889 /* If there are any pointer arguments, turn them into
1890 indirect types in case we later need to convert them to
1891 reference types. */
1892 for (i = 0; i < nargs; i++)
1893 {
1894 if (debug_get_type_kind (dhandle, arg_types[i])
1895 == DEBUG_KIND_POINTER)
1896 {
1897 if (arg_slots == NULL)
1898 {
1899 arg_slots = ((debug_type *)
1900 xmalloc (nargs * sizeof *arg_slots));
1901 memset (arg_slots, 0, nargs * sizeof *arg_slots);
1902 }
1903 arg_slots[i] = arg_types[i];
1904 arg_types[i] =
1905 debug_make_indirect_type (dhandle,
1906 arg_slots + i,
1907 (const char *) NULL);
1908 }
1909 }
1910
1911 arg_types[nargs] = DEBUG_TYPE_NULL;
1912 }
1913 if (! ieee_read_number (info, pp, &level)
1914 || ! ieee_read_optional_number (info, pp, &father, &present))
1915 return false;
1916
1917 /* We can't distinguish between a global function and a static
1918 function. */
1919 pv->kind = IEEE_FUNCTION;
1920
1921 if (pv->namlen > 0
1922 && debug_get_type_kind (dhandle, rtype) == DEBUG_KIND_POINTER)
1923 {
1924 /* Set up the return type as an indirect type pointing to
1925 the variable slot, so that we can change it to a
1926 reference later if appropriate. */
1927 pv->pslot = (debug_type *) xmalloc (sizeof *pv->pslot);
1928 *pv->pslot = rtype;
1929 rtype = debug_make_indirect_type (dhandle, pv->pslot,
1930 (const char *) NULL);
1931 }
1932
1933 type = debug_make_function_type (dhandle, rtype, arg_types, varargs);
1934 }
1935 break;
1936 }
1937
1938 /* Record the type in the table. If the corresponding NN record has
1939 a name, name it. FIXME: Is this always correct? */
1940
1941 if (type == DEBUG_TYPE_NULL)
1942 return false;
1943
1944 info->vars.vars[varindx].type = type;
1945
1946 if ((tag || typdef)
1947 && info->vars.vars[varindx].namlen > 0)
1948 {
1949 const char *name;
1950
1951 name = savestring (info->vars.vars[varindx].name,
1952 info->vars.vars[varindx].namlen);
1953 if (typdef)
1954 type = debug_name_type (dhandle, name, type);
1955 else if (tc == 'E' || tc == 'N')
1956 type = debug_tag_type (dhandle, name, type);
1957 else
1958 {
1959 struct ieee_tag *it;
1960
1961 /* We must allocate all struct tags as indirect types, so
1962 that if we later see a definition of the tag as a C++
1963 record we can update the indirect slot and automatically
1964 change all the existing references. */
1965 it = (struct ieee_tag *) xmalloc (sizeof *it);
1966 memset (it, 0, sizeof *it);
1967 it->next = info->tags;
1968 info->tags = it;
1969 it->name = name;
1970 it->slot = type;
1971
1972 type = debug_make_indirect_type (dhandle, &it->slot, name);
1973 type = debug_tag_type (dhandle, name, type);
1974
1975 it->type = type;
1976 }
1977 if (type == NULL)
1978 return false;
1979 }
1980
1981 info->types.types[typeindx].type = type;
1982 info->types.types[typeindx].arg_slots = arg_slots;
1983 info->types.types[typeindx].bitsize = type_bitsize;
1984
1985 /* We may have already allocated type as an indirect type pointing
1986 to slot. It does no harm to replace the indirect type with the
1987 real type. Filling in slot as well handles the indirect types
1988 which are already hanging around. */
1989 if (info->types.types[typeindx].pslot != NULL)
1990 *info->types.types[typeindx].pslot = type;
1991
1992 return true;
1993 }
1994
1995 /* Parse an ATN record. */
1996
1997 static boolean
1998 parse_ieee_atn (info, pp)
1999 struct ieee_info *info;
2000 const bfd_byte **pp;
2001 {
2002 const bfd_byte *atn_start, *atn_code_start;
2003 bfd_vma varindx;
2004 struct ieee_var *pvar;
2005 debug_type type;
2006 bfd_vma atn_code;
2007 PTR dhandle;
2008 bfd_vma v, v2, v3, v4, v5;
2009 const char *name;
2010 unsigned long namlen;
2011 char *namcopy;
2012 boolean present;
2013 int blocktype;
2014
2015 atn_start = *pp;
2016
2017 if (! ieee_read_number (info, pp, &varindx)
2018 || ! ieee_read_type_index (info, pp, &type))
2019 return false;
2020
2021 atn_code_start = *pp;
2022
2023 if (! ieee_read_number (info, pp, &atn_code))
2024 return false;
2025
2026 if (varindx == 0)
2027 {
2028 pvar = NULL;
2029 name = "";
2030 namlen = 0;
2031 }
2032 else if (varindx < 32)
2033 {
2034 ieee_error (info, atn_start, "illegal variable index");
2035 return false;
2036 }
2037 else
2038 {
2039 varindx -= 32;
2040 if (varindx >= info->vars.alloc
2041 || info->vars.vars[varindx].name == NULL)
2042 {
2043 ieee_error (info, atn_start, "undefined variable in ATN");
2044 return false;
2045 }
2046
2047 pvar = info->vars.vars + varindx;
2048
2049 pvar->type = type;
2050
2051 name = pvar->name;
2052 namlen = pvar->namlen;
2053 }
2054
2055 dhandle = info->dhandle;
2056
2057 /* If we are going to call debug_record_variable with a pointer
2058 type, change the type to an indirect type so that we can later
2059 change it to a reference type if we encounter a C++ pmisc 'R'
2060 record. */
2061 if (pvar != NULL
2062 && type != DEBUG_TYPE_NULL
2063 && debug_get_type_kind (dhandle, type) == DEBUG_KIND_POINTER)
2064 {
2065 switch (atn_code)
2066 {
2067 case 1:
2068 case 2:
2069 case 3:
2070 case 5:
2071 case 8:
2072 case 10:
2073 pvar->pslot = (debug_type *) xmalloc (sizeof *pvar->pslot);
2074 *pvar->pslot = type;
2075 type = debug_make_indirect_type (dhandle, pvar->pslot,
2076 (const char *) NULL);
2077 pvar->type = type;
2078 break;
2079 }
2080 }
2081
2082 switch (atn_code)
2083 {
2084 default:
2085 ieee_error (info, atn_code_start, "unknown ATN type");
2086 return false;
2087
2088 case 1:
2089 /* Automatic variable. */
2090 if (! ieee_read_number (info, pp, &v))
2091 return false;
2092 namcopy = savestring (name, namlen);
2093 if (type == NULL)
2094 type = debug_make_void_type (dhandle);
2095 if (pvar != NULL)
2096 pvar->kind = IEEE_LOCAL;
2097 return debug_record_variable (dhandle, namcopy, type, DEBUG_LOCAL, v);
2098
2099 case 2:
2100 /* Register variable. */
2101 if (! ieee_read_number (info, pp, &v))
2102 return false;
2103 namcopy = savestring (name, namlen);
2104 if (type == NULL)
2105 type = debug_make_void_type (dhandle);
2106 if (pvar != NULL)
2107 pvar->kind = IEEE_LOCAL;
2108 return debug_record_variable (dhandle, namcopy, type, DEBUG_REGISTER,
2109 ieee_regno_to_genreg (info->abfd, v));
2110
2111 case 3:
2112 /* Static variable. */
2113 if (! ieee_require_asn (info, pp, &v))
2114 return false;
2115 namcopy = savestring (name, namlen);
2116 if (type == NULL)
2117 type = debug_make_void_type (dhandle);
2118 if (info->blockstack.bsp <= info->blockstack.stack)
2119 blocktype = 0;
2120 else
2121 blocktype = info->blockstack.bsp[-1].kind;
2122 if (pvar != NULL)
2123 {
2124 if (blocktype == 4 || blocktype == 6)
2125 pvar->kind = IEEE_LOCAL;
2126 else
2127 pvar->kind = IEEE_STATIC;
2128 }
2129 return debug_record_variable (dhandle, namcopy, type,
2130 (blocktype == 4 || blocktype == 6
2131 ? DEBUG_LOCAL_STATIC
2132 : DEBUG_STATIC),
2133 v);
2134
2135 case 4:
2136 /* External function. We don't currently record these. FIXME. */
2137 if (pvar != NULL)
2138 pvar->kind = IEEE_EXTERNAL;
2139 return true;
2140
2141 case 5:
2142 /* External variable. We don't currently record these. FIXME. */
2143 if (pvar != NULL)
2144 pvar->kind = IEEE_EXTERNAL;
2145 return true;
2146
2147 case 7:
2148 if (! ieee_read_number (info, pp, &v)
2149 || ! ieee_read_number (info, pp, &v2)
2150 || ! ieee_read_optional_number (info, pp, &v3, &present))
2151 return false;
2152 if (present)
2153 {
2154 if (! ieee_read_optional_number (info, pp, &v4, &present))
2155 return false;
2156 }
2157
2158 /* We just ignore the two optional fields in v3 and v4, since
2159 they are not defined. */
2160
2161 if (! ieee_require_asn (info, pp, &v3))
2162 return false;
2163
2164 /* We have no way to record the column number. FIXME. */
2165
2166 return debug_record_line (dhandle, v, v3);
2167
2168 case 8:
2169 /* Global variable. */
2170 if (! ieee_require_asn (info, pp, &v))
2171 return false;
2172 namcopy = savestring (name, namlen);
2173 if (type == NULL)
2174 type = debug_make_void_type (dhandle);
2175 if (pvar != NULL)
2176 pvar->kind = IEEE_GLOBAL;
2177 return debug_record_variable (dhandle, namcopy, type, DEBUG_GLOBAL, v);
2178
2179 case 9:
2180 /* Variable lifetime information. */
2181 if (! ieee_read_number (info, pp, &v))
2182 return false;
2183
2184 /* We have no way to record this information. FIXME. */
2185 return true;
2186
2187 case 10:
2188 /* Locked register. */
2189 if (! ieee_read_number (info, pp, &v)
2190 || ! ieee_read_number (info, pp, &v2))
2191 return false;
2192
2193 /* I think this means a variable that is both in a register and
2194 a frame slot. We ignore the frame slot. FIXME. */
2195
2196 namcopy = savestring (name, namlen);
2197 if (type == NULL)
2198 type = debug_make_void_type (dhandle);
2199 if (pvar != NULL)
2200 pvar->kind = IEEE_LOCAL;
2201 return debug_record_variable (dhandle, namcopy, type, DEBUG_REGISTER, v);
2202
2203 case 11:
2204 /* Reserved for FORTRAN common. */
2205 ieee_error (info, atn_code_start, "unsupported ATN11");
2206
2207 /* Return true to keep going. */
2208 return true;
2209
2210 case 12:
2211 /* Based variable. */
2212 v3 = 0;
2213 v4 = 0x80;
2214 v5 = 0;
2215 if (! ieee_read_number (info, pp, &v)
2216 || ! ieee_read_number (info, pp, &v2)
2217 || ! ieee_read_optional_number (info, pp, &v3, &present))
2218 return false;
2219 if (present)
2220 {
2221 if (! ieee_read_optional_number (info, pp, &v4, &present))
2222 return false;
2223 if (present)
2224 {
2225 if (! ieee_read_optional_number (info, pp, &v5, &present))
2226 return false;
2227 }
2228 }
2229
2230 /* We have no way to record this information. FIXME. */
2231
2232 ieee_error (info, atn_code_start, "unsupported ATN12");
2233
2234 /* Return true to keep going. */
2235 return true;
2236
2237 case 16:
2238 /* Constant. The description of this that I have is ambiguous,
2239 so I'm not going to try to implement it. */
2240 if (! ieee_read_number (info, pp, &v)
2241 || ! ieee_read_optional_number (info, pp, &v2, &present))
2242 return false;
2243 if (present)
2244 {
2245 if (! ieee_read_optional_number (info, pp, &v2, &present))
2246 return false;
2247 if (present)
2248 {
2249 if (! ieee_read_optional_id (info, pp, &name, &namlen, &present))
2250 return false;
2251 }
2252 }
2253
2254 if ((ieee_record_enum_type) **pp == ieee_e2_first_byte_enum)
2255 {
2256 if (! ieee_require_asn (info, pp, &v3))
2257 return false;
2258 }
2259
2260 return true;
2261
2262 case 19:
2263 /* Static variable from assembler. */
2264 v2 = 0;
2265 if (! ieee_read_number (info, pp, &v)
2266 || ! ieee_read_optional_number (info, pp, &v2, &present)
2267 || ! ieee_require_asn (info, pp, &v3))
2268 return false;
2269 namcopy = savestring (name, namlen);
2270 /* We don't really handle this correctly. FIXME. */
2271 return debug_record_variable (dhandle, namcopy,
2272 debug_make_void_type (dhandle),
2273 v2 != 0 ? DEBUG_GLOBAL : DEBUG_STATIC,
2274 v3);
2275
2276 case 62:
2277 /* Procedure miscellaneous information. */
2278 case 63:
2279 /* Variable miscellaneous information. */
2280 case 64:
2281 /* Module miscellaneous information. */
2282 if (! ieee_read_number (info, pp, &v)
2283 || ! ieee_read_number (info, pp, &v2)
2284 || ! ieee_read_optional_id (info, pp, &name, &namlen, &present))
2285 return false;
2286
2287 if (atn_code == 62 && v == 80)
2288 {
2289 if (present)
2290 {
2291 ieee_error (info, atn_code_start,
2292 "unexpected string in C++ misc");
2293 return false;
2294 }
2295 return ieee_read_cxx_misc (info, pp, v2);
2296 }
2297
2298 /* We just ignore all of this stuff. FIXME. */
2299
2300 for (; v2 > 0; --v2)
2301 {
2302 switch ((ieee_record_enum_type) **pp)
2303 {
2304 default:
2305 ieee_error (info, *pp, "bad misc record");
2306 return false;
2307
2308 case ieee_at_record_enum:
2309 if (! ieee_require_atn65 (info, pp, &name, &namlen))
2310 return false;
2311 break;
2312
2313 case ieee_e2_first_byte_enum:
2314 if (! ieee_require_asn (info, pp, &v3))
2315 return false;
2316 break;
2317 }
2318 }
2319
2320 return true;
2321 }
2322
2323 /*NOTREACHED*/
2324 }
2325
2326 /* Handle C++ debugging miscellaneous records. This is called for
2327 procedure miscellaneous records of type 80. */
2328
2329 static boolean
2330 ieee_read_cxx_misc (info, pp, count)
2331 struct ieee_info *info;
2332 const bfd_byte **pp;
2333 unsigned long count;
2334 {
2335 const bfd_byte *start;
2336 bfd_vma category;
2337
2338 start = *pp;
2339
2340 /* Get the category of C++ misc record. */
2341 if (! ieee_require_asn (info, pp, &category))
2342 return false;
2343 --count;
2344
2345 switch (category)
2346 {
2347 default:
2348 ieee_error (info, start, "unrecognized C++ misc record");
2349 return false;
2350
2351 case 'T':
2352 if (! ieee_read_cxx_class (info, pp, count))
2353 return false;
2354 break;
2355
2356 case 'M':
2357 {
2358 bfd_vma flags;
2359 const char *name;
2360 unsigned long namlen;
2361
2362 /* The IEEE spec indicates that the 'M' record only has a
2363 flags field. The MRI compiler also emits the name of the
2364 function. */
2365
2366 if (! ieee_require_asn (info, pp, &flags))
2367 return false;
2368 if (*pp < info->pend
2369 && (ieee_record_enum_type) **pp == ieee_at_record_enum)
2370 {
2371 if (! ieee_require_atn65 (info, pp, &name, &namlen))
2372 return false;
2373 }
2374
2375 /* This is emitted for method functions, but I don't think we
2376 care very much. It might help if it told us useful
2377 information like the class with which this function is
2378 associated, but it doesn't, so it isn't helpful. */
2379 }
2380 break;
2381
2382 case 'B':
2383 if (! ieee_read_cxx_defaults (info, pp, count))
2384 return false;
2385 break;
2386
2387 case 'z':
2388 {
2389 const char *name, *mangled, *class;
2390 unsigned long namlen, mangledlen, classlen;
2391 bfd_vma control;
2392
2393 /* Pointer to member. */
2394
2395 if (! ieee_require_atn65 (info, pp, &name, &namlen)
2396 || ! ieee_require_atn65 (info, pp, &mangled, &mangledlen)
2397 || ! ieee_require_atn65 (info, pp, &class, &classlen)
2398 || ! ieee_require_asn (info, pp, &control))
2399 return false;
2400
2401 /* FIXME: We should now track down name and change its type. */
2402 }
2403 break;
2404
2405 case 'R':
2406 if (! ieee_read_reference (info, pp))
2407 return false;
2408 break;
2409 }
2410
2411 return true;
2412 }
2413
2414 /* Read a C++ class definition. This is a pmisc type 80 record of
2415 category 'T'. */
2416
2417 static boolean
2418 ieee_read_cxx_class (info, pp, count)
2419 struct ieee_info *info;
2420 const bfd_byte **pp;
2421 unsigned long count;
2422 {
2423 const bfd_byte *start;
2424 bfd_vma class;
2425 const char *tag;
2426 unsigned long taglen;
2427 struct ieee_tag *it;
2428 PTR dhandle;
2429 debug_field *fields;
2430 unsigned int field_count, field_alloc;
2431 debug_baseclass *baseclasses;
2432 unsigned int baseclasses_count, baseclasses_alloc;
2433 const debug_field *structfields;
2434 struct ieee_method
2435 {
2436 const char *name;
2437 unsigned long namlen;
2438 debug_method_variant *variants;
2439 unsigned count;
2440 unsigned int alloc;
2441 } *methods;
2442 unsigned int methods_count, methods_alloc;
2443 debug_type vptrbase;
2444 boolean ownvptr;
2445 debug_method *dmethods;
2446
2447 start = *pp;
2448
2449 if (! ieee_require_asn (info, pp, &class))
2450 return false;
2451 --count;
2452
2453 if (! ieee_require_atn65 (info, pp, &tag, &taglen))
2454 return false;
2455 --count;
2456
2457 /* Find the C struct with this name. */
2458 for (it = info->tags; it != NULL; it = it->next)
2459 if (it->name[0] == tag[0]
2460 && strncmp (it->name, tag, taglen) == 0
2461 && strlen (it->name) == taglen)
2462 break;
2463 if (it == NULL)
2464 {
2465 ieee_error (info, start, "undefined C++ object");
2466 return false;
2467 }
2468
2469 dhandle = info->dhandle;
2470
2471 fields = NULL;
2472 field_count = 0;
2473 field_alloc = 0;
2474 baseclasses = NULL;
2475 baseclasses_count = 0;
2476 baseclasses_alloc = 0;
2477 methods = NULL;
2478 methods_count = 0;
2479 methods_alloc = 0;
2480 vptrbase = DEBUG_TYPE_NULL;
2481 ownvptr = false;
2482
2483 structfields = debug_get_fields (dhandle, it->type);
2484
2485 while (count > 0)
2486 {
2487 bfd_vma id;
2488 const bfd_byte *spec_start;
2489
2490 spec_start = *pp;
2491
2492 if (! ieee_require_asn (info, pp, &id))
2493 return false;
2494 --count;
2495
2496 switch (id)
2497 {
2498 default:
2499 ieee_error (info, spec_start, "unrecognized C++ object spec");
2500 return false;
2501
2502 case 'b':
2503 {
2504 bfd_vma flags, cinline;
2505 const char *basename, *fieldname;
2506 unsigned long baselen, fieldlen;
2507 char *basecopy;
2508 debug_type basetype;
2509 bfd_vma bitpos;
2510 boolean virtualp;
2511 enum debug_visibility visibility;
2512 debug_baseclass baseclass;
2513
2514 /* This represents a base or friend class. */
2515
2516 if (! ieee_require_asn (info, pp, &flags)
2517 || ! ieee_require_atn65 (info, pp, &basename, &baselen)
2518 || ! ieee_require_asn (info, pp, &cinline)
2519 || ! ieee_require_atn65 (info, pp, &fieldname, &fieldlen))
2520 return false;
2521 count -= 4;
2522
2523 /* We have no way of recording friend information, so we
2524 just ignore it. */
2525 if ((flags & BASEFLAGS_FRIEND) != 0)
2526 break;
2527
2528 /* I assume that either all of the members of the
2529 baseclass are included in the object, starting at the
2530 beginning of the object, or that none of them are
2531 included. */
2532
2533 if ((fieldlen == 0) == (cinline == 0))
2534 {
2535 ieee_error (info, start, "unsupported C++ object type");
2536 return false;
2537 }
2538
2539 basecopy = savestring (basename, baselen);
2540 basetype = debug_find_tagged_type (dhandle, basecopy,
2541 DEBUG_KIND_ILLEGAL);
2542 free (basecopy);
2543 if (basetype == DEBUG_TYPE_NULL)
2544 {
2545 ieee_error (info, start, "C++ base class not defined");
2546 return false;
2547 }
2548
2549 if (fieldlen == 0)
2550 bitpos = 0;
2551 else
2552 {
2553 const debug_field *pf;
2554
2555 if (structfields == NULL)
2556 {
2557 ieee_error (info, start, "C++ object has no fields");
2558 return false;
2559 }
2560
2561 for (pf = structfields; *pf != DEBUG_FIELD_NULL; pf++)
2562 {
2563 const char *fname;
2564
2565 fname = debug_get_field_name (dhandle, *pf);
2566 if (fname == NULL)
2567 return false;
2568 if (fname[0] == fieldname[0]
2569 && strncmp (fname, fieldname, fieldlen) == 0
2570 && strlen (fname) == fieldlen)
2571 break;
2572 }
2573 if (*pf == DEBUG_FIELD_NULL)
2574 {
2575 ieee_error (info, start,
2576 "C++ base class not found in container");
2577 return false;
2578 }
2579
2580 bitpos = debug_get_field_bitpos (dhandle, *pf);
2581 }
2582
2583 if ((flags & BASEFLAGS_VIRTUAL) != 0)
2584 virtualp = true;
2585 else
2586 virtualp = false;
2587 if ((flags & BASEFLAGS_PRIVATE) != 0)
2588 visibility = DEBUG_VISIBILITY_PRIVATE;
2589 else
2590 visibility = DEBUG_VISIBILITY_PUBLIC;
2591
2592 baseclass = debug_make_baseclass (dhandle, basetype, bitpos,
2593 virtualp, visibility);
2594 if (baseclass == DEBUG_BASECLASS_NULL)
2595 return false;
2596
2597 if (baseclasses_count + 1 >= baseclasses_alloc)
2598 {
2599 baseclasses_alloc += 10;
2600 baseclasses = ((debug_baseclass *)
2601 xrealloc (baseclasses,
2602 (baseclasses_alloc
2603 * sizeof *baseclasses)));
2604 }
2605
2606 baseclasses[baseclasses_count] = baseclass;
2607 ++baseclasses_count;
2608 baseclasses[baseclasses_count] = DEBUG_BASECLASS_NULL;
2609 }
2610 break;
2611
2612 case 'd':
2613 {
2614 bfd_vma flags;
2615 const char *fieldname, *mangledname;
2616 unsigned long fieldlen, mangledlen;
2617 char *fieldcopy;
2618 boolean staticp;
2619 debug_type ftype;
2620 const debug_field *pf;
2621 enum debug_visibility visibility;
2622 debug_field field;
2623
2624 /* This represents a data member. */
2625
2626 if (! ieee_require_asn (info, pp, &flags)
2627 || ! ieee_require_atn65 (info, pp, &fieldname, &fieldlen)
2628 || ! ieee_require_atn65 (info, pp, &mangledname, &mangledlen))
2629 return false;
2630 count -= 3;
2631
2632 fieldcopy = savestring (fieldname, fieldlen);
2633
2634 staticp = (flags & CXXFLAGS_STATIC) != 0 ? true : false;
2635
2636 if (staticp)
2637 {
2638 struct ieee_var *pv, *pvend;
2639
2640 /* See if we can find a definition for this variable. */
2641 pv = info->vars.vars;
2642 pvend = pv + info->vars.alloc;
2643 for (; pv < pvend; pv++)
2644 if (pv->namlen == mangledlen
2645 && strncmp (pv->name, mangledname, mangledlen) == 0)
2646 break;
2647 if (pv < pvend)
2648 ftype = pv->type;
2649 else
2650 {
2651 /* This can happen if the variable is never used. */
2652 ftype = ieee_builtin_type (info, start,
2653 (unsigned int) builtin_void);
2654 }
2655 }
2656 else
2657 {
2658 unsigned int findx;
2659
2660 if (structfields == NULL)
2661 {
2662 ieee_error (info, start, "C++ object has no fields");
2663 return false;
2664 }
2665
2666 for (pf = structfields, findx = 0;
2667 *pf != DEBUG_FIELD_NULL;
2668 pf++, findx++)
2669 {
2670 const char *fname;
2671
2672 fname = debug_get_field_name (dhandle, *pf);
2673 if (fname == NULL)
2674 return false;
2675 if (fname[0] == mangledname[0]
2676 && strncmp (fname, mangledname, mangledlen) == 0
2677 && strlen (fname) == mangledlen)
2678 break;
2679 }
2680 if (*pf == DEBUG_FIELD_NULL)
2681 {
2682 ieee_error (info, start,
2683 "C++ data member not found in container");
2684 return false;
2685 }
2686
2687 ftype = debug_get_field_type (dhandle, *pf);
2688
2689 if (debug_get_type_kind (dhandle, ftype) == DEBUG_KIND_POINTER)
2690 {
2691 /* We might need to convert this field into a
2692 reference type later on, so make it an indirect
2693 type. */
2694 if (it->fslots == NULL)
2695 {
2696 unsigned int fcnt;
2697 const debug_field *pfcnt;
2698
2699 fcnt = 0;
2700 for (pfcnt = structfields;
2701 *pfcnt != DEBUG_FIELD_NULL;
2702 pfcnt++)
2703 ++fcnt;
2704 it->fslots = ((debug_type *)
2705 xmalloc (fcnt * sizeof *it->fslots));
2706 memset (it->fslots, 0,
2707 fcnt * sizeof *it->fslots);
2708 }
2709
2710 if (ftype == DEBUG_TYPE_NULL)
2711 return false;
2712 it->fslots[findx] = ftype;
2713 ftype = debug_make_indirect_type (dhandle,
2714 it->fslots + findx,
2715 (const char *) NULL);
2716 }
2717 }
2718 if (ftype == DEBUG_TYPE_NULL)
2719 return false;
2720
2721 switch (flags & CXXFLAGS_VISIBILITY)
2722 {
2723 default:
2724 ieee_error (info, start, "unknown C++ visibility");
2725 return false;
2726
2727 case CXXFLAGS_VISIBILITY_PUBLIC:
2728 visibility = DEBUG_VISIBILITY_PUBLIC;
2729 break;
2730
2731 case CXXFLAGS_VISIBILITY_PRIVATE:
2732 visibility = DEBUG_VISIBILITY_PRIVATE;
2733 break;
2734
2735 case CXXFLAGS_VISIBILITY_PROTECTED:
2736 visibility = DEBUG_VISIBILITY_PROTECTED;
2737 break;
2738 }
2739
2740 if (staticp)
2741 {
2742 char *mangledcopy;
2743
2744 mangledcopy = savestring (mangledname, mangledlen);
2745
2746 field = debug_make_static_member (dhandle, fieldcopy,
2747 ftype, mangledcopy,
2748 visibility);
2749 }
2750 else
2751 {
2752 bfd_vma bitpos, bitsize;
2753
2754 bitpos = debug_get_field_bitpos (dhandle, *pf);
2755 bitsize = debug_get_field_bitsize (dhandle, *pf);
2756 if (bitpos == (bfd_vma) -1 || bitsize == (bfd_vma) -1)
2757 {
2758 ieee_error (info, start, "bad C++ field bit pos or size");
2759 return false;
2760 }
2761 field = debug_make_field (dhandle, fieldcopy, ftype, bitpos,
2762 bitsize, visibility);
2763 }
2764
2765 if (field == DEBUG_FIELD_NULL)
2766 return false;
2767
2768 if (field_count + 1 >= field_alloc)
2769 {
2770 field_alloc += 10;
2771 fields = ((debug_field *)
2772 xrealloc (fields, field_alloc * sizeof *fields));
2773 }
2774
2775 fields[field_count] = field;
2776 ++field_count;
2777 fields[field_count] = DEBUG_FIELD_NULL;
2778 }
2779 break;
2780
2781 case 'm':
2782 case 'v':
2783 {
2784 bfd_vma flags, voffset, control;
2785 const char *name, *mangled;
2786 unsigned long namlen, mangledlen;
2787 struct ieee_var *pv, *pvend;
2788 debug_type type;
2789 enum debug_visibility visibility;
2790 boolean constp, volatilep;
2791 char *mangledcopy;
2792 debug_method_variant mv;
2793 struct ieee_method *meth;
2794 unsigned int im;
2795
2796 if (! ieee_require_asn (info, pp, &flags)
2797 || ! ieee_require_atn65 (info, pp, &name, &namlen)
2798 || ! ieee_require_atn65 (info, pp, &mangled, &mangledlen))
2799 return false;
2800 count -= 3;
2801 if (id != 'v')
2802 voffset = 0;
2803 else
2804 {
2805 if (! ieee_require_asn (info, pp, &voffset))
2806 return false;
2807 --count;
2808 }
2809 if (! ieee_require_asn (info, pp, &control))
2810 return false;
2811 --count;
2812
2813 /* We just ignore the control information. */
2814
2815 /* We have no way to represent friend information, so we
2816 just ignore it. */
2817 if ((flags & CXXFLAGS_FRIEND) != 0)
2818 break;
2819
2820 /* We should already have seen a type for the function. */
2821 pv = info->vars.vars;
2822 pvend = pv + info->vars.alloc;
2823 for (; pv < pvend; pv++)
2824 if (pv->namlen == mangledlen
2825 && strncmp (pv->name, mangled, mangledlen) == 0)
2826 break;
2827
2828 if (pv >= pvend)
2829 {
2830 /* We won't have type information for this function if
2831 it is not included in this file. We don't try to
2832 handle this case. FIXME. */
2833 type = (debug_make_function_type
2834 (dhandle,
2835 ieee_builtin_type (info, start,
2836 (unsigned int) builtin_void),
2837 (debug_type *) NULL,
2838 false));
2839 }
2840 else
2841 {
2842 debug_type return_type;
2843 const debug_type *arg_types;
2844 boolean varargs;
2845
2846 if (debug_get_type_kind (dhandle, pv->type)
2847 != DEBUG_KIND_FUNCTION)
2848 {
2849 ieee_error (info, start,
2850 "bad type for C++ method function");
2851 return false;
2852 }
2853
2854 return_type = debug_get_return_type (dhandle, pv->type);
2855 arg_types = debug_get_parameter_types (dhandle, pv->type,
2856 &varargs);
2857 if (return_type == DEBUG_TYPE_NULL || arg_types == NULL)
2858 {
2859 ieee_error (info, start,
2860 "no type information for C++ method function");
2861 return false;
2862 }
2863
2864 type = debug_make_method_type (dhandle, return_type, it->type,
2865 (debug_type *) arg_types,
2866 varargs);
2867 }
2868 if (type == DEBUG_TYPE_NULL)
2869 return false;
2870
2871 switch (flags & CXXFLAGS_VISIBILITY)
2872 {
2873 default:
2874 ieee_error (info, start, "unknown C++ visibility");
2875 return false;
2876
2877 case CXXFLAGS_VISIBILITY_PUBLIC:
2878 visibility = DEBUG_VISIBILITY_PUBLIC;
2879 break;
2880
2881 case CXXFLAGS_VISIBILITY_PRIVATE:
2882 visibility = DEBUG_VISIBILITY_PRIVATE;
2883 break;
2884
2885 case CXXFLAGS_VISIBILITY_PROTECTED:
2886 visibility = DEBUG_VISIBILITY_PROTECTED;
2887 break;
2888 }
2889
2890 constp = (flags & CXXFLAGS_CONST) != 0 ? true : false;
2891 volatilep = (flags & CXXFLAGS_VOLATILE) != 0 ? true : false;
2892
2893 mangledcopy = savestring (mangled, mangledlen);
2894
2895 if ((flags & CXXFLAGS_STATIC) != 0)
2896 {
2897 if (id == 'v')
2898 {
2899 ieee_error (info, start, "C++ static virtual method");
2900 return false;
2901 }
2902 mv = debug_make_static_method_variant (dhandle, mangledcopy,
2903 type, visibility,
2904 constp, volatilep);
2905 }
2906 else
2907 {
2908 debug_type vcontext;
2909
2910 if (id != 'v')
2911 vcontext = DEBUG_TYPE_NULL;
2912 else
2913 {
2914 /* FIXME: How can we calculate this correctly? */
2915 vcontext = it->type;
2916 }
2917 mv = debug_make_method_variant (dhandle, mangledcopy, type,
2918 visibility, constp,
2919 volatilep, voffset,
2920 vcontext);
2921 }
2922 if (mv == DEBUG_METHOD_VARIANT_NULL)
2923 return false;
2924
2925 for (meth = methods, im = 0; im < methods_count; meth++, im++)
2926 if (meth->namlen == namlen
2927 && strncmp (meth->name, name, namlen) == 0)
2928 break;
2929 if (im >= methods_count)
2930 {
2931 if (methods_count >= methods_alloc)
2932 {
2933 methods_alloc += 10;
2934 methods = ((struct ieee_method *)
2935 xrealloc (methods,
2936 methods_alloc * sizeof *methods));
2937 }
2938 methods[methods_count].name = name;
2939 methods[methods_count].namlen = namlen;
2940 methods[methods_count].variants = NULL;
2941 methods[methods_count].count = 0;
2942 methods[methods_count].alloc = 0;
2943 meth = methods + methods_count;
2944 ++methods_count;
2945 }
2946
2947 if (meth->count + 1 >= meth->alloc)
2948 {
2949 meth->alloc += 10;
2950 meth->variants = ((debug_method_variant *)
2951 xrealloc (meth->variants,
2952 (meth->alloc
2953 * sizeof *meth->variants)));
2954 }
2955
2956 meth->variants[meth->count] = mv;
2957 ++meth->count;
2958 meth->variants[meth->count] = DEBUG_METHOD_VARIANT_NULL;
2959 }
2960 break;
2961
2962 case 'o':
2963 {
2964 bfd_vma spec;
2965
2966 /* We have no way to store this information, so we just
2967 ignore it. */
2968 if (! ieee_require_asn (info, pp, &spec))
2969 return false;
2970 --count;
2971 if ((spec & 4) != 0)
2972 {
2973 const char *filename;
2974 unsigned long filenamlen;
2975 bfd_vma lineno;
2976
2977 if (! ieee_require_atn65 (info, pp, &filename, &filenamlen)
2978 || ! ieee_require_asn (info, pp, &lineno))
2979 return false;
2980 count -= 2;
2981 }
2982 else if ((spec & 8) != 0)
2983 {
2984 const char *mangled;
2985 unsigned long mangledlen;
2986
2987 if (! ieee_require_atn65 (info, pp, &mangled, &mangledlen))
2988 return false;
2989 --count;
2990 }
2991 else
2992 {
2993 ieee_error (info, start,
2994 "unrecognized C++ object overhead spec");
2995 return false;
2996 }
2997 }
2998 break;
2999
3000 case 'z':
3001 {
3002 const char *vname, *basename;
3003 unsigned long vnamelen, baselen;
3004 bfd_vma vsize, control;
3005
3006 /* A virtual table pointer. */
3007
3008 if (! ieee_require_atn65 (info, pp, &vname, &vnamelen)
3009 || ! ieee_require_asn (info, pp, &vsize)
3010 || ! ieee_require_atn65 (info, pp, &basename, &baselen)
3011 || ! ieee_require_asn (info, pp, &control))
3012 return false;
3013 count -= 4;
3014
3015 /* We just ignore the control number. We don't care what
3016 the virtual table name is. We have no way to store the
3017 virtual table size, and I don't think we care anyhow. */
3018
3019 /* FIXME: We can't handle multiple virtual table pointers. */
3020
3021 if (baselen == 0)
3022 ownvptr = true;
3023 else
3024 {
3025 char *basecopy;
3026
3027 basecopy = savestring (basename, baselen);
3028 vptrbase = debug_find_tagged_type (dhandle, basecopy,
3029 DEBUG_KIND_ILLEGAL);
3030 free (basecopy);
3031 if (vptrbase == DEBUG_TYPE_NULL)
3032 {
3033 ieee_error (info, start, "undefined C++ vtable");
3034 return false;
3035 }
3036 }
3037 }
3038 break;
3039 }
3040 }
3041
3042 /* Now that we have seen all the method variants, we can call
3043 debug_make_method for each one. */
3044
3045 if (methods_count == 0)
3046 dmethods = NULL;
3047 else
3048 {
3049 unsigned int i;
3050
3051 dmethods = ((debug_method *)
3052 xmalloc ((methods_count + 1) * sizeof *dmethods));
3053 for (i = 0; i < methods_count; i++)
3054 {
3055 char *namcopy;
3056
3057 namcopy = savestring (methods[i].name, methods[i].namlen);
3058 dmethods[i] = debug_make_method (dhandle, namcopy,
3059 methods[i].variants);
3060 if (dmethods[i] == DEBUG_METHOD_NULL)
3061 return false;
3062 }
3063 dmethods[i] = DEBUG_METHOD_NULL;
3064 free (methods);
3065 }
3066
3067 /* The struct type was created as an indirect type pointing at
3068 it->slot. We update it->slot to automatically update all
3069 references to this struct. */
3070 it->slot = debug_make_object_type (dhandle,
3071 class != 'u',
3072 debug_get_type_size (dhandle,
3073 it->slot),
3074 fields, baseclasses, dmethods,
3075 vptrbase, ownvptr);
3076 if (it->slot == DEBUG_TYPE_NULL)
3077 return false;
3078
3079 return true;
3080 }
3081
3082 /* Read C++ default argument value and reference type information. */
3083
3084 static boolean
3085 ieee_read_cxx_defaults (info, pp, count)
3086 struct ieee_info *info;
3087 const bfd_byte **pp;
3088 unsigned long count;
3089 {
3090 const bfd_byte *start;
3091 const char *fnname;
3092 unsigned long fnlen;
3093 bfd_vma defcount;
3094
3095 start = *pp;
3096
3097 /* Giving the function name before the argument count is an addendum
3098 to the spec. The function name is demangled, though, so this
3099 record must always refer to the current function. */
3100
3101 if (info->blockstack.bsp <= info->blockstack.stack
3102 || info->blockstack.bsp[-1].fnindx == (unsigned int) -1)
3103 {
3104 ieee_error (info, start, "C++ default values not in a function");
3105 return false;
3106 }
3107
3108 if (! ieee_require_atn65 (info, pp, &fnname, &fnlen)
3109 || ! ieee_require_asn (info, pp, &defcount))
3110 return false;
3111 count -= 2;
3112
3113 while (defcount-- > 0)
3114 {
3115 bfd_vma type, val;
3116 const char *strval;
3117 unsigned long strvallen;
3118
3119 if (! ieee_require_asn (info, pp, &type))
3120 return false;
3121 --count;
3122
3123 switch (type)
3124 {
3125 case 0:
3126 case 4:
3127 break;
3128
3129 case 1:
3130 case 2:
3131 if (! ieee_require_asn (info, pp, &val))
3132 return false;
3133 --count;
3134 break;
3135
3136 case 3:
3137 case 7:
3138 if (! ieee_require_atn65 (info, pp, &strval, &strvallen))
3139 return false;
3140 --count;
3141 break;
3142
3143 default:
3144 ieee_error (info, start, "unrecognized C++ default type");
3145 return false;
3146 }
3147
3148 /* We have no way to record the default argument values, so we
3149 just ignore them. FIXME. */
3150 }
3151
3152 /* Any remaining arguments are indices of parameters that are really
3153 reference type. */
3154 if (count > 0)
3155 {
3156 PTR dhandle;
3157 debug_type *arg_slots;
3158
3159 dhandle = info->dhandle;
3160 arg_slots = info->types.types[info->blockstack.bsp[-1].fnindx].arg_slots;
3161 while (count-- > 0)
3162 {
3163 bfd_vma indx;
3164 debug_type target;
3165
3166 if (! ieee_require_asn (info, pp, &indx))
3167 return false;
3168 /* The index is 1 based. */
3169 --indx;
3170 if (arg_slots == NULL
3171 || arg_slots[indx] == DEBUG_TYPE_NULL
3172 || (debug_get_type_kind (dhandle, arg_slots[indx])
3173 != DEBUG_KIND_POINTER))
3174 {
3175 ieee_error (info, start, "reference parameter is not a pointer");
3176 return false;
3177 }
3178
3179 target = debug_get_target_type (dhandle, arg_slots[indx]);
3180 arg_slots[indx] = debug_make_reference_type (dhandle, target);
3181 if (arg_slots[indx] == DEBUG_TYPE_NULL)
3182 return false;
3183 }
3184 }
3185
3186 return true;
3187 }
3188
3189 /* Read a C++ reference definition. */
3190
3191 static boolean
3192 ieee_read_reference (info, pp)
3193 struct ieee_info *info;
3194 const bfd_byte **pp;
3195 {
3196 const bfd_byte *start;
3197 bfd_vma flags;
3198 const char *class, *name;
3199 unsigned long classlen, namlen;
3200 debug_type *pslot;
3201 debug_type target;
3202
3203 start = *pp;
3204
3205 if (! ieee_require_asn (info, pp, &flags))
3206 return false;
3207
3208 /* Giving the class name before the member name is in an addendum to
3209 the spec. */
3210 if (flags == 3)
3211 {
3212 if (! ieee_require_atn65 (info, pp, &class, &classlen))
3213 return false;
3214 }
3215
3216 if (! ieee_require_atn65 (info, pp, &name, &namlen))
3217 return false;
3218
3219 pslot = NULL;
3220 if (flags != 3)
3221 {
3222 int i;
3223 struct ieee_var *pv = NULL;
3224
3225 /* We search from the last variable indices to the first in
3226 hopes of finding local variables correctly. FIXME: This
3227 probably won't work in all cases. On the other hand, I don't
3228 know what will. */
3229 for (i = (int) info->vars.alloc - 1; i >= 0; i--)
3230 {
3231 boolean found;
3232
3233 pv = info->vars.vars + i;
3234
3235 if (pv->pslot == NULL
3236 || pv->namlen != namlen
3237 || strncmp (pv->name, name, namlen) != 0)
3238 continue;
3239
3240 found = false;
3241 switch (flags)
3242 {
3243 default:
3244 ieee_error (info, start,
3245 "unrecognized C++ reference type");
3246 return false;
3247
3248 case 0:
3249 /* Global variable or function. */
3250 if (pv->kind == IEEE_GLOBAL
3251 || pv->kind == IEEE_EXTERNAL
3252 || pv->kind == IEEE_FUNCTION)
3253 found = true;
3254 break;
3255
3256 case 1:
3257 /* Global static variable or function. */
3258 if (pv->kind == IEEE_STATIC
3259 || pv->kind == IEEE_FUNCTION)
3260 found = true;
3261 break;
3262
3263 case 2:
3264 /* Local variable. */
3265 if (pv->kind == IEEE_LOCAL)
3266 found = true;
3267 break;
3268 }
3269
3270 if (found)
3271 break;
3272 }
3273
3274 if (i >= 0)
3275 pslot = pv->pslot;
3276 }
3277 else
3278 {
3279 struct ieee_tag *it;
3280
3281 for (it = info->tags; it != NULL; it = it->next)
3282 {
3283 if (it->name[0] == class[0]
3284 && strncmp (it->name, class, classlen) == 0
3285 && strlen (it->name) == classlen)
3286 {
3287 if (it->fslots != NULL)
3288 {
3289 const debug_field *pf;
3290 unsigned int findx;
3291
3292 pf = debug_get_fields (info->dhandle, it->type);
3293 if (pf == NULL)
3294 {
3295 ieee_error (info, start,
3296 "C++ reference in class with no fields");
3297 return false;
3298 }
3299
3300 for (findx = 0; *pf != DEBUG_FIELD_NULL; pf++, findx++)
3301 {
3302 const char *fname;
3303
3304 fname = debug_get_field_name (info->dhandle, *pf);
3305 if (fname == NULL)
3306 return false;
3307 if (strncmp (fname, name, namlen) == 0
3308 && strlen (fname) == namlen)
3309 {
3310 pslot = it->fslots + findx;
3311 break;
3312 }
3313 }
3314 }
3315
3316 break;
3317 }
3318 }
3319 }
3320
3321 if (pslot == NULL)
3322 {
3323 ieee_error (info, start, "C++ reference not found");
3324 return false;
3325 }
3326
3327 /* We allocated the type of the object as an indirect type pointing
3328 to *pslot, which we can now update to be a reference type. */
3329 if (debug_get_type_kind (info->dhandle, *pslot) != DEBUG_KIND_POINTER)
3330 {
3331 ieee_error (info, start, "C++ reference is not pointer");
3332 return false;
3333 }
3334
3335 target = debug_get_target_type (info->dhandle, *pslot);
3336 *pslot = debug_make_reference_type (info->dhandle, target);
3337 if (*pslot == DEBUG_TYPE_NULL)
3338 return false;
3339
3340 return true;
3341 }
3342
3343 /* Require an ASN record. */
3344
3345 static boolean
3346 ieee_require_asn (info, pp, pv)
3347 struct ieee_info *info;
3348 const bfd_byte **pp;
3349 bfd_vma *pv;
3350 {
3351 const bfd_byte *start;
3352 ieee_record_enum_type c;
3353 bfd_vma varindx;
3354
3355 start = *pp;
3356
3357 c = (ieee_record_enum_type) **pp;
3358 if (c != ieee_e2_first_byte_enum)
3359 {
3360 ieee_error (info, start, "missing required ASN");
3361 return false;
3362 }
3363 ++*pp;
3364
3365 c = (ieee_record_enum_type) (((unsigned int) c << 8) | **pp);
3366 if (c != ieee_asn_record_enum)
3367 {
3368 ieee_error (info, start, "missing required ASN");
3369 return false;
3370 }
3371 ++*pp;
3372
3373 /* Just ignore the variable index. */
3374 if (! ieee_read_number (info, pp, &varindx))
3375 return false;
3376
3377 return ieee_read_expression (info, pp, pv);
3378 }
3379
3380 /* Require an ATN65 record. */
3381
3382 static boolean
3383 ieee_require_atn65 (info, pp, pname, pnamlen)
3384 struct ieee_info *info;
3385 const bfd_byte **pp;
3386 const char **pname;
3387 unsigned long *pnamlen;
3388 {
3389 const bfd_byte *start;
3390 ieee_record_enum_type c;
3391 bfd_vma name_indx, type_indx, atn_code;
3392
3393 start = *pp;
3394
3395 c = (ieee_record_enum_type) **pp;
3396 if (c != ieee_at_record_enum)
3397 {
3398 ieee_error (info, start, "missing required ATN65");
3399 return false;
3400 }
3401 ++*pp;
3402
3403 c = (ieee_record_enum_type) (((unsigned int) c << 8) | **pp);
3404 if (c != ieee_atn_record_enum)
3405 {
3406 ieee_error (info, start, "missing required ATN65");
3407 return false;
3408 }
3409 ++*pp;
3410
3411 if (! ieee_read_number (info, pp, &name_indx)
3412 || ! ieee_read_number (info, pp, &type_indx)
3413 || ! ieee_read_number (info, pp, &atn_code))
3414 return false;
3415
3416 /* Just ignore name_indx. */
3417
3418 if (type_indx != 0 || atn_code != 65)
3419 {
3420 ieee_error (info, start, "bad ATN65 record");
3421 return false;
3422 }
3423
3424 return ieee_read_id (info, pp, pname, pnamlen);
3425 }
3426 \f
3427 /* Convert a register number in IEEE debugging information into a
3428 generic register number. */
3429
3430 static int
3431 ieee_regno_to_genreg (abfd, r)
3432 bfd *abfd;
3433 int r;
3434 {
3435 return r;
3436 }
3437
3438 /* Convert a generic register number to an IEEE specific one. */
3439
3440 static int
3441 ieee_genreg_to_regno (abfd, r)
3442 bfd *abfd;
3443 int r;
3444 {
3445 return r;
3446 }
3447 \f
3448 /* These routines build IEEE debugging information out of the generic
3449 debugging information. */
3450
3451 /* We build the IEEE debugging information byte by byte. Rather than
3452 waste time copying data around, we use a linked list of buffers to
3453 hold the data. */
3454
3455 #define IEEE_BUFSIZE (490)
3456
3457 struct ieee_buf
3458 {
3459 /* Next buffer. */
3460 struct ieee_buf *next;
3461 /* Number of data bytes in this buffer. */
3462 unsigned int c;
3463 /* Bytes. */
3464 bfd_byte buf[IEEE_BUFSIZE];
3465 };
3466
3467 /* In order to generate the BB11 blocks required by the HP emulator,
3468 we keep track of ranges of addresses which correspond to a given
3469 compilation unit. */
3470
3471 struct ieee_range
3472 {
3473 /* Next range. */
3474 struct ieee_range *next;
3475 /* Low address. */
3476 bfd_vma low;
3477 /* High address. */
3478 bfd_vma high;
3479 };
3480
3481 /* This structure holds information for a class on the type stack. */
3482
3483 struct ieee_type_class
3484 {
3485 /* The name index in the debugging information. */
3486 unsigned int indx;
3487 /* The pmisc records for the class. */
3488 struct ieee_buf *pmiscbuf;
3489 /* The number of pmisc records. */
3490 unsigned int pmisccount;
3491 /* The name of the class holding the virtual table, if not this
3492 class. */
3493 const char *vclass;
3494 /* Whether this class holds its own virtual table. */
3495 boolean ownvptr;
3496 /* The largest virtual table offset seen so far. */
3497 bfd_vma voffset;
3498 /* The current method. */
3499 const char *method;
3500 /* Additional pmisc records used to record fields of reference type. */
3501 struct ieee_buf *refs;
3502 };
3503
3504 /* This is how we store types for the writing routines. Most types
3505 are simply represented by a type index. */
3506
3507 struct ieee_write_type
3508 {
3509 /* Type index. */
3510 unsigned int indx;
3511 /* The size of the type, if known. */
3512 unsigned int size;
3513 /* The name of the type, if any. */
3514 const char *name;
3515 /* If this is a function or method type, we build the type here, and
3516 only add it to the output buffers if we need it. */
3517 struct ieee_buf *fndef;
3518 /* If this is a struct, this is where the struct definition is
3519 built. */
3520 struct ieee_buf *strdef;
3521 /* If this is a class, this is where the class information is built. */
3522 struct ieee_type_class *classdef;
3523 /* Whether the type is unsigned. */
3524 unsigned int unsignedp : 1;
3525 /* Whether this is a reference type. */
3526 unsigned int referencep : 1;
3527 };
3528
3529 /* This is the type stack used by the debug writing routines. FIXME:
3530 We could generate more efficient output if we remembered when we
3531 have output a particular type before. */
3532
3533 struct ieee_type_stack
3534 {
3535 /* Next entry on stack. */
3536 struct ieee_type_stack *next;
3537 /* Type information. */
3538 struct ieee_write_type type;
3539 };
3540
3541 /* This is a list of associations between names and types. This could
3542 be more efficiently implemented as a hash table. */
3543
3544 struct ieee_name_type
3545 {
3546 /* Next name/type assocation. */
3547 struct ieee_name_type *next;
3548 /* Type. */
3549 struct ieee_write_type type;
3550 /* If this is a tag which has not yet been defined, this is the
3551 kind. If the tag has been defined, this is DEBUG_KIND_ILLEGAL. */
3552 enum debug_type_kind kind;
3553 };
3554
3555 /* We keep a list of modified versions of types, so that we don't
3556 output them more than once. */
3557
3558 struct ieee_modified_type
3559 {
3560 /* Pointer to this type. */
3561 unsigned int pointer;
3562 /* Const version of this type. */
3563 unsigned int const_qualified;
3564 /* Volatile version of this type. */
3565 unsigned int volatile_qualified;
3566 };
3567
3568 /* This is a list of pending function parameter information. We don't
3569 output them until we see the first block. */
3570
3571 struct ieee_pending_parm
3572 {
3573 /* Next pending parameter. */
3574 struct ieee_pending_parm *next;
3575 /* Name. */
3576 const char *name;
3577 /* Type index. */
3578 unsigned int type;
3579 /* Whether the type is a reference. */
3580 boolean referencep;
3581 /* Kind. */
3582 enum debug_parm_kind kind;
3583 /* Value. */
3584 bfd_vma val;
3585 };
3586
3587 /* This is the handle passed down by debug_write. */
3588
3589 struct ieee_handle
3590 {
3591 /* BFD we are writing to. */
3592 bfd *abfd;
3593 /* Current data buffer. */
3594 struct ieee_buf *current;
3595 /* Filename of current compilation unit. */
3596 const char *filename;
3597 /* Module name of current compilation unit. */
3598 const char *modname;
3599 /* List of finished data buffers. */
3600 struct ieee_buf *data;
3601 /* List of buffers for typedefs in the current compilation unit. */
3602 struct ieee_buf *types;
3603 /* List of buffers for variables and functions in the current
3604 compilation unit. */
3605 struct ieee_buf *vars;
3606 /* List of buffers for C++ class definitions in the current
3607 compilation unit. */
3608 struct ieee_buf *cxx;
3609 /* List of buffers for line numbers in the current compilation unit. */
3610 struct ieee_buf *linenos;
3611 /* Ranges for the current compilation unit. */
3612 struct ieee_range *ranges;
3613 /* Nested pending ranges. */
3614 struct ieee_range *pending_ranges;
3615 /* Type stack. */
3616 struct ieee_type_stack *type_stack;
3617 /* Next unallocated type index. */
3618 unsigned int type_indx;
3619 /* Next unallocated name index. */
3620 unsigned int name_indx;
3621 /* Typedefs. */
3622 struct ieee_name_type *typedefs;
3623 /* Tags. */
3624 struct ieee_name_type *tags;
3625 /* Modified versions of types. */
3626 struct ieee_modified_type *modified;
3627 /* Number of entries allocated in modified. */
3628 unsigned int modified_alloc;
3629 /* The depth of block nesting. This is 0 outside a function, and 1
3630 just after start_function is called. */
3631 unsigned int block_depth;
3632 /* The name of the current function. */
3633 const char *fnname;
3634 /* List of buffers for the type of the function we are currently
3635 writing out. */
3636 struct ieee_buf *fntype;
3637 /* List of buffers for the parameters of the function we are
3638 currently writing out. */
3639 struct ieee_buf *fnargs;
3640 /* Number of arguments written to fnargs. */
3641 unsigned int fnargcount;
3642 /* Pending function parameters. */
3643 struct ieee_pending_parm *pending_parms;
3644 /* Current line number filename. */
3645 const char *lineno_filename;
3646 /* Line number name index. */
3647 unsigned int lineno_name_indx;
3648 /* Highest address seen at end of procedure. */
3649 bfd_vma highaddr;
3650 };
3651
3652 static boolean ieee_change_buffer
3653 PARAMS ((struct ieee_handle *, struct ieee_buf **));
3654 static boolean ieee_real_write_byte PARAMS ((struct ieee_handle *, int));
3655 static boolean ieee_write_2bytes PARAMS ((struct ieee_handle *, int));
3656 static boolean ieee_write_number PARAMS ((struct ieee_handle *, bfd_vma));
3657 static boolean ieee_write_id PARAMS ((struct ieee_handle *, const char *));
3658 static boolean ieee_write_asn
3659 PARAMS ((struct ieee_handle *, unsigned int, bfd_vma));
3660 static boolean ieee_write_atn65
3661 PARAMS ((struct ieee_handle *, unsigned int, const char *));
3662 static boolean ieee_push_type
3663 PARAMS ((struct ieee_handle *, unsigned int, unsigned int, boolean));
3664 static unsigned int ieee_pop_type PARAMS ((struct ieee_handle *));
3665 static void ieee_pop_unused_type PARAMS ((struct ieee_handle *));
3666 static unsigned int ieee_pop_type_used
3667 PARAMS ((struct ieee_handle *, boolean));
3668 static boolean ieee_add_range
3669 PARAMS ((struct ieee_handle *, bfd_vma, bfd_vma));
3670 static boolean ieee_start_range PARAMS ((struct ieee_handle *, bfd_vma));
3671 static boolean ieee_end_range PARAMS ((struct ieee_handle *, bfd_vma));
3672 static boolean ieee_define_type
3673 PARAMS ((struct ieee_handle *, unsigned int, boolean));
3674 static boolean ieee_define_named_type
3675 PARAMS ((struct ieee_handle *, const char *, boolean, unsigned int,
3676 unsigned int, boolean, struct ieee_buf **));
3677 static struct ieee_modified_type *ieee_get_modified_info
3678 PARAMS ((struct ieee_handle *, unsigned int));
3679 static boolean ieee_finish_compilation_unit PARAMS ((struct ieee_handle *));
3680 static boolean ieee_output_pending_parms PARAMS ((struct ieee_handle *));
3681 static unsigned int ieee_vis_to_flags PARAMS ((enum debug_visibility));
3682 static boolean ieee_class_method_var
3683 PARAMS ((struct ieee_handle *, const char *, enum debug_visibility, boolean,
3684 boolean, boolean, bfd_vma, boolean));
3685
3686 static boolean ieee_start_compilation_unit PARAMS ((PTR, const char *));
3687 static boolean ieee_start_source PARAMS ((PTR, const char *));
3688 static boolean ieee_empty_type PARAMS ((PTR));
3689 static boolean ieee_void_type PARAMS ((PTR));
3690 static boolean ieee_int_type PARAMS ((PTR, unsigned int, boolean));
3691 static boolean ieee_float_type PARAMS ((PTR, unsigned int));
3692 static boolean ieee_complex_type PARAMS ((PTR, unsigned int));
3693 static boolean ieee_bool_type PARAMS ((PTR, unsigned int));
3694 static boolean ieee_enum_type
3695 PARAMS ((PTR, const char *, const char **, bfd_signed_vma *));
3696 static boolean ieee_pointer_type PARAMS ((PTR));
3697 static boolean ieee_function_type PARAMS ((PTR, int, boolean));
3698 static boolean ieee_reference_type PARAMS ((PTR));
3699 static boolean ieee_range_type PARAMS ((PTR, bfd_signed_vma, bfd_signed_vma));
3700 static boolean ieee_array_type
3701 PARAMS ((PTR, bfd_signed_vma, bfd_signed_vma, boolean));
3702 static boolean ieee_set_type PARAMS ((PTR, boolean));
3703 static boolean ieee_offset_type PARAMS ((PTR));
3704 static boolean ieee_method_type PARAMS ((PTR, boolean, int, boolean));
3705 static boolean ieee_const_type PARAMS ((PTR));
3706 static boolean ieee_volatile_type PARAMS ((PTR));
3707 static boolean ieee_start_struct_type
3708 PARAMS ((PTR, const char *, unsigned int, boolean, unsigned int));
3709 static boolean ieee_struct_field
3710 PARAMS ((PTR, const char *, bfd_vma, bfd_vma, enum debug_visibility));
3711 static boolean ieee_end_struct_type PARAMS ((PTR));
3712 static boolean ieee_start_class_type
3713 PARAMS ((PTR, const char *, unsigned int, boolean, unsigned int, boolean,
3714 boolean));
3715 static boolean ieee_class_static_member
3716 PARAMS ((PTR, const char *, const char *, enum debug_visibility));
3717 static boolean ieee_class_baseclass
3718 PARAMS ((PTR, bfd_vma, boolean, enum debug_visibility));
3719 static boolean ieee_class_start_method PARAMS ((PTR, const char *));
3720 static boolean ieee_class_method_variant
3721 PARAMS ((PTR, const char *, enum debug_visibility, boolean, boolean,
3722 bfd_vma, boolean));
3723 static boolean ieee_class_static_method_variant
3724 PARAMS ((PTR, const char *, enum debug_visibility, boolean, boolean));
3725 static boolean ieee_class_end_method PARAMS ((PTR));
3726 static boolean ieee_end_class_type PARAMS ((PTR));
3727 static boolean ieee_typedef_type PARAMS ((PTR, const char *));
3728 static boolean ieee_tag_type
3729 PARAMS ((PTR, const char *, unsigned int, enum debug_type_kind));
3730 static boolean ieee_typdef PARAMS ((PTR, const char *));
3731 static boolean ieee_tag PARAMS ((PTR, const char *));
3732 static boolean ieee_int_constant PARAMS ((PTR, const char *, bfd_vma));
3733 static boolean ieee_float_constant PARAMS ((PTR, const char *, double));
3734 static boolean ieee_typed_constant PARAMS ((PTR, const char *, bfd_vma));
3735 static boolean ieee_variable
3736 PARAMS ((PTR, const char *, enum debug_var_kind, bfd_vma));
3737 static boolean ieee_start_function PARAMS ((PTR, const char *, boolean));
3738 static boolean ieee_function_parameter
3739 PARAMS ((PTR, const char *, enum debug_parm_kind, bfd_vma));
3740 static boolean ieee_start_block PARAMS ((PTR, bfd_vma));
3741 static boolean ieee_end_block PARAMS ((PTR, bfd_vma));
3742 static boolean ieee_end_function PARAMS ((PTR));
3743 static boolean ieee_lineno
3744 PARAMS ((PTR, const char *, unsigned long, bfd_vma));
3745
3746 static const struct debug_write_fns ieee_fns =
3747 {
3748 ieee_start_compilation_unit,
3749 ieee_start_source,
3750 ieee_empty_type,
3751 ieee_void_type,
3752 ieee_int_type,
3753 ieee_float_type,
3754 ieee_complex_type,
3755 ieee_bool_type,
3756 ieee_enum_type,
3757 ieee_pointer_type,
3758 ieee_function_type,
3759 ieee_reference_type,
3760 ieee_range_type,
3761 ieee_array_type,
3762 ieee_set_type,
3763 ieee_offset_type,
3764 ieee_method_type,
3765 ieee_const_type,
3766 ieee_volatile_type,
3767 ieee_start_struct_type,
3768 ieee_struct_field,
3769 ieee_end_struct_type,
3770 ieee_start_class_type,
3771 ieee_class_static_member,
3772 ieee_class_baseclass,
3773 ieee_class_start_method,
3774 ieee_class_method_variant,
3775 ieee_class_static_method_variant,
3776 ieee_class_end_method,
3777 ieee_end_class_type,
3778 ieee_typedef_type,
3779 ieee_tag_type,
3780 ieee_typdef,
3781 ieee_tag,
3782 ieee_int_constant,
3783 ieee_float_constant,
3784 ieee_typed_constant,
3785 ieee_variable,
3786 ieee_start_function,
3787 ieee_function_parameter,
3788 ieee_start_block,
3789 ieee_end_block,
3790 ieee_end_function,
3791 ieee_lineno
3792 };
3793
3794 /* Change the current buffer to a specified buffer chain. */
3795
3796 static boolean
3797 ieee_change_buffer (info, ppbuf)
3798 struct ieee_handle *info;
3799 struct ieee_buf **ppbuf;
3800 {
3801 struct ieee_buf *buf;
3802
3803 if (*ppbuf != NULL)
3804 {
3805 for (buf = *ppbuf; buf->next != NULL; buf = buf->next)
3806 ;
3807 }
3808 else
3809 {
3810 buf = (struct ieee_buf *) xmalloc (sizeof *buf);
3811 buf->next = NULL;
3812 buf->c = 0;
3813 *ppbuf = buf;
3814 }
3815
3816 info->current = buf;
3817 return true;
3818 }
3819
3820 /* Write a byte into the buffer. We use a macro for speed and a
3821 function for the complex cases. */
3822
3823 #define ieee_write_byte(info, b) \
3824 ((info)->current->c < IEEE_BUFSIZE \
3825 ? ((info)->current->buf[(info)->current->c++] = (b), true) \
3826 : ieee_real_write_byte ((info), (b)))
3827
3828 static boolean
3829 ieee_real_write_byte (info, b)
3830 struct ieee_handle *info;
3831 int b;
3832 {
3833 if (info->current->c >= IEEE_BUFSIZE)
3834 {
3835 struct ieee_buf *n;
3836
3837 n = (struct ieee_buf *) xmalloc (sizeof *n);
3838 n->next = NULL;
3839 n->c = 0;
3840 info->current->next = n;
3841 info->current = n;
3842 }
3843
3844 info->current->buf[info->current->c] = b;
3845 ++info->current->c;
3846
3847 return true;
3848 }
3849
3850 /* Write out two bytes. */
3851
3852 static boolean
3853 ieee_write_2bytes (info, i)
3854 struct ieee_handle *info;
3855 int i;
3856 {
3857 return (ieee_write_byte (info, i >> 8)
3858 && ieee_write_byte (info, i & 0xff));
3859 }
3860
3861 /* Write out an integer. */
3862
3863 static boolean
3864 ieee_write_number (info, v)
3865 struct ieee_handle *info;
3866 bfd_vma v;
3867 {
3868 bfd_vma t;
3869 bfd_byte ab[20];
3870 bfd_byte *p;
3871 unsigned int c;
3872
3873 if (v <= (bfd_vma) ieee_number_end_enum)
3874 return ieee_write_byte (info, (int) v);
3875
3876 t = v;
3877 p = ab + sizeof ab;
3878 while (t != 0)
3879 {
3880 *--p = t & 0xff;
3881 t >>= 8;
3882 }
3883 c = (ab + 20) - p;
3884
3885 if (c > (unsigned int) (ieee_number_repeat_end_enum
3886 - ieee_number_repeat_start_enum))
3887 {
3888 fprintf (stderr, "IEEE numeric overflow: 0x");
3889 fprintf_vma (stderr, v);
3890 fprintf (stderr, "\n");
3891 return false;
3892 }
3893
3894 if (! ieee_write_byte (info, (int) ieee_number_repeat_start_enum + c))
3895 return false;
3896 for (; c > 0; --c, ++p)
3897 {
3898 if (! ieee_write_byte (info, *p))
3899 return false;
3900 }
3901
3902 return true;
3903 }
3904
3905 /* Write out a string. */
3906
3907 static boolean
3908 ieee_write_id (info, s)
3909 struct ieee_handle *info;
3910 const char *s;
3911 {
3912 unsigned int len;
3913
3914 len = strlen (s);
3915 if (len <= 0x7f)
3916 {
3917 if (! ieee_write_byte (info, len))
3918 return false;
3919 }
3920 else if (len <= 0xff)
3921 {
3922 if (! ieee_write_byte (info, (int) ieee_extension_length_1_enum)
3923 || ! ieee_write_byte (info, len))
3924 return false;
3925 }
3926 else if (len <= 0xffff)
3927 {
3928 if (! ieee_write_byte (info, (int) ieee_extension_length_2_enum)
3929 || ! ieee_write_2bytes (info, len))
3930 return false;
3931 }
3932 else
3933 {
3934 fprintf (stderr, "IEEE string length overflow: %u\n", len);
3935 return false;
3936 }
3937
3938 for (; *s != '\0'; s++)
3939 if (! ieee_write_byte (info, *s))
3940 return false;
3941
3942 return true;
3943 }
3944
3945 /* Write out an ASN record. */
3946
3947 static boolean
3948 ieee_write_asn (info, indx, val)
3949 struct ieee_handle *info;
3950 unsigned int indx;
3951 bfd_vma val;
3952 {
3953 return (ieee_write_2bytes (info, (int) ieee_asn_record_enum)
3954 && ieee_write_number (info, indx)
3955 && ieee_write_number (info, val));
3956 }
3957
3958 /* Write out an ATN65 record. */
3959
3960 static boolean
3961 ieee_write_atn65 (info, indx, s)
3962 struct ieee_handle *info;
3963 unsigned int indx;
3964 const char *s;
3965 {
3966 return (ieee_write_2bytes (info, (int) ieee_atn_record_enum)
3967 && ieee_write_number (info, indx)
3968 && ieee_write_number (info, 0)
3969 && ieee_write_number (info, 65)
3970 && ieee_write_id (info, s));
3971 }
3972
3973 /* Push a type index onto the type stack. */
3974
3975 static boolean
3976 ieee_push_type (info, indx, size, unsignedp)
3977 struct ieee_handle *info;
3978 unsigned int indx;
3979 unsigned int size;
3980 boolean unsignedp;
3981 {
3982 struct ieee_type_stack *ts;
3983
3984 ts = (struct ieee_type_stack *) xmalloc (sizeof *ts);
3985 memset (ts, 0, sizeof *ts);
3986
3987 ts->type.indx = indx;
3988 ts->type.size = size;
3989 ts->type.unsignedp = unsignedp;
3990
3991 ts->next = info->type_stack;
3992 info->type_stack = ts;
3993
3994 return true;
3995 }
3996
3997 /* Pop a type index off the type stack. */
3998
3999 static unsigned int
4000 ieee_pop_type (info)
4001 struct ieee_handle *info;
4002 {
4003 return ieee_pop_type_used (info, true);
4004 }
4005
4006 /* Pop an unused type index off the type stack. */
4007
4008 static void
4009 ieee_pop_unused_type (info)
4010 struct ieee_handle *info;
4011 {
4012 (void) ieee_pop_type_used (info, false);
4013 }
4014
4015 /* Pop a used or unused type index off the type stack. */
4016
4017 static unsigned int
4018 ieee_pop_type_used (info, used)
4019 struct ieee_handle *info;
4020 boolean used;
4021 {
4022 struct ieee_type_stack *ts;
4023 unsigned int ret;
4024
4025 ts = info->type_stack;
4026 assert (ts != NULL);
4027
4028 /* If this is a function type, and we need it, we need to append the
4029 actual definition to the typedef block now. */
4030 if (ts->type.fndef != NULL && used)
4031 {
4032 struct ieee_buf **pb;
4033
4034 /* Make sure we have started the types block. */
4035 if (info->types == NULL)
4036 {
4037 if (! ieee_change_buffer (info, &info->types)
4038 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
4039 || ! ieee_write_byte (info, 1)
4040 || ! ieee_write_number (info, 0)
4041 || ! ieee_write_id (info, info->modname))
4042 return false;
4043 }
4044
4045 for (pb = &info->types; *pb != NULL; pb = &(*pb)->next)
4046 ;
4047 *pb = ts->type.fndef;
4048 }
4049
4050 ret = ts->type.indx;
4051 info->type_stack = ts->next;
4052 free (ts);
4053 return ret;
4054 }
4055
4056 /* Add a range of bytes included in the current compilation unit. */
4057
4058 static boolean
4059 ieee_add_range (info, low, high)
4060 struct ieee_handle *info;
4061 bfd_vma low;
4062 bfd_vma high;
4063 {
4064 struct ieee_range *r, **pr;
4065
4066 if (low == (bfd_vma) -1 || high == (bfd_vma) -1)
4067 return true;
4068
4069 for (r = info->ranges; r != NULL; r = r->next)
4070 {
4071 if (high >= r->low && low <= r->high)
4072 {
4073 /* The new range overlaps r. */
4074 if (low < r->low)
4075 r->low = low;
4076 if (high > r->high)
4077 r->high = high;
4078 pr = &r->next;
4079 while (*pr != NULL && (*pr)->low <= r->high)
4080 {
4081 struct ieee_range *n;
4082
4083 if ((*pr)->high > r->high)
4084 r->high = (*pr)->high;
4085 n = (*pr)->next;
4086 free (*pr);
4087 *pr = n;
4088 }
4089 return true;
4090 }
4091 }
4092
4093 r = (struct ieee_range *) xmalloc (sizeof *r);
4094 memset (r, 0, sizeof *r);
4095
4096 r->low = low;
4097 r->high = high;
4098
4099 /* Store the ranges sorted by address. */
4100 for (pr = &info->ranges; *pr != NULL; pr = &(*pr)->next)
4101 if ((*pr)->next != NULL && (*pr)->next->low > high)
4102 break;
4103 r->next = *pr;
4104 *pr = r;
4105
4106 return true;
4107 }
4108
4109 /* Start a new range for which we only have the low address. */
4110
4111 static boolean
4112 ieee_start_range (info, low)
4113 struct ieee_handle *info;
4114 bfd_vma low;
4115 {
4116 struct ieee_range *r;
4117
4118 r = (struct ieee_range *) xmalloc (sizeof *r);
4119 memset (r, 0, sizeof *r);
4120 r->low = low;
4121 r->next = info->pending_ranges;
4122 info->pending_ranges = r;
4123 return true;
4124 }
4125
4126 /* Finish a range started by ieee_start_range. */
4127
4128 static boolean
4129 ieee_end_range (info, high)
4130 struct ieee_handle *info;
4131 bfd_vma high;
4132 {
4133 struct ieee_range *r;
4134 bfd_vma low;
4135
4136 assert (info->pending_ranges != NULL);
4137 r = info->pending_ranges;
4138 low = r->low;
4139 info->pending_ranges = r->next;
4140 free (r);
4141 return ieee_add_range (info, low, high);
4142 }
4143
4144 /* Start defining a type. */
4145
4146 static boolean
4147 ieee_define_type (info, size, unsignedp)
4148 struct ieee_handle *info;
4149 unsigned int size;
4150 boolean unsignedp;
4151 {
4152 return ieee_define_named_type (info, (const char *) NULL, false, 0, size,
4153 unsignedp, (struct ieee_buf **) NULL);
4154 }
4155
4156 /* Start defining a named type. */
4157
4158 static boolean
4159 ieee_define_named_type (info, name, tagp, id, size, unsignedp, ppbuf)
4160 struct ieee_handle *info;
4161 const char *name;
4162 boolean tagp;
4163 unsigned int id;
4164 unsigned int size;
4165 boolean unsignedp;
4166 struct ieee_buf **ppbuf;
4167 {
4168 unsigned int type_indx;
4169 unsigned int name_indx;
4170
4171 if (! tagp || id == (unsigned int) -1)
4172 {
4173 type_indx = info->type_indx;
4174 ++info->type_indx;
4175 }
4176 else
4177 {
4178 struct ieee_name_type *nt;
4179 const char *tag;
4180 char ab[20];
4181
4182 /* We need to create a tag for internal use even if we don't
4183 want one for external use. This will let us refer to an
4184 anonymous struct. */
4185 if (name != NULL)
4186 tag = name;
4187 else
4188 {
4189 sprintf (ab, "__anon%u", id);
4190 tag = ab;
4191 }
4192
4193 /* The name is a tag. If we have already defined the tag, we
4194 must use the existing type index. */
4195 for (nt = info->tags; nt != NULL; nt = nt->next)
4196 if (nt->type.name[0] == tag[0]
4197 && strcmp (nt->type.name, tag) == 0)
4198 break;
4199
4200 if (nt == NULL)
4201 {
4202 nt = (struct ieee_name_type *) xmalloc (sizeof *nt);
4203 memset (nt, 0, sizeof *nt);
4204 if (tag != name)
4205 tag = xstrdup (ab);
4206 nt->type.name = tag;
4207 nt->next = info->tags;
4208 info->tags = nt;
4209 nt->type.indx = info->type_indx;
4210 ++info->type_indx;
4211 }
4212
4213 nt->type.size = size;
4214 nt->type.unsignedp = unsignedp;
4215 nt->kind = DEBUG_KIND_ILLEGAL;
4216
4217 type_indx = nt->type.indx;
4218 }
4219
4220 name_indx = info->name_indx;
4221 ++info->name_indx;
4222
4223 if (name == NULL)
4224 name = "";
4225
4226 /* If we were given a buffer, use it; otherwise, use the general
4227 type information, and make sure that the type block is started. */
4228 if (ppbuf != NULL)
4229 {
4230 if (! ieee_change_buffer (info, ppbuf))
4231 return false;
4232 }
4233 else if (info->types != NULL)
4234 {
4235 if (! ieee_change_buffer (info, &info->types))
4236 return false;
4237 }
4238 else
4239 {
4240 if (! ieee_change_buffer (info, &info->types)
4241 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
4242 || ! ieee_write_byte (info, 1)
4243 || ! ieee_write_number (info, 0)
4244 || ! ieee_write_id (info, info->modname))
4245 return false;
4246 }
4247
4248 /* Push the new type on the type stack, write out an NN record, and
4249 write out the start of a TY record. The caller will then finish
4250 the TY record. */
4251 return (ieee_push_type (info, type_indx, size, unsignedp)
4252 && ieee_write_byte (info, (int) ieee_nn_record)
4253 && ieee_write_number (info, name_indx)
4254 && ieee_write_id (info, name)
4255 && ieee_write_byte (info, (int) ieee_ty_record_enum)
4256 && ieee_write_number (info, type_indx)
4257 && ieee_write_byte (info, 0xce)
4258 && ieee_write_number (info, name_indx));
4259 }
4260
4261 /* Get an entry to the list of modified versions of a type. */
4262
4263 static struct ieee_modified_type *
4264 ieee_get_modified_info (info, indx)
4265 struct ieee_handle *info;
4266 unsigned int indx;
4267 {
4268 if (indx >= info->modified_alloc)
4269 {
4270 unsigned int nalloc;
4271
4272 nalloc = info->modified_alloc;
4273 if (nalloc == 0)
4274 nalloc = 16;
4275 while (indx >= nalloc)
4276 nalloc *= 2;
4277 info->modified = ((struct ieee_modified_type *)
4278 xrealloc (info->modified,
4279 nalloc * sizeof *info->modified));
4280 memset (info->modified + info->modified_alloc, 0,
4281 (nalloc - info->modified_alloc) * sizeof *info->modified);
4282 info->modified_alloc = nalloc;
4283 }
4284
4285 return info->modified + indx;
4286 }
4287 \f
4288 /* The general routine to write out IEEE debugging information. */
4289
4290 boolean
4291 write_ieee_debugging_info (abfd, dhandle)
4292 bfd *abfd;
4293 PTR dhandle;
4294 {
4295 struct ieee_handle info;
4296 struct ieee_buf *tags;
4297 struct ieee_name_type *nt;
4298 asection *s;
4299 const char *err;
4300 struct ieee_buf *b;
4301
4302 memset (&info, 0, sizeof info);
4303 info.abfd = abfd;
4304 info.type_indx = 256;
4305 info.name_indx = 32;
4306
4307 if (! debug_write (dhandle, &ieee_fns, (PTR) &info))
4308 return false;
4309
4310 if (info.filename != NULL)
4311 {
4312 if (! ieee_finish_compilation_unit (&info))
4313 return false;
4314 }
4315
4316 /* Put any undefined tags in the global typedef information. */
4317 tags = NULL;
4318 for (nt = info.tags; nt != NULL; nt = nt->next)
4319 {
4320 unsigned int name_indx;
4321 char code;
4322
4323 if (nt->kind == DEBUG_KIND_ILLEGAL)
4324 continue;
4325 if (tags == NULL)
4326 {
4327 if (! ieee_change_buffer (&info, &tags)
4328 || ! ieee_write_byte (&info, (int) ieee_bb_record_enum)
4329 || ! ieee_write_byte (&info, 2)
4330 || ! ieee_write_number (&info, 0)
4331 || ! ieee_write_id (&info, ""))
4332 return false;
4333 }
4334 name_indx = info.name_indx;
4335 ++info.name_indx;
4336 if (! ieee_write_byte (&info, (int) ieee_nn_record)
4337 || ! ieee_write_number (&info, name_indx)
4338 || ! ieee_write_id (&info, nt->type.name)
4339 || ! ieee_write_byte (&info, (int) ieee_ty_record_enum)
4340 || ! ieee_write_number (&info, nt->type.indx)
4341 || ! ieee_write_byte (&info, 0xce)
4342 || ! ieee_write_number (&info, name_indx))
4343 return false;
4344 switch (nt->kind)
4345 {
4346 default:
4347 abort ();
4348 return false;
4349 case DEBUG_KIND_STRUCT:
4350 case DEBUG_KIND_CLASS:
4351 code = 'S';
4352 break;
4353 case DEBUG_KIND_UNION:
4354 case DEBUG_KIND_UNION_CLASS:
4355 code = 'U';
4356 break;
4357 case DEBUG_KIND_ENUM:
4358 code = 'E';
4359 break;
4360 }
4361 if (! ieee_write_number (&info, code)
4362 || ! ieee_write_number (&info, 0))
4363 return false;
4364 }
4365 if (tags != NULL)
4366 {
4367 struct ieee_buf **pb;
4368
4369 if (! ieee_write_byte (&info, (int) ieee_be_record_enum))
4370 return false;
4371
4372 for (pb = &tags; *pb != NULL; pb = &(*pb)->next)
4373 ;
4374 *pb = info.data;
4375 info.data = tags;
4376 }
4377
4378 /* Now all the data is in info.data. Write it out to the BFD. We
4379 normally would need to worry about whether all the other sections
4380 are set up yet, but the IEEE backend will handle this particular
4381 case correctly regardless. */
4382 if (info.data == NULL)
4383 {
4384 /* There is no debugging information. */
4385 return true;
4386 }
4387 err = NULL;
4388 s = bfd_make_section (abfd, ".debug");
4389 if (s == NULL)
4390 err = "bfd_make_section";
4391 if (err == NULL)
4392 {
4393 if (! bfd_set_section_flags (abfd, s, SEC_DEBUGGING | SEC_HAS_CONTENTS))
4394 err = "bfd_set_section_flags";
4395 }
4396 if (err == NULL)
4397 {
4398 bfd_size_type size;
4399
4400 size = 0;
4401 for (b = info.data; b != NULL; b = b->next)
4402 size += b->c;
4403 if (! bfd_set_section_size (abfd, s, size))
4404 err = "bfd_set_section_size";
4405 }
4406 if (err == NULL)
4407 {
4408 file_ptr offset;
4409
4410 offset = 0;
4411 for (b = info.data; b != NULL; b = b->next)
4412 {
4413 if (! bfd_set_section_contents (abfd, s, b->buf, offset, b->c))
4414 {
4415 err = "bfd_set_section_contents";
4416 break;
4417 }
4418 offset += b->c;
4419 }
4420 }
4421
4422 if (err != NULL)
4423 {
4424 fprintf (stderr, "%s: %s: %s\n", bfd_get_filename (abfd), err,
4425 bfd_errmsg (bfd_get_error ()));
4426 return false;
4427 }
4428
4429 return true;
4430 }
4431
4432 /* Start writing out information for a compilation unit. */
4433
4434 static boolean
4435 ieee_start_compilation_unit (p, filename)
4436 PTR p;
4437 const char *filename;
4438 {
4439 struct ieee_handle *info = (struct ieee_handle *) p;
4440 const char *modname;
4441 char *c, *s;
4442
4443 if (info->filename != NULL)
4444 {
4445 if (! ieee_finish_compilation_unit (info))
4446 return false;
4447 }
4448
4449 info->filename = filename;
4450 modname = strrchr (filename, '/');
4451 if (modname != NULL)
4452 ++modname;
4453 else
4454 {
4455 modname = strrchr (filename, '\\');
4456 if (modname != NULL)
4457 ++modname;
4458 else
4459 modname = filename;
4460 }
4461 c = xstrdup (modname);
4462 s = strrchr (c, '.');
4463 if (s != NULL)
4464 *s = '\0';
4465 info->modname = c;
4466
4467 info->types = NULL;
4468 info->vars = NULL;
4469 info->cxx = NULL;
4470 info->linenos = NULL;
4471 info->ranges = NULL;
4472 info->modified = NULL;
4473 info->modified_alloc = 0;
4474
4475 return true;
4476 }
4477
4478 /* Finish up a compilation unit. */
4479
4480 static boolean
4481 ieee_finish_compilation_unit (info)
4482 struct ieee_handle *info;
4483 {
4484 struct ieee_buf **pp;
4485 struct ieee_range *r;
4486
4487 if (info->types != NULL)
4488 {
4489 if (! ieee_change_buffer (info, &info->types)
4490 || ! ieee_write_byte (info, (int) ieee_be_record_enum))
4491 return false;
4492 }
4493
4494 if (info->cxx != NULL)
4495 {
4496 /* Append any C++ information to the global function and
4497 variable information. */
4498 if (info->vars != NULL)
4499 {
4500 if (! ieee_change_buffer (info, &info->vars))
4501 return false;
4502 }
4503 else
4504 {
4505 if (! ieee_change_buffer (info, &info->vars)
4506 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
4507 || ! ieee_write_byte (info, 3)
4508 || ! ieee_write_number (info, 0)
4509 || ! ieee_write_id (info, info->modname))
4510 return false;
4511 }
4512
4513 /* We put the pmisc records in a dummy procedure, just as the
4514 MRI compiler does. */
4515 if (! ieee_write_byte (info, (int) ieee_bb_record_enum)
4516 || ! ieee_write_byte (info, 6)
4517 || ! ieee_write_number (info, 0)
4518 || ! ieee_write_id (info, "__XRYCPP")
4519 || ! ieee_write_number (info, 0)
4520 || ! ieee_write_number (info, 0)
4521 || ! ieee_write_number (info, info->highaddr))
4522 return false;
4523
4524 for (pp = &info->vars; *pp != NULL; pp = &(*pp)->next)
4525 ;
4526 *pp = info->cxx;
4527
4528 if (! ieee_change_buffer (info, &info->vars)
4529 || ! ieee_write_byte (info, (int) ieee_be_record_enum)
4530 || ! ieee_write_number (info, info->highaddr))
4531 return false;
4532 }
4533
4534 if (info->vars != NULL)
4535 {
4536 if (! ieee_change_buffer (info, &info->vars)
4537 || ! ieee_write_byte (info, (int) ieee_be_record_enum))
4538 return false;
4539 }
4540
4541 if (info->linenos != NULL)
4542 {
4543 if (! ieee_change_buffer (info, &info->linenos)
4544 || ! ieee_write_byte (info, (int) ieee_be_record_enum))
4545 return false;
4546 }
4547
4548 for (pp = &info->data; *pp != NULL; pp = &(*pp)->next)
4549 ;
4550 *pp = info->types;
4551 for (; *pp != NULL; pp = &(*pp)->next)
4552 ;
4553 *pp = info->vars;
4554 for (; *pp != NULL; pp = &(*pp)->next)
4555 ;
4556 *pp = info->linenos;
4557
4558 /* Build BB10/BB11 blocks based on the ranges we recorded. */
4559 if (! ieee_change_buffer (info, &info->data))
4560 return false;
4561
4562 if (! ieee_write_byte (info, (int) ieee_bb_record_enum)
4563 || ! ieee_write_byte (info, 10)
4564 || ! ieee_write_number (info, 0)
4565 || ! ieee_write_id (info, info->modname)
4566 || ! ieee_write_id (info, "")
4567 || ! ieee_write_number (info, 0)
4568 || ! ieee_write_id (info, "GNU objcopy"))
4569 return false;
4570
4571 for (r = info->ranges; r != NULL; r = r->next)
4572 {
4573 bfd_vma low, high;
4574 asection *s;
4575 int kind;
4576
4577 low = r->low;
4578 high = r->high;
4579
4580 /* Find the section corresponding to this range. */
4581 for (s = info->abfd->sections; s != NULL; s = s->next)
4582 {
4583 if (bfd_get_section_vma (info->abfd, s) <= low
4584 && high <= (bfd_get_section_vma (info->abfd, s)
4585 + bfd_section_size (info->abfd, s)))
4586 break;
4587 }
4588
4589 if (s == NULL)
4590 {
4591 /* Just ignore this range. */
4592 continue;
4593 }
4594
4595 /* Coalesce ranges if it seems reasonable. */
4596 while (r->next != NULL
4597 && high + 64 >= r->next->low
4598 && (r->next->high
4599 <= (bfd_get_section_vma (info->abfd, s)
4600 + bfd_section_size (info->abfd, s))))
4601 {
4602 r = r->next;
4603 high = r->next->high;
4604 }
4605
4606 if ((s->flags & SEC_CODE) != 0)
4607 kind = 1;
4608 else if ((s->flags & SEC_READONLY) != 0)
4609 kind = 3;
4610 else
4611 kind = 2;
4612
4613 if (! ieee_write_byte (info, (int) ieee_bb_record_enum)
4614 || ! ieee_write_byte (info, 11)
4615 || ! ieee_write_number (info, 0)
4616 || ! ieee_write_id (info, "")
4617 || ! ieee_write_number (info, kind)
4618 || ! ieee_write_number (info, s->index)
4619 || ! ieee_write_number (info, low)
4620 || ! ieee_write_byte (info, (int) ieee_be_record_enum)
4621 || ! ieee_write_number (info, high - low))
4622 return false;
4623 }
4624
4625 if (! ieee_write_byte (info, (int) ieee_be_record_enum))
4626 return false;
4627
4628 return true;
4629 }
4630
4631 /* Start recording information from a particular source file. This is
4632 used to record which file defined which types, variables, etc. It
4633 is not used for line numbers, since the lineno entry point passes
4634 down the file name anyhow. IEEE debugging information doesn't seem
4635 to store this information anywhere. */
4636
4637 /*ARGSUSED*/
4638 static boolean
4639 ieee_start_source (p, filename)
4640 PTR p;
4641 const char *filename;
4642 {
4643 return true;
4644 }
4645
4646 /* Make an empty type. */
4647
4648 static boolean
4649 ieee_empty_type (p)
4650 PTR p;
4651 {
4652 struct ieee_handle *info = (struct ieee_handle *) p;
4653
4654 return ieee_push_type (info, 0, 0, false);
4655 }
4656
4657 /* Make a void type. */
4658
4659 static boolean
4660 ieee_void_type (p)
4661 PTR p;
4662 {
4663 struct ieee_handle *info = (struct ieee_handle *) p;
4664
4665 return ieee_push_type (info, 1, 0, false);
4666 }
4667
4668 /* Make an integer type. */
4669
4670 static boolean
4671 ieee_int_type (p, size, unsignedp)
4672 PTR p;
4673 unsigned int size;
4674 boolean unsignedp;
4675 {
4676 struct ieee_handle *info = (struct ieee_handle *) p;
4677 unsigned int indx;
4678
4679 switch (size)
4680 {
4681 case 1:
4682 indx = (int) builtin_signed_char;
4683 break;
4684 case 2:
4685 indx = (int) builtin_signed_short_int;
4686 break;
4687 case 4:
4688 indx = (int) builtin_signed_long;
4689 break;
4690 case 8:
4691 indx = (int) builtin_signed_long_long;
4692 break;
4693 default:
4694 fprintf (stderr, "IEEE unsupported integer type size %u\n", size);
4695 return false;
4696 }
4697
4698 if (unsignedp)
4699 ++indx;
4700
4701 return ieee_push_type (info, indx, size, unsignedp);
4702 }
4703
4704 /* Make a floating point type. */
4705
4706 static boolean
4707 ieee_float_type (p, size)
4708 PTR p;
4709 unsigned int size;
4710 {
4711 struct ieee_handle *info = (struct ieee_handle *) p;
4712 unsigned int indx;
4713
4714 switch (size)
4715 {
4716 case 4:
4717 indx = (int) builtin_float;
4718 break;
4719 case 8:
4720 indx = (int) builtin_double;
4721 break;
4722 case 12:
4723 /* FIXME: This size really depends upon the processor. */
4724 indx = (int) builtin_long_double;
4725 break;
4726 case 16:
4727 indx = (int) builtin_long_long_double;
4728 break;
4729 default:
4730 fprintf (stderr, "IEEE unsupported float type size %u\n", size);
4731 return false;
4732 }
4733
4734 return ieee_push_type (info, indx, size, false);
4735 }
4736
4737 /* Make a complex type. */
4738
4739 static boolean
4740 ieee_complex_type (p, size)
4741 PTR p;
4742 unsigned int size;
4743 {
4744 struct ieee_handle *info = (struct ieee_handle *) p;
4745 char code;
4746
4747 switch (size)
4748 {
4749 case 4:
4750 code = 'c';
4751 break;
4752 case 8:
4753 code = 'd';
4754 break;
4755 default:
4756 fprintf (stderr, "IEEE unsupported complex type size %u\n", size);
4757 return false;
4758 }
4759
4760 /* FIXME: I don't know what the string is for. */
4761 return (ieee_define_type (info, size, false)
4762 && ieee_write_number (info, code)
4763 && ieee_write_id (info, ""));
4764 }
4765
4766 /* Make a boolean type. IEEE doesn't support these, so we just make
4767 an integer type instead. */
4768
4769 static boolean
4770 ieee_bool_type (p, size)
4771 PTR p;
4772 unsigned int size;
4773 {
4774 return ieee_int_type (p, size, true);
4775 }
4776
4777 /* Make an enumeration. */
4778
4779 static boolean
4780 ieee_enum_type (p, tag, names, vals)
4781 PTR p;
4782 const char *tag;
4783 const char **names;
4784 bfd_signed_vma *vals;
4785 {
4786 struct ieee_handle *info = (struct ieee_handle *) p;
4787 boolean simple;
4788 int i;
4789
4790 /* If this is a simple enumeration, in which the values start at 0
4791 and always increment by 1, we can use type E. Otherwise we must
4792 use type N. */
4793
4794 simple = true;
4795 if (names != NULL)
4796 {
4797 for (i = 0; names[i] != NULL; i++)
4798 {
4799 if (vals[i] != i)
4800 {
4801 simple = false;
4802 break;
4803 }
4804 }
4805 }
4806
4807 if (! ieee_define_named_type (info, tag, true, (unsigned int) -1, 0,
4808 true, (struct ieee_buf **) NULL)
4809 || ! ieee_write_number (info, simple ? 'E' : 'N'))
4810 return false;
4811 if (simple)
4812 {
4813 /* FIXME: This is supposed to be the enumeration size, but we
4814 don't store that. */
4815 if (! ieee_write_number (info, 4))
4816 return false;
4817 }
4818 if (names != NULL)
4819 {
4820 for (i = 0; names[i] != NULL; i++)
4821 {
4822 if (! ieee_write_id (info, names[i]))
4823 return false;
4824 if (! simple)
4825 {
4826 if (! ieee_write_number (info, vals[i]))
4827 return false;
4828 }
4829 }
4830 }
4831
4832 return true;
4833 }
4834
4835 /* Make a pointer type. */
4836
4837 static boolean
4838 ieee_pointer_type (p)
4839 PTR p;
4840 {
4841 struct ieee_handle *info = (struct ieee_handle *) p;
4842 unsigned int indx;
4843 struct ieee_modified_type *m;
4844
4845 indx = ieee_pop_type (info);
4846
4847 /* A pointer to a simple builtin type can be obtained by adding 32. */
4848 if (indx < 32)
4849 return ieee_push_type (info, indx + 32, 0, true);
4850
4851 m = ieee_get_modified_info (p, indx);
4852 if (m == NULL)
4853 return false;
4854
4855 if (m->pointer > 0)
4856 return ieee_push_type (info, m->pointer, 0, true);
4857
4858 if (! ieee_define_type (info, 0, true)
4859 || ! ieee_write_number (info, 'P')
4860 || ! ieee_write_number (info, indx))
4861 return false;
4862
4863 m->pointer = info->type_stack->type.indx;
4864
4865 return true;
4866 }
4867
4868 /* Make a function type. This will be called for a method, but we
4869 don't want to actually add it to the type table in that case. We
4870 handle this by defining the type in a private buffer, and only
4871 adding that buffer to the typedef block if we are going to use it. */
4872
4873 static boolean
4874 ieee_function_type (p, argcount, varargs)
4875 PTR p;
4876 int argcount;
4877 boolean varargs;
4878 {
4879 struct ieee_handle *info = (struct ieee_handle *) p;
4880 unsigned int *args = NULL;
4881 int i;
4882 unsigned int retindx;
4883 struct ieee_buf *fndef;
4884
4885 if (argcount > 0)
4886 {
4887 args = (unsigned int *) xmalloc (argcount * sizeof *args);
4888 for (i = argcount - 1; i >= 0; i--)
4889 args[i] = ieee_pop_type (info);
4890 }
4891 else if (argcount < 0)
4892 varargs = false;
4893
4894 retindx = ieee_pop_type (info);
4895
4896 /* An attribute of 0x41 means that the frame and push mask are
4897 unknown. */
4898 fndef = NULL;
4899 if (! ieee_define_named_type (info, (const char *) NULL, false, 0, 0,
4900 true, &fndef)
4901 || ! ieee_write_number (info, 'x')
4902 || ! ieee_write_number (info, 0x41)
4903 || ! ieee_write_number (info, 0)
4904 || ! ieee_write_number (info, 0)
4905 || ! ieee_write_number (info, retindx)
4906 || ! ieee_write_number (info, (bfd_vma) argcount + (varargs ? 1 : 0)))
4907 return false;
4908 if (argcount > 0)
4909 {
4910 for (i = 0; i < argcount; i++)
4911 if (! ieee_write_number (info, args[i]))
4912 return false;
4913 free (args);
4914 }
4915 if (varargs)
4916 {
4917 /* A varargs function is represented by writing out the last
4918 argument as type void *, although this makes little sense. */
4919 if (! ieee_write_number (info, (bfd_vma) builtin_void + 32))
4920 return false;
4921 }
4922
4923 if (! ieee_write_number (info, 0))
4924 return false;
4925
4926 /* We wrote the information into fndef, in case we don't need it.
4927 It will be appended to info->types by ieee_pop_type. */
4928 info->type_stack->type.fndef = fndef;
4929
4930 return true;
4931 }
4932
4933 /* Make a reference type. */
4934
4935 static boolean
4936 ieee_reference_type (p)
4937 PTR p;
4938 {
4939 struct ieee_handle *info = (struct ieee_handle *) p;
4940
4941 /* IEEE appears to record a normal pointer type, and then use a
4942 pmisc record to indicate that it is really a reference. */
4943
4944 if (! ieee_pointer_type (p))
4945 return false;
4946 info->type_stack->type.referencep = true;
4947 return true;
4948 }
4949
4950 /* Make a range type. */
4951
4952 static boolean
4953 ieee_range_type (p, low, high)
4954 PTR p;
4955 bfd_signed_vma low;
4956 bfd_signed_vma high;
4957 {
4958 struct ieee_handle *info = (struct ieee_handle *) p;
4959 unsigned int size;
4960 boolean unsignedp;
4961
4962 size = info->type_stack->type.size;
4963 unsignedp = info->type_stack->type.unsignedp;
4964 ieee_pop_unused_type (info);
4965 return (ieee_define_type (info, size, unsignedp)
4966 && ieee_write_number (info, 'R')
4967 && ieee_write_number (info, (bfd_vma) low)
4968 && ieee_write_number (info, (bfd_vma) high)
4969 && ieee_write_number (info, unsignedp ? 0 : 1)
4970 && ieee_write_number (info, size));
4971 }
4972
4973 /* Make an array type. */
4974
4975 /*ARGSUSED*/
4976 static boolean
4977 ieee_array_type (p, low, high, stringp)
4978 PTR p;
4979 bfd_signed_vma low;
4980 bfd_signed_vma high;
4981 boolean stringp;
4982 {
4983 struct ieee_handle *info = (struct ieee_handle *) p;
4984 unsigned int eleindx;
4985
4986 /* IEEE does not store the range, so we just ignore it. */
4987 ieee_pop_unused_type (info);
4988 eleindx = ieee_pop_type (info);
4989
4990 if (! ieee_define_type (info, 0, false)
4991 || ! ieee_write_number (info, low == 0 ? 'Z' : 'C')
4992 || ! ieee_write_number (info, eleindx))
4993 return false;
4994 if (low != 0)
4995 {
4996 if (! ieee_write_number (info, low))
4997 return false;
4998 }
4999
5000 return ieee_write_number (info, high);
5001 }
5002
5003 /* Make a set type. */
5004
5005 static boolean
5006 ieee_set_type (p, bitstringp)
5007 PTR p;
5008 boolean bitstringp;
5009 {
5010 struct ieee_handle *info = (struct ieee_handle *) p;
5011 unsigned int eleindx;
5012
5013 eleindx = ieee_pop_type (info);
5014
5015 /* FIXME: We don't know the size, so we just use 4. */
5016
5017 return (ieee_define_type (info, 0, true)
5018 && ieee_write_number (info, 's')
5019 && ieee_write_number (info, 4)
5020 && ieee_write_number (info, eleindx));
5021 }
5022
5023 /* Make an offset type. */
5024
5025 static boolean
5026 ieee_offset_type (p)
5027 PTR p;
5028 {
5029 struct ieee_handle *info = (struct ieee_handle *) p;
5030 unsigned int targetindx, baseindx;
5031
5032 targetindx = ieee_pop_type (info);
5033 baseindx = ieee_pop_type (info);
5034
5035 /* FIXME: The MRI C++ compiler does not appear to generate any
5036 useful type information about an offset type. It just records a
5037 pointer to member as an integer. The MRI/HP IEEE spec does
5038 describe a pmisc record which can be used for a pointer to
5039 member. Unfortunately, it does not describe the target type,
5040 which seems pretty important. I'm going to punt this for now. */
5041
5042 return ieee_int_type (p, 4, true);
5043 }
5044
5045 /* Make a method type. */
5046
5047 static boolean
5048 ieee_method_type (p, domain, argcount, varargs)
5049 PTR p;
5050 boolean domain;
5051 int argcount;
5052 boolean varargs;
5053 {
5054 struct ieee_handle *info = (struct ieee_handle *) p;
5055
5056 /* FIXME: The MRI/HP IEEE spec defines a pmisc record to use for a
5057 method, but the definition is incomplete. We just output an 'x'
5058 type. */
5059
5060 if (domain)
5061 ieee_pop_unused_type (info);
5062
5063 return ieee_function_type (p, argcount, varargs);
5064 }
5065
5066 /* Make a const qualified type. */
5067
5068 static boolean
5069 ieee_const_type (p)
5070 PTR p;
5071 {
5072 struct ieee_handle *info = (struct ieee_handle *) p;
5073 unsigned int size;
5074 boolean unsignedp;
5075 unsigned int indx;
5076 struct ieee_modified_type *m;
5077
5078 size = info->type_stack->type.size;
5079 unsignedp = info->type_stack->type.unsignedp;
5080 indx = ieee_pop_type (info);
5081
5082 m = ieee_get_modified_info (info, indx);
5083 if (m == NULL)
5084 return false;
5085
5086 if (m->const_qualified > 0)
5087 return ieee_push_type (info, m->const_qualified, size, unsignedp);
5088
5089 if (! ieee_define_type (info, size, unsignedp)
5090 || ! ieee_write_number (info, 'n')
5091 || ! ieee_write_number (info, 1)
5092 || ! ieee_write_number (info, indx))
5093 return false;
5094
5095 m->const_qualified = info->type_stack->type.indx;
5096
5097 return true;
5098 }
5099
5100 /* Make a volatile qualified type. */
5101
5102 static boolean
5103 ieee_volatile_type (p)
5104 PTR p;
5105 {
5106 struct ieee_handle *info = (struct ieee_handle *) p;
5107 unsigned int size;
5108 boolean unsignedp;
5109 unsigned int indx;
5110 struct ieee_modified_type *m;
5111
5112 size = info->type_stack->type.size;
5113 unsignedp = info->type_stack->type.unsignedp;
5114 indx = ieee_pop_type (info);
5115
5116 m = ieee_get_modified_info (info, indx);
5117 if (m == NULL)
5118 return false;
5119
5120 if (m->volatile_qualified > 0)
5121 return ieee_push_type (info, m->volatile_qualified, size, unsignedp);
5122
5123 if (! ieee_define_type (info, size, unsignedp)
5124 || ! ieee_write_number (info, 'n')
5125 || ! ieee_write_number (info, 2)
5126 || ! ieee_write_number (info, indx))
5127 return false;
5128
5129 m->volatile_qualified = info->type_stack->type.indx;
5130
5131 return true;
5132 }
5133
5134 /* Convert an enum debug_visibility into a CXXFLAGS value. */
5135
5136 static unsigned int
5137 ieee_vis_to_flags (visibility)
5138 enum debug_visibility visibility;
5139 {
5140 switch (visibility)
5141 {
5142 default:
5143 abort ();
5144 case DEBUG_VISIBILITY_PUBLIC:
5145 return CXXFLAGS_VISIBILITY_PUBLIC;
5146 case DEBUG_VISIBILITY_PRIVATE:
5147 return CXXFLAGS_VISIBILITY_PRIVATE;
5148 case DEBUG_VISIBILITY_PROTECTED:
5149 return CXXFLAGS_VISIBILITY_PROTECTED;
5150 }
5151 /*NOTREACHED*/
5152 }
5153
5154 /* Start defining a struct type. We build it in the strdef field on
5155 the stack, to avoid confusing type definitions required by the
5156 fields with the struct type itself. */
5157
5158 static boolean
5159 ieee_start_struct_type (p, tag, id, structp, size)
5160 PTR p;
5161 const char *tag;
5162 unsigned int id;
5163 boolean structp;
5164 unsigned int size;
5165 {
5166 struct ieee_handle *info = (struct ieee_handle *) p;
5167 struct ieee_buf *strdef;
5168
5169 strdef = NULL;
5170 if (! ieee_define_named_type (info, tag, true, id, size, true, &strdef)
5171 || ! ieee_write_number (info, structp ? 'S' : 'U')
5172 || ! ieee_write_number (info, size))
5173 return false;
5174
5175 info->type_stack->type.name = tag;
5176 info->type_stack->type.strdef = strdef;
5177
5178 return true;
5179 }
5180
5181 /* Add a field to a struct. */
5182
5183 static boolean
5184 ieee_struct_field (p, name, bitpos, bitsize, visibility)
5185 PTR p;
5186 const char *name;
5187 bfd_vma bitpos;
5188 bfd_vma bitsize;
5189 enum debug_visibility visibility;
5190 {
5191 struct ieee_handle *info = (struct ieee_handle *) p;
5192 unsigned int size;
5193 boolean unsignedp;
5194 boolean referencep;
5195 unsigned int indx;
5196 bfd_vma offset;
5197
5198 size = info->type_stack->type.size;
5199 unsignedp = info->type_stack->type.unsignedp;
5200 referencep = info->type_stack->type.referencep;
5201 indx = ieee_pop_type (info);
5202
5203 assert (info->type_stack != NULL && info->type_stack->type.strdef != NULL);
5204
5205 if (info->type_stack->type.classdef != NULL)
5206 {
5207 unsigned int flags;
5208 unsigned int nindx;
5209
5210 /* This is a class. We must add a description of this field to
5211 the class records we are building. */
5212
5213 flags = ieee_vis_to_flags (visibility);
5214 nindx = info->type_stack->type.classdef->indx;
5215 if (! ieee_change_buffer (info,
5216 &info->type_stack->type.classdef->pmiscbuf)
5217 || ! ieee_write_asn (info, nindx, 'd')
5218 || ! ieee_write_asn (info, nindx, flags)
5219 || ! ieee_write_atn65 (info, nindx, name)
5220 || ! ieee_write_atn65 (info, nindx, name))
5221 return false;
5222 info->type_stack->type.classdef->pmisccount += 4;
5223
5224 if (referencep)
5225 {
5226 unsigned int nindx;
5227
5228 /* We need to output a record recording that this field is
5229 really of reference type. We put this on the refs field
5230 of classdef, so that it can be appended to the C++
5231 records after the class is defined. */
5232
5233 nindx = info->name_indx;
5234 ++info->name_indx;
5235
5236 if (! ieee_change_buffer (info,
5237 &info->type_stack->type.classdef->refs)
5238 || ! ieee_write_byte (info, (int) ieee_nn_record)
5239 || ! ieee_write_number (info, nindx)
5240 || ! ieee_write_id (info, "")
5241 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
5242 || ! ieee_write_number (info, nindx)
5243 || ! ieee_write_number (info, 0)
5244 || ! ieee_write_number (info, 62)
5245 || ! ieee_write_number (info, 80)
5246 || ! ieee_write_number (info, 4)
5247 || ! ieee_write_asn (info, nindx, 'R')
5248 || ! ieee_write_asn (info, nindx, 3)
5249 || ! ieee_write_atn65 (info, nindx, info->type_stack->type.name)
5250 || ! ieee_write_atn65 (info, nindx, name))
5251 return false;
5252 }
5253 }
5254
5255 /* If the bitsize doesn't match the expected size, we need to output
5256 a bitfield type. */
5257 if (size == 0 || bitsize == size * 8)
5258 offset = bitpos / 8;
5259 else
5260 {
5261 if (! ieee_define_type (info, 0, unsignedp)
5262 || ! ieee_write_number (info, 'g')
5263 || ! ieee_write_number (info, unsignedp ? 0 : 1)
5264 || ! ieee_write_number (info, indx))
5265 return false;
5266 indx = ieee_pop_type (info);
5267 offset = bitpos;
5268 }
5269
5270 /* Switch to the struct we are building in order to output this
5271 field definition. */
5272 return (ieee_change_buffer (info, &info->type_stack->type.strdef)
5273 && ieee_write_id (info, name)
5274 && ieee_write_number (info, indx)
5275 && ieee_write_number (info, offset));
5276 }
5277
5278 /* Finish up a struct type. */
5279
5280 static boolean
5281 ieee_end_struct_type (p)
5282 PTR p;
5283 {
5284 struct ieee_handle *info = (struct ieee_handle *) p;
5285 struct ieee_buf **pb;
5286
5287 assert (info->type_stack != NULL && info->type_stack->type.strdef != NULL);
5288
5289 /* Make sure we have started the types block. */
5290 if (info->types == NULL)
5291 {
5292 if (! ieee_change_buffer (info, &info->types)
5293 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
5294 || ! ieee_write_byte (info, 1)
5295 || ! ieee_write_number (info, 0)
5296 || ! ieee_write_id (info, info->modname))
5297 return false;
5298 }
5299
5300 /* Append the struct definition to the types. */
5301 for (pb = &info->types; *pb != NULL; pb = &(*pb)->next)
5302 ;
5303 *pb = info->type_stack->type.strdef;
5304 info->type_stack->type.strdef = NULL;
5305
5306 /* Leave the struct on the type stack. */
5307
5308 return true;
5309 }
5310
5311 /* Start a class type. */
5312
5313 static boolean
5314 ieee_start_class_type (p, tag, id, structp, size, vptr, ownvptr)
5315 PTR p;
5316 const char *tag;
5317 unsigned int id;
5318 boolean structp;
5319 unsigned int size;
5320 boolean vptr;
5321 boolean ownvptr;
5322 {
5323 struct ieee_handle *info = (struct ieee_handle *) p;
5324 const char *vclass;
5325 struct ieee_buf *pmiscbuf;
5326 unsigned int indx;
5327 struct ieee_type_class *classdef;
5328
5329 /* A C++ class is output as a C++ struct along with a set of pmisc
5330 records describing the class. */
5331
5332 /* We need to have a name so that we can associate the struct and
5333 the class. */
5334 if (tag == NULL)
5335 {
5336 char *t;
5337
5338 t = (char *) xmalloc (20);
5339 sprintf (t, "__anon%u", id);
5340 tag = t;
5341 }
5342
5343 /* We can't write out the virtual table information until we have
5344 finished the class, because we don't know the virtual table size.
5345 We get the size from the largest voffset we see. */
5346 vclass = NULL;
5347 if (vptr && ! ownvptr)
5348 {
5349 vclass = info->type_stack->type.name;
5350 assert (vclass != NULL);
5351 /* We don't call ieee_pop_unused_type, since the class should
5352 get defined. */
5353 (void) ieee_pop_type (info);
5354 }
5355
5356 if (! ieee_start_struct_type (p, tag, id, structp, size))
5357 return false;
5358
5359 indx = info->name_indx;
5360 ++info->name_indx;
5361
5362 /* We write out pmisc records into the classdef field. We will
5363 write out the pmisc start after we know the number of records we
5364 need. */
5365 pmiscbuf = NULL;
5366 if (! ieee_change_buffer (info, &pmiscbuf)
5367 || ! ieee_write_asn (info, indx, 'T')
5368 || ! ieee_write_asn (info, indx, structp ? 'o' : 'u')
5369 || ! ieee_write_atn65 (info, indx, tag))
5370 return false;
5371
5372 classdef = (struct ieee_type_class *) xmalloc (sizeof *classdef);
5373 memset (classdef, 0, sizeof *classdef);
5374
5375 classdef->indx = indx;
5376 classdef->pmiscbuf = pmiscbuf;
5377 classdef->pmisccount = 3;
5378 classdef->vclass = vclass;
5379 classdef->ownvptr = ownvptr;
5380
5381 info->type_stack->type.classdef = classdef;
5382
5383 return true;
5384 }
5385
5386 /* Add a static member to a class. */
5387
5388 static boolean
5389 ieee_class_static_member (p, name, physname, visibility)
5390 PTR p;
5391 const char *name;
5392 const char *physname;
5393 enum debug_visibility visibility;
5394 {
5395 struct ieee_handle *info = (struct ieee_handle *) p;
5396 unsigned int flags;
5397 unsigned int nindx;
5398
5399 /* We don't care about the type. Hopefully there will be a call to
5400 ieee_variable declaring the physical name and the type, since
5401 that is where an IEEE consumer must get the type. */
5402 ieee_pop_unused_type (info);
5403
5404 assert (info->type_stack != NULL
5405 && info->type_stack->type.classdef != NULL);
5406
5407 flags = ieee_vis_to_flags (visibility);
5408 flags |= CXXFLAGS_STATIC;
5409
5410 nindx = info->type_stack->type.classdef->indx;
5411
5412 if (! ieee_change_buffer (info, &info->type_stack->type.classdef->pmiscbuf)
5413 || ! ieee_write_asn (info, nindx, 'd')
5414 || ! ieee_write_asn (info, nindx, flags)
5415 || ! ieee_write_atn65 (info, nindx, name)
5416 || ! ieee_write_atn65 (info, nindx, physname))
5417 return false;
5418 info->type_stack->type.classdef->pmisccount += 4;
5419
5420 return true;
5421 }
5422
5423 /* Add a base class to a class. */
5424
5425 static boolean
5426 ieee_class_baseclass (p, bitpos, virtual, visibility)
5427 PTR p;
5428 bfd_vma bitpos;
5429 boolean virtual;
5430 enum debug_visibility visibility;
5431 {
5432 struct ieee_handle *info = (struct ieee_handle *) p;
5433 const char *bname;
5434 unsigned int bindx;
5435 char *fname;
5436 unsigned int flags;
5437 unsigned int nindx;
5438
5439 assert (info->type_stack != NULL
5440 && info->type_stack->type.name != NULL
5441 && info->type_stack->next != NULL
5442 && info->type_stack->next->type.classdef != NULL
5443 && info->type_stack->next->type.strdef != NULL);
5444
5445 bname = info->type_stack->type.name;
5446 bindx = ieee_pop_type (info);
5447
5448 /* We are currently defining both a struct and a class. We must
5449 write out a field definition in the struct which holds the base
5450 class. The stabs debugging reader will create a field named
5451 _vb$CLASS for a virtual base class, so we just use that. FIXME:
5452 we should not depend upon a detail of stabs debugging. */
5453 if (virtual)
5454 {
5455 fname = (char *) xmalloc (strlen (bname) + sizeof "_vb$");
5456 sprintf (fname, "_vb$%s", bname);
5457 flags = BASEFLAGS_VIRTUAL;
5458 }
5459 else
5460 {
5461 fname = (char *) xmalloc (strlen (bname) + sizeof "_b$");
5462 sprintf (fname, "_b$%s", bname);
5463
5464 if (! ieee_change_buffer (info, &info->type_stack->type.strdef)
5465 || ! ieee_write_id (info, fname)
5466 || ! ieee_write_number (info, bindx)
5467 || ! ieee_write_number (info, bitpos / 8))
5468 return false;
5469 flags = 0;
5470 }
5471
5472 if (visibility == DEBUG_VISIBILITY_PRIVATE)
5473 flags |= BASEFLAGS_PRIVATE;
5474
5475 nindx = info->type_stack->type.classdef->indx;
5476
5477 if (! ieee_change_buffer (info, &info->type_stack->type.classdef->pmiscbuf)
5478 || ! ieee_write_asn (info, nindx, 'b')
5479 || ! ieee_write_asn (info, nindx, flags)
5480 || ! ieee_write_atn65 (info, nindx, bname)
5481 || ! ieee_write_asn (info, nindx, 0)
5482 || ! ieee_write_atn65 (info, nindx, fname))
5483 return false;
5484 info->type_stack->type.classdef->pmisccount += 5;
5485
5486 free (fname);
5487
5488 return true;
5489 }
5490
5491 /* Start building a method for a class. */
5492
5493 static boolean
5494 ieee_class_start_method (p, name)
5495 PTR p;
5496 const char *name;
5497 {
5498 struct ieee_handle *info = (struct ieee_handle *) p;
5499
5500 assert (info->type_stack != NULL
5501 && info->type_stack->type.classdef != NULL
5502 && info->type_stack->type.classdef->method == NULL);
5503
5504 info->type_stack->type.classdef->method = name;
5505
5506 return true;
5507 }
5508
5509 /* Define a new method variant, either static or not. */
5510
5511 static boolean
5512 ieee_class_method_var (info, physname, visibility, staticp, constp,
5513 volatilep, voffset, context)
5514 struct ieee_handle *info;
5515 const char *physname;
5516 enum debug_visibility visibility;
5517 boolean staticp;
5518 boolean constp;
5519 boolean volatilep;
5520 bfd_vma voffset;
5521 boolean context;
5522 {
5523 unsigned int flags;
5524 unsigned int nindx;
5525 boolean virtual;
5526
5527 /* We don't need the type of the method. An IEEE consumer which
5528 wants the type must track down the function by the physical name
5529 and get the type from that. */
5530 ieee_pop_unused_type (info);
5531
5532 /* We don't use the context. FIXME: We probably ought to use it to
5533 adjust the voffset somehow, but I don't really know how. */
5534 if (context)
5535 ieee_pop_unused_type (info);
5536
5537 assert (info->type_stack != NULL
5538 && info->type_stack->type.classdef != NULL
5539 && info->type_stack->type.classdef->method != NULL);
5540
5541 flags = ieee_vis_to_flags (visibility);
5542
5543 /* FIXME: We never set CXXFLAGS_OVERRIDE, CXXFLAGS_OPERATOR,
5544 CXXFLAGS_CTORDTOR, CXXFLAGS_CTOR, or CXXFLAGS_INLINE. */
5545
5546 if (staticp)
5547 flags |= CXXFLAGS_STATIC;
5548 if (constp)
5549 flags |= CXXFLAGS_CONST;
5550 if (volatilep)
5551 flags |= CXXFLAGS_VOLATILE;
5552
5553 nindx = info->type_stack->type.classdef->indx;
5554
5555 virtual = context || voffset > 0;
5556
5557 if (! ieee_change_buffer (info,
5558 &info->type_stack->type.classdef->pmiscbuf)
5559 || ! ieee_write_asn (info, nindx, virtual ? 'v' : 'm')
5560 || ! ieee_write_asn (info, nindx, flags)
5561 || ! ieee_write_atn65 (info, nindx,
5562 info->type_stack->type.classdef->method)
5563 || ! ieee_write_atn65 (info, nindx, physname))
5564 return false;
5565
5566 if (virtual)
5567 {
5568 if (voffset > info->type_stack->type.classdef->voffset)
5569 info->type_stack->type.classdef->voffset = voffset;
5570 if (! ieee_write_asn (info, nindx, voffset))
5571 return false;
5572 ++info->type_stack->type.classdef->pmisccount;
5573 }
5574
5575 if (! ieee_write_asn (info, nindx, 0))
5576 return false;
5577
5578 info->type_stack->type.classdef->pmisccount += 5;
5579
5580 return true;
5581 }
5582
5583 /* Define a new method variant. */
5584
5585 static boolean
5586 ieee_class_method_variant (p, physname, visibility, constp, volatilep,
5587 voffset, context)
5588 PTR p;
5589 const char *physname;
5590 enum debug_visibility visibility;
5591 boolean constp;
5592 boolean volatilep;
5593 bfd_vma voffset;
5594 boolean context;
5595 {
5596 struct ieee_handle *info = (struct ieee_handle *) p;
5597
5598 return ieee_class_method_var (info, physname, visibility, false, constp,
5599 volatilep, voffset, context);
5600 }
5601
5602 /* Define a new static method variant. */
5603
5604 static boolean
5605 ieee_class_static_method_variant (p, physname, visibility, constp, volatilep)
5606 PTR p;
5607 const char *physname;
5608 enum debug_visibility visibility;
5609 boolean constp;
5610 boolean volatilep;
5611 {
5612 struct ieee_handle *info = (struct ieee_handle *) p;
5613
5614 return ieee_class_method_var (info, physname, visibility, true, constp,
5615 volatilep, 0, false);
5616 }
5617
5618 /* Finish up a method. */
5619
5620 static boolean
5621 ieee_class_end_method (p)
5622 PTR p;
5623 {
5624 struct ieee_handle *info = (struct ieee_handle *) p;
5625
5626 assert (info->type_stack != NULL
5627 && info->type_stack->type.classdef != NULL
5628 && info->type_stack->type.classdef->method != NULL);
5629
5630 info->type_stack->type.classdef->method = NULL;
5631
5632 return true;
5633 }
5634
5635 /* Finish up a class. */
5636
5637 static boolean
5638 ieee_end_class_type (p)
5639 PTR p;
5640 {
5641 struct ieee_handle *info = (struct ieee_handle *) p;
5642 unsigned int nindx;
5643 struct ieee_buf **pb;
5644
5645 assert (info->type_stack != NULL
5646 && info->type_stack->type.classdef != NULL);
5647
5648 nindx = info->type_stack->type.classdef->indx;
5649
5650 /* If we have a virtual table, we can write out the information now. */
5651 if (info->type_stack->type.classdef->vclass != NULL
5652 || info->type_stack->type.classdef->ownvptr)
5653 {
5654 if (! ieee_change_buffer (info,
5655 &info->type_stack->type.classdef->pmiscbuf)
5656 || ! ieee_write_asn (info, nindx, 'z')
5657 || ! ieee_write_atn65 (info, nindx, "")
5658 || ! ieee_write_asn (info, nindx,
5659 info->type_stack->type.classdef->voffset))
5660 return false;
5661 if (info->type_stack->type.classdef->ownvptr)
5662 {
5663 if (! ieee_write_atn65 (info, nindx, ""))
5664 return false;
5665 }
5666 else
5667 {
5668 if (! ieee_write_atn65 (info, nindx,
5669 info->type_stack->type.classdef->vclass))
5670 return false;
5671 }
5672 if (! ieee_write_asn (info, nindx, 0))
5673 return false;
5674 info->type_stack->type.classdef->pmisccount += 5;
5675 }
5676
5677 /* Now that we know the number of pmisc records, we can write out
5678 the atn62 which starts the pmisc records, and append them to the
5679 C++ buffers. */
5680
5681 if (! ieee_change_buffer (info, &info->cxx)
5682 || ! ieee_write_byte (info, (int) ieee_nn_record)
5683 || ! ieee_write_number (info, nindx)
5684 || ! ieee_write_id (info, "")
5685 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
5686 || ! ieee_write_number (info, nindx)
5687 || ! ieee_write_number (info, 0)
5688 || ! ieee_write_number (info, 62)
5689 || ! ieee_write_number (info, 80)
5690 || ! ieee_write_number (info,
5691 info->type_stack->type.classdef->pmisccount))
5692 return false;
5693
5694 for (pb = &info->cxx; *pb != NULL; pb = &(*pb)->next)
5695 ;
5696 *pb = info->type_stack->type.classdef->pmiscbuf;
5697 if (info->type_stack->type.classdef->refs != NULL)
5698 {
5699 for (; *pb != NULL; pb = &(*pb)->next)
5700 ;
5701 *pb = info->type_stack->type.classdef->refs;
5702 }
5703
5704 return ieee_end_struct_type (p);
5705 }
5706
5707 /* Push a previously seen typedef onto the type stack. */
5708
5709 static boolean
5710 ieee_typedef_type (p, name)
5711 PTR p;
5712 const char *name;
5713 {
5714 struct ieee_handle *info = (struct ieee_handle *) p;
5715 register struct ieee_name_type *nt;
5716
5717 for (nt = info->typedefs; nt != NULL; nt = nt->next)
5718 {
5719 if (nt->type.name[0] == name[0]
5720 && strcmp (nt->type.name, name) == 0)
5721 {
5722 if (! ieee_push_type (info, nt->type.indx, nt->type.size,
5723 nt->type.unsignedp))
5724 return false;
5725 /* Copy over any other type information we may have. */
5726 info->type_stack->type = nt->type;
5727 return true;
5728 }
5729 }
5730
5731 abort ();
5732 }
5733
5734 /* Push a tagged type onto the type stack. */
5735
5736 static boolean
5737 ieee_tag_type (p, name, id, kind)
5738 PTR p;
5739 const char *name;
5740 unsigned int id;
5741 enum debug_type_kind kind;
5742 {
5743 struct ieee_handle *info = (struct ieee_handle *) p;
5744 register struct ieee_name_type *nt;
5745 char ab[20];
5746
5747 if (name == NULL)
5748 {
5749 sprintf (ab, "__anon%u", id);
5750 name = ab;
5751 }
5752
5753 for (nt = info->tags; nt != NULL; nt = nt->next)
5754 {
5755 if (nt->type.name[0] == name[0]
5756 && strcmp (nt->type.name, name) == 0)
5757 {
5758 if (! ieee_push_type (info, nt->type.indx, nt->type.size,
5759 nt->type.unsignedp))
5760 return false;
5761 /* Copy over any other type information we may have. */
5762 info->type_stack->type = nt->type;
5763 return true;
5764 }
5765 }
5766
5767 nt = (struct ieee_name_type *) xmalloc (sizeof *nt);
5768 memset (nt, 0, sizeof *nt);
5769
5770 if (name == ab)
5771 name = xstrdup (ab);
5772 nt->type.name = name;
5773 nt->type.indx = info->type_indx;
5774 ++info->type_indx;
5775 nt->kind = kind;
5776
5777 nt->next = info->tags;
5778 info->tags = nt;
5779
5780 if (! ieee_push_type (info, nt->type.indx, 0, false))
5781 return false;
5782
5783 info->type_stack->type.name = name;
5784
5785 return true;
5786 }
5787
5788 /* Output a typedef. */
5789
5790 static boolean
5791 ieee_typdef (p, name)
5792 PTR p;
5793 const char *name;
5794 {
5795 struct ieee_handle *info = (struct ieee_handle *) p;
5796 struct ieee_name_type *nt;
5797 unsigned int size;
5798 boolean unsignedp;
5799 unsigned int indx;
5800
5801 nt = (struct ieee_name_type *) xmalloc (sizeof *nt);
5802 memset (nt, 0, sizeof *nt);
5803 nt->type = info->type_stack->type;
5804 nt->type.name = name;
5805 nt->kind = DEBUG_KIND_ILLEGAL;
5806
5807 nt->next = info->typedefs;
5808 info->typedefs = nt;
5809
5810 size = info->type_stack->type.size;
5811 unsignedp = info->type_stack->type.unsignedp;
5812 indx = ieee_pop_type (info);
5813
5814 /* If this is a simple builtin type using a builtin name, we don't
5815 want to output the typedef itself. We also want to change the
5816 type index to correspond to the name being used. We recognize
5817 names used in stabs debugging output even if they don't exactly
5818 correspond to the names used for the IEEE builtin types. */
5819 if (indx <= (unsigned int) builtin_bcd_float)
5820 {
5821 boolean found;
5822
5823 found = false;
5824 switch ((enum builtin_types) indx)
5825 {
5826 default:
5827 break;
5828
5829 case builtin_void:
5830 if (strcmp (name, "void") == 0)
5831 found = true;
5832 break;
5833
5834 case builtin_signed_char:
5835 case builtin_char:
5836 if (strcmp (name, "signed char") == 0)
5837 {
5838 indx = (unsigned int) builtin_signed_char;
5839 found = true;
5840 }
5841 else if (strcmp (name, "char") == 0)
5842 {
5843 indx = (unsigned int) builtin_char;
5844 found = true;
5845 }
5846 break;
5847
5848 case builtin_unsigned_char:
5849 if (strcmp (name, "unsigned char") == 0)
5850 found = true;
5851 break;
5852
5853 case builtin_signed_short_int:
5854 case builtin_short:
5855 case builtin_short_int:
5856 case builtin_signed_short:
5857 if (strcmp (name, "signed short int") == 0)
5858 {
5859 indx = (unsigned int) builtin_signed_short_int;
5860 found = true;
5861 }
5862 else if (strcmp (name, "short") == 0)
5863 {
5864 indx = (unsigned int) builtin_short;
5865 found = true;
5866 }
5867 else if (strcmp (name, "short int") == 0)
5868 {
5869 indx = (unsigned int) builtin_short_int;
5870 found = true;
5871 }
5872 else if (strcmp (name, "signed short") == 0)
5873 {
5874 indx = (unsigned int) builtin_signed_short;
5875 found = true;
5876 }
5877 break;
5878
5879 case builtin_unsigned_short_int:
5880 case builtin_unsigned_short:
5881 if (strcmp (name, "unsigned short int") == 0
5882 || strcmp (name, "short unsigned int") == 0)
5883 {
5884 indx = builtin_unsigned_short_int;
5885 found = true;
5886 }
5887 else if (strcmp (name, "unsigned short") == 0)
5888 {
5889 indx = builtin_unsigned_short;
5890 found = true;
5891 }
5892 break;
5893
5894 case builtin_signed_long:
5895 case builtin_int: /* FIXME: Size depends upon architecture. */
5896 case builtin_long:
5897 if (strcmp (name, "signed long") == 0)
5898 {
5899 indx = builtin_signed_long;
5900 found = true;
5901 }
5902 else if (strcmp (name, "int") == 0)
5903 {
5904 indx = builtin_int;
5905 found = true;
5906 }
5907 else if (strcmp (name, "long") == 0
5908 || strcmp (name, "long int") == 0)
5909 {
5910 indx = builtin_long;
5911 found = true;
5912 }
5913 break;
5914
5915 case builtin_unsigned_long:
5916 case builtin_unsigned: /* FIXME: Size depends upon architecture. */
5917 case builtin_unsigned_int: /* FIXME: Like builtin_unsigned. */
5918 if (strcmp (name, "unsigned long") == 0
5919 || strcmp (name, "long unsigned int") == 0)
5920 {
5921 indx = builtin_unsigned_long;
5922 found = true;
5923 }
5924 else if (strcmp (name, "unsigned") == 0)
5925 {
5926 indx = builtin_unsigned;
5927 found = true;
5928 }
5929 else if (strcmp (name, "unsigned int") == 0)
5930 {
5931 indx = builtin_unsigned_int;
5932 found = true;
5933 }
5934 break;
5935
5936 case builtin_signed_long_long:
5937 if (strcmp (name, "signed long long") == 0
5938 || strcmp (name, "long long int") == 0)
5939 found = true;
5940 break;
5941
5942 case builtin_unsigned_long_long:
5943 if (strcmp (name, "unsigned long long") == 0
5944 || strcmp (name, "long long unsigned int") == 0)
5945 found = true;
5946 break;
5947
5948 case builtin_float:
5949 if (strcmp (name, "float") == 0)
5950 found = true;
5951 break;
5952
5953 case builtin_double:
5954 if (strcmp (name, "double") == 0)
5955 found = true;
5956 break;
5957
5958 case builtin_long_double:
5959 if (strcmp (name, "long double") == 0)
5960 found = true;
5961 break;
5962
5963 case builtin_long_long_double:
5964 if (strcmp (name, "long long double") == 0)
5965 found = true;
5966 break;
5967 }
5968
5969 if (found)
5970 {
5971 nt->type.indx = indx;
5972 return true;
5973 }
5974 }
5975
5976 if (! ieee_define_named_type (info, name, false, 0, size, unsignedp,
5977 (struct ieee_buf **) NULL)
5978 || ! ieee_write_number (info, 'T')
5979 || ! ieee_write_number (info, indx))
5980 return false;
5981
5982 /* Remove the type we just added to the type stack. This should not
5983 be ieee_pop_unused_type, since the type is used, we just don't
5984 need it now. */
5985 (void) ieee_pop_type (info);
5986
5987 return true;
5988 }
5989
5990 /* Output a tag for a type. We don't have to do anything here. */
5991
5992 static boolean
5993 ieee_tag (p, name)
5994 PTR p;
5995 const char *name;
5996 {
5997 struct ieee_handle *info = (struct ieee_handle *) p;
5998
5999 /* This should not be ieee_pop_unused_type, since we want the type
6000 to be defined. */
6001 (void) ieee_pop_type (info);
6002 return true;
6003 }
6004
6005 /* Output an integer constant. */
6006
6007 static boolean
6008 ieee_int_constant (p, name, val)
6009 PTR p;
6010 const char *name;
6011 bfd_vma val;
6012 {
6013 /* FIXME. */
6014 return true;
6015 }
6016
6017 /* Output a floating point constant. */
6018
6019 static boolean
6020 ieee_float_constant (p, name, val)
6021 PTR p;
6022 const char *name;
6023 double val;
6024 {
6025 /* FIXME. */
6026 return true;
6027 }
6028
6029 /* Output a typed constant. */
6030
6031 static boolean
6032 ieee_typed_constant (p, name, val)
6033 PTR p;
6034 const char *name;
6035 bfd_vma val;
6036 {
6037 struct ieee_handle *info = (struct ieee_handle *) p;
6038
6039 /* FIXME. */
6040 ieee_pop_unused_type (info);
6041 return true;
6042 }
6043
6044 /* Output a variable. */
6045
6046 static boolean
6047 ieee_variable (p, name, kind, val)
6048 PTR p;
6049 const char *name;
6050 enum debug_var_kind kind;
6051 bfd_vma val;
6052 {
6053 struct ieee_handle *info = (struct ieee_handle *) p;
6054 unsigned int name_indx;
6055 unsigned int size;
6056 boolean referencep;
6057 unsigned int type_indx;
6058 boolean asn;
6059 int refflag;
6060
6061 size = info->type_stack->type.size;
6062 referencep = info->type_stack->type.referencep;
6063 type_indx = ieee_pop_type (info);
6064
6065 /* Make sure the variable section is started. */
6066 if (info->vars != NULL)
6067 {
6068 if (! ieee_change_buffer (info, &info->vars))
6069 return false;
6070 }
6071 else
6072 {
6073 if (! ieee_change_buffer (info, &info->vars)
6074 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
6075 || ! ieee_write_byte (info, 3)
6076 || ! ieee_write_number (info, 0)
6077 || ! ieee_write_id (info, info->modname))
6078 return false;
6079 }
6080
6081 name_indx = info->name_indx;
6082 ++info->name_indx;
6083
6084 /* Write out an NN and an ATN record for this variable. */
6085 if (! ieee_write_byte (info, (int) ieee_nn_record)
6086 || ! ieee_write_number (info, name_indx)
6087 || ! ieee_write_id (info, name)
6088 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
6089 || ! ieee_write_number (info, name_indx)
6090 || ! ieee_write_number (info, type_indx))
6091 return false;
6092 switch (kind)
6093 {
6094 default:
6095 abort ();
6096 return false;
6097 case DEBUG_GLOBAL:
6098 if (! ieee_write_number (info, 8)
6099 || ! ieee_add_range (info, val, val + size))
6100 return false;
6101 refflag = 0;
6102 asn = true;
6103 break;
6104 case DEBUG_STATIC:
6105 if (! ieee_write_number (info, 3)
6106 || ! ieee_add_range (info, val, val + size))
6107 return false;
6108 refflag = 1;
6109 asn = true;
6110 break;
6111 case DEBUG_LOCAL_STATIC:
6112 if (! ieee_write_number (info, 3)
6113 || ! ieee_add_range (info, val, val + size))
6114 return false;
6115 refflag = 2;
6116 asn = true;
6117 break;
6118 case DEBUG_LOCAL:
6119 if (! ieee_write_number (info, 1)
6120 || ! ieee_write_number (info, val))
6121 return false;
6122 refflag = 2;
6123 asn = false;
6124 break;
6125 case DEBUG_REGISTER:
6126 if (! ieee_write_number (info, 2)
6127 || ! ieee_write_number (info,
6128 ieee_genreg_to_regno (info->abfd, val)))
6129 return false;
6130 refflag = 2;
6131 asn = false;
6132 break;
6133 }
6134
6135 if (asn)
6136 {
6137 if (! ieee_write_asn (info, name_indx, val))
6138 return false;
6139 }
6140
6141 /* If this is really a reference type, then we just output it with
6142 pointer type, and must now output a C++ record indicating that it
6143 is really reference type. */
6144 if (referencep)
6145 {
6146 unsigned int nindx;
6147
6148 nindx = info->name_indx;
6149 ++info->name_indx;
6150
6151 /* If this is a global variable, we want to output the misc
6152 record in the C++ misc record block. Otherwise, we want to
6153 output it just after the variable definition, which is where
6154 the current buffer is. */
6155 if (refflag != 2)
6156 {
6157 if (! ieee_change_buffer (info, &info->cxx))
6158 return false;
6159 }
6160
6161 if (! ieee_write_byte (info, (int) ieee_nn_record)
6162 || ! ieee_write_number (info, nindx)
6163 || ! ieee_write_id (info, "")
6164 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
6165 || ! ieee_write_number (info, nindx)
6166 || ! ieee_write_number (info, 0)
6167 || ! ieee_write_number (info, 62)
6168 || ! ieee_write_number (info, 80)
6169 || ! ieee_write_number (info, 3)
6170 || ! ieee_write_asn (info, nindx, 'R')
6171 || ! ieee_write_asn (info, nindx, refflag)
6172 || ! ieee_write_atn65 (info, nindx, name))
6173 return false;
6174 }
6175
6176 return true;
6177 }
6178
6179 /* Start outputting information for a function. */
6180
6181 static boolean
6182 ieee_start_function (p, name, global)
6183 PTR p;
6184 const char *name;
6185 boolean global;
6186 {
6187 struct ieee_handle *info = (struct ieee_handle *) p;
6188 boolean referencep;
6189 unsigned int retindx, typeindx;
6190
6191 referencep = info->type_stack->type.referencep;
6192 retindx = ieee_pop_type (info);
6193
6194 /* Besides recording a BB4 or BB6 block, we record the type of the
6195 function in the BB1 typedef block. We can't write out the full
6196 type until we have seen all the parameters, so we accumulate it
6197 in info->fntype and info->fnargs. */
6198 if (info->fntype != NULL)
6199 {
6200 /* FIXME: This might happen someday if we support nested
6201 functions. */
6202 abort ();
6203 }
6204
6205 info->fnname = name;
6206
6207 /* An attribute of 0x41 means that the frame and push mask are
6208 unknown. */
6209 if (! ieee_define_named_type (info, name, false, 0, 0, false, &info->fntype)
6210 || ! ieee_write_number (info, 'x')
6211 || ! ieee_write_number (info, 0x41)
6212 || ! ieee_write_number (info, 0)
6213 || ! ieee_write_number (info, 0)
6214 || ! ieee_write_number (info, retindx))
6215 return false;
6216
6217 typeindx = ieee_pop_type (info);
6218
6219 info->fnargs = NULL;
6220 info->fnargcount = 0;
6221
6222 /* If the function return value is actually a reference type, we
6223 must add a record indicating that. */
6224 if (referencep)
6225 {
6226 unsigned int nindx;
6227
6228 nindx = info->name_indx;
6229 ++info->name_indx;
6230 if (! ieee_change_buffer (info, &info->cxx)
6231 || ! ieee_write_byte (info, (int) ieee_nn_record)
6232 || ! ieee_write_number (info, nindx)
6233 || ! ieee_write_id (info, "")
6234 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
6235 || ! ieee_write_number (info, nindx)
6236 || ! ieee_write_number (info, 0)
6237 || ! ieee_write_number (info, 62)
6238 || ! ieee_write_number (info, 80)
6239 || ! ieee_write_number (info, 3)
6240 || ! ieee_write_asn (info, nindx, 'R')
6241 || ! ieee_write_asn (info, nindx, global ? 0 : 1)
6242 || ! ieee_write_atn65 (info, nindx, name))
6243 return false;
6244 }
6245
6246 /* Make sure the variable section is started. */
6247 if (info->vars != NULL)
6248 {
6249 if (! ieee_change_buffer (info, &info->vars))
6250 return false;
6251 }
6252 else
6253 {
6254 if (! ieee_change_buffer (info, &info->vars)
6255 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
6256 || ! ieee_write_byte (info, 3)
6257 || ! ieee_write_number (info, 0)
6258 || ! ieee_write_id (info, info->modname))
6259 return false;
6260 }
6261
6262 /* The address is written out as the first block. */
6263
6264 ++info->block_depth;
6265
6266 return (ieee_write_byte (info, (int) ieee_bb_record_enum)
6267 && ieee_write_byte (info, global ? 4 : 6)
6268 && ieee_write_number (info, 0)
6269 && ieee_write_id (info, name)
6270 && ieee_write_number (info, 0)
6271 && ieee_write_number (info, typeindx));
6272 }
6273
6274 /* Add a function parameter. This will normally be called before the
6275 first block, so we postpone them until we see the block. */
6276
6277 static boolean
6278 ieee_function_parameter (p, name, kind, val)
6279 PTR p;
6280 const char *name;
6281 enum debug_parm_kind kind;
6282 bfd_vma val;
6283 {
6284 struct ieee_handle *info = (struct ieee_handle *) p;
6285 struct ieee_pending_parm *m, **pm;
6286
6287 assert (info->block_depth == 1);
6288
6289 m = (struct ieee_pending_parm *) xmalloc (sizeof *m);
6290 memset (m, 0, sizeof *m);
6291
6292 m->next = NULL;
6293 m->name = name;
6294 m->referencep = info->type_stack->type.referencep;
6295 m->type = ieee_pop_type (info);
6296 m->kind = kind;
6297 m->val = val;
6298
6299 for (pm = &info->pending_parms; *pm != NULL; pm = &(*pm)->next)
6300 ;
6301 *pm = m;
6302
6303 /* Add the type to the fnargs list. */
6304 if (! ieee_change_buffer (info, &info->fnargs)
6305 || ! ieee_write_number (info, m->type))
6306 return false;
6307 ++info->fnargcount;
6308
6309 return true;
6310 }
6311
6312 /* Output pending function parameters. */
6313
6314 static boolean
6315 ieee_output_pending_parms (info)
6316 struct ieee_handle *info;
6317 {
6318 struct ieee_pending_parm *m;
6319 unsigned int refcount;
6320
6321 refcount = 0;
6322 for (m = info->pending_parms; m != NULL; m = m->next)
6323 {
6324 enum debug_var_kind vkind;
6325
6326 switch (m->kind)
6327 {
6328 default:
6329 abort ();
6330 return false;
6331 case DEBUG_PARM_STACK:
6332 case DEBUG_PARM_REFERENCE:
6333 vkind = DEBUG_LOCAL;
6334 break;
6335 case DEBUG_PARM_REG:
6336 case DEBUG_PARM_REF_REG:
6337 vkind = DEBUG_REGISTER;
6338 break;
6339 }
6340
6341 if (! ieee_push_type (info, m->type, 0, false))
6342 return false;
6343 info->type_stack->type.referencep = m->referencep;
6344 if (m->referencep)
6345 ++refcount;
6346 if (! ieee_variable ((PTR) info, m->name, vkind, m->val))
6347 return false;
6348 }
6349
6350 /* If there are any reference parameters, we need to output a
6351 miscellaneous record indicating them. */
6352 if (refcount > 0)
6353 {
6354 unsigned int nindx, varindx;
6355
6356 /* FIXME: The MRI compiler outputs the demangled function name
6357 here, but we are outputting the mangled name. */
6358 nindx = info->name_indx;
6359 ++info->name_indx;
6360 if (! ieee_change_buffer (info, &info->vars)
6361 || ! ieee_write_byte (info, (int) ieee_nn_record)
6362 || ! ieee_write_number (info, nindx)
6363 || ! ieee_write_id (info, "")
6364 || ! ieee_write_2bytes (info, (int) ieee_atn_record_enum)
6365 || ! ieee_write_number (info, nindx)
6366 || ! ieee_write_number (info, 0)
6367 || ! ieee_write_number (info, 62)
6368 || ! ieee_write_number (info, 80)
6369 || ! ieee_write_number (info, refcount + 3)
6370 || ! ieee_write_asn (info, nindx, 'B')
6371 || ! ieee_write_atn65 (info, nindx, info->fnname)
6372 || ! ieee_write_asn (info, nindx, 0))
6373 return false;
6374 for (m = info->pending_parms, varindx = 1;
6375 m != NULL;
6376 m = m->next, varindx++)
6377 {
6378 if (m->referencep)
6379 {
6380 if (! ieee_write_asn (info, nindx, varindx))
6381 return false;
6382 }
6383 }
6384 }
6385
6386 m = info->pending_parms;
6387 while (m != NULL)
6388 {
6389 struct ieee_pending_parm *next;
6390
6391 next = m->next;
6392 free (m);
6393 m = next;
6394 }
6395
6396 info->pending_parms = NULL;
6397
6398 return true;
6399 }
6400
6401 /* Start a block. If this is the first block, we output the address
6402 to finish the BB4 or BB6, and then output the function parameters. */
6403
6404 static boolean
6405 ieee_start_block (p, addr)
6406 PTR p;
6407 bfd_vma addr;
6408 {
6409 struct ieee_handle *info = (struct ieee_handle *) p;
6410
6411 if (! ieee_change_buffer (info, &info->vars))
6412 return false;
6413
6414 if (info->block_depth == 1)
6415 {
6416 if (! ieee_write_number (info, addr)
6417 || ! ieee_output_pending_parms (info))
6418 return false;
6419 }
6420 else
6421 {
6422 if (! ieee_write_byte (info, (int) ieee_bb_record_enum)
6423 || ! ieee_write_byte (info, 6)
6424 || ! ieee_write_number (info, 0)
6425 || ! ieee_write_id (info, "")
6426 || ! ieee_write_number (info, 0)
6427 || ! ieee_write_number (info, 0)
6428 || ! ieee_write_number (info, addr))
6429 return false;
6430 }
6431
6432 if (! ieee_start_range (info, addr))
6433 return false;
6434
6435 ++info->block_depth;
6436
6437 return true;
6438 }
6439
6440 /* End a block. */
6441
6442 static boolean
6443 ieee_end_block (p, addr)
6444 PTR p;
6445 bfd_vma addr;
6446 {
6447 struct ieee_handle *info = (struct ieee_handle *) p;
6448
6449 if (! ieee_change_buffer (info, &info->vars)
6450 || ! ieee_write_byte (info, (int) ieee_be_record_enum)
6451 || ! ieee_write_number (info, addr))
6452 return false;
6453
6454 if (! ieee_end_range (info, addr))
6455 return false;
6456
6457 --info->block_depth;
6458
6459 if (addr > info->highaddr)
6460 info->highaddr = addr;
6461
6462 return true;
6463 }
6464
6465 /* End a function. */
6466
6467 static boolean
6468 ieee_end_function (p)
6469 PTR p;
6470 {
6471 struct ieee_handle *info = (struct ieee_handle *) p;
6472 struct ieee_buf **pb;
6473
6474 assert (info->block_depth == 1);
6475
6476 --info->block_depth;
6477
6478 /* Now we can finish up fntype, and add it to the typdef section.
6479 At this point, fntype is the 'x' type up to the argument count,
6480 and fnargs is the argument types. We must add the argument
6481 count, and we must add the level. FIXME: We don't record varargs
6482 functions correctly. In fact, stabs debugging does not give us
6483 enough information to do so. */
6484 if (! ieee_change_buffer (info, &info->fntype)
6485 || ! ieee_write_number (info, info->fnargcount)
6486 || ! ieee_change_buffer (info, &info->fnargs)
6487 || ! ieee_write_number (info, 0))
6488 return false;
6489
6490 /* Make sure the typdef block has been started. */
6491 if (info->types == NULL)
6492 {
6493 if (! ieee_change_buffer (info, &info->types)
6494 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
6495 || ! ieee_write_byte (info, 1)
6496 || ! ieee_write_number (info, 0)
6497 || ! ieee_write_id (info, info->modname))
6498 return false;
6499 }
6500
6501 for (pb = &info->types; *pb != NULL; pb = &(*pb)->next)
6502 ;
6503 *pb = info->fntype;
6504 for (; *pb != NULL; pb = &(*pb)->next)
6505 ;
6506 *pb = info->fnargs;
6507
6508 info->fnname = NULL;
6509 info->fntype = NULL;
6510 info->fnargs = NULL;
6511 info->fnargcount = 0;
6512
6513 return true;
6514 }
6515
6516 /* Record line number information. */
6517
6518 static boolean
6519 ieee_lineno (p, filename, lineno, addr)
6520 PTR p;
6521 const char *filename;
6522 unsigned long lineno;
6523 bfd_vma addr;
6524 {
6525 struct ieee_handle *info = (struct ieee_handle *) p;
6526
6527 assert (info->filename != NULL);
6528
6529 /* Make sure we have a line number block. */
6530 if (info->linenos != NULL)
6531 {
6532 if (! ieee_change_buffer (info, &info->linenos))
6533 return false;
6534 }
6535 else
6536 {
6537 info->lineno_name_indx = info->name_indx;
6538 ++info->name_indx;
6539 if (! ieee_change_buffer (info, &info->linenos)
6540 || ! ieee_write_byte (info, (int) ieee_bb_record_enum)
6541 || ! ieee_write_byte (info, 5)
6542 || ! ieee_write_number (info, 0)
6543 || ! ieee_write_id (info, info->filename)
6544 || ! ieee_write_byte (info, (int) ieee_nn_record)
6545 || ! ieee_write_number (info, info->lineno_name_indx)
6546 || ! ieee_write_id (info, ""))
6547 return false;
6548 info->lineno_filename = info->filename;
6549 }
6550
6551 if (strcmp (filename, info->lineno_filename) != 0)
6552 {
6553 if (strcmp (info->filename, info->lineno_filename) != 0)
6554 {
6555 /* We were not in the main file. Close the block for the
6556 included file. */
6557 if (! ieee_write_byte (info, (int) ieee_be_record_enum))
6558 return false;
6559 }
6560 if (strcmp (info->filename, filename) != 0)
6561 {
6562 /* We are not changing to the main file. Open a block for
6563 the new included file. */
6564 if (! ieee_write_byte (info, (int) ieee_bb_record_enum)
6565 || ! ieee_write_byte (info, 5)
6566 || ! ieee_write_number (info, 0)
6567 || ! ieee_write_id (info, filename))
6568 return false;
6569 }
6570 info->lineno_filename = filename;
6571 }
6572
6573 return (ieee_write_2bytes (info, (int) ieee_atn_record_enum)
6574 && ieee_write_number (info, info->lineno_name_indx)
6575 && ieee_write_number (info, 0)
6576 && ieee_write_number (info, 7)
6577 && ieee_write_number (info, lineno)
6578 && ieee_write_number (info, 0)
6579 && ieee_write_asn (info, info->lineno_name_indx, addr));
6580 }