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