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