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