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