OpenCores
URL https://opencores.org/ocsvn/or1k/or1k/trunk

Subversion Repositories or1k

[/] [or1k/] [trunk/] [insight/] [gdb/] [dwarfread.c] - Blame information for rev 1770

Go to most recent revision | Details | Compare with Previous | View Log

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

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.