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