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