1 /* stabs.c -- Parse COFF debugging information
2 Copyright (C) 1996, 1998, 1999 Free Software Foundation, Inc.
3 Written by Ian Lance Taylor <ian@cygnus.com>.
5 This file is part of GNU Binutils.
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.
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.
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
22 /* This file contains code which parses COFF debugging information. */
25 #include "coff/internal.h"
27 #include "libiberty.h"
32 /* FIXME: We should not need this BFD internal file. We need it for
33 the N_BTMASK, etc., values. */
36 /* These macros extract the right mask and shifts for this BFD. They
37 assume that there is a local variable named ABFD. This is so that
38 macros like ISFCN and DECREF, from coff/internal.h, will work
39 without modification. */
40 #define N_BTMASK (coff_data (abfd)->local_n_btmask)
41 #define N_BTSHFT (coff_data (abfd)->local_n_btshft)
42 #define N_TMASK (coff_data (abfd)->local_n_tmask)
43 #define N_TSHIFT (coff_data (abfd)->local_n_tshift)
45 /* This structure is used to hold the symbols, as well as the current
46 location within the symbols. */
52 /* The number of symbols. */
54 /* The index of the current symbol. */
56 /* The index of the current symbol in the COFF symbol table (where
57 each auxent counts as a symbol). */
61 /* The largest basic type we are prepared to handle. */
63 #define T_MAX (T_LNGDBL)
65 /* This structure is used to hold slots. */
69 /* Next set of slots. */
70 struct coff_slots
*next
;
72 #define COFF_SLOTS (16)
73 debug_type slots
[COFF_SLOTS
];
76 /* This structure is used to map symbol indices to types. */
81 struct coff_slots
*slots
;
83 debug_type basic
[T_MAX
+ 1];
86 static debug_type
*coff_get_slot
PARAMS ((struct coff_types
*, int));
87 static debug_type parse_coff_type
88 PARAMS ((bfd
*, struct coff_symbols
*, struct coff_types
*, long, int,
89 union internal_auxent
*, boolean
, PTR
));
90 static debug_type parse_coff_base_type
91 PARAMS ((bfd
*, struct coff_symbols
*, struct coff_types
*, long, int,
92 union internal_auxent
*, PTR
));
93 static debug_type parse_coff_struct_type
94 PARAMS ((bfd
*, struct coff_symbols
*, struct coff_types
*, int,
95 union internal_auxent
*, PTR
));
96 static debug_type parse_coff_enum_type
97 PARAMS ((bfd
*, struct coff_symbols
*, struct coff_types
*,
98 union internal_auxent
*, PTR
));
99 static boolean parse_coff_symbol
100 PARAMS ((bfd
*, struct coff_types
*, asymbol
*, long,
101 struct internal_syment
*, PTR
, debug_type
, boolean
));
103 /* Return the slot for a type. */
106 coff_get_slot (types
, indx
)
107 struct coff_types
*types
;
110 struct coff_slots
**pps
;
114 while (indx
>= COFF_SLOTS
)
118 *pps
= (struct coff_slots
*) xmalloc (sizeof **pps
);
119 memset (*pps
, 0, sizeof **pps
);
127 *pps
= (struct coff_slots
*) xmalloc (sizeof **pps
);
128 memset (*pps
, 0, sizeof **pps
);
131 return (*pps
)->slots
+ indx
;
134 /* Parse a COFF type code in NTYPE. */
137 parse_coff_type (abfd
, symbols
, types
, coff_symno
, ntype
, pauxent
, useaux
,
140 struct coff_symbols
*symbols
;
141 struct coff_types
*types
;
144 union internal_auxent
*pauxent
;
150 if ((ntype
& ~N_BTMASK
) != 0)
154 newtype
= DECREF (ntype
);
158 type
= parse_coff_type (abfd
, symbols
, types
, coff_symno
, newtype
,
159 pauxent
, useaux
, dhandle
);
160 type
= debug_make_pointer_type (dhandle
, type
);
162 else if (ISFCN (ntype
))
164 type
= parse_coff_type (abfd
, symbols
, types
, coff_symno
, newtype
,
165 pauxent
, useaux
, dhandle
);
166 type
= debug_make_function_type (dhandle
, type
, (debug_type
*) NULL
,
169 else if (ISARY (ntype
))
180 /* FIXME: If pauxent->x_sym.x_tagndx.l == 0, gdb sets
181 the c_naux field of the syment to 0. */
183 /* Move the dimensions down, so that the next array
184 picks up the next one. */
185 dim
= pauxent
->x_sym
.x_fcnary
.x_ary
.x_dimen
;
187 for (i
= 0; *dim
!= 0 && i
< DIMNUM
- 1; i
++, dim
++)
192 type
= parse_coff_type (abfd
, symbols
, types
, coff_symno
, newtype
,
193 pauxent
, false, dhandle
);
194 type
= debug_make_array_type (dhandle
, type
,
195 parse_coff_base_type (abfd
, symbols
,
204 fprintf (stderr
, _("%s: parse_coff_type: Bad type code 0x%x\n"),
205 program_name
, ntype
);
206 return DEBUG_TYPE_NULL
;
212 if (pauxent
!= NULL
&& pauxent
->x_sym
.x_tagndx
.l
> 0)
216 /* This is a reference to an existing type. FIXME: gdb checks
217 that the class is not C_STRTAG, nor C_UNTAG, nor C_ENTAG. */
218 slot
= coff_get_slot (types
, pauxent
->x_sym
.x_tagndx
.l
);
219 if (*slot
!= DEBUG_TYPE_NULL
)
222 return debug_make_indirect_type (dhandle
, slot
, (const char *) NULL
);
225 /* If the aux entry has already been used for something, useaux will
226 have been set to false, indicating that parse_coff_base_type
227 should not use it. We need to do it this way, rather than simply
228 passing pauxent as NULL, because we need to be able handle
229 multiple array dimensions while still discarding pauxent after
230 having handled all of them. */
234 return parse_coff_base_type (abfd
, symbols
, types
, coff_symno
, ntype
,
238 /* Parse a basic COFF type in NTYPE. */
241 parse_coff_base_type (abfd
, symbols
, types
, coff_symno
, ntype
, pauxent
,
244 struct coff_symbols
*symbols
;
245 struct coff_types
*types
;
248 union internal_auxent
*pauxent
;
258 && types
->basic
[ntype
] != DEBUG_TYPE_NULL
)
259 return types
->basic
[ntype
];
267 ret
= debug_make_void_type (dhandle
);
272 ret
= debug_make_void_type (dhandle
);
277 ret
= debug_make_int_type (dhandle
, 1, false);
282 ret
= debug_make_int_type (dhandle
, 2, false);
287 /* FIXME: Perhaps the size should depend upon the architecture. */
288 ret
= debug_make_int_type (dhandle
, 4, false);
293 ret
= debug_make_int_type (dhandle
, 4, false);
298 ret
= debug_make_float_type (dhandle
, 4);
303 ret
= debug_make_float_type (dhandle
, 8);
308 ret
= debug_make_float_type (dhandle
, 12);
309 name
= "long double";
313 ret
= debug_make_int_type (dhandle
, 1, true);
314 name
= "unsigned char";
318 ret
= debug_make_int_type (dhandle
, 2, true);
319 name
= "unsigned short";
323 ret
= debug_make_int_type (dhandle
, 4, true);
324 name
= "unsigned int";
328 ret
= debug_make_int_type (dhandle
, 4, true);
329 name
= "unsigned long";
334 ret
= debug_make_struct_type (dhandle
, true, 0,
335 (debug_field
*) NULL
);
337 ret
= parse_coff_struct_type (abfd
, symbols
, types
, ntype
, pauxent
,
340 slot
= coff_get_slot (types
, coff_symno
);
348 ret
= debug_make_struct_type (dhandle
, false, 0, (debug_field
*) NULL
);
350 ret
= parse_coff_struct_type (abfd
, symbols
, types
, ntype
, pauxent
,
353 slot
= coff_get_slot (types
, coff_symno
);
361 ret
= debug_make_enum_type (dhandle
, (const char **) NULL
,
362 (bfd_signed_vma
*) NULL
);
364 ret
= parse_coff_enum_type (abfd
, symbols
, types
, pauxent
, dhandle
);
366 slot
= coff_get_slot (types
, coff_symno
);
374 ret
= debug_name_type (dhandle
, name
, ret
);
379 types
->basic
[ntype
] = ret
;
384 /* Parse a struct type. */
387 parse_coff_struct_type (abfd
, symbols
, types
, ntype
, pauxent
, dhandle
)
389 struct coff_symbols
*symbols
;
390 struct coff_types
*types
;
392 union internal_auxent
*pauxent
;
401 symend
= pauxent
->x_sym
.x_fcnary
.x_fcn
.x_endndx
.l
;
404 fields
= (debug_field
*) xmalloc (alloc
* sizeof *fields
);
409 && symbols
->coff_symno
< symend
410 && symbols
->symno
< symbols
->symcount
)
413 long this_coff_symno
;
414 struct internal_syment syment
;
415 union internal_auxent auxent
;
416 union internal_auxent
*psubaux
;
417 bfd_vma bitpos
= 0, bitsize
= 0;
419 sym
= symbols
->syms
[symbols
->symno
];
421 if (! bfd_coff_get_syment (abfd
, sym
, &syment
))
423 fprintf (stderr
, _("%s: bfd_coff_get_syment failed: %s\n"),
424 program_name
, bfd_errmsg (bfd_get_error ()));
425 return DEBUG_TYPE_NULL
;
428 this_coff_symno
= symbols
->coff_symno
;
431 symbols
->coff_symno
+= 1 + syment
.n_numaux
;
433 if (syment
.n_numaux
== 0)
437 if (! bfd_coff_get_auxent (abfd
, sym
, 0, &auxent
))
439 fprintf (stderr
, _("%s: bfd_coff_get_auxent failed: %s\n"),
440 program_name
, bfd_errmsg (bfd_get_error ()));
441 return DEBUG_TYPE_NULL
;
446 switch (syment
.n_sclass
)
450 bitpos
= 8 * bfd_asymbol_value (sym
);
455 bitpos
= bfd_asymbol_value (sym
);
456 bitsize
= auxent
.x_sym
.x_misc
.x_lnsz
.x_size
;
469 ftype
= parse_coff_type (abfd
, symbols
, types
, this_coff_symno
,
470 syment
.n_type
, psubaux
, true, dhandle
);
471 f
= debug_make_field (dhandle
, bfd_asymbol_name (sym
), ftype
,
472 bitpos
, bitsize
, DEBUG_VISIBILITY_PUBLIC
);
473 if (f
== DEBUG_FIELD_NULL
)
474 return DEBUG_TYPE_NULL
;
476 if (count
+ 1 >= alloc
)
479 fields
= ((debug_field
*)
480 xrealloc (fields
, alloc
* sizeof *fields
));
488 fields
[count
] = DEBUG_FIELD_NULL
;
490 return debug_make_struct_type (dhandle
, ntype
== T_STRUCT
,
491 pauxent
->x_sym
.x_misc
.x_lnsz
.x_size
,
495 /* Parse an enum type. */
498 parse_coff_enum_type (abfd
, symbols
, types
, pauxent
, dhandle
)
500 struct coff_symbols
*symbols
;
501 struct coff_types
*types ATTRIBUTE_UNUSED
;
502 union internal_auxent
*pauxent
;
508 bfd_signed_vma
*vals
;
512 symend
= pauxent
->x_sym
.x_fcnary
.x_fcn
.x_endndx
.l
;
515 names
= (const char **) xmalloc (alloc
* sizeof *names
);
516 vals
= (bfd_signed_vma
*) xmalloc (alloc
* sizeof *vals
);
521 && symbols
->coff_symno
< symend
522 && symbols
->symno
< symbols
->symcount
)
525 struct internal_syment syment
;
527 sym
= symbols
->syms
[symbols
->symno
];
529 if (! bfd_coff_get_syment (abfd
, sym
, &syment
))
531 fprintf (stderr
, _("%s: bfd_coff_get_syment failed: %s\n"),
532 program_name
, bfd_errmsg (bfd_get_error ()));
533 return DEBUG_TYPE_NULL
;
537 symbols
->coff_symno
+= 1 + syment
.n_numaux
;
539 switch (syment
.n_sclass
)
542 if (count
+ 1 >= alloc
)
545 names
= ((const char **)
546 xrealloc (names
, alloc
* sizeof *names
));
547 vals
= ((bfd_signed_vma
*)
548 xrealloc (vals
, alloc
* sizeof *vals
));
551 names
[count
] = bfd_asymbol_name (sym
);
552 vals
[count
] = bfd_asymbol_value (sym
);
564 return debug_make_enum_type (dhandle
, names
, vals
);
567 /* Handle a single COFF symbol. */
570 parse_coff_symbol (abfd
, types
, sym
, coff_symno
, psyment
, dhandle
, type
,
572 bfd
*abfd ATTRIBUTE_UNUSED
;
573 struct coff_types
*types
;
576 struct internal_syment
*psyment
;
579 boolean within_function
;
581 switch (psyment
->n_sclass
)
587 if (! debug_record_variable (dhandle
, bfd_asymbol_name (sym
), type
,
588 DEBUG_LOCAL
, bfd_asymbol_value (sym
)))
593 if (! debug_record_variable (dhandle
, bfd_asymbol_name (sym
), type
,
594 DEBUG_GLOBAL
, bfd_asymbol_value (sym
)))
599 if (! debug_record_variable (dhandle
, bfd_asymbol_name (sym
), type
,
603 bfd_asymbol_value (sym
)))
608 /* FIXME: We may need to convert the register number. */
609 if (! debug_record_variable (dhandle
, bfd_asymbol_name (sym
), type
,
610 DEBUG_REGISTER
, bfd_asymbol_value (sym
)))
618 if (! debug_record_parameter (dhandle
, bfd_asymbol_name (sym
), type
,
619 DEBUG_PARM_STACK
, bfd_asymbol_value (sym
)))
624 /* FIXME: We may need to convert the register number. */
625 if (! debug_record_parameter (dhandle
, bfd_asymbol_name (sym
), type
,
626 DEBUG_PARM_REG
, bfd_asymbol_value (sym
)))
631 type
= debug_name_type (dhandle
, bfd_asymbol_name (sym
), type
);
632 if (type
== DEBUG_TYPE_NULL
)
642 type
= debug_tag_type (dhandle
, bfd_asymbol_name (sym
), type
);
643 if (type
== DEBUG_TYPE_NULL
)
646 /* Store the named type into the slot, so that references get
648 slot
= coff_get_slot (types
, coff_symno
);
660 /* This is the main routine. It looks through all the symbols and
664 parse_coff (abfd
, syms
, symcount
, dhandle
)
670 struct coff_symbols symbols
;
671 struct coff_types types
;
679 boolean within_function
;
680 long this_coff_symno
;
683 symbols
.symcount
= symcount
;
685 symbols
.coff_symno
= 0;
688 for (i
= 0; i
<= T_MAX
; i
++)
689 types
.basic
[i
] = DEBUG_TYPE_NULL
;
697 within_function
= false;
699 while (symbols
.symno
< symcount
)
703 struct internal_syment syment
;
704 union internal_auxent auxent
;
705 union internal_auxent
*paux
;
708 sym
= syms
[symbols
.symno
];
710 if (! bfd_coff_get_syment (abfd
, sym
, &syment
))
712 fprintf (stderr
, _("%s: bfd_coff_get_syment failed: %s\n"),
713 program_name
, bfd_errmsg (bfd_get_error ()));
717 name
= bfd_asymbol_name (sym
);
719 this_coff_symno
= symbols
.coff_symno
;
722 symbols
.coff_symno
+= 1 + syment
.n_numaux
;
724 /* We only worry about the first auxent, because that is the
725 only one which is relevant for debugging information. */
726 if (syment
.n_numaux
== 0)
730 if (! bfd_coff_get_auxent (abfd
, sym
, 0, &auxent
))
732 fprintf (stderr
, _("%s: bfd_coff_get_auxent failed: %s\n"),
733 program_name
, bfd_errmsg (bfd_get_error ()));
739 if (this_coff_symno
== next_c_file
&& syment
.n_sclass
!= C_FILE
)
741 /* The last C_FILE symbol points to the first external
743 if (! debug_set_filename (dhandle
, "*globals*"))
747 switch (syment
.n_sclass
)
756 /* Just ignore these classes. */
760 next_c_file
= syment
.n_value
;
761 if (! debug_set_filename (dhandle
, name
))
766 /* Ignore static symbols with a type of T_NULL. These
767 represent section entries. */
768 if (syment
.n_type
== T_NULL
)
772 if (ISFCN (syment
.n_type
))
775 fnclass
= syment
.n_sclass
;
776 fntype
= syment
.n_type
;
777 if (syment
.n_numaux
> 0)
778 fnend
= bfd_asymbol_value (sym
) + auxent
.x_sym
.x_misc
.x_fsize
;
781 linenos
= BFD_SEND (abfd
, _get_lineno
, (abfd
, sym
));
784 type
= parse_coff_type (abfd
, &symbols
, &types
, this_coff_symno
,
785 syment
.n_type
, paux
, true, dhandle
);
786 if (type
== DEBUG_TYPE_NULL
)
788 if (! parse_coff_symbol (abfd
, &types
, sym
, this_coff_symno
, &syment
,
789 dhandle
, type
, within_function
))
794 if (strcmp (name
, ".bf") == 0)
798 fprintf (stderr
, _("%s: %ld: .bf without preceding function\n"),
799 program_name
, this_coff_symno
);
803 type
= parse_coff_type (abfd
, &symbols
, &types
, this_coff_symno
,
804 DECREF (fntype
), paux
, false, dhandle
);
805 if (type
== DEBUG_TYPE_NULL
)
808 if (! debug_record_function (dhandle
, fnname
, type
,
810 bfd_asymbol_value (sym
)))
818 if (syment
.n_numaux
== 0)
821 base
= auxent
.x_sym
.x_misc
.x_lnsz
.x_lnno
- 1;
823 addr
= bfd_get_section_vma (abfd
, bfd_get_section (sym
));
827 while (linenos
->line_number
!= 0)
829 if (! debug_record_line (dhandle
,
830 linenos
->line_number
+ base
,
831 linenos
->u
.offset
+ addr
))
842 within_function
= true;
844 else if (strcmp (name
, ".ef") == 0)
846 if (! within_function
)
848 fprintf (stderr
, _("%s: %ld: unexpected .ef\n"),
849 program_name
, this_coff_symno
);
853 if (bfd_asymbol_value (sym
) > fnend
)
854 fnend
= bfd_asymbol_value (sym
);
855 if (! debug_end_function (dhandle
, fnend
))
859 within_function
= false;
864 if (strcmp (name
, ".bb") == 0)
866 if (! debug_start_block (dhandle
, bfd_asymbol_value (sym
)))
869 else if (strcmp (name
, ".eb") == 0)
871 if (! debug_end_block (dhandle
, bfd_asymbol_value (sym
)))
877 type
= parse_coff_type (abfd
, &symbols
, &types
, this_coff_symno
,
878 syment
.n_type
, paux
, true, dhandle
);
879 if (type
== DEBUG_TYPE_NULL
)
881 if (! parse_coff_symbol (abfd
, &types
, sym
, this_coff_symno
, &syment
,
882 dhandle
, type
, within_function
))