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