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