]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gdb/dwarfread.c
* dwarfread.c (read_func_scope): Avoid GDB core dumps if
[thirdparty/binutils-gdb.git] / gdb / dwarfread.c
1 /* DWARF debugging format support for GDB.
2 Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996
3 Free Software Foundation, Inc.
4 Written by Fred Fish at Cygnus Support. Portions based on dbxread.c,
5 mipsread.c, coffread.c, and dwarfread.c from a Data General SVR4 gdb port.
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2 of the License, or
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
22
23 /*
24
25 FIXME: Do we need to generate dependencies in partial symtabs?
26 (Perhaps we don't need to).
27
28 FIXME: Resolve minor differences between what information we put in the
29 partial symbol table and what dbxread puts in. For example, we don't yet
30 put enum constants there. And dbxread seems to invent a lot of typedefs
31 we never see. Use the new printpsym command to see the partial symbol table
32 contents.
33
34 FIXME: Figure out a better way to tell gdb about the name of the function
35 contain the user's entry point (I.E. main())
36
37 FIXME: See other FIXME's and "ifdef 0" scattered throughout the code for
38 other things to work on, if you get bored. :-)
39
40 */
41
42 #include "defs.h"
43 #include "symtab.h"
44 #include "gdbtypes.h"
45 #include "symfile.h"
46 #include "objfiles.h"
47 #include "elf/dwarf.h"
48 #include "buildsym.h"
49 #include "demangle.h"
50 #include "expression.h" /* Needed for enum exp_opcode in language.h, sigh... */
51 #include "language.h"
52 #include "complaints.h"
53
54 #include <fcntl.h>
55 #include "gdb_string.h"
56
57 #ifndef NO_SYS_FILE
58 #include <sys/file.h>
59 #endif
60
61 /* Some macros to provide DIE info for complaints. */
62
63 #define DIE_ID (curdie!=NULL ? curdie->die_ref : 0)
64 #define DIE_NAME (curdie!=NULL && curdie->at_name!=NULL) ? curdie->at_name : ""
65
66 /* Complaints that can be issued during DWARF debug info reading. */
67
68 struct complaint no_bfd_get_N =
69 {
70 "DIE @ 0x%x \"%s\", no bfd support for %d byte data object", 0, 0
71 };
72
73 struct complaint malformed_die =
74 {
75 "DIE @ 0x%x \"%s\", malformed DIE, bad length (%d bytes)", 0, 0
76 };
77
78 struct complaint bad_die_ref =
79 {
80 "DIE @ 0x%x \"%s\", reference to DIE (0x%x) outside compilation unit", 0, 0
81 };
82
83 struct complaint unknown_attribute_form =
84 {
85 "DIE @ 0x%x \"%s\", unknown attribute form (0x%x)", 0, 0
86 };
87
88 struct complaint unknown_attribute_length =
89 {
90 "DIE @ 0x%x \"%s\", unknown attribute length, skipped remaining attributes", 0, 0
91 };
92
93 struct complaint unexpected_fund_type =
94 {
95 "DIE @ 0x%x \"%s\", unexpected fundamental type 0x%x", 0, 0
96 };
97
98 struct complaint unknown_type_modifier =
99 {
100 "DIE @ 0x%x \"%s\", unknown type modifier %u", 0, 0
101 };
102
103 struct complaint volatile_ignored =
104 {
105 "DIE @ 0x%x \"%s\", type modifier 'volatile' ignored", 0, 0
106 };
107
108 struct complaint const_ignored =
109 {
110 "DIE @ 0x%x \"%s\", type modifier 'const' ignored", 0, 0
111 };
112
113 struct complaint botched_modified_type =
114 {
115 "DIE @ 0x%x \"%s\", botched modified type decoding (mtype 0x%x)", 0, 0
116 };
117
118 struct complaint op_deref2 =
119 {
120 "DIE @ 0x%x \"%s\", OP_DEREF2 address 0x%x not handled", 0, 0
121 };
122
123 struct complaint op_deref4 =
124 {
125 "DIE @ 0x%x \"%s\", OP_DEREF4 address 0x%x not handled", 0, 0
126 };
127
128 struct complaint basereg_not_handled =
129 {
130 "DIE @ 0x%x \"%s\", BASEREG %d not handled", 0, 0
131 };
132
133 struct complaint dup_user_type_allocation =
134 {
135 "DIE @ 0x%x \"%s\", internal error: duplicate user type allocation", 0, 0
136 };
137
138 struct complaint dup_user_type_definition =
139 {
140 "DIE @ 0x%x \"%s\", internal error: duplicate user type definition", 0, 0
141 };
142
143 struct complaint missing_tag =
144 {
145 "DIE @ 0x%x \"%s\", missing class, structure, or union tag", 0, 0
146 };
147
148 struct complaint bad_array_element_type =
149 {
150 "DIE @ 0x%x \"%s\", bad array element type attribute 0x%x", 0, 0
151 };
152
153 struct complaint subscript_data_items =
154 {
155 "DIE @ 0x%x \"%s\", can't decode subscript data items", 0, 0
156 };
157
158 struct complaint unhandled_array_subscript_format =
159 {
160 "DIE @ 0x%x \"%s\", array subscript format 0x%x not handled yet", 0, 0
161 };
162
163 struct complaint unknown_array_subscript_format =
164 {
165 "DIE @ 0x%x \"%s\", unknown array subscript format %x", 0, 0
166 };
167
168 struct complaint not_row_major =
169 {
170 "DIE @ 0x%x \"%s\", array not row major; not handled correctly", 0, 0
171 };
172
173 struct complaint missing_at_name =
174 {
175 "DIE @ 0x%x, AT_name tag missing", 0, 0
176 };
177
178 typedef unsigned int DIE_REF; /* Reference to a DIE */
179
180 #ifndef GCC_PRODUCER
181 #define GCC_PRODUCER "GNU C "
182 #endif
183
184 #ifndef GPLUS_PRODUCER
185 #define GPLUS_PRODUCER "GNU C++ "
186 #endif
187
188 #ifndef LCC_PRODUCER
189 #define LCC_PRODUCER "NCR C/C++"
190 #endif
191
192 #ifndef CHILL_PRODUCER
193 #define CHILL_PRODUCER "GNU Chill "
194 #endif
195
196 /* Provide a default mapping from a DWARF register number to a gdb REGNUM. */
197 #ifndef DWARF_REG_TO_REGNUM
198 #define DWARF_REG_TO_REGNUM(num) (num)
199 #endif
200
201 /* Flags to target_to_host() that tell whether or not the data object is
202 expected to be signed. Used, for example, when fetching a signed
203 integer in the target environment which is used as a signed integer
204 in the host environment, and the two environments have different sized
205 ints. In this case, *somebody* has to sign extend the smaller sized
206 int. */
207
208 #define GET_UNSIGNED 0 /* No sign extension required */
209 #define GET_SIGNED 1 /* Sign extension required */
210
211 /* Defines for things which are specified in the document "DWARF Debugging
212 Information Format" published by UNIX International, Programming Languages
213 SIG. These defines are based on revision 1.0.0, Jan 20, 1992. */
214
215 #define SIZEOF_DIE_LENGTH 4
216 #define SIZEOF_DIE_TAG 2
217 #define SIZEOF_ATTRIBUTE 2
218 #define SIZEOF_FORMAT_SPECIFIER 1
219 #define SIZEOF_FMT_FT 2
220 #define SIZEOF_LINETBL_LENGTH 4
221 #define SIZEOF_LINETBL_LINENO 4
222 #define SIZEOF_LINETBL_STMT 2
223 #define SIZEOF_LINETBL_DELTA 4
224 #define SIZEOF_LOC_ATOM_CODE 1
225
226 #define FORM_FROM_ATTR(attr) ((attr) & 0xF) /* Implicitly specified */
227
228 /* Macros that return the sizes of various types of data in the target
229 environment.
230
231 FIXME: Currently these are just compile time constants (as they are in
232 other parts of gdb as well). They need to be able to get the right size
233 either from the bfd or possibly from the DWARF info. It would be nice if
234 the DWARF producer inserted DIES that describe the fundamental types in
235 the target environment into the DWARF info, similar to the way dbx stabs
236 producers produce information about their fundamental types. */
237
238 #define TARGET_FT_POINTER_SIZE(objfile) (TARGET_PTR_BIT / TARGET_CHAR_BIT)
239 #define TARGET_FT_LONG_SIZE(objfile) (TARGET_LONG_BIT / TARGET_CHAR_BIT)
240
241 /* The Amiga SVR4 header file <dwarf.h> defines AT_element_list as a
242 FORM_BLOCK2, and this is the value emitted by the AT&T compiler.
243 However, the Issue 2 DWARF specification from AT&T defines it as
244 a FORM_BLOCK4, as does the latest specification from UI/PLSIG.
245 For backwards compatibility with the AT&T compiler produced executables
246 we define AT_short_element_list for this variant. */
247
248 #define AT_short_element_list (0x00f0|FORM_BLOCK2)
249
250 /* External variables referenced. */
251
252 extern int info_verbose; /* From main.c; nonzero => verbose */
253 extern char *warning_pre_print; /* From utils.c */
254
255 /* The DWARF debugging information consists of two major pieces,
256 one is a block of DWARF Information Entries (DIE's) and the other
257 is a line number table. The "struct dieinfo" structure contains
258 the information for a single DIE, the one currently being processed.
259
260 In order to make it easier to randomly access the attribute fields
261 of the current DIE, which are specifically unordered within the DIE,
262 each DIE is scanned and an instance of the "struct dieinfo"
263 structure is initialized.
264
265 Initialization is done in two levels. The first, done by basicdieinfo(),
266 just initializes those fields that are vital to deciding whether or not
267 to use this DIE, how to skip past it, etc. The second, done by the
268 function completedieinfo(), fills in the rest of the information.
269
270 Attributes which have block forms are not interpreted at the time
271 the DIE is scanned, instead we just save pointers to the start
272 of their value fields.
273
274 Some fields have a flag <name>_p that is set when the value of the
275 field is valid (I.E. we found a matching attribute in the DIE). Since
276 we may want to test for the presence of some attributes in the DIE,
277 such as AT_low_pc, without restricting the values of the field,
278 we need someway to note that we found such an attribute.
279
280 */
281
282 typedef char BLOCK;
283
284 struct dieinfo {
285 char * die; /* Pointer to the raw DIE data */
286 unsigned long die_length; /* Length of the raw DIE data */
287 DIE_REF die_ref; /* Offset of this DIE */
288 unsigned short die_tag; /* Tag for this DIE */
289 unsigned long at_padding;
290 unsigned long at_sibling;
291 BLOCK * at_location;
292 char * at_name;
293 unsigned short at_fund_type;
294 BLOCK * at_mod_fund_type;
295 unsigned long at_user_def_type;
296 BLOCK * at_mod_u_d_type;
297 unsigned short at_ordering;
298 BLOCK * at_subscr_data;
299 unsigned long at_byte_size;
300 unsigned short at_bit_offset;
301 unsigned long at_bit_size;
302 BLOCK * at_element_list;
303 unsigned long at_stmt_list;
304 CORE_ADDR at_low_pc;
305 CORE_ADDR at_high_pc;
306 unsigned long at_language;
307 unsigned long at_member;
308 unsigned long at_discr;
309 BLOCK * at_discr_value;
310 BLOCK * at_string_length;
311 char * at_comp_dir;
312 char * at_producer;
313 unsigned long at_start_scope;
314 unsigned long at_stride_size;
315 unsigned long at_src_info;
316 char * at_prototyped;
317 unsigned int has_at_low_pc:1;
318 unsigned int has_at_stmt_list:1;
319 unsigned int has_at_byte_size:1;
320 unsigned int short_element_list:1;
321 };
322
323 static int diecount; /* Approximate count of dies for compilation unit */
324 static struct dieinfo *curdie; /* For warnings and such */
325
326 static char *dbbase; /* Base pointer to dwarf info */
327 static int dbsize; /* Size of dwarf info in bytes */
328 static int dbroff; /* Relative offset from start of .debug section */
329 static char *lnbase; /* Base pointer to line section */
330 static int isreg; /* Kludge to identify register variables */
331 static int optimized_out; /* Kludge to identify optimized out variables */
332 /* Kludge to identify basereg references. Nonzero if we have an offset
333 relative to a basereg. */
334 static int offreg;
335 /* Which base register is it relative to? */
336 static int basereg;
337
338 /* This value is added to each symbol value. FIXME: Generalize to
339 the section_offsets structure used by dbxread (once this is done,
340 pass the appropriate section number to end_symtab). */
341 static CORE_ADDR baseaddr; /* Add to each symbol value */
342
343 /* The section offsets used in the current psymtab or symtab. FIXME,
344 only used to pass one value (baseaddr) at the moment. */
345 static struct section_offsets *base_section_offsets;
346
347 /* We put a pointer to this structure in the read_symtab_private field
348 of the psymtab. */
349
350 struct dwfinfo {
351 /* Always the absolute file offset to the start of the ".debug"
352 section for the file containing the DIE's being accessed. */
353 file_ptr dbfoff;
354 /* Relative offset from the start of the ".debug" section to the
355 first DIE to be accessed. When building the partial symbol
356 table, this value will be zero since we are accessing the
357 entire ".debug" section. When expanding a partial symbol
358 table entry, this value will be the offset to the first
359 DIE for the compilation unit containing the symbol that
360 triggers the expansion. */
361 int dbroff;
362 /* The size of the chunk of DIE's being examined, in bytes. */
363 int dblength;
364 /* The absolute file offset to the line table fragment. Ignored
365 when building partial symbol tables, but used when expanding
366 them, and contains the absolute file offset to the fragment
367 of the ".line" section containing the line numbers for the
368 current compilation unit. */
369 file_ptr lnfoff;
370 };
371
372 #define DBFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbfoff)
373 #define DBROFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->dbroff)
374 #define DBLENGTH(p) (((struct dwfinfo *)((p)->read_symtab_private))->dblength)
375 #define LNFOFF(p) (((struct dwfinfo *)((p)->read_symtab_private))->lnfoff)
376
377 /* The generic symbol table building routines have separate lists for
378 file scope symbols and all all other scopes (local scopes). So
379 we need to select the right one to pass to add_symbol_to_list().
380 We do it by keeping a pointer to the correct list in list_in_scope.
381
382 FIXME: The original dwarf code just treated the file scope as the first
383 local scope, and all other local scopes as nested local scopes, and worked
384 fine. Check to see if we really need to distinguish these in buildsym.c */
385
386 struct pending **list_in_scope = &file_symbols;
387
388 /* DIES which have user defined types or modified user defined types refer to
389 other DIES for the type information. Thus we need to associate the offset
390 of a DIE for a user defined type with a pointer to the type information.
391
392 Originally this was done using a simple but expensive algorithm, with an
393 array of unsorted structures, each containing an offset/type-pointer pair.
394 This array was scanned linearly each time a lookup was done. The result
395 was that gdb was spending over half it's startup time munging through this
396 array of pointers looking for a structure that had the right offset member.
397
398 The second attempt used the same array of structures, but the array was
399 sorted using qsort each time a new offset/type was recorded, and a binary
400 search was used to find the type pointer for a given DIE offset. This was
401 even slower, due to the overhead of sorting the array each time a new
402 offset/type pair was entered.
403
404 The third attempt uses a fixed size array of type pointers, indexed by a
405 value derived from the DIE offset. Since the minimum DIE size is 4 bytes,
406 we can divide any DIE offset by 4 to obtain a unique index into this fixed
407 size array. Since each element is a 4 byte pointer, it takes exactly as
408 much memory to hold this array as to hold the DWARF info for a given
409 compilation unit. But it gets freed as soon as we are done with it.
410 This has worked well in practice, as a reasonable tradeoff between memory
411 consumption and speed, without having to resort to much more complicated
412 algorithms. */
413
414 static struct type **utypes; /* Pointer to array of user type pointers */
415 static int numutypes; /* Max number of user type pointers */
416
417 /* Maintain an array of referenced fundamental types for the current
418 compilation unit being read. For DWARF version 1, we have to construct
419 the fundamental types on the fly, since no information about the
420 fundamental types is supplied. Each such fundamental type is created by
421 calling a language dependent routine to create the type, and then a
422 pointer to that type is then placed in the array at the index specified
423 by it's FT_<TYPENAME> value. The array has a fixed size set by the
424 FT_NUM_MEMBERS compile time constant, which is the number of predefined
425 fundamental types gdb knows how to construct. */
426
427 static struct type *ftypes[FT_NUM_MEMBERS]; /* Fundamental types */
428
429 /* Record the language for the compilation unit which is currently being
430 processed. We know it once we have seen the TAG_compile_unit DIE,
431 and we need it while processing the DIE's for that compilation unit.
432 It is eventually saved in the symtab structure, but we don't finalize
433 the symtab struct until we have processed all the DIE's for the
434 compilation unit. We also need to get and save a pointer to the
435 language struct for this language, so we can call the language
436 dependent routines for doing things such as creating fundamental
437 types. */
438
439 static enum language cu_language;
440 static const struct language_defn *cu_language_defn;
441
442 /* Forward declarations of static functions so we don't have to worry
443 about ordering within this file. */
444
445 static int
446 attribute_size PARAMS ((unsigned int));
447
448 static CORE_ADDR
449 target_to_host PARAMS ((char *, int, int, struct objfile *));
450
451 static void
452 add_enum_psymbol PARAMS ((struct dieinfo *, struct objfile *));
453
454 static void
455 handle_producer PARAMS ((char *));
456
457 static void
458 read_file_scope PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
459
460 static void
461 read_func_scope PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
462
463 static void
464 read_lexical_block_scope PARAMS ((struct dieinfo *, char *, char *,
465 struct objfile *));
466
467 static void
468 scan_partial_symbols PARAMS ((char *, char *, struct objfile *));
469
470 static void
471 scan_compilation_units PARAMS ((char *, char *, file_ptr,
472 file_ptr, struct objfile *));
473
474 static void
475 add_partial_symbol PARAMS ((struct dieinfo *, struct objfile *));
476
477 static void
478 basicdieinfo PARAMS ((struct dieinfo *, char *, struct objfile *));
479
480 static void
481 completedieinfo PARAMS ((struct dieinfo *, struct objfile *));
482
483 static void
484 dwarf_psymtab_to_symtab PARAMS ((struct partial_symtab *));
485
486 static void
487 psymtab_to_symtab_1 PARAMS ((struct partial_symtab *));
488
489 static void
490 read_ofile_symtab PARAMS ((struct partial_symtab *));
491
492 static void
493 process_dies PARAMS ((char *, char *, struct objfile *));
494
495 static void
496 read_structure_scope PARAMS ((struct dieinfo *, char *, char *,
497 struct objfile *));
498
499 static struct type *
500 decode_array_element_type PARAMS ((char *));
501
502 static struct type *
503 decode_subscript_data_item PARAMS ((char *, char *));
504
505 static void
506 dwarf_read_array_type PARAMS ((struct dieinfo *));
507
508 static void
509 read_tag_pointer_type PARAMS ((struct dieinfo *dip));
510
511 static void
512 read_tag_string_type PARAMS ((struct dieinfo *dip));
513
514 static void
515 read_subroutine_type PARAMS ((struct dieinfo *, char *, char *));
516
517 static void
518 read_enumeration PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
519
520 static struct type *
521 struct_type PARAMS ((struct dieinfo *, char *, char *, struct objfile *));
522
523 static struct type *
524 enum_type PARAMS ((struct dieinfo *, struct objfile *));
525
526 static void
527 decode_line_numbers PARAMS ((char *));
528
529 static struct type *
530 decode_die_type PARAMS ((struct dieinfo *));
531
532 static struct type *
533 decode_mod_fund_type PARAMS ((char *));
534
535 static struct type *
536 decode_mod_u_d_type PARAMS ((char *));
537
538 static struct type *
539 decode_modified_type PARAMS ((char *, unsigned int, int));
540
541 static struct type *
542 decode_fund_type PARAMS ((unsigned int));
543
544 static char *
545 create_name PARAMS ((char *, struct obstack *));
546
547 static struct type *
548 lookup_utype PARAMS ((DIE_REF));
549
550 static struct type *
551 alloc_utype PARAMS ((DIE_REF, struct type *));
552
553 static struct symbol *
554 new_symbol PARAMS ((struct dieinfo *, struct objfile *));
555
556 static void
557 synthesize_typedef PARAMS ((struct dieinfo *, struct objfile *,
558 struct type *));
559
560 static int
561 locval PARAMS ((char *));
562
563 static void
564 set_cu_language PARAMS ((struct dieinfo *));
565
566 static struct type *
567 dwarf_fundamental_type PARAMS ((struct objfile *, int));
568
569
570 /*
571
572 LOCAL FUNCTION
573
574 dwarf_fundamental_type -- lookup or create a fundamental type
575
576 SYNOPSIS
577
578 struct type *
579 dwarf_fundamental_type (struct objfile *objfile, int typeid)
580
581 DESCRIPTION
582
583 DWARF version 1 doesn't supply any fundamental type information,
584 so gdb has to construct such types. It has a fixed number of
585 fundamental types that it knows how to construct, which is the
586 union of all types that it knows how to construct for all languages
587 that it knows about. These are enumerated in gdbtypes.h.
588
589 As an example, assume we find a DIE that references a DWARF
590 fundamental type of FT_integer. We first look in the ftypes
591 array to see if we already have such a type, indexed by the
592 gdb internal value of FT_INTEGER. If so, we simply return a
593 pointer to that type. If not, then we ask an appropriate
594 language dependent routine to create a type FT_INTEGER, using
595 defaults reasonable for the current target machine, and install
596 that type in ftypes for future reference.
597
598 RETURNS
599
600 Pointer to a fundamental type.
601
602 */
603
604 static struct type *
605 dwarf_fundamental_type (objfile, typeid)
606 struct objfile *objfile;
607 int typeid;
608 {
609 if (typeid < 0 || typeid >= FT_NUM_MEMBERS)
610 {
611 error ("internal error - invalid fundamental type id %d", typeid);
612 }
613
614 /* Look for this particular type in the fundamental type vector. If one is
615 not found, create and install one appropriate for the current language
616 and the current target machine. */
617
618 if (ftypes[typeid] == NULL)
619 {
620 ftypes[typeid] = cu_language_defn -> la_fund_type(objfile, typeid);
621 }
622
623 return (ftypes[typeid]);
624 }
625
626 /*
627
628 LOCAL FUNCTION
629
630 set_cu_language -- set local copy of language for compilation unit
631
632 SYNOPSIS
633
634 void
635 set_cu_language (struct dieinfo *dip)
636
637 DESCRIPTION
638
639 Decode the language attribute for a compilation unit DIE and
640 remember what the language was. We use this at various times
641 when processing DIE's for a given compilation unit.
642
643 RETURNS
644
645 No return value.
646
647 */
648
649 static void
650 set_cu_language (dip)
651 struct dieinfo *dip;
652 {
653 switch (dip -> at_language)
654 {
655 case LANG_C89:
656 case LANG_C:
657 cu_language = language_c;
658 break;
659 case LANG_C_PLUS_PLUS:
660 cu_language = language_cplus;
661 break;
662 case LANG_CHILL:
663 cu_language = language_chill;
664 break;
665 case LANG_MODULA2:
666 cu_language = language_m2;
667 break;
668 case LANG_ADA83:
669 case LANG_COBOL74:
670 case LANG_COBOL85:
671 case LANG_FORTRAN77:
672 case LANG_FORTRAN90:
673 case LANG_PASCAL83:
674 /* We don't know anything special about these yet. */
675 cu_language = language_unknown;
676 break;
677 default:
678 /* If no at_language, try to deduce one from the filename */
679 cu_language = deduce_language_from_filename (dip -> at_name);
680 break;
681 }
682 cu_language_defn = language_def (cu_language);
683 }
684
685 /*
686
687 GLOBAL FUNCTION
688
689 dwarf_build_psymtabs -- build partial symtabs from DWARF debug info
690
691 SYNOPSIS
692
693 void dwarf_build_psymtabs (struct objfile *objfile,
694 struct section_offsets *section_offsets,
695 int mainline, file_ptr dbfoff, unsigned int dbfsize,
696 file_ptr lnoffset, unsigned int lnsize)
697
698 DESCRIPTION
699
700 This function is called upon to build partial symtabs from files
701 containing DIE's (Dwarf Information Entries) and DWARF line numbers.
702
703 It is passed a bfd* containing the DIES
704 and line number information, the corresponding filename for that
705 file, a base address for relocating the symbols, a flag indicating
706 whether or not this debugging information is from a "main symbol
707 table" rather than a shared library or dynamically linked file,
708 and file offset/size pairs for the DIE information and line number
709 information.
710
711 RETURNS
712
713 No return value.
714
715 */
716
717 void
718 dwarf_build_psymtabs (objfile, section_offsets, mainline, dbfoff, dbfsize,
719 lnoffset, lnsize)
720 struct objfile *objfile;
721 struct section_offsets *section_offsets;
722 int mainline;
723 file_ptr dbfoff;
724 unsigned int dbfsize;
725 file_ptr lnoffset;
726 unsigned int lnsize;
727 {
728 bfd *abfd = objfile->obfd;
729 struct cleanup *back_to;
730
731 current_objfile = objfile;
732 dbsize = dbfsize;
733 dbbase = xmalloc (dbsize);
734 dbroff = 0;
735 if ((bfd_seek (abfd, dbfoff, SEEK_SET) != 0) ||
736 (bfd_read (dbbase, dbsize, 1, abfd) != dbsize))
737 {
738 free (dbbase);
739 error ("can't read DWARF data from '%s'", bfd_get_filename (abfd));
740 }
741 back_to = make_cleanup (free, dbbase);
742
743 /* If we are reinitializing, or if we have never loaded syms yet, init.
744 Since we have no idea how many DIES we are looking at, we just guess
745 some arbitrary value. */
746
747 if (mainline || objfile -> global_psymbols.size == 0 ||
748 objfile -> static_psymbols.size == 0)
749 {
750 init_psymbol_list (objfile, 1024);
751 }
752
753 /* Save the relocation factor where everybody can see it. */
754
755 base_section_offsets = section_offsets;
756 baseaddr = ANOFFSET (section_offsets, 0);
757
758 /* Follow the compilation unit sibling chain, building a partial symbol
759 table entry for each one. Save enough information about each compilation
760 unit to locate the full DWARF information later. */
761
762 scan_compilation_units (dbbase, dbbase + dbsize, dbfoff, lnoffset, objfile);
763
764 do_cleanups (back_to);
765 current_objfile = NULL;
766 }
767
768 /*
769
770 LOCAL FUNCTION
771
772 read_lexical_block_scope -- process all dies in a lexical block
773
774 SYNOPSIS
775
776 static void read_lexical_block_scope (struct dieinfo *dip,
777 char *thisdie, char *enddie)
778
779 DESCRIPTION
780
781 Process all the DIES contained within a lexical block scope.
782 Start a new scope, process the dies, and then close the scope.
783
784 */
785
786 static void
787 read_lexical_block_scope (dip, thisdie, enddie, objfile)
788 struct dieinfo *dip;
789 char *thisdie;
790 char *enddie;
791 struct objfile *objfile;
792 {
793 register struct context_stack *new;
794
795 push_context (0, dip -> at_low_pc);
796 process_dies (thisdie + dip -> die_length, enddie, objfile);
797 new = pop_context ();
798 if (local_symbols != NULL)
799 {
800 finish_block (0, &local_symbols, new -> old_blocks, new -> start_addr,
801 dip -> at_high_pc, objfile);
802 }
803 local_symbols = new -> locals;
804 }
805
806 /*
807
808 LOCAL FUNCTION
809
810 lookup_utype -- look up a user defined type from die reference
811
812 SYNOPSIS
813
814 static type *lookup_utype (DIE_REF die_ref)
815
816 DESCRIPTION
817
818 Given a DIE reference, lookup the user defined type associated with
819 that DIE, if it has been registered already. If not registered, then
820 return NULL. Alloc_utype() can be called to register an empty
821 type for this reference, which will be filled in later when the
822 actual referenced DIE is processed.
823 */
824
825 static struct type *
826 lookup_utype (die_ref)
827 DIE_REF die_ref;
828 {
829 struct type *type = NULL;
830 int utypeidx;
831
832 utypeidx = (die_ref - dbroff) / 4;
833 if ((utypeidx < 0) || (utypeidx >= numutypes))
834 {
835 complain (&bad_die_ref, DIE_ID, DIE_NAME);
836 }
837 else
838 {
839 type = *(utypes + utypeidx);
840 }
841 return (type);
842 }
843
844
845 /*
846
847 LOCAL FUNCTION
848
849 alloc_utype -- add a user defined type for die reference
850
851 SYNOPSIS
852
853 static type *alloc_utype (DIE_REF die_ref, struct type *utypep)
854
855 DESCRIPTION
856
857 Given a die reference DIE_REF, and a possible pointer to a user
858 defined type UTYPEP, register that this reference has a user
859 defined type and either use the specified type in UTYPEP or
860 make a new empty type that will be filled in later.
861
862 We should only be called after calling lookup_utype() to verify that
863 there is not currently a type registered for DIE_REF.
864 */
865
866 static struct type *
867 alloc_utype (die_ref, utypep)
868 DIE_REF die_ref;
869 struct type *utypep;
870 {
871 struct type **typep;
872 int utypeidx;
873
874 utypeidx = (die_ref - dbroff) / 4;
875 typep = utypes + utypeidx;
876 if ((utypeidx < 0) || (utypeidx >= numutypes))
877 {
878 utypep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
879 complain (&bad_die_ref, DIE_ID, DIE_NAME);
880 }
881 else if (*typep != NULL)
882 {
883 utypep = *typep;
884 complain (&dup_user_type_allocation, DIE_ID, DIE_NAME);
885 }
886 else
887 {
888 if (utypep == NULL)
889 {
890 utypep = alloc_type (current_objfile);
891 }
892 *typep = utypep;
893 }
894 return (utypep);
895 }
896
897 /*
898
899 LOCAL FUNCTION
900
901 decode_die_type -- return a type for a specified die
902
903 SYNOPSIS
904
905 static struct type *decode_die_type (struct dieinfo *dip)
906
907 DESCRIPTION
908
909 Given a pointer to a die information structure DIP, decode the
910 type of the die and return a pointer to the decoded type. All
911 dies without specific types default to type int.
912 */
913
914 static struct type *
915 decode_die_type (dip)
916 struct dieinfo *dip;
917 {
918 struct type *type = NULL;
919
920 if (dip -> at_fund_type != 0)
921 {
922 type = decode_fund_type (dip -> at_fund_type);
923 }
924 else if (dip -> at_mod_fund_type != NULL)
925 {
926 type = decode_mod_fund_type (dip -> at_mod_fund_type);
927 }
928 else if (dip -> at_user_def_type)
929 {
930 if ((type = lookup_utype (dip -> at_user_def_type)) == NULL)
931 {
932 type = alloc_utype (dip -> at_user_def_type, NULL);
933 }
934 }
935 else if (dip -> at_mod_u_d_type)
936 {
937 type = decode_mod_u_d_type (dip -> at_mod_u_d_type);
938 }
939 else
940 {
941 type = dwarf_fundamental_type (current_objfile, FT_INTEGER);
942 }
943 return (type);
944 }
945
946 /*
947
948 LOCAL FUNCTION
949
950 struct_type -- compute and return the type for a struct or union
951
952 SYNOPSIS
953
954 static struct type *struct_type (struct dieinfo *dip, char *thisdie,
955 char *enddie, struct objfile *objfile)
956
957 DESCRIPTION
958
959 Given pointer to a die information structure for a die which
960 defines a union or structure (and MUST define one or the other),
961 and pointers to the raw die data that define the range of dies which
962 define the members, compute and return the user defined type for the
963 structure or union.
964 */
965
966 static struct type *
967 struct_type (dip, thisdie, enddie, objfile)
968 struct dieinfo *dip;
969 char *thisdie;
970 char *enddie;
971 struct objfile *objfile;
972 {
973 struct type *type;
974 struct nextfield {
975 struct nextfield *next;
976 struct field field;
977 };
978 struct nextfield *list = NULL;
979 struct nextfield *new;
980 int nfields = 0;
981 int n;
982 struct dieinfo mbr;
983 char *nextdie;
984 int anonymous_size;
985
986 if ((type = lookup_utype (dip -> die_ref)) == NULL)
987 {
988 /* No forward references created an empty type, so install one now */
989 type = alloc_utype (dip -> die_ref, NULL);
990 }
991 INIT_CPLUS_SPECIFIC(type);
992 switch (dip -> die_tag)
993 {
994 case TAG_class_type:
995 TYPE_CODE (type) = TYPE_CODE_CLASS;
996 break;
997 case TAG_structure_type:
998 TYPE_CODE (type) = TYPE_CODE_STRUCT;
999 break;
1000 case TAG_union_type:
1001 TYPE_CODE (type) = TYPE_CODE_UNION;
1002 break;
1003 default:
1004 /* Should never happen */
1005 TYPE_CODE (type) = TYPE_CODE_UNDEF;
1006 complain (&missing_tag, DIE_ID, DIE_NAME);
1007 break;
1008 }
1009 /* Some compilers try to be helpful by inventing "fake" names for
1010 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1011 Thanks, but no thanks... */
1012 if (dip -> at_name != NULL
1013 && *dip -> at_name != '~'
1014 && *dip -> at_name != '.')
1015 {
1016 TYPE_TAG_NAME (type) = obconcat (&objfile -> type_obstack,
1017 "", "", dip -> at_name);
1018 }
1019 /* Use whatever size is known. Zero is a valid size. We might however
1020 wish to check has_at_byte_size to make sure that some byte size was
1021 given explicitly, but DWARF doesn't specify that explicit sizes of
1022 zero have to present, so complaining about missing sizes should
1023 probably not be the default. */
1024 TYPE_LENGTH (type) = dip -> at_byte_size;
1025 thisdie += dip -> die_length;
1026 while (thisdie < enddie)
1027 {
1028 basicdieinfo (&mbr, thisdie, objfile);
1029 completedieinfo (&mbr, objfile);
1030 if (mbr.die_length <= SIZEOF_DIE_LENGTH)
1031 {
1032 break;
1033 }
1034 else if (mbr.at_sibling != 0)
1035 {
1036 nextdie = dbbase + mbr.at_sibling - dbroff;
1037 }
1038 else
1039 {
1040 nextdie = thisdie + mbr.die_length;
1041 }
1042 switch (mbr.die_tag)
1043 {
1044 case TAG_member:
1045 /* Get space to record the next field's data. */
1046 new = (struct nextfield *) alloca (sizeof (struct nextfield));
1047 new -> next = list;
1048 list = new;
1049 /* Save the data. */
1050 list -> field.name =
1051 obsavestring (mbr.at_name, strlen (mbr.at_name),
1052 &objfile -> type_obstack);
1053 list -> field.type = decode_die_type (&mbr);
1054 list -> field.bitpos = 8 * locval (mbr.at_location);
1055 /* Handle bit fields. */
1056 list -> field.bitsize = mbr.at_bit_size;
1057 if (BITS_BIG_ENDIAN)
1058 {
1059 /* For big endian bits, the at_bit_offset gives the
1060 additional bit offset from the MSB of the containing
1061 anonymous object to the MSB of the field. We don't
1062 have to do anything special since we don't need to
1063 know the size of the anonymous object. */
1064 list -> field.bitpos += mbr.at_bit_offset;
1065 }
1066 else
1067 {
1068 /* For little endian bits, we need to have a non-zero
1069 at_bit_size, so that we know we are in fact dealing
1070 with a bitfield. Compute the bit offset to the MSB
1071 of the anonymous object, subtract off the number of
1072 bits from the MSB of the field to the MSB of the
1073 object, and then subtract off the number of bits of
1074 the field itself. The result is the bit offset of
1075 the LSB of the field. */
1076 if (mbr.at_bit_size > 0)
1077 {
1078 if (mbr.has_at_byte_size)
1079 {
1080 /* The size of the anonymous object containing
1081 the bit field is explicit, so use the
1082 indicated size (in bytes). */
1083 anonymous_size = mbr.at_byte_size;
1084 }
1085 else
1086 {
1087 /* The size of the anonymous object containing
1088 the bit field matches the size of an object
1089 of the bit field's type. DWARF allows
1090 at_byte_size to be left out in such cases, as
1091 a debug information size optimization. */
1092 anonymous_size = TYPE_LENGTH (list -> field.type);
1093 }
1094 list -> field.bitpos +=
1095 anonymous_size * 8 - mbr.at_bit_offset - mbr.at_bit_size;
1096 }
1097 }
1098 nfields++;
1099 break;
1100 default:
1101 process_dies (thisdie, nextdie, objfile);
1102 break;
1103 }
1104 thisdie = nextdie;
1105 }
1106 /* Now create the vector of fields, and record how big it is. We may
1107 not even have any fields, if this DIE was generated due to a reference
1108 to an anonymous structure or union. In this case, TYPE_FLAG_STUB is
1109 set, which clues gdb in to the fact that it needs to search elsewhere
1110 for the full structure definition. */
1111 if (nfields == 0)
1112 {
1113 TYPE_FLAGS (type) |= TYPE_FLAG_STUB;
1114 }
1115 else
1116 {
1117 TYPE_NFIELDS (type) = nfields;
1118 TYPE_FIELDS (type) = (struct field *)
1119 TYPE_ALLOC (type, sizeof (struct field) * nfields);
1120 /* Copy the saved-up fields into the field vector. */
1121 for (n = nfields; list; list = list -> next)
1122 {
1123 TYPE_FIELD (type, --n) = list -> field;
1124 }
1125 }
1126 return (type);
1127 }
1128
1129 /*
1130
1131 LOCAL FUNCTION
1132
1133 read_structure_scope -- process all dies within struct or union
1134
1135 SYNOPSIS
1136
1137 static void read_structure_scope (struct dieinfo *dip,
1138 char *thisdie, char *enddie, struct objfile *objfile)
1139
1140 DESCRIPTION
1141
1142 Called when we find the DIE that starts a structure or union
1143 scope (definition) to process all dies that define the members
1144 of the structure or union. DIP is a pointer to the die info
1145 struct for the DIE that names the structure or union.
1146
1147 NOTES
1148
1149 Note that we need to call struct_type regardless of whether or not
1150 the DIE has an at_name attribute, since it might be an anonymous
1151 structure or union. This gets the type entered into our set of
1152 user defined types.
1153
1154 However, if the structure is incomplete (an opaque struct/union)
1155 then suppress creating a symbol table entry for it since gdb only
1156 wants to find the one with the complete definition. Note that if
1157 it is complete, we just call new_symbol, which does it's own
1158 checking about whether the struct/union is anonymous or not (and
1159 suppresses creating a symbol table entry itself).
1160
1161 */
1162
1163 static void
1164 read_structure_scope (dip, thisdie, enddie, objfile)
1165 struct dieinfo *dip;
1166 char *thisdie;
1167 char *enddie;
1168 struct objfile *objfile;
1169 {
1170 struct type *type;
1171 struct symbol *sym;
1172
1173 type = struct_type (dip, thisdie, enddie, objfile);
1174 if (!(TYPE_FLAGS (type) & TYPE_FLAG_STUB))
1175 {
1176 sym = new_symbol (dip, objfile);
1177 if (sym != NULL)
1178 {
1179 SYMBOL_TYPE (sym) = type;
1180 if (cu_language == language_cplus)
1181 {
1182 synthesize_typedef (dip, objfile, type);
1183 }
1184 }
1185 }
1186 }
1187
1188 /*
1189
1190 LOCAL FUNCTION
1191
1192 decode_array_element_type -- decode type of the array elements
1193
1194 SYNOPSIS
1195
1196 static struct type *decode_array_element_type (char *scan, char *end)
1197
1198 DESCRIPTION
1199
1200 As the last step in decoding the array subscript information for an
1201 array DIE, we need to decode the type of the array elements. We are
1202 passed a pointer to this last part of the subscript information and
1203 must return the appropriate type. If the type attribute is not
1204 recognized, just warn about the problem and return type int.
1205 */
1206
1207 static struct type *
1208 decode_array_element_type (scan)
1209 char *scan;
1210 {
1211 struct type *typep;
1212 DIE_REF die_ref;
1213 unsigned short attribute;
1214 unsigned short fundtype;
1215 int nbytes;
1216
1217 attribute = target_to_host (scan, SIZEOF_ATTRIBUTE, GET_UNSIGNED,
1218 current_objfile);
1219 scan += SIZEOF_ATTRIBUTE;
1220 if ((nbytes = attribute_size (attribute)) == -1)
1221 {
1222 complain (&bad_array_element_type, DIE_ID, DIE_NAME, attribute);
1223 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1224 }
1225 else
1226 {
1227 switch (attribute)
1228 {
1229 case AT_fund_type:
1230 fundtype = target_to_host (scan, nbytes, GET_UNSIGNED,
1231 current_objfile);
1232 typep = decode_fund_type (fundtype);
1233 break;
1234 case AT_mod_fund_type:
1235 typep = decode_mod_fund_type (scan);
1236 break;
1237 case AT_user_def_type:
1238 die_ref = target_to_host (scan, nbytes, GET_UNSIGNED,
1239 current_objfile);
1240 if ((typep = lookup_utype (die_ref)) == NULL)
1241 {
1242 typep = alloc_utype (die_ref, NULL);
1243 }
1244 break;
1245 case AT_mod_u_d_type:
1246 typep = decode_mod_u_d_type (scan);
1247 break;
1248 default:
1249 complain (&bad_array_element_type, DIE_ID, DIE_NAME, attribute);
1250 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1251 break;
1252 }
1253 }
1254 return (typep);
1255 }
1256
1257 /*
1258
1259 LOCAL FUNCTION
1260
1261 decode_subscript_data_item -- decode array subscript item
1262
1263 SYNOPSIS
1264
1265 static struct type *
1266 decode_subscript_data_item (char *scan, char *end)
1267
1268 DESCRIPTION
1269
1270 The array subscripts and the data type of the elements of an
1271 array are described by a list of data items, stored as a block
1272 of contiguous bytes. There is a data item describing each array
1273 dimension, and a final data item describing the element type.
1274 The data items are ordered the same as their appearance in the
1275 source (I.E. leftmost dimension first, next to leftmost second,
1276 etc).
1277
1278 The data items describing each array dimension consist of four
1279 parts: (1) a format specifier, (2) type type of the subscript
1280 index, (3) a description of the low bound of the array dimension,
1281 and (4) a description of the high bound of the array dimension.
1282
1283 The last data item is the description of the type of each of
1284 the array elements.
1285
1286 We are passed a pointer to the start of the block of bytes
1287 containing the remaining data items, and a pointer to the first
1288 byte past the data. This function recursively decodes the
1289 remaining data items and returns a type.
1290
1291 If we somehow fail to decode some data, we complain about it
1292 and return a type "array of int".
1293
1294 BUGS
1295 FIXME: This code only implements the forms currently used
1296 by the AT&T and GNU C compilers.
1297
1298 The end pointer is supplied for error checking, maybe we should
1299 use it for that...
1300 */
1301
1302 static struct type *
1303 decode_subscript_data_item (scan, end)
1304 char *scan;
1305 char *end;
1306 {
1307 struct type *typep = NULL; /* Array type we are building */
1308 struct type *nexttype; /* Type of each element (may be array) */
1309 struct type *indextype; /* Type of this index */
1310 struct type *rangetype;
1311 unsigned int format;
1312 unsigned short fundtype;
1313 unsigned long lowbound;
1314 unsigned long highbound;
1315 int nbytes;
1316
1317 format = target_to_host (scan, SIZEOF_FORMAT_SPECIFIER, GET_UNSIGNED,
1318 current_objfile);
1319 scan += SIZEOF_FORMAT_SPECIFIER;
1320 switch (format)
1321 {
1322 case FMT_ET:
1323 typep = decode_array_element_type (scan);
1324 break;
1325 case FMT_FT_C_C:
1326 fundtype = target_to_host (scan, SIZEOF_FMT_FT, GET_UNSIGNED,
1327 current_objfile);
1328 indextype = decode_fund_type (fundtype);
1329 scan += SIZEOF_FMT_FT;
1330 nbytes = TARGET_FT_LONG_SIZE (current_objfile);
1331 lowbound = target_to_host (scan, nbytes, GET_UNSIGNED, current_objfile);
1332 scan += nbytes;
1333 highbound = target_to_host (scan, nbytes, GET_UNSIGNED, current_objfile);
1334 scan += nbytes;
1335 nexttype = decode_subscript_data_item (scan, end);
1336 if (nexttype == NULL)
1337 {
1338 /* Munged subscript data or other problem, fake it. */
1339 complain (&subscript_data_items, DIE_ID, DIE_NAME);
1340 nexttype = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1341 }
1342 rangetype = create_range_type ((struct type *) NULL, indextype,
1343 lowbound, highbound);
1344 typep = create_array_type ((struct type *) NULL, nexttype, rangetype);
1345 break;
1346 case FMT_FT_C_X:
1347 case FMT_FT_X_C:
1348 case FMT_FT_X_X:
1349 case FMT_UT_C_C:
1350 case FMT_UT_C_X:
1351 case FMT_UT_X_C:
1352 case FMT_UT_X_X:
1353 complain (&unhandled_array_subscript_format, DIE_ID, DIE_NAME, format);
1354 nexttype = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1355 rangetype = create_range_type ((struct type *) NULL, nexttype, 0, 0);
1356 typep = create_array_type ((struct type *) NULL, nexttype, rangetype);
1357 break;
1358 default:
1359 complain (&unknown_array_subscript_format, DIE_ID, DIE_NAME, format);
1360 nexttype = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1361 rangetype = create_range_type ((struct type *) NULL, nexttype, 0, 0);
1362 typep = create_array_type ((struct type *) NULL, nexttype, rangetype);
1363 break;
1364 }
1365 return (typep);
1366 }
1367
1368 /*
1369
1370 LOCAL FUNCTION
1371
1372 dwarf_read_array_type -- read TAG_array_type DIE
1373
1374 SYNOPSIS
1375
1376 static void dwarf_read_array_type (struct dieinfo *dip)
1377
1378 DESCRIPTION
1379
1380 Extract all information from a TAG_array_type DIE and add to
1381 the user defined type vector.
1382 */
1383
1384 static void
1385 dwarf_read_array_type (dip)
1386 struct dieinfo *dip;
1387 {
1388 struct type *type;
1389 struct type *utype;
1390 char *sub;
1391 char *subend;
1392 unsigned short blocksz;
1393 int nbytes;
1394
1395 if (dip -> at_ordering != ORD_row_major)
1396 {
1397 /* FIXME: Can gdb even handle column major arrays? */
1398 complain (&not_row_major, DIE_ID, DIE_NAME);
1399 }
1400 if ((sub = dip -> at_subscr_data) != NULL)
1401 {
1402 nbytes = attribute_size (AT_subscr_data);
1403 blocksz = target_to_host (sub, nbytes, GET_UNSIGNED, current_objfile);
1404 subend = sub + nbytes + blocksz;
1405 sub += nbytes;
1406 type = decode_subscript_data_item (sub, subend);
1407 if ((utype = lookup_utype (dip -> die_ref)) == NULL)
1408 {
1409 /* Install user defined type that has not been referenced yet. */
1410 alloc_utype (dip -> die_ref, type);
1411 }
1412 else if (TYPE_CODE (utype) == TYPE_CODE_UNDEF)
1413 {
1414 /* Ick! A forward ref has already generated a blank type in our
1415 slot, and this type probably already has things pointing to it
1416 (which is what caused it to be created in the first place).
1417 If it's just a place holder we can plop our fully defined type
1418 on top of it. We can't recover the space allocated for our
1419 new type since it might be on an obstack, but we could reuse
1420 it if we kept a list of them, but it might not be worth it
1421 (FIXME). */
1422 *utype = *type;
1423 }
1424 else
1425 {
1426 /* Double ick! Not only is a type already in our slot, but
1427 someone has decorated it. Complain and leave it alone. */
1428 complain (&dup_user_type_definition, DIE_ID, DIE_NAME);
1429 }
1430 }
1431 }
1432
1433 /*
1434
1435 LOCAL FUNCTION
1436
1437 read_tag_pointer_type -- read TAG_pointer_type DIE
1438
1439 SYNOPSIS
1440
1441 static void read_tag_pointer_type (struct dieinfo *dip)
1442
1443 DESCRIPTION
1444
1445 Extract all information from a TAG_pointer_type DIE and add to
1446 the user defined type vector.
1447 */
1448
1449 static void
1450 read_tag_pointer_type (dip)
1451 struct dieinfo *dip;
1452 {
1453 struct type *type;
1454 struct type *utype;
1455
1456 type = decode_die_type (dip);
1457 if ((utype = lookup_utype (dip -> die_ref)) == NULL)
1458 {
1459 utype = lookup_pointer_type (type);
1460 alloc_utype (dip -> die_ref, utype);
1461 }
1462 else
1463 {
1464 TYPE_TARGET_TYPE (utype) = type;
1465 TYPE_POINTER_TYPE (type) = utype;
1466
1467 /* We assume the machine has only one representation for pointers! */
1468 /* FIXME: This confuses host<->target data representations, and is a
1469 poor assumption besides. */
1470
1471 TYPE_LENGTH (utype) = sizeof (char *);
1472 TYPE_CODE (utype) = TYPE_CODE_PTR;
1473 }
1474 }
1475
1476 /*
1477
1478 LOCAL FUNCTION
1479
1480 read_tag_string_type -- read TAG_string_type DIE
1481
1482 SYNOPSIS
1483
1484 static void read_tag_string_type (struct dieinfo *dip)
1485
1486 DESCRIPTION
1487
1488 Extract all information from a TAG_string_type DIE and add to
1489 the user defined type vector. It isn't really a user defined
1490 type, but it behaves like one, with other DIE's using an
1491 AT_user_def_type attribute to reference it.
1492 */
1493
1494 static void
1495 read_tag_string_type (dip)
1496 struct dieinfo *dip;
1497 {
1498 struct type *utype;
1499 struct type *indextype;
1500 struct type *rangetype;
1501 unsigned long lowbound = 0;
1502 unsigned long highbound;
1503
1504 if (dip -> has_at_byte_size)
1505 {
1506 /* A fixed bounds string */
1507 highbound = dip -> at_byte_size - 1;
1508 }
1509 else
1510 {
1511 /* A varying length string. Stub for now. (FIXME) */
1512 highbound = 1;
1513 }
1514 indextype = dwarf_fundamental_type (current_objfile, FT_INTEGER);
1515 rangetype = create_range_type ((struct type *) NULL, indextype, lowbound,
1516 highbound);
1517
1518 utype = lookup_utype (dip -> die_ref);
1519 if (utype == NULL)
1520 {
1521 /* No type defined, go ahead and create a blank one to use. */
1522 utype = alloc_utype (dip -> die_ref, (struct type *) NULL);
1523 }
1524 else
1525 {
1526 /* Already a type in our slot due to a forward reference. Make sure it
1527 is a blank one. If not, complain and leave it alone. */
1528 if (TYPE_CODE (utype) != TYPE_CODE_UNDEF)
1529 {
1530 complain (&dup_user_type_definition, DIE_ID, DIE_NAME);
1531 return;
1532 }
1533 }
1534
1535 /* Create the string type using the blank type we either found or created. */
1536 utype = create_string_type (utype, rangetype);
1537 }
1538
1539 /*
1540
1541 LOCAL FUNCTION
1542
1543 read_subroutine_type -- process TAG_subroutine_type dies
1544
1545 SYNOPSIS
1546
1547 static void read_subroutine_type (struct dieinfo *dip, char thisdie,
1548 char *enddie)
1549
1550 DESCRIPTION
1551
1552 Handle DIES due to C code like:
1553
1554 struct foo {
1555 int (*funcp)(int a, long l); (Generates TAG_subroutine_type DIE)
1556 int b;
1557 };
1558
1559 NOTES
1560
1561 The parameter DIES are currently ignored. See if gdb has a way to
1562 include this info in it's type system, and decode them if so. Is
1563 this what the type structure's "arg_types" field is for? (FIXME)
1564 */
1565
1566 static void
1567 read_subroutine_type (dip, thisdie, enddie)
1568 struct dieinfo *dip;
1569 char *thisdie;
1570 char *enddie;
1571 {
1572 struct type *type; /* Type that this function returns */
1573 struct type *ftype; /* Function that returns above type */
1574
1575 /* Decode the type that this subroutine returns */
1576
1577 type = decode_die_type (dip);
1578
1579 /* Check to see if we already have a partially constructed user
1580 defined type for this DIE, from a forward reference. */
1581
1582 if ((ftype = lookup_utype (dip -> die_ref)) == NULL)
1583 {
1584 /* This is the first reference to one of these types. Make
1585 a new one and place it in the user defined types. */
1586 ftype = lookup_function_type (type);
1587 alloc_utype (dip -> die_ref, ftype);
1588 }
1589 else if (TYPE_CODE (ftype) == TYPE_CODE_UNDEF)
1590 {
1591 /* We have an existing partially constructed type, so bash it
1592 into the correct type. */
1593 TYPE_TARGET_TYPE (ftype) = type;
1594 TYPE_LENGTH (ftype) = 1;
1595 TYPE_CODE (ftype) = TYPE_CODE_FUNC;
1596 }
1597 else
1598 {
1599 complain (&dup_user_type_definition, DIE_ID, DIE_NAME);
1600 }
1601 }
1602
1603 /*
1604
1605 LOCAL FUNCTION
1606
1607 read_enumeration -- process dies which define an enumeration
1608
1609 SYNOPSIS
1610
1611 static void read_enumeration (struct dieinfo *dip, char *thisdie,
1612 char *enddie, struct objfile *objfile)
1613
1614 DESCRIPTION
1615
1616 Given a pointer to a die which begins an enumeration, process all
1617 the dies that define the members of the enumeration.
1618
1619 NOTES
1620
1621 Note that we need to call enum_type regardless of whether or not we
1622 have a symbol, since we might have an enum without a tag name (thus
1623 no symbol for the tagname).
1624 */
1625
1626 static void
1627 read_enumeration (dip, thisdie, enddie, objfile)
1628 struct dieinfo *dip;
1629 char *thisdie;
1630 char *enddie;
1631 struct objfile *objfile;
1632 {
1633 struct type *type;
1634 struct symbol *sym;
1635
1636 type = enum_type (dip, objfile);
1637 sym = new_symbol (dip, objfile);
1638 if (sym != NULL)
1639 {
1640 SYMBOL_TYPE (sym) = type;
1641 if (cu_language == language_cplus)
1642 {
1643 synthesize_typedef (dip, objfile, type);
1644 }
1645 }
1646 }
1647
1648 /*
1649
1650 LOCAL FUNCTION
1651
1652 enum_type -- decode and return a type for an enumeration
1653
1654 SYNOPSIS
1655
1656 static type *enum_type (struct dieinfo *dip, struct objfile *objfile)
1657
1658 DESCRIPTION
1659
1660 Given a pointer to a die information structure for the die which
1661 starts an enumeration, process all the dies that define the members
1662 of the enumeration and return a type pointer for the enumeration.
1663
1664 At the same time, for each member of the enumeration, create a
1665 symbol for it with namespace VAR_NAMESPACE and class LOC_CONST,
1666 and give it the type of the enumeration itself.
1667
1668 NOTES
1669
1670 Note that the DWARF specification explicitly mandates that enum
1671 constants occur in reverse order from the source program order,
1672 for "consistency" and because this ordering is easier for many
1673 compilers to generate. (Draft 6, sec 3.8.5, Enumeration type
1674 Entries). Because gdb wants to see the enum members in program
1675 source order, we have to ensure that the order gets reversed while
1676 we are processing them.
1677 */
1678
1679 static struct type *
1680 enum_type (dip, objfile)
1681 struct dieinfo *dip;
1682 struct objfile *objfile;
1683 {
1684 struct type *type;
1685 struct nextfield {
1686 struct nextfield *next;
1687 struct field field;
1688 };
1689 struct nextfield *list = NULL;
1690 struct nextfield *new;
1691 int nfields = 0;
1692 int n;
1693 char *scan;
1694 char *listend;
1695 unsigned short blocksz;
1696 struct symbol *sym;
1697 int nbytes;
1698 int unsigned_enum = 1;
1699
1700 if ((type = lookup_utype (dip -> die_ref)) == NULL)
1701 {
1702 /* No forward references created an empty type, so install one now */
1703 type = alloc_utype (dip -> die_ref, NULL);
1704 }
1705 TYPE_CODE (type) = TYPE_CODE_ENUM;
1706 /* Some compilers try to be helpful by inventing "fake" names for
1707 anonymous enums, structures, and unions, like "~0fake" or ".0fake".
1708 Thanks, but no thanks... */
1709 if (dip -> at_name != NULL
1710 && *dip -> at_name != '~'
1711 && *dip -> at_name != '.')
1712 {
1713 TYPE_TAG_NAME (type) = obconcat (&objfile -> type_obstack,
1714 "", "", dip -> at_name);
1715 }
1716 if (dip -> at_byte_size != 0)
1717 {
1718 TYPE_LENGTH (type) = dip -> at_byte_size;
1719 }
1720 if ((scan = dip -> at_element_list) != NULL)
1721 {
1722 if (dip -> short_element_list)
1723 {
1724 nbytes = attribute_size (AT_short_element_list);
1725 }
1726 else
1727 {
1728 nbytes = attribute_size (AT_element_list);
1729 }
1730 blocksz = target_to_host (scan, nbytes, GET_UNSIGNED, objfile);
1731 listend = scan + nbytes + blocksz;
1732 scan += nbytes;
1733 while (scan < listend)
1734 {
1735 new = (struct nextfield *) alloca (sizeof (struct nextfield));
1736 new -> next = list;
1737 list = new;
1738 list -> field.type = NULL;
1739 list -> field.bitsize = 0;
1740 list -> field.bitpos =
1741 target_to_host (scan, TARGET_FT_LONG_SIZE (objfile), GET_SIGNED,
1742 objfile);
1743 scan += TARGET_FT_LONG_SIZE (objfile);
1744 list -> field.name = obsavestring (scan, strlen (scan),
1745 &objfile -> type_obstack);
1746 scan += strlen (scan) + 1;
1747 nfields++;
1748 /* Handcraft a new symbol for this enum member. */
1749 sym = (struct symbol *) obstack_alloc (&objfile->symbol_obstack,
1750 sizeof (struct symbol));
1751 memset (sym, 0, sizeof (struct symbol));
1752 SYMBOL_NAME (sym) = create_name (list -> field.name,
1753 &objfile->symbol_obstack);
1754 SYMBOL_INIT_LANGUAGE_SPECIFIC (sym, cu_language);
1755 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1756 SYMBOL_CLASS (sym) = LOC_CONST;
1757 SYMBOL_TYPE (sym) = type;
1758 SYMBOL_VALUE (sym) = list -> field.bitpos;
1759 if (SYMBOL_VALUE (sym) < 0)
1760 unsigned_enum = 0;
1761 add_symbol_to_list (sym, list_in_scope);
1762 }
1763 /* Now create the vector of fields, and record how big it is. This is
1764 where we reverse the order, by pulling the members off the list in
1765 reverse order from how they were inserted. If we have no fields
1766 (this is apparently possible in C++) then skip building a field
1767 vector. */
1768 if (nfields > 0)
1769 {
1770 if (unsigned_enum)
1771 TYPE_FLAGS (type) |= TYPE_FLAG_UNSIGNED;
1772 TYPE_NFIELDS (type) = nfields;
1773 TYPE_FIELDS (type) = (struct field *)
1774 obstack_alloc (&objfile->symbol_obstack, sizeof (struct field) * nfields);
1775 /* Copy the saved-up fields into the field vector. */
1776 for (n = 0; (n < nfields) && (list != NULL); list = list -> next)
1777 {
1778 TYPE_FIELD (type, n++) = list -> field;
1779 }
1780 }
1781 }
1782 return (type);
1783 }
1784
1785 /*
1786
1787 LOCAL FUNCTION
1788
1789 read_func_scope -- process all dies within a function scope
1790
1791 DESCRIPTION
1792
1793 Process all dies within a given function scope. We are passed
1794 a die information structure pointer DIP for the die which
1795 starts the function scope, and pointers into the raw die data
1796 that define the dies within the function scope.
1797
1798 For now, we ignore lexical block scopes within the function.
1799 The problem is that AT&T cc does not define a DWARF lexical
1800 block scope for the function itself, while gcc defines a
1801 lexical block scope for the function. We need to think about
1802 how to handle this difference, or if it is even a problem.
1803 (FIXME)
1804 */
1805
1806 static void
1807 read_func_scope (dip, thisdie, enddie, objfile)
1808 struct dieinfo *dip;
1809 char *thisdie;
1810 char *enddie;
1811 struct objfile *objfile;
1812 {
1813 register struct context_stack *new;
1814
1815 /* AT_name is absent if the function is described with an
1816 AT_abstract_origin tag.
1817 Ignore the function description for now to avoid GDB core dumps.
1818 FIXME: Add code to handle AT_abstract_origin tags properly. */
1819 if (dip -> at_name == NULL)
1820 {
1821 complain (&missing_at_name, DIE_ID);
1822 return;
1823 }
1824
1825 if (objfile -> ei.entry_point >= dip -> at_low_pc &&
1826 objfile -> ei.entry_point < dip -> at_high_pc)
1827 {
1828 objfile -> ei.entry_func_lowpc = dip -> at_low_pc;
1829 objfile -> ei.entry_func_highpc = dip -> at_high_pc;
1830 }
1831 if (STREQ (dip -> at_name, "main")) /* FIXME: hardwired name */
1832 {
1833 objfile -> ei.main_func_lowpc = dip -> at_low_pc;
1834 objfile -> ei.main_func_highpc = dip -> at_high_pc;
1835 }
1836 new = push_context (0, dip -> at_low_pc);
1837 new -> name = new_symbol (dip, objfile);
1838 list_in_scope = &local_symbols;
1839 process_dies (thisdie + dip -> die_length, enddie, objfile);
1840 new = pop_context ();
1841 /* Make a block for the local symbols within. */
1842 finish_block (new -> name, &local_symbols, new -> old_blocks,
1843 new -> start_addr, dip -> at_high_pc, objfile);
1844 list_in_scope = &file_symbols;
1845 }
1846
1847
1848 /*
1849
1850 LOCAL FUNCTION
1851
1852 handle_producer -- process the AT_producer attribute
1853
1854 DESCRIPTION
1855
1856 Perform any operations that depend on finding a particular
1857 AT_producer attribute.
1858
1859 */
1860
1861 static void
1862 handle_producer (producer)
1863 char *producer;
1864 {
1865
1866 /* If this compilation unit was compiled with g++ or gcc, then set the
1867 processing_gcc_compilation flag. */
1868
1869 processing_gcc_compilation =
1870 STREQN (producer, GPLUS_PRODUCER, strlen (GPLUS_PRODUCER))
1871 || STREQN (producer, CHILL_PRODUCER, strlen (CHILL_PRODUCER))
1872 || STREQN (producer, GCC_PRODUCER, strlen (GCC_PRODUCER));
1873
1874 /* Select a demangling style if we can identify the producer and if
1875 the current style is auto. We leave the current style alone if it
1876 is not auto. We also leave the demangling style alone if we find a
1877 gcc (cc1) producer, as opposed to a g++ (cc1plus) producer. */
1878
1879 if (AUTO_DEMANGLING)
1880 {
1881 if (STREQN (producer, GPLUS_PRODUCER, strlen (GPLUS_PRODUCER)))
1882 {
1883 set_demangling_style (GNU_DEMANGLING_STYLE_STRING);
1884 }
1885 else if (STREQN (producer, LCC_PRODUCER, strlen (LCC_PRODUCER)))
1886 {
1887 set_demangling_style (LUCID_DEMANGLING_STYLE_STRING);
1888 }
1889 }
1890 }
1891
1892
1893 /*
1894
1895 LOCAL FUNCTION
1896
1897 read_file_scope -- process all dies within a file scope
1898
1899 DESCRIPTION
1900
1901 Process all dies within a given file scope. We are passed a
1902 pointer to the die information structure for the die which
1903 starts the file scope, and pointers into the raw die data which
1904 mark the range of dies within the file scope.
1905
1906 When the partial symbol table is built, the file offset for the line
1907 number table for each compilation unit is saved in the partial symbol
1908 table entry for that compilation unit. As the symbols for each
1909 compilation unit are read, the line number table is read into memory
1910 and the variable lnbase is set to point to it. Thus all we have to
1911 do is use lnbase to access the line number table for the current
1912 compilation unit.
1913 */
1914
1915 static void
1916 read_file_scope (dip, thisdie, enddie, objfile)
1917 struct dieinfo *dip;
1918 char *thisdie;
1919 char *enddie;
1920 struct objfile *objfile;
1921 {
1922 struct cleanup *back_to;
1923 struct symtab *symtab;
1924
1925 if (objfile -> ei.entry_point >= dip -> at_low_pc &&
1926 objfile -> ei.entry_point < dip -> at_high_pc)
1927 {
1928 objfile -> ei.entry_file_lowpc = dip -> at_low_pc;
1929 objfile -> ei.entry_file_highpc = dip -> at_high_pc;
1930 }
1931 set_cu_language (dip);
1932 if (dip -> at_producer != NULL)
1933 {
1934 handle_producer (dip -> at_producer);
1935 }
1936 numutypes = (enddie - thisdie) / 4;
1937 utypes = (struct type **) xmalloc (numutypes * sizeof (struct type *));
1938 back_to = make_cleanup (free, utypes);
1939 memset (utypes, 0, numutypes * sizeof (struct type *));
1940 memset (ftypes, 0, FT_NUM_MEMBERS * sizeof (struct type *));
1941 start_symtab (dip -> at_name, dip -> at_comp_dir, dip -> at_low_pc);
1942 decode_line_numbers (lnbase);
1943 process_dies (thisdie + dip -> die_length, enddie, objfile);
1944
1945 symtab = end_symtab (dip -> at_high_pc, objfile, 0);
1946 if (symtab != NULL)
1947 {
1948 symtab -> language = cu_language;
1949 }
1950 do_cleanups (back_to);
1951 utypes = NULL;
1952 numutypes = 0;
1953 }
1954
1955 /*
1956
1957 LOCAL FUNCTION
1958
1959 process_dies -- process a range of DWARF Information Entries
1960
1961 SYNOPSIS
1962
1963 static void process_dies (char *thisdie, char *enddie,
1964 struct objfile *objfile)
1965
1966 DESCRIPTION
1967
1968 Process all DIE's in a specified range. May be (and almost
1969 certainly will be) called recursively.
1970 */
1971
1972 static void
1973 process_dies (thisdie, enddie, objfile)
1974 char *thisdie;
1975 char *enddie;
1976 struct objfile *objfile;
1977 {
1978 char *nextdie;
1979 struct dieinfo di;
1980
1981 while (thisdie < enddie)
1982 {
1983 basicdieinfo (&di, thisdie, objfile);
1984 if (di.die_length < SIZEOF_DIE_LENGTH)
1985 {
1986 break;
1987 }
1988 else if (di.die_tag == TAG_padding)
1989 {
1990 nextdie = thisdie + di.die_length;
1991 }
1992 else
1993 {
1994 completedieinfo (&di, objfile);
1995 if (di.at_sibling != 0)
1996 {
1997 nextdie = dbbase + di.at_sibling - dbroff;
1998 }
1999 else
2000 {
2001 nextdie = thisdie + di.die_length;
2002 }
2003 #ifdef SMASH_TEXT_ADDRESS
2004 /* I think that these are always text, not data, addresses. */
2005 SMASH_TEXT_ADDRESS (di.at_low_pc);
2006 SMASH_TEXT_ADDRESS (di.at_high_pc);
2007 #endif
2008 switch (di.die_tag)
2009 {
2010 case TAG_compile_unit:
2011 /* Skip Tag_compile_unit if we are already inside a compilation
2012 unit, we are unable to handle nested compilation units
2013 properly (FIXME). */
2014 if (current_subfile == NULL)
2015 read_file_scope (&di, thisdie, nextdie, objfile);
2016 else
2017 nextdie = thisdie + di.die_length;
2018 break;
2019 case TAG_global_subroutine:
2020 case TAG_subroutine:
2021 if (di.has_at_low_pc)
2022 {
2023 read_func_scope (&di, thisdie, nextdie, objfile);
2024 }
2025 break;
2026 case TAG_lexical_block:
2027 read_lexical_block_scope (&di, thisdie, nextdie, objfile);
2028 break;
2029 case TAG_class_type:
2030 case TAG_structure_type:
2031 case TAG_union_type:
2032 read_structure_scope (&di, thisdie, nextdie, objfile);
2033 break;
2034 case TAG_enumeration_type:
2035 read_enumeration (&di, thisdie, nextdie, objfile);
2036 break;
2037 case TAG_subroutine_type:
2038 read_subroutine_type (&di, thisdie, nextdie);
2039 break;
2040 case TAG_array_type:
2041 dwarf_read_array_type (&di);
2042 break;
2043 case TAG_pointer_type:
2044 read_tag_pointer_type (&di);
2045 break;
2046 case TAG_string_type:
2047 read_tag_string_type (&di);
2048 break;
2049 default:
2050 new_symbol (&di, objfile);
2051 break;
2052 }
2053 }
2054 thisdie = nextdie;
2055 }
2056 }
2057
2058 /*
2059
2060 LOCAL FUNCTION
2061
2062 decode_line_numbers -- decode a line number table fragment
2063
2064 SYNOPSIS
2065
2066 static void decode_line_numbers (char *tblscan, char *tblend,
2067 long length, long base, long line, long pc)
2068
2069 DESCRIPTION
2070
2071 Translate the DWARF line number information to gdb form.
2072
2073 The ".line" section contains one or more line number tables, one for
2074 each ".line" section from the objects that were linked.
2075
2076 The AT_stmt_list attribute for each TAG_source_file entry in the
2077 ".debug" section contains the offset into the ".line" section for the
2078 start of the table for that file.
2079
2080 The table itself has the following structure:
2081
2082 <table length><base address><source statement entry>
2083 4 bytes 4 bytes 10 bytes
2084
2085 The table length is the total size of the table, including the 4 bytes
2086 for the length information.
2087
2088 The base address is the address of the first instruction generated
2089 for the source file.
2090
2091 Each source statement entry has the following structure:
2092
2093 <line number><statement position><address delta>
2094 4 bytes 2 bytes 4 bytes
2095
2096 The line number is relative to the start of the file, starting with
2097 line 1.
2098
2099 The statement position either -1 (0xFFFF) or the number of characters
2100 from the beginning of the line to the beginning of the statement.
2101
2102 The address delta is the difference between the base address and
2103 the address of the first instruction for the statement.
2104
2105 Note that we must copy the bytes from the packed table to our local
2106 variables before attempting to use them, to avoid alignment problems
2107 on some machines, particularly RISC processors.
2108
2109 BUGS
2110
2111 Does gdb expect the line numbers to be sorted? They are now by
2112 chance/luck, but are not required to be. (FIXME)
2113
2114 The line with number 0 is unused, gdb apparently can discover the
2115 span of the last line some other way. How? (FIXME)
2116 */
2117
2118 static void
2119 decode_line_numbers (linetable)
2120 char *linetable;
2121 {
2122 char *tblscan;
2123 char *tblend;
2124 unsigned long length;
2125 unsigned long base;
2126 unsigned long line;
2127 unsigned long pc;
2128
2129 if (linetable != NULL)
2130 {
2131 tblscan = tblend = linetable;
2132 length = target_to_host (tblscan, SIZEOF_LINETBL_LENGTH, GET_UNSIGNED,
2133 current_objfile);
2134 tblscan += SIZEOF_LINETBL_LENGTH;
2135 tblend += length;
2136 base = target_to_host (tblscan, TARGET_FT_POINTER_SIZE (objfile),
2137 GET_UNSIGNED, current_objfile);
2138 tblscan += TARGET_FT_POINTER_SIZE (objfile);
2139 base += baseaddr;
2140 while (tblscan < tblend)
2141 {
2142 line = target_to_host (tblscan, SIZEOF_LINETBL_LINENO, GET_UNSIGNED,
2143 current_objfile);
2144 tblscan += SIZEOF_LINETBL_LINENO + SIZEOF_LINETBL_STMT;
2145 pc = target_to_host (tblscan, SIZEOF_LINETBL_DELTA, GET_UNSIGNED,
2146 current_objfile);
2147 tblscan += SIZEOF_LINETBL_DELTA;
2148 pc += base;
2149 if (line != 0)
2150 {
2151 record_line (current_subfile, line, pc);
2152 }
2153 }
2154 }
2155 }
2156
2157 /*
2158
2159 LOCAL FUNCTION
2160
2161 locval -- compute the value of a location attribute
2162
2163 SYNOPSIS
2164
2165 static int locval (char *loc)
2166
2167 DESCRIPTION
2168
2169 Given pointer to a string of bytes that define a location, compute
2170 the location and return the value.
2171 A location description containing no atoms indicates that the
2172 object is optimized out. The global optimized_out flag is set for
2173 those, the return value is meaningless.
2174
2175 When computing values involving the current value of the frame pointer,
2176 the value zero is used, which results in a value relative to the frame
2177 pointer, rather than the absolute value. This is what GDB wants
2178 anyway.
2179
2180 When the result is a register number, the global isreg flag is set,
2181 otherwise it is cleared. This is a kludge until we figure out a better
2182 way to handle the problem. Gdb's design does not mesh well with the
2183 DWARF notion of a location computing interpreter, which is a shame
2184 because the flexibility goes unused.
2185
2186 NOTES
2187
2188 Note that stack[0] is unused except as a default error return.
2189 Note that stack overflow is not yet handled.
2190 */
2191
2192 static int
2193 locval (loc)
2194 char *loc;
2195 {
2196 unsigned short nbytes;
2197 unsigned short locsize;
2198 auto long stack[64];
2199 int stacki;
2200 char *end;
2201 int loc_atom_code;
2202 int loc_value_size;
2203
2204 nbytes = attribute_size (AT_location);
2205 locsize = target_to_host (loc, nbytes, GET_UNSIGNED, current_objfile);
2206 loc += nbytes;
2207 end = loc + locsize;
2208 stacki = 0;
2209 stack[stacki] = 0;
2210 isreg = 0;
2211 offreg = 0;
2212 optimized_out = 1;
2213 loc_value_size = TARGET_FT_LONG_SIZE (current_objfile);
2214 while (loc < end)
2215 {
2216 optimized_out = 0;
2217 loc_atom_code = target_to_host (loc, SIZEOF_LOC_ATOM_CODE, GET_UNSIGNED,
2218 current_objfile);
2219 loc += SIZEOF_LOC_ATOM_CODE;
2220 switch (loc_atom_code)
2221 {
2222 case 0:
2223 /* error */
2224 loc = end;
2225 break;
2226 case OP_REG:
2227 /* push register (number) */
2228 stack[++stacki]
2229 = DWARF_REG_TO_REGNUM (target_to_host (loc, loc_value_size,
2230 GET_UNSIGNED,
2231 current_objfile));
2232 loc += loc_value_size;
2233 isreg = 1;
2234 break;
2235 case OP_BASEREG:
2236 /* push value of register (number) */
2237 /* Actually, we compute the value as if register has 0, so the
2238 value ends up being the offset from that register. */
2239 offreg = 1;
2240 basereg = target_to_host (loc, loc_value_size, GET_UNSIGNED,
2241 current_objfile);
2242 loc += loc_value_size;
2243 stack[++stacki] = 0;
2244 break;
2245 case OP_ADDR:
2246 /* push address (relocated address) */
2247 stack[++stacki] = target_to_host (loc, loc_value_size,
2248 GET_UNSIGNED, current_objfile);
2249 loc += loc_value_size;
2250 break;
2251 case OP_CONST:
2252 /* push constant (number) FIXME: signed or unsigned! */
2253 stack[++stacki] = target_to_host (loc, loc_value_size,
2254 GET_SIGNED, current_objfile);
2255 loc += loc_value_size;
2256 break;
2257 case OP_DEREF2:
2258 /* pop, deref and push 2 bytes (as a long) */
2259 complain (&op_deref2, DIE_ID, DIE_NAME, stack[stacki]);
2260 break;
2261 case OP_DEREF4: /* pop, deref and push 4 bytes (as a long) */
2262 complain (&op_deref4, DIE_ID, DIE_NAME, stack[stacki]);
2263 break;
2264 case OP_ADD: /* pop top 2 items, add, push result */
2265 stack[stacki - 1] += stack[stacki];
2266 stacki--;
2267 break;
2268 }
2269 }
2270 return (stack[stacki]);
2271 }
2272
2273 /*
2274
2275 LOCAL FUNCTION
2276
2277 read_ofile_symtab -- build a full symtab entry from chunk of DIE's
2278
2279 SYNOPSIS
2280
2281 static void read_ofile_symtab (struct partial_symtab *pst)
2282
2283 DESCRIPTION
2284
2285 When expanding a partial symbol table entry to a full symbol table
2286 entry, this is the function that gets called to read in the symbols
2287 for the compilation unit. A pointer to the newly constructed symtab,
2288 which is now the new first one on the objfile's symtab list, is
2289 stashed in the partial symbol table entry.
2290 */
2291
2292 static void
2293 read_ofile_symtab (pst)
2294 struct partial_symtab *pst;
2295 {
2296 struct cleanup *back_to;
2297 unsigned long lnsize;
2298 file_ptr foffset;
2299 bfd *abfd;
2300 char lnsizedata[SIZEOF_LINETBL_LENGTH];
2301
2302 abfd = pst -> objfile -> obfd;
2303 current_objfile = pst -> objfile;
2304
2305 /* Allocate a buffer for the entire chunk of DIE's for this compilation
2306 unit, seek to the location in the file, and read in all the DIE's. */
2307
2308 diecount = 0;
2309 dbsize = DBLENGTH (pst);
2310 dbbase = xmalloc (dbsize);
2311 dbroff = DBROFF(pst);
2312 foffset = DBFOFF(pst) + dbroff;
2313 base_section_offsets = pst->section_offsets;
2314 baseaddr = ANOFFSET (pst->section_offsets, 0);
2315 if (bfd_seek (abfd, foffset, SEEK_SET) ||
2316 (bfd_read (dbbase, dbsize, 1, abfd) != dbsize))
2317 {
2318 free (dbbase);
2319 error ("can't read DWARF data");
2320 }
2321 back_to = make_cleanup (free, dbbase);
2322
2323 /* If there is a line number table associated with this compilation unit
2324 then read the size of this fragment in bytes, from the fragment itself.
2325 Allocate a buffer for the fragment and read it in for future
2326 processing. */
2327
2328 lnbase = NULL;
2329 if (LNFOFF (pst))
2330 {
2331 if (bfd_seek (abfd, LNFOFF (pst), SEEK_SET) ||
2332 (bfd_read ((PTR) lnsizedata, sizeof (lnsizedata), 1, abfd) !=
2333 sizeof (lnsizedata)))
2334 {
2335 error ("can't read DWARF line number table size");
2336 }
2337 lnsize = target_to_host (lnsizedata, SIZEOF_LINETBL_LENGTH,
2338 GET_UNSIGNED, pst -> objfile);
2339 lnbase = xmalloc (lnsize);
2340 if (bfd_seek (abfd, LNFOFF (pst), SEEK_SET) ||
2341 (bfd_read (lnbase, lnsize, 1, abfd) != lnsize))
2342 {
2343 free (lnbase);
2344 error ("can't read DWARF line numbers");
2345 }
2346 make_cleanup (free, lnbase);
2347 }
2348
2349 process_dies (dbbase, dbbase + dbsize, pst -> objfile);
2350 do_cleanups (back_to);
2351 current_objfile = NULL;
2352 pst -> symtab = pst -> objfile -> symtabs;
2353 }
2354
2355 /*
2356
2357 LOCAL FUNCTION
2358
2359 psymtab_to_symtab_1 -- do grunt work for building a full symtab entry
2360
2361 SYNOPSIS
2362
2363 static void psymtab_to_symtab_1 (struct partial_symtab *pst)
2364
2365 DESCRIPTION
2366
2367 Called once for each partial symbol table entry that needs to be
2368 expanded into a full symbol table entry.
2369
2370 */
2371
2372 static void
2373 psymtab_to_symtab_1 (pst)
2374 struct partial_symtab *pst;
2375 {
2376 int i;
2377 struct cleanup *old_chain;
2378
2379 if (pst != NULL)
2380 {
2381 if (pst->readin)
2382 {
2383 warning ("psymtab for %s already read in. Shouldn't happen.",
2384 pst -> filename);
2385 }
2386 else
2387 {
2388 /* Read in all partial symtabs on which this one is dependent */
2389 for (i = 0; i < pst -> number_of_dependencies; i++)
2390 {
2391 if (!pst -> dependencies[i] -> readin)
2392 {
2393 /* Inform about additional files that need to be read in. */
2394 if (info_verbose)
2395 {
2396 fputs_filtered (" ", gdb_stdout);
2397 wrap_here ("");
2398 fputs_filtered ("and ", gdb_stdout);
2399 wrap_here ("");
2400 printf_filtered ("%s...",
2401 pst -> dependencies[i] -> filename);
2402 wrap_here ("");
2403 gdb_flush (gdb_stdout); /* Flush output */
2404 }
2405 psymtab_to_symtab_1 (pst -> dependencies[i]);
2406 }
2407 }
2408 if (DBLENGTH (pst)) /* Otherwise it's a dummy */
2409 {
2410 buildsym_init ();
2411 old_chain = make_cleanup (really_free_pendings, 0);
2412 read_ofile_symtab (pst);
2413 if (info_verbose)
2414 {
2415 printf_filtered ("%d DIE's, sorting...", diecount);
2416 wrap_here ("");
2417 gdb_flush (gdb_stdout);
2418 }
2419 sort_symtab_syms (pst -> symtab);
2420 do_cleanups (old_chain);
2421 }
2422 pst -> readin = 1;
2423 }
2424 }
2425 }
2426
2427 /*
2428
2429 LOCAL FUNCTION
2430
2431 dwarf_psymtab_to_symtab -- build a full symtab entry from partial one
2432
2433 SYNOPSIS
2434
2435 static void dwarf_psymtab_to_symtab (struct partial_symtab *pst)
2436
2437 DESCRIPTION
2438
2439 This is the DWARF support entry point for building a full symbol
2440 table entry from a partial symbol table entry. We are passed a
2441 pointer to the partial symbol table entry that needs to be expanded.
2442
2443 */
2444
2445 static void
2446 dwarf_psymtab_to_symtab (pst)
2447 struct partial_symtab *pst;
2448 {
2449
2450 if (pst != NULL)
2451 {
2452 if (pst -> readin)
2453 {
2454 warning ("psymtab for %s already read in. Shouldn't happen.",
2455 pst -> filename);
2456 }
2457 else
2458 {
2459 if (DBLENGTH (pst) || pst -> number_of_dependencies)
2460 {
2461 /* Print the message now, before starting serious work, to avoid
2462 disconcerting pauses. */
2463 if (info_verbose)
2464 {
2465 printf_filtered ("Reading in symbols for %s...",
2466 pst -> filename);
2467 gdb_flush (gdb_stdout);
2468 }
2469
2470 psymtab_to_symtab_1 (pst);
2471
2472 #if 0 /* FIXME: Check to see what dbxread is doing here and see if
2473 we need to do an equivalent or is this something peculiar to
2474 stabs/a.out format.
2475 Match with global symbols. This only needs to be done once,
2476 after all of the symtabs and dependencies have been read in.
2477 */
2478 scan_file_globals (pst -> objfile);
2479 #endif
2480
2481 /* Finish up the verbose info message. */
2482 if (info_verbose)
2483 {
2484 printf_filtered ("done.\n");
2485 gdb_flush (gdb_stdout);
2486 }
2487 }
2488 }
2489 }
2490 }
2491
2492 /*
2493
2494 LOCAL FUNCTION
2495
2496 add_enum_psymbol -- add enumeration members to partial symbol table
2497
2498 DESCRIPTION
2499
2500 Given pointer to a DIE that is known to be for an enumeration,
2501 extract the symbolic names of the enumeration members and add
2502 partial symbols for them.
2503 */
2504
2505 static void
2506 add_enum_psymbol (dip, objfile)
2507 struct dieinfo *dip;
2508 struct objfile *objfile;
2509 {
2510 char *scan;
2511 char *listend;
2512 unsigned short blocksz;
2513 int nbytes;
2514
2515 if ((scan = dip -> at_element_list) != NULL)
2516 {
2517 if (dip -> short_element_list)
2518 {
2519 nbytes = attribute_size (AT_short_element_list);
2520 }
2521 else
2522 {
2523 nbytes = attribute_size (AT_element_list);
2524 }
2525 blocksz = target_to_host (scan, nbytes, GET_UNSIGNED, objfile);
2526 scan += nbytes;
2527 listend = scan + blocksz;
2528 while (scan < listend)
2529 {
2530 scan += TARGET_FT_LONG_SIZE (objfile);
2531 ADD_PSYMBOL_TO_LIST (scan, strlen (scan), VAR_NAMESPACE, LOC_CONST,
2532 objfile -> static_psymbols, 0, cu_language,
2533 objfile);
2534 scan += strlen (scan) + 1;
2535 }
2536 }
2537 }
2538
2539 /*
2540
2541 LOCAL FUNCTION
2542
2543 add_partial_symbol -- add symbol to partial symbol table
2544
2545 DESCRIPTION
2546
2547 Given a DIE, if it is one of the types that we want to
2548 add to a partial symbol table, finish filling in the die info
2549 and then add a partial symbol table entry for it.
2550
2551 NOTES
2552
2553 The caller must ensure that the DIE has a valid name attribute.
2554 */
2555
2556 static void
2557 add_partial_symbol (dip, objfile)
2558 struct dieinfo *dip;
2559 struct objfile *objfile;
2560 {
2561 switch (dip -> die_tag)
2562 {
2563 case TAG_global_subroutine:
2564 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2565 VAR_NAMESPACE, LOC_BLOCK,
2566 objfile -> global_psymbols,
2567 dip -> at_low_pc, cu_language, objfile);
2568 break;
2569 case TAG_global_variable:
2570 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2571 VAR_NAMESPACE, LOC_STATIC,
2572 objfile -> global_psymbols,
2573 0, cu_language, objfile);
2574 break;
2575 case TAG_subroutine:
2576 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2577 VAR_NAMESPACE, LOC_BLOCK,
2578 objfile -> static_psymbols,
2579 dip -> at_low_pc, cu_language, objfile);
2580 break;
2581 case TAG_local_variable:
2582 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2583 VAR_NAMESPACE, LOC_STATIC,
2584 objfile -> static_psymbols,
2585 0, cu_language, objfile);
2586 break;
2587 case TAG_typedef:
2588 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2589 VAR_NAMESPACE, LOC_TYPEDEF,
2590 objfile -> static_psymbols,
2591 0, cu_language, objfile);
2592 break;
2593 case TAG_class_type:
2594 case TAG_structure_type:
2595 case TAG_union_type:
2596 case TAG_enumeration_type:
2597 /* Do not add opaque aggregate definitions to the psymtab. */
2598 if (!dip -> has_at_byte_size)
2599 break;
2600 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2601 STRUCT_NAMESPACE, LOC_TYPEDEF,
2602 objfile -> static_psymbols,
2603 0, cu_language, objfile);
2604 if (cu_language == language_cplus)
2605 {
2606 /* For C++, these implicitly act as typedefs as well. */
2607 ADD_PSYMBOL_TO_LIST (dip -> at_name, strlen (dip -> at_name),
2608 VAR_NAMESPACE, LOC_TYPEDEF,
2609 objfile -> static_psymbols,
2610 0, cu_language, objfile);
2611 }
2612 break;
2613 }
2614 }
2615
2616 /*
2617
2618 LOCAL FUNCTION
2619
2620 scan_partial_symbols -- scan DIE's within a single compilation unit
2621
2622 DESCRIPTION
2623
2624 Process the DIE's within a single compilation unit, looking for
2625 interesting DIE's that contribute to the partial symbol table entry
2626 for this compilation unit.
2627
2628 NOTES
2629
2630 There are some DIE's that may appear both at file scope and within
2631 the scope of a function. We are only interested in the ones at file
2632 scope, and the only way to tell them apart is to keep track of the
2633 scope. For example, consider the test case:
2634
2635 static int i;
2636 main () { int j; }
2637
2638 for which the relevant DWARF segment has the structure:
2639
2640 0x51:
2641 0x23 global subrtn sibling 0x9b
2642 name main
2643 fund_type FT_integer
2644 low_pc 0x800004cc
2645 high_pc 0x800004d4
2646
2647 0x74:
2648 0x23 local var sibling 0x97
2649 name j
2650 fund_type FT_integer
2651 location OP_BASEREG 0xe
2652 OP_CONST 0xfffffffc
2653 OP_ADD
2654 0x97:
2655 0x4
2656
2657 0x9b:
2658 0x1d local var sibling 0xb8
2659 name i
2660 fund_type FT_integer
2661 location OP_ADDR 0x800025dc
2662
2663 0xb8:
2664 0x4
2665
2666 We want to include the symbol 'i' in the partial symbol table, but
2667 not the symbol 'j'. In essence, we want to skip all the dies within
2668 the scope of a TAG_global_subroutine DIE.
2669
2670 Don't attempt to add anonymous structures or unions since they have
2671 no name. Anonymous enumerations however are processed, because we
2672 want to extract their member names (the check for a tag name is
2673 done later).
2674
2675 Also, for variables and subroutines, check that this is the place
2676 where the actual definition occurs, rather than just a reference
2677 to an external.
2678 */
2679
2680 static void
2681 scan_partial_symbols (thisdie, enddie, objfile)
2682 char *thisdie;
2683 char *enddie;
2684 struct objfile *objfile;
2685 {
2686 char *nextdie;
2687 char *temp;
2688 struct dieinfo di;
2689
2690 while (thisdie < enddie)
2691 {
2692 basicdieinfo (&di, thisdie, objfile);
2693 if (di.die_length < SIZEOF_DIE_LENGTH)
2694 {
2695 break;
2696 }
2697 else
2698 {
2699 nextdie = thisdie + di.die_length;
2700 /* To avoid getting complete die information for every die, we
2701 only do it (below) for the cases we are interested in. */
2702 switch (di.die_tag)
2703 {
2704 case TAG_global_subroutine:
2705 case TAG_subroutine:
2706 completedieinfo (&di, objfile);
2707 if (di.at_name && (di.has_at_low_pc || di.at_location))
2708 {
2709 add_partial_symbol (&di, objfile);
2710 /* If there is a sibling attribute, adjust the nextdie
2711 pointer to skip the entire scope of the subroutine.
2712 Apply some sanity checking to make sure we don't
2713 overrun or underrun the range of remaining DIE's */
2714 if (di.at_sibling != 0)
2715 {
2716 temp = dbbase + di.at_sibling - dbroff;
2717 if ((temp < thisdie) || (temp >= enddie))
2718 {
2719 complain (&bad_die_ref, DIE_ID, DIE_NAME,
2720 di.at_sibling);
2721 }
2722 else
2723 {
2724 nextdie = temp;
2725 }
2726 }
2727 }
2728 break;
2729 case TAG_global_variable:
2730 case TAG_local_variable:
2731 completedieinfo (&di, objfile);
2732 if (di.at_name && (di.has_at_low_pc || di.at_location))
2733 {
2734 add_partial_symbol (&di, objfile);
2735 }
2736 break;
2737 case TAG_typedef:
2738 case TAG_class_type:
2739 case TAG_structure_type:
2740 case TAG_union_type:
2741 completedieinfo (&di, objfile);
2742 if (di.at_name)
2743 {
2744 add_partial_symbol (&di, objfile);
2745 }
2746 break;
2747 case TAG_enumeration_type:
2748 completedieinfo (&di, objfile);
2749 if (di.at_name)
2750 {
2751 add_partial_symbol (&di, objfile);
2752 }
2753 add_enum_psymbol (&di, objfile);
2754 break;
2755 }
2756 }
2757 thisdie = nextdie;
2758 }
2759 }
2760
2761 /*
2762
2763 LOCAL FUNCTION
2764
2765 scan_compilation_units -- build a psymtab entry for each compilation
2766
2767 DESCRIPTION
2768
2769 This is the top level dwarf parsing routine for building partial
2770 symbol tables.
2771
2772 It scans from the beginning of the DWARF table looking for the first
2773 TAG_compile_unit DIE, and then follows the sibling chain to locate
2774 each additional TAG_compile_unit DIE.
2775
2776 For each TAG_compile_unit DIE it creates a partial symtab structure,
2777 calls a subordinate routine to collect all the compilation unit's
2778 global DIE's, file scope DIEs, typedef DIEs, etc, and then links the
2779 new partial symtab structure into the partial symbol table. It also
2780 records the appropriate information in the partial symbol table entry
2781 to allow the chunk of DIE's and line number table for this compilation
2782 unit to be located and re-read later, to generate a complete symbol
2783 table entry for the compilation unit.
2784
2785 Thus it effectively partitions up a chunk of DIE's for multiple
2786 compilation units into smaller DIE chunks and line number tables,
2787 and associates them with a partial symbol table entry.
2788
2789 NOTES
2790
2791 If any compilation unit has no line number table associated with
2792 it for some reason (a missing at_stmt_list attribute, rather than
2793 just one with a value of zero, which is valid) then we ensure that
2794 the recorded file offset is zero so that the routine which later
2795 reads line number table fragments knows that there is no fragment
2796 to read.
2797
2798 RETURNS
2799
2800 Returns no value.
2801
2802 */
2803
2804 static void
2805 scan_compilation_units (thisdie, enddie, dbfoff, lnoffset, objfile)
2806 char *thisdie;
2807 char *enddie;
2808 file_ptr dbfoff;
2809 file_ptr lnoffset;
2810 struct objfile *objfile;
2811 {
2812 char *nextdie;
2813 struct dieinfo di;
2814 struct partial_symtab *pst;
2815 int culength;
2816 int curoff;
2817 file_ptr curlnoffset;
2818
2819 while (thisdie < enddie)
2820 {
2821 basicdieinfo (&di, thisdie, objfile);
2822 if (di.die_length < SIZEOF_DIE_LENGTH)
2823 {
2824 break;
2825 }
2826 else if (di.die_tag != TAG_compile_unit)
2827 {
2828 nextdie = thisdie + di.die_length;
2829 }
2830 else
2831 {
2832 completedieinfo (&di, objfile);
2833 set_cu_language (&di);
2834 if (di.at_sibling != 0)
2835 {
2836 nextdie = dbbase + di.at_sibling - dbroff;
2837 }
2838 else
2839 {
2840 nextdie = thisdie + di.die_length;
2841 }
2842 curoff = thisdie - dbbase;
2843 culength = nextdie - thisdie;
2844 curlnoffset = di.has_at_stmt_list ? lnoffset + di.at_stmt_list : 0;
2845
2846 /* First allocate a new partial symbol table structure */
2847
2848 pst = start_psymtab_common (objfile, base_section_offsets,
2849 di.at_name, di.at_low_pc,
2850 objfile -> global_psymbols.next,
2851 objfile -> static_psymbols.next);
2852
2853 pst -> texthigh = di.at_high_pc;
2854 pst -> read_symtab_private = (char *)
2855 obstack_alloc (&objfile -> psymbol_obstack,
2856 sizeof (struct dwfinfo));
2857 DBFOFF (pst) = dbfoff;
2858 DBROFF (pst) = curoff;
2859 DBLENGTH (pst) = culength;
2860 LNFOFF (pst) = curlnoffset;
2861 pst -> read_symtab = dwarf_psymtab_to_symtab;
2862
2863 /* Now look for partial symbols */
2864
2865 scan_partial_symbols (thisdie + di.die_length, nextdie, objfile);
2866
2867 pst -> n_global_syms = objfile -> global_psymbols.next -
2868 (objfile -> global_psymbols.list + pst -> globals_offset);
2869 pst -> n_static_syms = objfile -> static_psymbols.next -
2870 (objfile -> static_psymbols.list + pst -> statics_offset);
2871 sort_pst_symbols (pst);
2872 /* If there is already a psymtab or symtab for a file of this name,
2873 remove it. (If there is a symtab, more drastic things also
2874 happen.) This happens in VxWorks. */
2875 free_named_symtabs (pst -> filename);
2876 }
2877 thisdie = nextdie;
2878 }
2879 }
2880
2881 /*
2882
2883 LOCAL FUNCTION
2884
2885 new_symbol -- make a symbol table entry for a new symbol
2886
2887 SYNOPSIS
2888
2889 static struct symbol *new_symbol (struct dieinfo *dip,
2890 struct objfile *objfile)
2891
2892 DESCRIPTION
2893
2894 Given a pointer to a DWARF information entry, figure out if we need
2895 to make a symbol table entry for it, and if so, create a new entry
2896 and return a pointer to it.
2897 */
2898
2899 static struct symbol *
2900 new_symbol (dip, objfile)
2901 struct dieinfo *dip;
2902 struct objfile *objfile;
2903 {
2904 struct symbol *sym = NULL;
2905
2906 if (dip -> at_name != NULL)
2907 {
2908 sym = (struct symbol *) obstack_alloc (&objfile -> symbol_obstack,
2909 sizeof (struct symbol));
2910 OBJSTAT (objfile, n_syms++);
2911 memset (sym, 0, sizeof (struct symbol));
2912 SYMBOL_NAME (sym) = create_name (dip -> at_name,
2913 &objfile->symbol_obstack);
2914 /* default assumptions */
2915 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2916 SYMBOL_CLASS (sym) = LOC_STATIC;
2917 SYMBOL_TYPE (sym) = decode_die_type (dip);
2918
2919 /* If this symbol is from a C++ compilation, then attempt to cache the
2920 demangled form for future reference. This is a typical time versus
2921 space tradeoff, that was decided in favor of time because it sped up
2922 C++ symbol lookups by a factor of about 20. */
2923
2924 SYMBOL_LANGUAGE (sym) = cu_language;
2925 SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile -> symbol_obstack);
2926 switch (dip -> die_tag)
2927 {
2928 case TAG_label:
2929 SYMBOL_VALUE (sym) = dip -> at_low_pc;
2930 SYMBOL_CLASS (sym) = LOC_LABEL;
2931 break;
2932 case TAG_global_subroutine:
2933 case TAG_subroutine:
2934 SYMBOL_VALUE (sym) = dip -> at_low_pc;
2935 SYMBOL_TYPE (sym) = lookup_function_type (SYMBOL_TYPE (sym));
2936 SYMBOL_CLASS (sym) = LOC_BLOCK;
2937 if (dip -> die_tag == TAG_global_subroutine)
2938 {
2939 add_symbol_to_list (sym, &global_symbols);
2940 }
2941 else
2942 {
2943 add_symbol_to_list (sym, list_in_scope);
2944 }
2945 break;
2946 case TAG_global_variable:
2947 if (dip -> at_location != NULL)
2948 {
2949 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2950 add_symbol_to_list (sym, &global_symbols);
2951 SYMBOL_CLASS (sym) = LOC_STATIC;
2952 SYMBOL_VALUE (sym) += baseaddr;
2953 }
2954 break;
2955 case TAG_local_variable:
2956 if (dip -> at_location != NULL)
2957 {
2958 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2959 add_symbol_to_list (sym, list_in_scope);
2960 if (optimized_out)
2961 {
2962 SYMBOL_CLASS (sym) = LOC_OPTIMIZED_OUT;
2963 }
2964 else if (isreg)
2965 {
2966 SYMBOL_CLASS (sym) = LOC_REGISTER;
2967 }
2968 else if (offreg)
2969 {
2970 SYMBOL_CLASS (sym) = LOC_BASEREG;
2971 SYMBOL_BASEREG (sym) = basereg;
2972 }
2973 else
2974 {
2975 SYMBOL_CLASS (sym) = LOC_STATIC;
2976 SYMBOL_VALUE (sym) += baseaddr;
2977 }
2978 }
2979 break;
2980 case TAG_formal_parameter:
2981 if (dip -> at_location != NULL)
2982 {
2983 SYMBOL_VALUE (sym) = locval (dip -> at_location);
2984 }
2985 add_symbol_to_list (sym, list_in_scope);
2986 if (isreg)
2987 {
2988 SYMBOL_CLASS (sym) = LOC_REGPARM;
2989 }
2990 else if (offreg)
2991 {
2992 SYMBOL_CLASS (sym) = LOC_BASEREG_ARG;
2993 SYMBOL_BASEREG (sym) = basereg;
2994 }
2995 else
2996 {
2997 SYMBOL_CLASS (sym) = LOC_ARG;
2998 }
2999 break;
3000 case TAG_unspecified_parameters:
3001 /* From varargs functions; gdb doesn't seem to have any interest in
3002 this information, so just ignore it for now. (FIXME?) */
3003 break;
3004 case TAG_class_type:
3005 case TAG_structure_type:
3006 case TAG_union_type:
3007 case TAG_enumeration_type:
3008 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
3009 SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE;
3010 add_symbol_to_list (sym, list_in_scope);
3011 break;
3012 case TAG_typedef:
3013 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
3014 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
3015 add_symbol_to_list (sym, list_in_scope);
3016 break;
3017 default:
3018 /* Not a tag we recognize. Hopefully we aren't processing trash
3019 data, but since we must specifically ignore things we don't
3020 recognize, there is nothing else we should do at this point. */
3021 break;
3022 }
3023 }
3024 return (sym);
3025 }
3026
3027 /*
3028
3029 LOCAL FUNCTION
3030
3031 synthesize_typedef -- make a symbol table entry for a "fake" typedef
3032
3033 SYNOPSIS
3034
3035 static void synthesize_typedef (struct dieinfo *dip,
3036 struct objfile *objfile,
3037 struct type *type);
3038
3039 DESCRIPTION
3040
3041 Given a pointer to a DWARF information entry, synthesize a typedef
3042 for the name in the DIE, using the specified type.
3043
3044 This is used for C++ class, structs, unions, and enumerations to
3045 set up the tag name as a type.
3046
3047 */
3048
3049 static void
3050 synthesize_typedef (dip, objfile, type)
3051 struct dieinfo *dip;
3052 struct objfile *objfile;
3053 struct type *type;
3054 {
3055 struct symbol *sym = NULL;
3056
3057 if (dip -> at_name != NULL)
3058 {
3059 sym = (struct symbol *)
3060 obstack_alloc (&objfile -> symbol_obstack, sizeof (struct symbol));
3061 OBJSTAT (objfile, n_syms++);
3062 memset (sym, 0, sizeof (struct symbol));
3063 SYMBOL_NAME (sym) = create_name (dip -> at_name,
3064 &objfile->symbol_obstack);
3065 SYMBOL_INIT_LANGUAGE_SPECIFIC (sym, cu_language);
3066 SYMBOL_TYPE (sym) = type;
3067 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
3068 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
3069 add_symbol_to_list (sym, list_in_scope);
3070 }
3071 }
3072
3073 /*
3074
3075 LOCAL FUNCTION
3076
3077 decode_mod_fund_type -- decode a modified fundamental type
3078
3079 SYNOPSIS
3080
3081 static struct type *decode_mod_fund_type (char *typedata)
3082
3083 DESCRIPTION
3084
3085 Decode a block of data containing a modified fundamental
3086 type specification. TYPEDATA is a pointer to the block,
3087 which starts with a length containing the size of the rest
3088 of the block. At the end of the block is a fundmental type
3089 code value that gives the fundamental type. Everything
3090 in between are type modifiers.
3091
3092 We simply compute the number of modifiers and call the general
3093 function decode_modified_type to do the actual work.
3094 */
3095
3096 static struct type *
3097 decode_mod_fund_type (typedata)
3098 char *typedata;
3099 {
3100 struct type *typep = NULL;
3101 unsigned short modcount;
3102 int nbytes;
3103
3104 /* Get the total size of the block, exclusive of the size itself */
3105
3106 nbytes = attribute_size (AT_mod_fund_type);
3107 modcount = target_to_host (typedata, nbytes, GET_UNSIGNED, current_objfile);
3108 typedata += nbytes;
3109
3110 /* Deduct the size of the fundamental type bytes at the end of the block. */
3111
3112 modcount -= attribute_size (AT_fund_type);
3113
3114 /* Now do the actual decoding */
3115
3116 typep = decode_modified_type (typedata, modcount, AT_mod_fund_type);
3117 return (typep);
3118 }
3119
3120 /*
3121
3122 LOCAL FUNCTION
3123
3124 decode_mod_u_d_type -- decode a modified user defined type
3125
3126 SYNOPSIS
3127
3128 static struct type *decode_mod_u_d_type (char *typedata)
3129
3130 DESCRIPTION
3131
3132 Decode a block of data containing a modified user defined
3133 type specification. TYPEDATA is a pointer to the block,
3134 which consists of a two byte length, containing the size
3135 of the rest of the block. At the end of the block is a
3136 four byte value that gives a reference to a user defined type.
3137 Everything in between are type modifiers.
3138
3139 We simply compute the number of modifiers and call the general
3140 function decode_modified_type to do the actual work.
3141 */
3142
3143 static struct type *
3144 decode_mod_u_d_type (typedata)
3145 char *typedata;
3146 {
3147 struct type *typep = NULL;
3148 unsigned short modcount;
3149 int nbytes;
3150
3151 /* Get the total size of the block, exclusive of the size itself */
3152
3153 nbytes = attribute_size (AT_mod_u_d_type);
3154 modcount = target_to_host (typedata, nbytes, GET_UNSIGNED, current_objfile);
3155 typedata += nbytes;
3156
3157 /* Deduct the size of the reference type bytes at the end of the block. */
3158
3159 modcount -= attribute_size (AT_user_def_type);
3160
3161 /* Now do the actual decoding */
3162
3163 typep = decode_modified_type (typedata, modcount, AT_mod_u_d_type);
3164 return (typep);
3165 }
3166
3167 /*
3168
3169 LOCAL FUNCTION
3170
3171 decode_modified_type -- decode modified user or fundamental type
3172
3173 SYNOPSIS
3174
3175 static struct type *decode_modified_type (char *modifiers,
3176 unsigned short modcount, int mtype)
3177
3178 DESCRIPTION
3179
3180 Decode a modified type, either a modified fundamental type or
3181 a modified user defined type. MODIFIERS is a pointer to the
3182 block of bytes that define MODCOUNT modifiers. Immediately
3183 following the last modifier is a short containing the fundamental
3184 type or a long containing the reference to the user defined
3185 type. Which one is determined by MTYPE, which is either
3186 AT_mod_fund_type or AT_mod_u_d_type to indicate what modified
3187 type we are generating.
3188
3189 We call ourself recursively to generate each modified type,`
3190 until MODCOUNT reaches zero, at which point we have consumed
3191 all the modifiers and generate either the fundamental type or
3192 user defined type. When the recursion unwinds, each modifier
3193 is applied in turn to generate the full modified type.
3194
3195 NOTES
3196
3197 If we find a modifier that we don't recognize, and it is not one
3198 of those reserved for application specific use, then we issue a
3199 warning and simply ignore the modifier.
3200
3201 BUGS
3202
3203 We currently ignore MOD_const and MOD_volatile. (FIXME)
3204
3205 */
3206
3207 static struct type *
3208 decode_modified_type (modifiers, modcount, mtype)
3209 char *modifiers;
3210 unsigned int modcount;
3211 int mtype;
3212 {
3213 struct type *typep = NULL;
3214 unsigned short fundtype;
3215 DIE_REF die_ref;
3216 char modifier;
3217 int nbytes;
3218
3219 if (modcount == 0)
3220 {
3221 switch (mtype)
3222 {
3223 case AT_mod_fund_type:
3224 nbytes = attribute_size (AT_fund_type);
3225 fundtype = target_to_host (modifiers, nbytes, GET_UNSIGNED,
3226 current_objfile);
3227 typep = decode_fund_type (fundtype);
3228 break;
3229 case AT_mod_u_d_type:
3230 nbytes = attribute_size (AT_user_def_type);
3231 die_ref = target_to_host (modifiers, nbytes, GET_UNSIGNED,
3232 current_objfile);
3233 if ((typep = lookup_utype (die_ref)) == NULL)
3234 {
3235 typep = alloc_utype (die_ref, NULL);
3236 }
3237 break;
3238 default:
3239 complain (&botched_modified_type, DIE_ID, DIE_NAME, mtype);
3240 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3241 break;
3242 }
3243 }
3244 else
3245 {
3246 modifier = *modifiers++;
3247 typep = decode_modified_type (modifiers, --modcount, mtype);
3248 switch (modifier)
3249 {
3250 case MOD_pointer_to:
3251 typep = lookup_pointer_type (typep);
3252 break;
3253 case MOD_reference_to:
3254 typep = lookup_reference_type (typep);
3255 break;
3256 case MOD_const:
3257 complain (&const_ignored, DIE_ID, DIE_NAME); /* FIXME */
3258 break;
3259 case MOD_volatile:
3260 complain (&volatile_ignored, DIE_ID, DIE_NAME); /* FIXME */
3261 break;
3262 default:
3263 if (!(MOD_lo_user <= (unsigned char) modifier
3264 && (unsigned char) modifier <= MOD_hi_user))
3265 {
3266 complain (&unknown_type_modifier, DIE_ID, DIE_NAME, modifier);
3267 }
3268 break;
3269 }
3270 }
3271 return (typep);
3272 }
3273
3274 /*
3275
3276 LOCAL FUNCTION
3277
3278 decode_fund_type -- translate basic DWARF type to gdb base type
3279
3280 DESCRIPTION
3281
3282 Given an integer that is one of the fundamental DWARF types,
3283 translate it to one of the basic internal gdb types and return
3284 a pointer to the appropriate gdb type (a "struct type *").
3285
3286 NOTES
3287
3288 For robustness, if we are asked to translate a fundamental
3289 type that we are unprepared to deal with, we return int so
3290 callers can always depend upon a valid type being returned,
3291 and so gdb may at least do something reasonable by default.
3292 If the type is not in the range of those types defined as
3293 application specific types, we also issue a warning.
3294 */
3295
3296 static struct type *
3297 decode_fund_type (fundtype)
3298 unsigned int fundtype;
3299 {
3300 struct type *typep = NULL;
3301
3302 switch (fundtype)
3303 {
3304
3305 case FT_void:
3306 typep = dwarf_fundamental_type (current_objfile, FT_VOID);
3307 break;
3308
3309 case FT_boolean: /* Was FT_set in AT&T version */
3310 typep = dwarf_fundamental_type (current_objfile, FT_BOOLEAN);
3311 break;
3312
3313 case FT_pointer: /* (void *) */
3314 typep = dwarf_fundamental_type (current_objfile, FT_VOID);
3315 typep = lookup_pointer_type (typep);
3316 break;
3317
3318 case FT_char:
3319 typep = dwarf_fundamental_type (current_objfile, FT_CHAR);
3320 break;
3321
3322 case FT_signed_char:
3323 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_CHAR);
3324 break;
3325
3326 case FT_unsigned_char:
3327 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_CHAR);
3328 break;
3329
3330 case FT_short:
3331 typep = dwarf_fundamental_type (current_objfile, FT_SHORT);
3332 break;
3333
3334 case FT_signed_short:
3335 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_SHORT);
3336 break;
3337
3338 case FT_unsigned_short:
3339 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_SHORT);
3340 break;
3341
3342 case FT_integer:
3343 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3344 break;
3345
3346 case FT_signed_integer:
3347 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_INTEGER);
3348 break;
3349
3350 case FT_unsigned_integer:
3351 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_INTEGER);
3352 break;
3353
3354 case FT_long:
3355 typep = dwarf_fundamental_type (current_objfile, FT_LONG);
3356 break;
3357
3358 case FT_signed_long:
3359 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_LONG);
3360 break;
3361
3362 case FT_unsigned_long:
3363 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_LONG);
3364 break;
3365
3366 case FT_long_long:
3367 typep = dwarf_fundamental_type (current_objfile, FT_LONG_LONG);
3368 break;
3369
3370 case FT_signed_long_long:
3371 typep = dwarf_fundamental_type (current_objfile, FT_SIGNED_LONG_LONG);
3372 break;
3373
3374 case FT_unsigned_long_long:
3375 typep = dwarf_fundamental_type (current_objfile, FT_UNSIGNED_LONG_LONG);
3376 break;
3377
3378 case FT_float:
3379 typep = dwarf_fundamental_type (current_objfile, FT_FLOAT);
3380 break;
3381
3382 case FT_dbl_prec_float:
3383 typep = dwarf_fundamental_type (current_objfile, FT_DBL_PREC_FLOAT);
3384 break;
3385
3386 case FT_ext_prec_float:
3387 typep = dwarf_fundamental_type (current_objfile, FT_EXT_PREC_FLOAT);
3388 break;
3389
3390 case FT_complex:
3391 typep = dwarf_fundamental_type (current_objfile, FT_COMPLEX);
3392 break;
3393
3394 case FT_dbl_prec_complex:
3395 typep = dwarf_fundamental_type (current_objfile, FT_DBL_PREC_COMPLEX);
3396 break;
3397
3398 case FT_ext_prec_complex:
3399 typep = dwarf_fundamental_type (current_objfile, FT_EXT_PREC_COMPLEX);
3400 break;
3401
3402 }
3403
3404 if (typep == NULL)
3405 {
3406 typep = dwarf_fundamental_type (current_objfile, FT_INTEGER);
3407 if (!(FT_lo_user <= fundtype && fundtype <= FT_hi_user))
3408 {
3409 complain (&unexpected_fund_type, DIE_ID, DIE_NAME, fundtype);
3410 }
3411 }
3412
3413 return (typep);
3414 }
3415
3416 /*
3417
3418 LOCAL FUNCTION
3419
3420 create_name -- allocate a fresh copy of a string on an obstack
3421
3422 DESCRIPTION
3423
3424 Given a pointer to a string and a pointer to an obstack, allocates
3425 a fresh copy of the string on the specified obstack.
3426
3427 */
3428
3429 static char *
3430 create_name (name, obstackp)
3431 char *name;
3432 struct obstack *obstackp;
3433 {
3434 int length;
3435 char *newname;
3436
3437 length = strlen (name) + 1;
3438 newname = (char *) obstack_alloc (obstackp, length);
3439 strcpy (newname, name);
3440 return (newname);
3441 }
3442
3443 /*
3444
3445 LOCAL FUNCTION
3446
3447 basicdieinfo -- extract the minimal die info from raw die data
3448
3449 SYNOPSIS
3450
3451 void basicdieinfo (char *diep, struct dieinfo *dip,
3452 struct objfile *objfile)
3453
3454 DESCRIPTION
3455
3456 Given a pointer to raw DIE data, and a pointer to an instance of a
3457 die info structure, this function extracts the basic information
3458 from the DIE data required to continue processing this DIE, along
3459 with some bookkeeping information about the DIE.
3460
3461 The information we absolutely must have includes the DIE tag,
3462 and the DIE length. If we need the sibling reference, then we
3463 will have to call completedieinfo() to process all the remaining
3464 DIE information.
3465
3466 Note that since there is no guarantee that the data is properly
3467 aligned in memory for the type of access required (indirection
3468 through anything other than a char pointer), and there is no
3469 guarantee that it is in the same byte order as the gdb host,
3470 we call a function which deals with both alignment and byte
3471 swapping issues. Possibly inefficient, but quite portable.
3472
3473 We also take care of some other basic things at this point, such
3474 as ensuring that the instance of the die info structure starts
3475 out completely zero'd and that curdie is initialized for use
3476 in error reporting if we have a problem with the current die.
3477
3478 NOTES
3479
3480 All DIE's must have at least a valid length, thus the minimum
3481 DIE size is SIZEOF_DIE_LENGTH. In order to have a valid tag, the
3482 DIE size must be at least SIZEOF_DIE_TAG larger, otherwise they
3483 are forced to be TAG_padding DIES.
3484
3485 Padding DIES must be at least SIZEOF_DIE_LENGTH in length, implying
3486 that if a padding DIE is used for alignment and the amount needed is
3487 less than SIZEOF_DIE_LENGTH, then the padding DIE has to be big
3488 enough to align to the next alignment boundry.
3489
3490 We do some basic sanity checking here, such as verifying that the
3491 length of the die would not cause it to overrun the recorded end of
3492 the buffer holding the DIE info. If we find a DIE that is either
3493 too small or too large, we force it's length to zero which should
3494 cause the caller to take appropriate action.
3495 */
3496
3497 static void
3498 basicdieinfo (dip, diep, objfile)
3499 struct dieinfo *dip;
3500 char *diep;
3501 struct objfile *objfile;
3502 {
3503 curdie = dip;
3504 memset (dip, 0, sizeof (struct dieinfo));
3505 dip -> die = diep;
3506 dip -> die_ref = dbroff + (diep - dbbase);
3507 dip -> die_length = target_to_host (diep, SIZEOF_DIE_LENGTH, GET_UNSIGNED,
3508 objfile);
3509 if ((dip -> die_length < SIZEOF_DIE_LENGTH) ||
3510 ((diep + dip -> die_length) > (dbbase + dbsize)))
3511 {
3512 complain (&malformed_die, DIE_ID, DIE_NAME, dip -> die_length);
3513 dip -> die_length = 0;
3514 }
3515 else if (dip -> die_length < (SIZEOF_DIE_LENGTH + SIZEOF_DIE_TAG))
3516 {
3517 dip -> die_tag = TAG_padding;
3518 }
3519 else
3520 {
3521 diep += SIZEOF_DIE_LENGTH;
3522 dip -> die_tag = target_to_host (diep, SIZEOF_DIE_TAG, GET_UNSIGNED,
3523 objfile);
3524 }
3525 }
3526
3527 /*
3528
3529 LOCAL FUNCTION
3530
3531 completedieinfo -- finish reading the information for a given DIE
3532
3533 SYNOPSIS
3534
3535 void completedieinfo (struct dieinfo *dip, struct objfile *objfile)
3536
3537 DESCRIPTION
3538
3539 Given a pointer to an already partially initialized die info structure,
3540 scan the raw DIE data and finish filling in the die info structure
3541 from the various attributes found.
3542
3543 Note that since there is no guarantee that the data is properly
3544 aligned in memory for the type of access required (indirection
3545 through anything other than a char pointer), and there is no
3546 guarantee that it is in the same byte order as the gdb host,
3547 we call a function which deals with both alignment and byte
3548 swapping issues. Possibly inefficient, but quite portable.
3549
3550 NOTES
3551
3552 Each time we are called, we increment the diecount variable, which
3553 keeps an approximate count of the number of dies processed for
3554 each compilation unit. This information is presented to the user
3555 if the info_verbose flag is set.
3556
3557 */
3558
3559 static void
3560 completedieinfo (dip, objfile)
3561 struct dieinfo *dip;
3562 struct objfile *objfile;
3563 {
3564 char *diep; /* Current pointer into raw DIE data */
3565 char *end; /* Terminate DIE scan here */
3566 unsigned short attr; /* Current attribute being scanned */
3567 unsigned short form; /* Form of the attribute */
3568 int nbytes; /* Size of next field to read */
3569
3570 diecount++;
3571 diep = dip -> die;
3572 end = diep + dip -> die_length;
3573 diep += SIZEOF_DIE_LENGTH + SIZEOF_DIE_TAG;
3574 while (diep < end)
3575 {
3576 attr = target_to_host (diep, SIZEOF_ATTRIBUTE, GET_UNSIGNED, objfile);
3577 diep += SIZEOF_ATTRIBUTE;
3578 if ((nbytes = attribute_size (attr)) == -1)
3579 {
3580 complain (&unknown_attribute_length, DIE_ID, DIE_NAME);
3581 diep = end;
3582 continue;
3583 }
3584 switch (attr)
3585 {
3586 case AT_fund_type:
3587 dip -> at_fund_type = target_to_host (diep, nbytes, GET_UNSIGNED,
3588 objfile);
3589 break;
3590 case AT_ordering:
3591 dip -> at_ordering = target_to_host (diep, nbytes, GET_UNSIGNED,
3592 objfile);
3593 break;
3594 case AT_bit_offset:
3595 dip -> at_bit_offset = target_to_host (diep, nbytes, GET_UNSIGNED,
3596 objfile);
3597 break;
3598 case AT_sibling:
3599 dip -> at_sibling = target_to_host (diep, nbytes, GET_UNSIGNED,
3600 objfile);
3601 break;
3602 case AT_stmt_list:
3603 dip -> at_stmt_list = target_to_host (diep, nbytes, GET_UNSIGNED,
3604 objfile);
3605 dip -> has_at_stmt_list = 1;
3606 break;
3607 case AT_low_pc:
3608 dip -> at_low_pc = target_to_host (diep, nbytes, GET_UNSIGNED,
3609 objfile);
3610 dip -> at_low_pc += baseaddr;
3611 dip -> has_at_low_pc = 1;
3612 break;
3613 case AT_high_pc:
3614 dip -> at_high_pc = target_to_host (diep, nbytes, GET_UNSIGNED,
3615 objfile);
3616 dip -> at_high_pc += baseaddr;
3617 break;
3618 case AT_language:
3619 dip -> at_language = target_to_host (diep, nbytes, GET_UNSIGNED,
3620 objfile);
3621 break;
3622 case AT_user_def_type:
3623 dip -> at_user_def_type = target_to_host (diep, nbytes,
3624 GET_UNSIGNED, objfile);
3625 break;
3626 case AT_byte_size:
3627 dip -> at_byte_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3628 objfile);
3629 dip -> has_at_byte_size = 1;
3630 break;
3631 case AT_bit_size:
3632 dip -> at_bit_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3633 objfile);
3634 break;
3635 case AT_member:
3636 dip -> at_member = target_to_host (diep, nbytes, GET_UNSIGNED,
3637 objfile);
3638 break;
3639 case AT_discr:
3640 dip -> at_discr = target_to_host (diep, nbytes, GET_UNSIGNED,
3641 objfile);
3642 break;
3643 case AT_location:
3644 dip -> at_location = diep;
3645 break;
3646 case AT_mod_fund_type:
3647 dip -> at_mod_fund_type = diep;
3648 break;
3649 case AT_subscr_data:
3650 dip -> at_subscr_data = diep;
3651 break;
3652 case AT_mod_u_d_type:
3653 dip -> at_mod_u_d_type = diep;
3654 break;
3655 case AT_element_list:
3656 dip -> at_element_list = diep;
3657 dip -> short_element_list = 0;
3658 break;
3659 case AT_short_element_list:
3660 dip -> at_element_list = diep;
3661 dip -> short_element_list = 1;
3662 break;
3663 case AT_discr_value:
3664 dip -> at_discr_value = diep;
3665 break;
3666 case AT_string_length:
3667 dip -> at_string_length = diep;
3668 break;
3669 case AT_name:
3670 dip -> at_name = diep;
3671 break;
3672 case AT_comp_dir:
3673 /* For now, ignore any "hostname:" portion, since gdb doesn't
3674 know how to deal with it. (FIXME). */
3675 dip -> at_comp_dir = strrchr (diep, ':');
3676 if (dip -> at_comp_dir != NULL)
3677 {
3678 dip -> at_comp_dir++;
3679 }
3680 else
3681 {
3682 dip -> at_comp_dir = diep;
3683 }
3684 break;
3685 case AT_producer:
3686 dip -> at_producer = diep;
3687 break;
3688 case AT_start_scope:
3689 dip -> at_start_scope = target_to_host (diep, nbytes, GET_UNSIGNED,
3690 objfile);
3691 break;
3692 case AT_stride_size:
3693 dip -> at_stride_size = target_to_host (diep, nbytes, GET_UNSIGNED,
3694 objfile);
3695 break;
3696 case AT_src_info:
3697 dip -> at_src_info = target_to_host (diep, nbytes, GET_UNSIGNED,
3698 objfile);
3699 break;
3700 case AT_prototyped:
3701 dip -> at_prototyped = diep;
3702 break;
3703 default:
3704 /* Found an attribute that we are unprepared to handle. However
3705 it is specifically one of the design goals of DWARF that
3706 consumers should ignore unknown attributes. As long as the
3707 form is one that we recognize (so we know how to skip it),
3708 we can just ignore the unknown attribute. */
3709 break;
3710 }
3711 form = FORM_FROM_ATTR (attr);
3712 switch (form)
3713 {
3714 case FORM_DATA2:
3715 diep += 2;
3716 break;
3717 case FORM_DATA4:
3718 case FORM_REF:
3719 diep += 4;
3720 break;
3721 case FORM_DATA8:
3722 diep += 8;
3723 break;
3724 case FORM_ADDR:
3725 diep += TARGET_FT_POINTER_SIZE (objfile);
3726 break;
3727 case FORM_BLOCK2:
3728 diep += 2 + target_to_host (diep, nbytes, GET_UNSIGNED, objfile);
3729 break;
3730 case FORM_BLOCK4:
3731 diep += 4 + target_to_host (diep, nbytes, GET_UNSIGNED, objfile);
3732 break;
3733 case FORM_STRING:
3734 diep += strlen (diep) + 1;
3735 break;
3736 default:
3737 complain (&unknown_attribute_form, DIE_ID, DIE_NAME, form);
3738 diep = end;
3739 break;
3740 }
3741 }
3742 }
3743
3744 /*
3745
3746 LOCAL FUNCTION
3747
3748 target_to_host -- swap in target data to host
3749
3750 SYNOPSIS
3751
3752 target_to_host (char *from, int nbytes, int signextend,
3753 struct objfile *objfile)
3754
3755 DESCRIPTION
3756
3757 Given pointer to data in target format in FROM, a byte count for
3758 the size of the data in NBYTES, a flag indicating whether or not
3759 the data is signed in SIGNEXTEND, and a pointer to the current
3760 objfile in OBJFILE, convert the data to host format and return
3761 the converted value.
3762
3763 NOTES
3764
3765 FIXME: If we read data that is known to be signed, and expect to
3766 use it as signed data, then we need to explicitly sign extend the
3767 result until the bfd library is able to do this for us.
3768
3769 FIXME: Would a 32 bit target ever need an 8 byte result?
3770
3771 */
3772
3773 static CORE_ADDR
3774 target_to_host (from, nbytes, signextend, objfile)
3775 char *from;
3776 int nbytes;
3777 int signextend; /* FIXME: Unused */
3778 struct objfile *objfile;
3779 {
3780 CORE_ADDR rtnval;
3781
3782 switch (nbytes)
3783 {
3784 case 8:
3785 rtnval = bfd_get_64 (objfile -> obfd, (bfd_byte *) from);
3786 break;
3787 case 4:
3788 rtnval = bfd_get_32 (objfile -> obfd, (bfd_byte *) from);
3789 break;
3790 case 2:
3791 rtnval = bfd_get_16 (objfile -> obfd, (bfd_byte *) from);
3792 break;
3793 case 1:
3794 rtnval = bfd_get_8 (objfile -> obfd, (bfd_byte *) from);
3795 break;
3796 default:
3797 complain (&no_bfd_get_N, DIE_ID, DIE_NAME, nbytes);
3798 rtnval = 0;
3799 break;
3800 }
3801 return (rtnval);
3802 }
3803
3804 /*
3805
3806 LOCAL FUNCTION
3807
3808 attribute_size -- compute size of data for a DWARF attribute
3809
3810 SYNOPSIS
3811
3812 static int attribute_size (unsigned int attr)
3813
3814 DESCRIPTION
3815
3816 Given a DWARF attribute in ATTR, compute the size of the first
3817 piece of data associated with this attribute and return that
3818 size.
3819
3820 Returns -1 for unrecognized attributes.
3821
3822 */
3823
3824 static int
3825 attribute_size (attr)
3826 unsigned int attr;
3827 {
3828 int nbytes; /* Size of next data for this attribute */
3829 unsigned short form; /* Form of the attribute */
3830
3831 form = FORM_FROM_ATTR (attr);
3832 switch (form)
3833 {
3834 case FORM_STRING: /* A variable length field is next */
3835 nbytes = 0;
3836 break;
3837 case FORM_DATA2: /* Next 2 byte field is the data itself */
3838 case FORM_BLOCK2: /* Next 2 byte field is a block length */
3839 nbytes = 2;
3840 break;
3841 case FORM_DATA4: /* Next 4 byte field is the data itself */
3842 case FORM_BLOCK4: /* Next 4 byte field is a block length */
3843 case FORM_REF: /* Next 4 byte field is a DIE offset */
3844 nbytes = 4;
3845 break;
3846 case FORM_DATA8: /* Next 8 byte field is the data itself */
3847 nbytes = 8;
3848 break;
3849 case FORM_ADDR: /* Next field size is target sizeof(void *) */
3850 nbytes = TARGET_FT_POINTER_SIZE (objfile);
3851 break;
3852 default:
3853 complain (&unknown_attribute_form, DIE_ID, DIE_NAME, form);
3854 nbytes = -1;
3855 break;
3856 }
3857 return (nbytes);
3858 }