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