* config/i386/tm-i386.h (PARM_BOUNDARY, CALL_DUMMY,
[deliverable/binutils-gdb.git] / gdb / stabsread.c
CommitLineData
c906108c 1/* Support routines for decoding "stabs" debugging information format.
b6ba6518 2 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
fedbd091 3 1996, 1997, 1998, 1999, 2000, 2001, 2002
c5aa993b 4 Free Software Foundation, Inc.
c906108c 5
c5aa993b 6 This file is part of GDB.
c906108c 7
c5aa993b
JM
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
c906108c 12
c5aa993b
JM
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
c906108c 17
c5aa993b
JM
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
c906108c
SS
22
23/* Support routines for reading and decoding debugging information in
24 the "stabs" format. This format is used with many systems that use
25 the a.out object file format, as well as some systems that use
26 COFF or ELF where the stabs data is placed in a special section.
27 Avoid placing any object file format specific code in this file. */
28
29#include "defs.h"
30#include "gdb_string.h"
31#include "bfd.h"
32#include "obstack.h"
33#include "symtab.h"
34#include "gdbtypes.h"
35#include "expression.h"
36#include "symfile.h"
37#include "objfiles.h"
38#include "aout/stab_gnu.h" /* We always use GNU stabs, not native */
39#include "libaout.h"
40#include "aout/aout64.h"
41#include "gdb-stabs.h"
42#include "buildsym.h"
43#include "complaints.h"
44#include "demangle.h"
45#include "language.h"
d16aafd8 46#include "doublest.h"
c906108c
SS
47
48#include <ctype.h>
49
50/* Ask stabsread.h to define the vars it normally declares `extern'. */
c5aa993b
JM
51#define EXTERN
52/**/
c906108c
SS
53#include "stabsread.h" /* Our own declarations */
54#undef EXTERN
55
a14ed312 56extern void _initialize_stabsread (void);
392a587b 57
c906108c
SS
58/* The routines that read and process a complete stabs for a C struct or
59 C++ class pass lists of data member fields and lists of member function
60 fields in an instance of a field_info structure, as defined below.
61 This is part of some reorganization of low level C++ support and is
62 expected to eventually go away... (FIXME) */
63
64struct field_info
c5aa993b
JM
65 {
66 struct nextfield
67 {
68 struct nextfield *next;
c906108c 69
c5aa993b
JM
70 /* This is the raw visibility from the stab. It is not checked
71 for being one of the visibilities we recognize, so code which
72 examines this field better be able to deal. */
73 int visibility;
c906108c 74
c5aa993b
JM
75 struct field field;
76 }
77 *list;
78 struct next_fnfieldlist
79 {
80 struct next_fnfieldlist *next;
81 struct fn_fieldlist fn_fieldlist;
82 }
83 *fnlist;
84 };
c906108c
SS
85
86static void
a14ed312
KB
87read_one_struct_field (struct field_info *, char **, char *,
88 struct type *, struct objfile *);
c906108c 89
a14ed312 90static char *get_substring (char **, int);
c906108c 91
a14ed312 92static struct type *dbx_alloc_type (int[2], struct objfile *);
c906108c 93
a14ed312 94static long read_huge_number (char **, int, int *);
c906108c 95
a14ed312 96static struct type *error_type (char **, struct objfile *);
c906108c
SS
97
98static void
a14ed312
KB
99patch_block_stabs (struct pending *, struct pending_stabs *,
100 struct objfile *);
c906108c 101
a14ed312 102static void fix_common_block (struct symbol *, int);
c906108c 103
a14ed312 104static int read_type_number (char **, int *);
c906108c 105
a14ed312 106static struct type *read_range_type (char **, int[2], struct objfile *);
c906108c 107
a14ed312 108static struct type *read_sun_builtin_type (char **, int[2], struct objfile *);
c906108c 109
a14ed312
KB
110static struct type *read_sun_floating_type (char **, int[2],
111 struct objfile *);
c906108c 112
a14ed312 113static struct type *read_enum_type (char **, struct type *, struct objfile *);
c906108c 114
a14ed312 115static struct type *rs6000_builtin_type (int);
c906108c
SS
116
117static int
a14ed312
KB
118read_member_functions (struct field_info *, char **, struct type *,
119 struct objfile *);
c906108c
SS
120
121static int
a14ed312
KB
122read_struct_fields (struct field_info *, char **, struct type *,
123 struct objfile *);
c906108c
SS
124
125static int
a14ed312
KB
126read_baseclasses (struct field_info *, char **, struct type *,
127 struct objfile *);
c906108c
SS
128
129static int
a14ed312
KB
130read_tilde_fields (struct field_info *, char **, struct type *,
131 struct objfile *);
c906108c 132
a14ed312 133static int attach_fn_fields_to_type (struct field_info *, struct type *);
c906108c
SS
134
135static int
a14ed312 136attach_fields_to_type (struct field_info *, struct type *, struct objfile *);
c906108c 137
a14ed312 138static struct type *read_struct_type (char **, struct type *,
2ae1c2d2 139 enum type_code,
a14ed312 140 struct objfile *);
c906108c 141
a14ed312
KB
142static struct type *read_array_type (char **, struct type *,
143 struct objfile *);
c906108c 144
ad2f7632 145static struct field *read_args (char **, int, struct objfile *, int *, int *);
c906108c
SS
146
147static int
a14ed312
KB
148read_cpp_abbrev (struct field_info *, char **, struct type *,
149 struct objfile *);
c906108c
SS
150
151/* new functions added for cfront support */
152
153static int
a14ed312
KB
154copy_cfront_struct_fields (struct field_info *, struct type *,
155 struct objfile *);
c906108c 156
a14ed312 157static char *get_cfront_method_physname (char *);
c906108c
SS
158
159static int
a14ed312
KB
160read_cfront_baseclasses (struct field_info *, char **,
161 struct type *, struct objfile *);
c906108c
SS
162
163static int
a14ed312
KB
164read_cfront_static_fields (struct field_info *, char **,
165 struct type *, struct objfile *);
c906108c 166static int
a14ed312
KB
167read_cfront_member_functions (struct field_info *, char **,
168 struct type *, struct objfile *);
c906108c
SS
169
170/* end new functions added for cfront support */
171
172static void
a14ed312 173add_live_range (struct objfile *, struct symbol *, CORE_ADDR, CORE_ADDR);
c906108c 174
a14ed312 175static int resolve_live_range (struct objfile *, struct symbol *, char *);
c906108c 176
a14ed312 177static int process_reference (char **string);
c906108c 178
a14ed312 179static CORE_ADDR ref_search_value (int refnum);
c906108c
SS
180
181static int
a14ed312 182resolve_symbol_reference (struct objfile *, struct symbol *, char *);
c906108c 183
a14ed312 184void stabsread_clear_cache (void);
7be570e7 185
c5aa993b
JM
186static const char vptr_name[] =
187{'_', 'v', 'p', 't', 'r', CPLUS_MARKER, '\0'};
188static const char vb_name[] =
189{'_', 'v', 'b', CPLUS_MARKER, '\0'};
c906108c
SS
190
191/* Define this as 1 if a pcc declaration of a char or short argument
192 gives the correct address. Otherwise assume pcc gives the
193 address of the corresponding int, which is not the same on a
194 big-endian machine. */
195
7a292a7a 196#if !defined (BELIEVE_PCC_PROMOTION)
c906108c
SS
197#define BELIEVE_PCC_PROMOTION 0
198#endif
7a292a7a
SS
199#if !defined (BELIEVE_PCC_PROMOTION_TYPE)
200#define BELIEVE_PCC_PROMOTION_TYPE 0
201#endif
c906108c
SS
202
203static struct complaint invalid_cpp_abbrev_complaint =
c5aa993b 204{"invalid C++ abbreviation `%s'", 0, 0};
c906108c
SS
205
206static struct complaint invalid_cpp_type_complaint =
c5aa993b 207{"C++ abbreviated type name unknown at symtab pos %d", 0, 0};
c906108c
SS
208
209static struct complaint member_fn_complaint =
c5aa993b 210{"member function type missing, got '%c'", 0, 0};
c906108c
SS
211
212static struct complaint const_vol_complaint =
c5aa993b 213{"const/volatile indicator missing, got '%c'", 0, 0};
c906108c
SS
214
215static struct complaint error_type_complaint =
0f5881fa 216{"couldn't parse type; debugger out of date?", 0, 0};
c906108c
SS
217
218static struct complaint invalid_member_complaint =
c5aa993b 219{"invalid (minimal) member type data format at symtab pos %d.", 0, 0};
c906108c
SS
220
221static struct complaint range_type_base_complaint =
c5aa993b 222{"base type %d of range type is not defined", 0, 0};
c906108c
SS
223
224static struct complaint reg_value_complaint =
c5aa993b 225{"register number %d too large (max %d) in symbol %s", 0, 0};
c906108c
SS
226
227static struct complaint vtbl_notfound_complaint =
c5aa993b 228{"virtual function table pointer not found when defining class `%s'", 0, 0};
c906108c
SS
229
230static struct complaint unrecognized_cplus_name_complaint =
c5aa993b 231{"Unknown C++ symbol name `%s'", 0, 0};
c906108c
SS
232
233static struct complaint rs6000_builtin_complaint =
c5aa993b 234{"Unknown builtin type %d", 0, 0};
c906108c
SS
235
236static struct complaint unresolved_sym_chain_complaint =
c5aa993b 237{"%s: common block `%s' from global_sym_chain unresolved", 0, 0};
c906108c
SS
238
239static struct complaint stabs_general_complaint =
c5aa993b 240{"%s", 0, 0};
c906108c
SS
241
242static struct complaint lrs_general_complaint =
c5aa993b 243{"%s", 0, 0};
c906108c
SS
244
245/* Make a list of forward references which haven't been defined. */
246
247static struct type **undef_types;
248static int undef_types_allocated;
249static int undef_types_length;
250static struct symbol *current_symbol = NULL;
251
252/* Check for and handle cretinous stabs symbol name continuation! */
253#define STABS_CONTINUE(pp,objfile) \
254 do { \
255 if (**(pp) == '\\' || (**(pp) == '?' && (*(pp))[1] == '\0')) \
256 *(pp) = next_symbol_text (objfile); \
257 } while (0)
258\f
259/* FIXME: These probably should be our own types (like rs6000_builtin_type
260 has its own types) rather than builtin_type_*. */
c5aa993b
JM
261static struct type **os9k_type_vector[] =
262{
263 0,
264 &builtin_type_int,
265 &builtin_type_char,
266 &builtin_type_long,
267 &builtin_type_short,
268 &builtin_type_unsigned_char,
269 &builtin_type_unsigned_short,
270 &builtin_type_unsigned_long,
271 &builtin_type_unsigned_int,
272 &builtin_type_float,
273 &builtin_type_double,
274 &builtin_type_void,
275 &builtin_type_long_double
c906108c
SS
276};
277
a14ed312 278static void os9k_init_type_vector (struct type **);
c906108c
SS
279
280static void
fba45db2 281os9k_init_type_vector (struct type **tv)
c906108c 282{
745b8ca0 283 unsigned int i;
c5aa993b 284 for (i = 0; i < sizeof (os9k_type_vector) / sizeof (struct type **); i++)
c906108c
SS
285 tv[i] = (os9k_type_vector[i] == 0 ? 0 : *(os9k_type_vector[i]));
286}
287
288/* Look up a dbx type-number pair. Return the address of the slot
289 where the type for that number-pair is stored.
290 The number-pair is in TYPENUMS.
291
292 This can be used for finding the type associated with that pair
293 or for associating a new type with the pair. */
294
295struct type **
35a2f538 296dbx_lookup_type (int typenums[2])
c906108c
SS
297{
298 register int filenum = typenums[0];
299 register int index = typenums[1];
300 unsigned old_len;
301 register int real_filenum;
302 register struct header_file *f;
303 int f_orig_length;
304
305 if (filenum == -1) /* -1,-1 is for temporary types. */
306 return 0;
307
308 if (filenum < 0 || filenum >= n_this_object_header_files)
309 {
c5aa993b
JM
310 static struct complaint msg =
311 {"\
c906108c 312Invalid symbol data: type number (%d,%d) out of range at symtab pos %d.",
c5aa993b 313 0, 0};
c906108c
SS
314 complain (&msg, filenum, index, symnum);
315 goto error_return;
316 }
317
318 if (filenum == 0)
319 {
320 if (index < 0)
321 {
322 /* Caller wants address of address of type. We think
323 that negative (rs6k builtin) types will never appear as
324 "lvalues", (nor should they), so we stuff the real type
325 pointer into a temp, and return its address. If referenced,
326 this will do the right thing. */
327 static struct type *temp_type;
328
c5aa993b 329 temp_type = rs6000_builtin_type (index);
c906108c
SS
330 return &temp_type;
331 }
332
333 /* Type is defined outside of header files.
c5aa993b 334 Find it in this object file's type vector. */
c906108c
SS
335 if (index >= type_vector_length)
336 {
337 old_len = type_vector_length;
338 if (old_len == 0)
339 {
340 type_vector_length = INITIAL_TYPE_VECTOR_LENGTH;
341 type_vector = (struct type **)
342 xmalloc (type_vector_length * sizeof (struct type *));
343 }
344 while (index >= type_vector_length)
345 {
346 type_vector_length *= 2;
347 }
348 type_vector = (struct type **)
349 xrealloc ((char *) type_vector,
350 (type_vector_length * sizeof (struct type *)));
351 memset (&type_vector[old_len], 0,
352 (type_vector_length - old_len) * sizeof (struct type *));
353
354 if (os9k_stabs)
355 /* Deal with OS9000 fundamental types. */
356 os9k_init_type_vector (type_vector);
357 }
358 return (&type_vector[index]);
359 }
360 else
361 {
362 real_filenum = this_object_header_files[filenum];
363
364 if (real_filenum >= N_HEADER_FILES (current_objfile))
365 {
366 struct type *temp_type;
367 struct type **temp_type_p;
368
369 warning ("GDB internal error: bad real_filenum");
370
371 error_return:
372 temp_type = init_type (TYPE_CODE_ERROR, 0, 0, NULL, NULL);
373 temp_type_p = (struct type **) xmalloc (sizeof (struct type *));
374 *temp_type_p = temp_type;
375 return temp_type_p;
376 }
377
378 f = HEADER_FILES (current_objfile) + real_filenum;
379
380 f_orig_length = f->length;
381 if (index >= f_orig_length)
382 {
383 while (index >= f->length)
384 {
385 f->length *= 2;
386 }
387 f->vector = (struct type **)
388 xrealloc ((char *) f->vector, f->length * sizeof (struct type *));
389 memset (&f->vector[f_orig_length], 0,
390 (f->length - f_orig_length) * sizeof (struct type *));
391 }
392 return (&f->vector[index]);
393 }
394}
395
396/* Make sure there is a type allocated for type numbers TYPENUMS
397 and return the type object.
398 This can create an empty (zeroed) type object.
399 TYPENUMS may be (-1, -1) to return a new type object that is not
400 put into the type vector, and so may not be referred to by number. */
401
402static struct type *
35a2f538 403dbx_alloc_type (int typenums[2], struct objfile *objfile)
c906108c
SS
404{
405 register struct type **type_addr;
406
407 if (typenums[0] == -1)
408 {
409 return (alloc_type (objfile));
410 }
411
412 type_addr = dbx_lookup_type (typenums);
413
414 /* If we are referring to a type not known at all yet,
415 allocate an empty type for it.
416 We will fill it in later if we find out how. */
417 if (*type_addr == 0)
418 {
419 *type_addr = alloc_type (objfile);
420 }
421
422 return (*type_addr);
423}
424
425/* for all the stabs in a given stab vector, build appropriate types
426 and fix their symbols in given symbol vector. */
427
428static void
fba45db2
KB
429patch_block_stabs (struct pending *symbols, struct pending_stabs *stabs,
430 struct objfile *objfile)
c906108c
SS
431{
432 int ii;
433 char *name;
434 char *pp;
435 struct symbol *sym;
436
437 if (stabs)
438 {
c5aa993b 439
c906108c 440 /* for all the stab entries, find their corresponding symbols and
c5aa993b
JM
441 patch their types! */
442
c906108c
SS
443 for (ii = 0; ii < stabs->count; ++ii)
444 {
445 name = stabs->stab[ii];
c5aa993b 446 pp = (char *) strchr (name, ':');
c906108c
SS
447 while (pp[1] == ':')
448 {
c5aa993b
JM
449 pp += 2;
450 pp = (char *) strchr (pp, ':');
c906108c 451 }
c5aa993b 452 sym = find_symbol_in_list (symbols, name, pp - name);
c906108c
SS
453 if (!sym)
454 {
455 /* FIXME-maybe: it would be nice if we noticed whether
c5aa993b
JM
456 the variable was defined *anywhere*, not just whether
457 it is defined in this compilation unit. But neither
458 xlc or GCC seem to need such a definition, and until
459 we do psymtabs (so that the minimal symbols from all
460 compilation units are available now), I'm not sure
461 how to get the information. */
c906108c
SS
462
463 /* On xcoff, if a global is defined and never referenced,
c5aa993b
JM
464 ld will remove it from the executable. There is then
465 a N_GSYM stab for it, but no regular (C_EXT) symbol. */
c906108c
SS
466 sym = (struct symbol *)
467 obstack_alloc (&objfile->symbol_obstack,
468 sizeof (struct symbol));
469
470 memset (sym, 0, sizeof (struct symbol));
471 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
472 SYMBOL_CLASS (sym) = LOC_OPTIMIZED_OUT;
473 SYMBOL_NAME (sym) =
474 obsavestring (name, pp - name, &objfile->symbol_obstack);
475 pp += 2;
c5aa993b 476 if (*(pp - 1) == 'F' || *(pp - 1) == 'f')
c906108c
SS
477 {
478 /* I don't think the linker does this with functions,
479 so as far as I know this is never executed.
480 But it doesn't hurt to check. */
481 SYMBOL_TYPE (sym) =
482 lookup_function_type (read_type (&pp, objfile));
483 }
484 else
485 {
486 SYMBOL_TYPE (sym) = read_type (&pp, objfile);
487 }
488 add_symbol_to_list (sym, &global_symbols);
489 }
490 else
491 {
492 pp += 2;
c5aa993b 493 if (*(pp - 1) == 'F' || *(pp - 1) == 'f')
c906108c
SS
494 {
495 SYMBOL_TYPE (sym) =
496 lookup_function_type (read_type (&pp, objfile));
497 }
498 else
499 {
500 SYMBOL_TYPE (sym) = read_type (&pp, objfile);
501 }
502 }
503 }
504 }
505}
c906108c 506\f
c5aa993b 507
c906108c
SS
508/* Read a number by which a type is referred to in dbx data,
509 or perhaps read a pair (FILENUM, TYPENUM) in parentheses.
510 Just a single number N is equivalent to (0,N).
511 Return the two numbers by storing them in the vector TYPENUMS.
512 TYPENUMS will then be used as an argument to dbx_lookup_type.
513
514 Returns 0 for success, -1 for error. */
515
516static int
fba45db2 517read_type_number (register char **pp, register int *typenums)
c906108c
SS
518{
519 int nbits;
520 if (**pp == '(')
521 {
522 (*pp)++;
523 typenums[0] = read_huge_number (pp, ',', &nbits);
c5aa993b
JM
524 if (nbits != 0)
525 return -1;
c906108c 526 typenums[1] = read_huge_number (pp, ')', &nbits);
c5aa993b
JM
527 if (nbits != 0)
528 return -1;
c906108c
SS
529 }
530 else
531 {
532 typenums[0] = 0;
533 typenums[1] = read_huge_number (pp, 0, &nbits);
c5aa993b
JM
534 if (nbits != 0)
535 return -1;
c906108c
SS
536 }
537 return 0;
538}
c906108c 539\f
c5aa993b 540
c906108c
SS
541#define VISIBILITY_PRIVATE '0' /* Stabs character for private field */
542#define VISIBILITY_PROTECTED '1' /* Stabs character for protected fld */
543#define VISIBILITY_PUBLIC '2' /* Stabs character for public field */
544#define VISIBILITY_IGNORE '9' /* Optimized out or zero length */
545
546#define CFRONT_VISIBILITY_PRIVATE '2' /* Stabs character for private field */
547#define CFRONT_VISIBILITY_PUBLIC '1' /* Stabs character for public field */
548
549/* This code added to support parsing of ARM/Cfront stabs strings */
550
551/* Get substring from string up to char c, advance string pointer past
552 suibstring. */
553
c5aa993b 554static char *
fba45db2 555get_substring (char **p, int c)
c906108c
SS
556{
557 char *str;
558 str = *p;
559 *p = strchr (*p, c);
c5aa993b 560 if (*p)
c906108c
SS
561 {
562 **p = 0;
563 (*p)++;
564 }
c5aa993b 565 else
c906108c
SS
566 str = 0;
567 return str;
568}
569
570/* Physname gets strcat'd onto sname in order to recreate the mangled
571 name (see funtion gdb_mangle_name in gdbtypes.c). For cfront, make
572 the physname look like that of g++ - take out the initial mangling
573 eg: for sname="a" and fname="foo__1aFPFs_i" return "FPFs_i" */
574
c5aa993b 575static char *
fba45db2 576get_cfront_method_physname (char *fname)
c906108c
SS
577{
578 int len = 0;
579 /* FIXME would like to make this generic for g++ too, but
580 that is already handled in read_member_funcctions */
c5aa993b 581 char *p = fname;
c906108c
SS
582
583 /* search ahead to find the start of the mangled suffix */
c5aa993b
JM
584 if (*p == '_' && *(p + 1) == '_') /* compiler generated; probably a ctor/dtor */
585 p += 2;
586 while (p && (unsigned) ((p + 1) - fname) < strlen (fname) && *(p + 1) != '_')
c906108c 587 p = strchr (p, '_');
c5aa993b
JM
588 if (!(p && *p == '_' && *(p + 1) == '_'))
589 error ("Invalid mangled function name %s", fname);
590 p += 2; /* advance past '__' */
c906108c
SS
591
592 /* struct name length and name of type should come next; advance past it */
593 while (isdigit (*p))
594 {
595 len = len * 10 + (*p - '0');
596 p++;
597 }
598 p += len;
599
600 return p;
601}
602
603/* Read base classes within cfront class definition.
604 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
c5aa993b 605 ^^^^^^^^^^^^^^^^^^
c906108c 606
c5aa993b
JM
607 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
608 ^
609 */
c906108c
SS
610
611static int
fba45db2
KB
612read_cfront_baseclasses (struct field_info *fip, char **pp, struct type *type,
613 struct objfile *objfile)
c906108c 614{
c5aa993b
JM
615 static struct complaint msg_unknown =
616 {"\
c906108c 617 Unsupported token in stabs string %s.\n",
c5aa993b
JM
618 0, 0};
619 static struct complaint msg_notfound =
620 {"\
c906108c 621 Unable to find base type for %s.\n",
c5aa993b 622 0, 0};
c906108c 623 int bnum = 0;
c5aa993b 624 char *p;
c906108c
SS
625 int i;
626 struct nextfield *new;
627
628 if (**pp == ';') /* no base classes; return */
629 {
630 ++(*pp);
631 return 1;
632 }
633
634 /* first count base classes so we can allocate space before parsing */
635 for (p = *pp; p && *p && *p != ';'; p++)
636 {
637 if (*p == ' ')
638 bnum++;
639 }
c5aa993b 640 bnum++; /* add one more for last one */
c906108c
SS
641
642 /* now parse the base classes until we get to the start of the methods
643 (code extracted and munged from read_baseclasses) */
644 ALLOCATE_CPLUS_STRUCT_TYPE (type);
c5aa993b 645 TYPE_N_BASECLASSES (type) = bnum;
c906108c
SS
646
647 /* allocate space */
648 {
649 int num_bytes = B_BYTES (TYPE_N_BASECLASSES (type));
650 char *pointer;
651
652 pointer = (char *) TYPE_ALLOC (type, num_bytes);
653 TYPE_FIELD_VIRTUAL_BITS (type) = (B_TYPE *) pointer;
654 }
655 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type), TYPE_N_BASECLASSES (type));
656
657 for (i = 0; i < TYPE_N_BASECLASSES (type); i++)
658 {
659 new = (struct nextfield *) xmalloc (sizeof (struct nextfield));
b8c9b27d 660 make_cleanup (xfree, new);
c906108c 661 memset (new, 0, sizeof (struct nextfield));
c5aa993b
JM
662 new->next = fip->list;
663 fip->list = new;
664 FIELD_BITSIZE (new->field) = 0; /* this should be an unpacked field! */
c906108c
SS
665
666 STABS_CONTINUE (pp, objfile);
667
668 /* virtual? eg: v2@Bvir */
c5aa993b
JM
669 if (**pp == 'v')
670 {
671 SET_TYPE_FIELD_VIRTUAL (type, i);
672 ++(*pp);
c906108c
SS
673 }
674
675 /* access? eg: 2@Bvir */
c5aa993b 676 /* Note: protected inheritance not supported in cfront */
c906108c 677 switch (*(*pp)++)
c5aa993b
JM
678 {
679 case CFRONT_VISIBILITY_PRIVATE:
680 new->visibility = VISIBILITY_PRIVATE;
681 break;
682 case CFRONT_VISIBILITY_PUBLIC:
683 new->visibility = VISIBILITY_PUBLIC;
684 break;
685 default:
686 /* Bad visibility format. Complain and treat it as
687 public. */
688 {
689 static struct complaint msg =
690 {
691 "Unknown visibility `%c' for baseclass", 0, 0};
692 complain (&msg, new->visibility);
693 new->visibility = VISIBILITY_PUBLIC;
694 }
695 }
c906108c
SS
696
697 /* "@" comes next - eg: @Bvir */
c5aa993b
JM
698 if (**pp != '@')
699 {
700 complain (&msg_unknown, *pp);
701 return 1;
c906108c
SS
702 }
703 ++(*pp);
704
705
c5aa993b
JM
706 /* Set the bit offset of the portion of the object corresponding
707 to this baseclass. Always zero in the absence of
708 multiple inheritance. */
709 /* Unable to read bit position from stabs;
710 Assuming no multiple inheritance for now FIXME! */
711 /* We may have read this in the structure definition;
712 now we should fixup the members to be the actual base classes */
713 FIELD_BITPOS (new->field) = 0;
c906108c 714
c5aa993b
JM
715 /* Get the base class name and type */
716 {
717 char *bname; /* base class name */
718 struct symbol *bsym; /* base class */
719 char *p1, *p2;
720 p1 = strchr (*pp, ' ');
721 p2 = strchr (*pp, ';');
722 if (p1 < p2)
723 bname = get_substring (pp, ' ');
724 else
725 bname = get_substring (pp, ';');
726 if (!bname || !*bname)
c906108c 727 {
c5aa993b
JM
728 complain (&msg_unknown, *pp);
729 return 1;
730 }
731 /* FIXME! attach base info to type */
732 bsym = lookup_symbol (bname, 0, STRUCT_NAMESPACE, 0, 0); /*demangled_name */
733 if (bsym)
734 {
735 new->field.type = SYMBOL_TYPE (bsym);
736 new->field.name = type_name_no_tag (new->field.type);
c906108c 737 }
c5aa993b
JM
738 else
739 {
740 complain (&msg_notfound, *pp);
741 return 1;
742 }
743 }
c906108c
SS
744
745 /* If more base classes to parse, loop again.
746 We ate the last ' ' or ';' in get_substring,
747 so on exit we will have skipped the trailing ';' */
748 /* if invalid, return 0; add code to detect - FIXME! */
749 }
750 return 1;
751}
752
753/* read cfront member functions.
754 pp points to string starting with list of functions
755 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
c5aa993b
JM
756 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
757 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
758 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
759 */
c906108c
SS
760
761static int
fba45db2
KB
762read_cfront_member_functions (struct field_info *fip, char **pp,
763 struct type *type, struct objfile *objfile)
c906108c
SS
764{
765 /* This code extracted from read_member_functions
766 so as to do the similar thing for our funcs */
767
768 int nfn_fields = 0;
769 int length = 0;
770 /* Total number of member functions defined in this class. If the class
771 defines two `f' functions, and one `g' function, then this will have
772 the value 3. */
773 int total_length = 0;
774 int i;
775 struct next_fnfield
776 {
777 struct next_fnfield *next;
778 struct fn_field fn_field;
c5aa993b
JM
779 }
780 *sublist;
c906108c
SS
781 struct type *look_ahead_type;
782 struct next_fnfieldlist *new_fnlist;
783 struct next_fnfield *new_sublist;
784 char *main_fn_name;
c5aa993b
JM
785 char *fname;
786 struct symbol *ref_func = 0;
787
c906108c
SS
788 /* Process each list until we find the end of the member functions.
789 eg: p = "__ct__1AFv foo__1AFv ;;;" */
790
c5aa993b 791 STABS_CONTINUE (pp, objfile); /* handle \\ */
c906108c 792
c5aa993b 793 while (**pp != ';' && (fname = get_substring (pp, ' '), fname))
c906108c
SS
794 {
795 int is_static = 0;
796 int sublist_count = 0;
c5aa993b
JM
797 char *pname;
798 if (fname[0] == '*') /* static member */
799 {
800 is_static = 1;
801 sublist_count++;
802 fname++;
803 }
804 ref_func = lookup_symbol (fname, 0, VAR_NAMESPACE, 0, 0); /* demangled name */
805 if (!ref_func)
806 {
807 static struct complaint msg =
808 {"\
c906108c 809 Unable to find function symbol for %s\n",
c5aa993b 810 0, 0};
c906108c
SS
811 complain (&msg, fname);
812 continue;
813 }
814 sublist = NULL;
815 look_ahead_type = NULL;
816 length = 0;
c5aa993b 817
c906108c 818 new_fnlist = (struct next_fnfieldlist *)
c5aa993b 819 xmalloc (sizeof (struct next_fnfieldlist));
b8c9b27d 820 make_cleanup (xfree, new_fnlist);
c906108c 821 memset (new_fnlist, 0, sizeof (struct next_fnfieldlist));
c5aa993b 822
c906108c
SS
823 /* The following is code to work around cfront generated stabs.
824 The stabs contains full mangled name for each field.
825 We try to demangle the name and extract the field name out of it. */
826 {
c5aa993b
JM
827 char *dem, *dem_p, *dem_args;
828 int dem_len;
829 dem = cplus_demangle (fname, DMGL_ANSI | DMGL_PARAMS);
830 if (dem != NULL)
831 {
832 dem_p = strrchr (dem, ':');
833 if (dem_p != 0 && *(dem_p - 1) == ':')
834 dem_p++;
c906108c 835 /* get rid of args */
c5aa993b 836 dem_args = strchr (dem_p, '(');
c906108c
SS
837 if (dem_args == NULL)
838 dem_len = strlen (dem_p);
839 else
c5aa993b
JM
840 dem_len = dem_args - dem_p;
841 main_fn_name =
842 obsavestring (dem_p, dem_len, &objfile->type_obstack);
843 }
844 else
845 {
846 main_fn_name =
847 obsavestring (fname, strlen (fname), &objfile->type_obstack);
848 }
849 } /* end of code for cfront work around */
850
851 new_fnlist->fn_fieldlist.name = main_fn_name;
852
853/*-------------------------------------------------*/
854 /* Set up the sublists
855 Sublists are stuff like args, static, visibility, etc.
856 so in ARM, we have to set that info some other way.
857 Multiple sublists happen if overloading
858 eg: foo::26=##1;:;2A.;
859 In g++, we'd loop here thru all the sublists... */
860
861 new_sublist =
862 (struct next_fnfield *) xmalloc (sizeof (struct next_fnfield));
b8c9b27d 863 make_cleanup (xfree, new_sublist);
c5aa993b
JM
864 memset (new_sublist, 0, sizeof (struct next_fnfield));
865
866 /* eat 1; from :;2A.; */
867 new_sublist->fn_field.type = SYMBOL_TYPE (ref_func); /* normally takes a read_type */
868 /* Make this type look like a method stub for gdb */
869 TYPE_FLAGS (new_sublist->fn_field.type) |= TYPE_FLAG_STUB;
870 TYPE_CODE (new_sublist->fn_field.type) = TYPE_CODE_METHOD;
871
872 /* If this is just a stub, then we don't have the real name here. */
74a9bb82 873 if (TYPE_STUB (new_sublist->fn_field.type))
c5aa993b
JM
874 {
875 if (!TYPE_DOMAIN_TYPE (new_sublist->fn_field.type))
876 TYPE_DOMAIN_TYPE (new_sublist->fn_field.type) = type;
877 new_sublist->fn_field.is_stub = 1;
878 }
c906108c 879
c5aa993b
JM
880 /* physname used later in mangling; eg PFs_i,5 for foo__1aFPFs_i
881 physname gets strcat'd in order to recreate the onto mangled name */
882 pname = get_cfront_method_physname (fname);
883 new_sublist->fn_field.physname = savestring (pname, strlen (pname));
c906108c 884
c5aa993b
JM
885
886 /* Set this member function's visibility fields.
887 Unable to distinguish access from stabs definition!
c906108c 888 Assuming public for now. FIXME!
c5aa993b
JM
889 (for private, set new_sublist->fn_field.is_private = 1,
890 for public, set new_sublist->fn_field.is_protected = 1) */
891
892 /* Unable to distinguish const/volatile from stabs definition!
893 Assuming normal for now. FIXME! */
894
895 new_sublist->fn_field.is_const = 0;
896 new_sublist->fn_field.is_volatile = 0; /* volatile not implemented in cfront */
897
898 /* Set virtual/static function info
899 How to get vtable offsets ?
900 Assuming normal for now FIXME!!
901 For vtables, figure out from whence this virtual function came.
902 It may belong to virtual function table of
903 one of its baseclasses.
904 set:
905 new_sublist -> fn_field.voffset = vtable offset,
906 new_sublist -> fn_field.fcontext = look_ahead_type;
907 where look_ahead_type is type of baseclass */
908 if (is_static)
909 new_sublist->fn_field.voffset = VOFFSET_STATIC;
910 else /* normal member function. */
911 new_sublist->fn_field.voffset = 0;
912 new_sublist->fn_field.fcontext = 0;
913
914
915 /* Prepare new sublist */
916 new_sublist->next = sublist;
917 sublist = new_sublist;
918 length++;
919
920 /* In g++, we loop thu sublists - now we set from functions. */
921 new_fnlist->fn_fieldlist.fn_fields = (struct fn_field *)
922 obstack_alloc (&objfile->type_obstack,
923 sizeof (struct fn_field) * length);
924 memset (new_fnlist->fn_fieldlist.fn_fields, 0,
925 sizeof (struct fn_field) * length);
926 for (i = length; (i--, sublist); sublist = sublist->next)
927 {
928 new_fnlist->fn_fieldlist.fn_fields[i] = sublist->fn_field;
929 }
930
931 new_fnlist->fn_fieldlist.length = length;
932 new_fnlist->next = fip->fnlist;
933 fip->fnlist = new_fnlist;
934 nfn_fields++;
935 total_length += length;
936 STABS_CONTINUE (pp, objfile); /* handle \\ */
937 } /* end of loop */
c906108c
SS
938
939 if (nfn_fields)
940 {
941 /* type should already have space */
942 TYPE_FN_FIELDLISTS (type) = (struct fn_fieldlist *)
c5aa993b 943 TYPE_ALLOC (type, sizeof (struct fn_fieldlist) * nfn_fields);
c906108c 944 memset (TYPE_FN_FIELDLISTS (type), 0,
c5aa993b 945 sizeof (struct fn_fieldlist) * nfn_fields);
c906108c
SS
946 TYPE_NFN_FIELDS (type) = nfn_fields;
947 TYPE_NFN_FIELDS_TOTAL (type) = total_length;
948 }
949
950 /* end of scope for reading member func */
951
952 /* eg: ";;" */
953
954 /* Skip trailing ';' and bump count of number of fields seen */
955 if (**pp == ';')
956 (*pp)++;
957 else
958 return 0;
959 return 1;
960}
961
962/* This routine fixes up partial cfront types that were created
963 while parsing the stabs. The main need for this function is
964 to add information such as methods to classes.
965 Examples of "p": "sA;;__ct__1AFv foo__1AFv ;;;" */
966int
fba45db2
KB
967resolve_cfront_continuation (struct objfile *objfile, struct symbol *sym,
968 char *p)
c906108c 969{
c5aa993b
JM
970 struct symbol *ref_sym = 0;
971 char *sname;
c906108c
SS
972 /* snarfed from read_struct_type */
973 struct field_info fi;
974 struct type *type;
975 struct cleanup *back_to;
976
977 /* Need to make sure that fi isn't gunna conflict with struct
978 in case struct already had some fnfs */
979 fi.list = NULL;
c5aa993b 980 fi.fnlist = NULL;
c906108c
SS
981 back_to = make_cleanup (null_cleanup, 0);
982
983 /* We only accept structs, classes and unions at the moment.
984 Other continuation types include t (typedef), r (long dbl), ...
985 We may want to add support for them as well;
986 right now they are handled by duplicating the symbol information
987 into the type information (see define_symbol) */
c5aa993b
JM
988 if (*p != 's' /* structs */
989 && *p != 'c' /* class */
990 && *p != 'u') /* union */
991 return 0; /* only handle C++ types */
992 p++;
c906108c
SS
993
994 /* Get symbol typs name and validate
995 eg: p = "A;;__ct__1AFv foo__1AFv ;;;" */
996 sname = get_substring (&p, ';');
c5aa993b 997 if (!sname || strcmp (sname, SYMBOL_NAME (sym)))
c906108c
SS
998 error ("Internal error: base symbol type name does not match\n");
999
1000 /* Find symbol's internal gdb reference using demangled_name.
1001 This is the real sym that we want;
1002 sym was a temp hack to make debugger happy */
c5aa993b
JM
1003 ref_sym = lookup_symbol (SYMBOL_NAME (sym), 0, STRUCT_NAMESPACE, 0, 0);
1004 type = SYMBOL_TYPE (ref_sym);
c906108c
SS
1005
1006
1007 /* Now read the baseclasses, if any, read the regular C struct or C++
1008 class member fields, attach the fields to the type, read the C++
1009 member functions, attach them to the type, and then read any tilde
1010 field (baseclass specifier for the class holding the main vtable). */
1011
1012 if (!read_cfront_baseclasses (&fi, &p, type, objfile)
c5aa993b
JM
1013 /* g++ does this next, but cfront already did this:
1014 || !read_struct_fields (&fi, &p, type, objfile) */
c906108c
SS
1015 || !copy_cfront_struct_fields (&fi, type, objfile)
1016 || !read_cfront_member_functions (&fi, &p, type, objfile)
1017 || !read_cfront_static_fields (&fi, &p, type, objfile)
1018 || !attach_fields_to_type (&fi, type, objfile)
1019 || !attach_fn_fields_to_type (&fi, type)
c5aa993b
JM
1020 /* g++ does this next, but cfront doesn't seem to have this:
1021 || !read_tilde_fields (&fi, &p, type, objfile) */
1022 )
c906108c
SS
1023 {
1024 type = error_type (&p, objfile);
1025 }
1026
1027 do_cleanups (back_to);
c5aa993b 1028 return 0;
c906108c
SS
1029}
1030/* End of code added to support parsing of ARM/Cfront stabs strings */
1031
1032
1033/* This routine fixes up symbol references/aliases to point to the original
1034 symbol definition. Returns 0 on failure, non-zero on success. */
1035
1036static int
fba45db2 1037resolve_symbol_reference (struct objfile *objfile, struct symbol *sym, char *p)
c906108c
SS
1038{
1039 int refnum;
c5aa993b 1040 struct symbol *ref_sym = 0;
c906108c
SS
1041 struct alias_list *alias;
1042
1043 /* If this is not a symbol reference return now. */
1044 if (*p != '#')
c5aa993b 1045 return 0;
c906108c
SS
1046
1047 /* Use "#<num>" as the name; we'll fix the name later.
1048 We stored the original symbol name as "#<id>=<name>"
1049 so we can now search for "#<id>" to resolving the reference.
1050 We'll fix the names later by removing the "#<id>" or "#<id>=" */
1051
c5aa993b 1052/*---------------------------------------------------------*/
c906108c
SS
1053 /* Get the reference id number, and
1054 advance p past the names so we can parse the rest.
c5aa993b
JM
1055 eg: id=2 for p : "2=", "2=z:r(0,1)" "2:r(0,1);l(#5,#6),l(#7,#4)" */
1056/*---------------------------------------------------------*/
c906108c
SS
1057
1058 /* This gets reference name from string. sym may not have a name. */
1059
1060 /* Get the reference number associated with the reference id in the
1061 gdb stab string. From that reference number, get the main/primary
1062 symbol for this alias. */
1063 refnum = process_reference (&p);
1064 ref_sym = ref_search (refnum);
1065 if (!ref_sym)
1066 {
1067 complain (&lrs_general_complaint, "symbol for reference not found");
1068 return 0;
1069 }
1070
1071 /* Parse the stab of the referencing symbol
1072 now that we have the referenced symbol.
1073 Add it as a new symbol and a link back to the referenced symbol.
1074 eg: p : "=", "=z:r(0,1)" ":r(0,1);l(#5,#6),l(#7,#4)" */
1075
1076
1077 /* If the stab symbol table and string contain:
c5aa993b
JM
1078 RSYM 0 5 00000000 868 #15=z:r(0,1)
1079 LBRAC 0 0 00000000 899 #5=
1080 SLINE 0 16 00000003 923 #6=
c906108c 1081 Then the same symbols can be later referenced by:
c5aa993b 1082 RSYM 0 5 00000000 927 #15:r(0,1);l(#5,#6)
c906108c
SS
1083 This is used in live range splitting to:
1084 1) specify that a symbol (#15) is actually just a new storage
c5aa993b 1085 class for a symbol (#15=z) which was previously defined.
c906108c 1086 2) specify that the beginning and ending ranges for a symbol
c5aa993b
JM
1087 (#15) are the values of the beginning (#5) and ending (#6)
1088 symbols. */
1089
1090 /* Read number as reference id.
1091 eg: p : "=", "=z:r(0,1)" ":r(0,1);l(#5,#6),l(#7,#4)" */
1092 /* FIXME! Might I want to use SYMBOL_CLASS (sym) = LOC_OPTIMIZED_OUT;
1093 in case of "l(0,0)"? */
1094
1095/*--------------------------------------------------*/
1096 /* Add this symbol to the reference list. */
1097/*--------------------------------------------------*/
c906108c
SS
1098
1099 alias = (struct alias_list *) obstack_alloc (&objfile->type_obstack,
1100 sizeof (struct alias_list));
1101 if (!alias)
1102 {
1103 complain (&lrs_general_complaint, "Unable to allocate alias list memory");
1104 return 0;
1105 }
1106
1107 alias->next = 0;
1108 alias->sym = sym;
1109
1110 if (!SYMBOL_ALIASES (ref_sym))
1111 {
1112 SYMBOL_ALIASES (ref_sym) = alias;
1113 }
1114 else
1115 {
1116 struct alias_list *temp;
1117
1118 /* Get to the end of the list. */
1119 for (temp = SYMBOL_ALIASES (ref_sym);
1120 temp->next;
1121 temp = temp->next)
1122 ;
1123 temp->next = alias;
1124 }
1125
c5aa993b
JM
1126 /* Want to fix up name so that other functions (eg. valops)
1127 will correctly print the name.
1128 Don't add_symbol_to_list so that lookup_symbol won't find it.
1129 nope... needed for fixups. */
1130 SYMBOL_NAME (sym) = SYMBOL_NAME (ref_sym);
c906108c
SS
1131
1132 /* Done! */
1133 return 1;
1134}
1135
1136/* Structure for storing pointers to reference definitions for fast lookup
1137 during "process_later". */
1138
1139struct ref_map
1140{
1141 char *stabs;
1142 CORE_ADDR value;
1143 struct symbol *sym;
1144};
1145
1146#define MAX_CHUNK_REFS 100
1147#define REF_CHUNK_SIZE (MAX_CHUNK_REFS * sizeof (struct ref_map))
1148#define REF_MAP_SIZE(ref_chunk) ((ref_chunk) * REF_CHUNK_SIZE)
1149
c5aa993b 1150static struct ref_map *ref_map;
c906108c
SS
1151
1152/* Ptr to free cell in chunk's linked list. */
c5aa993b 1153static int ref_count = 0;
c906108c
SS
1154
1155/* Number of chunks malloced. */
1156static int ref_chunk = 0;
1157
7be570e7
JM
1158/* This file maintains a cache of stabs aliases found in the symbol
1159 table. If the symbol table changes, this cache must be cleared
1160 or we are left holding onto data in invalid obstacks. */
1161void
fba45db2 1162stabsread_clear_cache (void)
7be570e7
JM
1163{
1164 ref_count = 0;
1165 ref_chunk = 0;
1166}
1167
c906108c
SS
1168/* Create array of pointers mapping refids to symbols and stab strings.
1169 Add pointers to reference definition symbols and/or their values as we
1170 find them, using their reference numbers as our index.
1171 These will be used later when we resolve references. */
1172void
fba45db2 1173ref_add (int refnum, struct symbol *sym, char *stabs, CORE_ADDR value)
c906108c
SS
1174{
1175 if (ref_count == 0)
1176 ref_chunk = 0;
1177 if (refnum >= ref_count)
1178 ref_count = refnum + 1;
1179 if (ref_count > ref_chunk * MAX_CHUNK_REFS)
1180 {
c5aa993b 1181 int new_slots = ref_count - ref_chunk * MAX_CHUNK_REFS;
c906108c
SS
1182 int new_chunks = new_slots / MAX_CHUNK_REFS + 1;
1183 ref_map = (struct ref_map *)
1184 xrealloc (ref_map, REF_MAP_SIZE (ref_chunk + new_chunks));
1185 memset (ref_map + ref_chunk * MAX_CHUNK_REFS, 0, new_chunks * REF_CHUNK_SIZE);
1186 ref_chunk += new_chunks;
1187 }
1188 ref_map[refnum].stabs = stabs;
1189 ref_map[refnum].sym = sym;
1190 ref_map[refnum].value = value;
1191}
1192
1193/* Return defined sym for the reference REFNUM. */
1194struct symbol *
fba45db2 1195ref_search (int refnum)
c906108c
SS
1196{
1197 if (refnum < 0 || refnum > ref_count)
1198 return 0;
1199 return ref_map[refnum].sym;
1200}
1201
1202/* Return value for the reference REFNUM. */
1203
1204static CORE_ADDR
fba45db2 1205ref_search_value (int refnum)
c906108c
SS
1206{
1207 if (refnum < 0 || refnum > ref_count)
1208 return 0;
1209 return ref_map[refnum].value;
1210}
c5aa993b 1211
c906108c
SS
1212/* Parse a reference id in STRING and return the resulting
1213 reference number. Move STRING beyond the reference id. */
1214
c5aa993b 1215static int
fba45db2 1216process_reference (char **string)
c906108c
SS
1217{
1218 char *p;
1219 int refnum = 0;
1220
c5aa993b
JM
1221 if (**string != '#')
1222 return 0;
1223
c906108c
SS
1224 /* Advance beyond the initial '#'. */
1225 p = *string + 1;
1226
1227 /* Read number as reference id. */
1228 while (*p && isdigit (*p))
1229 {
1230 refnum = refnum * 10 + *p - '0';
1231 p++;
1232 }
1233 *string = p;
1234 return refnum;
1235}
1236
1237/* If STRING defines a reference, store away a pointer to the reference
1238 definition for later use. Return the reference number. */
1239
1240int
fba45db2 1241symbol_reference_defined (char **string)
c906108c
SS
1242{
1243 char *p = *string;
1244 int refnum = 0;
1245
1246 refnum = process_reference (&p);
1247
1248 /* Defining symbols end in '=' */
c5aa993b 1249 if (*p == '=')
c906108c 1250 {
c5aa993b 1251 /* Symbol is being defined here. */
c906108c
SS
1252 *string = p + 1;
1253 return refnum;
1254 }
1255 else
1256 {
1257 /* Must be a reference. Either the symbol has already been defined,
1258 or this is a forward reference to it. */
1259 *string = p;
1260 return -1;
1261 }
1262}
1263
1264/* ARGSUSED */
1265struct symbol *
fba45db2
KB
1266define_symbol (CORE_ADDR valu, char *string, int desc, int type,
1267 struct objfile *objfile)
c906108c
SS
1268{
1269 register struct symbol *sym;
1270 char *p = (char *) strchr (string, ':');
1271 int deftype;
1272 int synonym = 0;
1273 register int i;
1274
1275 /* We would like to eliminate nameless symbols, but keep their types.
1276 E.g. stab entry ":t10=*2" should produce a type 10, which is a pointer
1277 to type 2, but, should not create a symbol to address that type. Since
1278 the symbol will be nameless, there is no way any user can refer to it. */
1279
1280 int nameless;
1281
1282 /* Ignore syms with empty names. */
1283 if (string[0] == 0)
1284 return 0;
1285
1286 /* Ignore old-style symbols from cc -go */
1287 if (p == 0)
1288 return 0;
1289
1290 while (p[1] == ':')
1291 {
c5aa993b
JM
1292 p += 2;
1293 p = strchr (p, ':');
c906108c
SS
1294 }
1295
1296 /* If a nameless stab entry, all we need is the type, not the symbol.
1297 e.g. ":t10=*2" or a nameless enum like " :T16=ered:0,green:1,blue:2,;" */
1298 nameless = (p == string || ((string[0] == ' ') && (string[1] == ':')));
1299
c5aa993b
JM
1300 current_symbol = sym = (struct symbol *)
1301 obstack_alloc (&objfile->symbol_obstack, sizeof (struct symbol));
c906108c
SS
1302 memset (sym, 0, sizeof (struct symbol));
1303
1304 switch (type & N_TYPE)
1305 {
1306 case N_TEXT:
b8fbeb18 1307 SYMBOL_SECTION (sym) = SECT_OFF_TEXT (objfile);
c906108c
SS
1308 break;
1309 case N_DATA:
b8fbeb18 1310 SYMBOL_SECTION (sym) = SECT_OFF_DATA (objfile);
c906108c
SS
1311 break;
1312 case N_BSS:
b8fbeb18 1313 SYMBOL_SECTION (sym) = SECT_OFF_BSS (objfile);
c906108c
SS
1314 break;
1315 }
1316
1317 if (processing_gcc_compilation)
1318 {
1319 /* GCC 2.x puts the line number in desc. SunOS apparently puts in the
c5aa993b
JM
1320 number of bytes occupied by a type or object, which we ignore. */
1321 SYMBOL_LINE (sym) = desc;
c906108c
SS
1322 }
1323 else
1324 {
c5aa993b 1325 SYMBOL_LINE (sym) = 0; /* unknown */
c906108c
SS
1326 }
1327
1328 if (is_cplus_marker (string[0]))
1329 {
1330 /* Special GNU C++ names. */
1331 switch (string[1])
1332 {
c5aa993b
JM
1333 case 't':
1334 SYMBOL_NAME (sym) = obsavestring ("this", strlen ("this"),
1335 &objfile->symbol_obstack);
1336 break;
c906108c 1337
c5aa993b
JM
1338 case 'v': /* $vtbl_ptr_type */
1339 /* Was: SYMBOL_NAME (sym) = "vptr"; */
1340 goto normal;
c906108c 1341
c5aa993b
JM
1342 case 'e':
1343 SYMBOL_NAME (sym) = obsavestring ("eh_throw", strlen ("eh_throw"),
1344 &objfile->symbol_obstack);
1345 break;
c906108c 1346
c5aa993b
JM
1347 case '_':
1348 /* This was an anonymous type that was never fixed up. */
1349 goto normal;
c906108c
SS
1350
1351#ifdef STATIC_TRANSFORM_NAME
c5aa993b
JM
1352 case 'X':
1353 /* SunPRO (3.0 at least) static variable encoding. */
1354 goto normal;
c906108c
SS
1355#endif
1356
c5aa993b
JM
1357 default:
1358 complain (&unrecognized_cplus_name_complaint, string);
1359 goto normal; /* Do *something* with it */
c906108c
SS
1360 }
1361 }
1362 else if (string[0] == '#')
1363 {
1364 /* Special GNU C extension for referencing symbols. */
1365 char *s;
1366 int refnum, nlen;
1367
1368 /* If STRING defines a new reference id, then add it to the
c5aa993b
JM
1369 reference map. Else it must be referring to a previously
1370 defined symbol, so add it to the alias list of the previously
1371 defined symbol. */
c906108c
SS
1372 s = string;
1373 refnum = symbol_reference_defined (&s);
1374 if (refnum >= 0)
c5aa993b
JM
1375 ref_add (refnum, sym, string, SYMBOL_VALUE (sym));
1376 else if (!resolve_symbol_reference (objfile, sym, string))
1377 return NULL;
c906108c
SS
1378
1379 /* S..P contains the name of the symbol. We need to store
c5aa993b 1380 the correct name into SYMBOL_NAME. */
c906108c
SS
1381 nlen = p - s;
1382 if (refnum >= 0)
1383 {
1384 if (nlen > 0)
1385 {
1386 SYMBOL_NAME (sym) = (char *)
c5aa993b 1387 obstack_alloc (&objfile->symbol_obstack, nlen);
c906108c
SS
1388 strncpy (SYMBOL_NAME (sym), s, nlen);
1389 SYMBOL_NAME (sym)[nlen] = '\0';
1390 SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
1391 }
1392 else
1393 /* FIXME! Want SYMBOL_NAME (sym) = 0;
1394 Get error if leave name 0. So give it something. */
1395 {
1396 nlen = p - string;
c5aa993b
JM
1397 SYMBOL_NAME (sym) = (char *)
1398 obstack_alloc (&objfile->symbol_obstack, nlen);
c906108c
SS
1399 strncpy (SYMBOL_NAME (sym), string, nlen);
1400 SYMBOL_NAME (sym)[nlen] = '\0';
1401 SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
1402 }
1403 }
1404 /* Advance STRING beyond the reference id. */
1405 string = s;
1406 }
1407 else
1408 {
1409 normal:
c5aa993b
JM
1410 SYMBOL_LANGUAGE (sym) = current_subfile->language;
1411 SYMBOL_NAME (sym) = (char *)
1412 obstack_alloc (&objfile->symbol_obstack, ((p - string) + 1));
c906108c
SS
1413 /* Open-coded memcpy--saves function call time. */
1414 /* FIXME: Does it really? Try replacing with simple strcpy and
c5aa993b 1415 try it on an executable with a large symbol table. */
c906108c 1416 /* FIXME: considering that gcc can open code memcpy anyway, I
c5aa993b 1417 doubt it. xoxorich. */
c906108c
SS
1418 {
1419 register char *p1 = string;
1420 register char *p2 = SYMBOL_NAME (sym);
1421 while (p1 != p)
1422 {
1423 *p2++ = *p1++;
1424 }
1425 *p2++ = '\0';
1426 }
1427
1428 /* If this symbol is from a C++ compilation, then attempt to cache the
c5aa993b
JM
1429 demangled form for future reference. This is a typical time versus
1430 space tradeoff, that was decided in favor of time because it sped up
1431 C++ symbol lookups by a factor of about 20. */
c906108c
SS
1432
1433 SYMBOL_INIT_DEMANGLED_NAME (sym, &objfile->symbol_obstack);
1434 }
1435 p++;
1436
1437 /* Determine the type of name being defined. */
1438#if 0
1439 /* Getting GDB to correctly skip the symbol on an undefined symbol
1440 descriptor and not ever dump core is a very dodgy proposition if
1441 we do things this way. I say the acorn RISC machine can just
1442 fix their compiler. */
1443 /* The Acorn RISC machine's compiler can put out locals that don't
1444 start with "234=" or "(3,4)=", so assume anything other than the
1445 deftypes we know how to handle is a local. */
1446 if (!strchr ("cfFGpPrStTvVXCR", *p))
1447#else
1448 if (isdigit (*p) || *p == '(' || *p == '-')
1449#endif
1450 deftype = 'l';
1451 else
1452 deftype = *p++;
1453
1454 switch (deftype)
1455 {
1456 case 'c':
1457 /* c is a special case, not followed by a type-number.
c5aa993b
JM
1458 SYMBOL:c=iVALUE for an integer constant symbol.
1459 SYMBOL:c=rVALUE for a floating constant symbol.
1460 SYMBOL:c=eTYPE,INTVALUE for an enum constant symbol.
1461 e.g. "b:c=e6,0" for "const b = blob1"
1462 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
c906108c
SS
1463 if (*p != '=')
1464 {
1465 SYMBOL_CLASS (sym) = LOC_CONST;
1466 SYMBOL_TYPE (sym) = error_type (&p, objfile);
1467 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1468 add_symbol_to_list (sym, &file_symbols);
1469 return sym;
1470 }
1471 ++p;
1472 switch (*p++)
1473 {
1474 case 'r':
1475 {
1476 double d = atof (p);
1477 char *dbl_valu;
1478
1479 /* FIXME-if-picky-about-floating-accuracy: Should be using
1480 target arithmetic to get the value. real.c in GCC
1481 probably has the necessary code. */
1482
1483 /* FIXME: lookup_fundamental_type is a hack. We should be
1484 creating a type especially for the type of float constants.
1485 Problem is, what type should it be?
1486
1487 Also, what should the name of this type be? Should we
1488 be using 'S' constants (see stabs.texinfo) instead? */
1489
1490 SYMBOL_TYPE (sym) = lookup_fundamental_type (objfile,
1491 FT_DBL_PREC_FLOAT);
1492 dbl_valu = (char *)
c5aa993b 1493 obstack_alloc (&objfile->symbol_obstack,
c906108c 1494 TYPE_LENGTH (SYMBOL_TYPE (sym)));
96d2f608 1495 store_typed_floating (dbl_valu, SYMBOL_TYPE (sym), d);
c906108c
SS
1496 SYMBOL_VALUE_BYTES (sym) = dbl_valu;
1497 SYMBOL_CLASS (sym) = LOC_CONST_BYTES;
1498 }
1499 break;
1500 case 'i':
1501 {
1502 /* Defining integer constants this way is kind of silly,
1503 since 'e' constants allows the compiler to give not
1504 only the value, but the type as well. C has at least
1505 int, long, unsigned int, and long long as constant
1506 types; other languages probably should have at least
1507 unsigned as well as signed constants. */
1508
1509 /* We just need one int constant type for all objfiles.
1510 It doesn't depend on languages or anything (arguably its
1511 name should be a language-specific name for a type of
1512 that size, but I'm inclined to say that if the compiler
1513 wants a nice name for the type, it can use 'e'). */
1514 static struct type *int_const_type;
1515
1516 /* Yes, this is as long as a *host* int. That is because we
1517 use atoi. */
1518 if (int_const_type == NULL)
1519 int_const_type =
1520 init_type (TYPE_CODE_INT,
1521 sizeof (int) * HOST_CHAR_BIT / TARGET_CHAR_BIT, 0,
1522 "integer constant",
c5aa993b 1523 (struct objfile *) NULL);
c906108c
SS
1524 SYMBOL_TYPE (sym) = int_const_type;
1525 SYMBOL_VALUE (sym) = atoi (p);
1526 SYMBOL_CLASS (sym) = LOC_CONST;
1527 }
1528 break;
1529 case 'e':
1530 /* SYMBOL:c=eTYPE,INTVALUE for a constant symbol whose value
1531 can be represented as integral.
1532 e.g. "b:c=e6,0" for "const b = blob1"
1533 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
1534 {
1535 SYMBOL_CLASS (sym) = LOC_CONST;
1536 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1537
1538 if (*p != ',')
1539 {
1540 SYMBOL_TYPE (sym) = error_type (&p, objfile);
1541 break;
1542 }
1543 ++p;
1544
1545 /* If the value is too big to fit in an int (perhaps because
1546 it is unsigned), or something like that, we silently get
1547 a bogus value. The type and everything else about it is
1548 correct. Ideally, we should be using whatever we have
1549 available for parsing unsigned and long long values,
1550 however. */
1551 SYMBOL_VALUE (sym) = atoi (p);
1552 }
1553 break;
1554 default:
1555 {
1556 SYMBOL_CLASS (sym) = LOC_CONST;
1557 SYMBOL_TYPE (sym) = error_type (&p, objfile);
1558 }
1559 }
1560 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1561 add_symbol_to_list (sym, &file_symbols);
1562 return sym;
1563
1564 case 'C':
1565 /* The name of a caught exception. */
1566 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1567 SYMBOL_CLASS (sym) = LOC_LABEL;
1568 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1569 SYMBOL_VALUE_ADDRESS (sym) = valu;
1570 add_symbol_to_list (sym, &local_symbols);
1571 break;
1572
1573 case 'f':
1574 /* A static function definition. */
1575 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1576 SYMBOL_CLASS (sym) = LOC_BLOCK;
1577 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1578 add_symbol_to_list (sym, &file_symbols);
1579 /* fall into process_function_types. */
1580
1581 process_function_types:
1582 /* Function result types are described as the result type in stabs.
c5aa993b
JM
1583 We need to convert this to the function-returning-type-X type
1584 in GDB. E.g. "int" is converted to "function returning int". */
c906108c
SS
1585 if (TYPE_CODE (SYMBOL_TYPE (sym)) != TYPE_CODE_FUNC)
1586 SYMBOL_TYPE (sym) = lookup_function_type (SYMBOL_TYPE (sym));
1587
1588 /* All functions in C++ have prototypes. */
1589 if (SYMBOL_LANGUAGE (sym) == language_cplus)
1590 TYPE_FLAGS (SYMBOL_TYPE (sym)) |= TYPE_FLAG_PROTOTYPED;
1591
1592 /* fall into process_prototype_types */
1593
1594 process_prototype_types:
1595 /* Sun acc puts declared types of arguments here. */
1596 if (*p == ';')
1597 {
1598 struct type *ftype = SYMBOL_TYPE (sym);
1599 int nsemi = 0;
1600 int nparams = 0;
1601 char *p1 = p;
1602
1603 /* Obtain a worst case guess for the number of arguments
1604 by counting the semicolons. */
1605 while (*p1)
1606 {
1607 if (*p1++ == ';')
1608 nsemi++;
1609 }
1610
1611 /* Allocate parameter information fields and fill them in. */
1612 TYPE_FIELDS (ftype) = (struct field *)
1613 TYPE_ALLOC (ftype, nsemi * sizeof (struct field));
1614 while (*p++ == ';')
1615 {
1616 struct type *ptype;
1617
1618 /* A type number of zero indicates the start of varargs.
c5aa993b 1619 FIXME: GDB currently ignores vararg functions. */
c906108c
SS
1620 if (p[0] == '0' && p[1] == '\0')
1621 break;
1622 ptype = read_type (&p, objfile);
1623
1624 /* The Sun compilers mark integer arguments, which should
c5aa993b
JM
1625 be promoted to the width of the calling conventions, with
1626 a type which references itself. This type is turned into
1627 a TYPE_CODE_VOID type by read_type, and we have to turn
1628 it back into builtin_type_int here.
1629 FIXME: Do we need a new builtin_type_promoted_int_arg ? */
c906108c
SS
1630 if (TYPE_CODE (ptype) == TYPE_CODE_VOID)
1631 ptype = builtin_type_int;
8176bb6d
DJ
1632 TYPE_FIELD_TYPE (ftype, nparams) = ptype;
1633 TYPE_FIELD_ARTIFICIAL (ftype, nparams++) = 0;
c906108c
SS
1634 }
1635 TYPE_NFIELDS (ftype) = nparams;
1636 TYPE_FLAGS (ftype) |= TYPE_FLAG_PROTOTYPED;
1637 }
1638 break;
1639
1640 case 'F':
1641 /* A global function definition. */
1642 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1643 SYMBOL_CLASS (sym) = LOC_BLOCK;
1644 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1645 add_symbol_to_list (sym, &global_symbols);
1646 goto process_function_types;
1647
1648 case 'G':
1649 /* For a class G (global) symbol, it appears that the
c5aa993b
JM
1650 value is not correct. It is necessary to search for the
1651 corresponding linker definition to find the value.
1652 These definitions appear at the end of the namelist. */
c906108c
SS
1653 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1654 SYMBOL_CLASS (sym) = LOC_STATIC;
1655 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1656 /* Don't add symbol references to global_sym_chain.
c5aa993b
JM
1657 Symbol references don't have valid names and wont't match up with
1658 minimal symbols when the global_sym_chain is relocated.
1659 We'll fixup symbol references when we fixup the defining symbol. */
c906108c
SS
1660 if (SYMBOL_NAME (sym) && SYMBOL_NAME (sym)[0] != '#')
1661 {
c5aa993b
JM
1662 i = hashname (SYMBOL_NAME (sym));
1663 SYMBOL_VALUE_CHAIN (sym) = global_sym_chain[i];
1664 global_sym_chain[i] = sym;
c906108c
SS
1665 }
1666 add_symbol_to_list (sym, &global_symbols);
1667 break;
1668
1669 /* This case is faked by a conditional above,
c5aa993b
JM
1670 when there is no code letter in the dbx data.
1671 Dbx data never actually contains 'l'. */
c906108c
SS
1672 case 's':
1673 case 'l':
1674 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1675 SYMBOL_CLASS (sym) = LOC_LOCAL;
1676 SYMBOL_VALUE (sym) = valu;
1677 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1678 add_symbol_to_list (sym, &local_symbols);
1679 break;
1680
1681 case 'p':
1682 if (*p == 'F')
1683 /* pF is a two-letter code that means a function parameter in Fortran.
1684 The type-number specifies the type of the return value.
1685 Translate it into a pointer-to-function type. */
1686 {
1687 p++;
1688 SYMBOL_TYPE (sym)
1689 = lookup_pointer_type
c5aa993b 1690 (lookup_function_type (read_type (&p, objfile)));
c906108c
SS
1691 }
1692 else
1693 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1694
1695 /* Normally this is a parameter, a LOC_ARG. On the i960, it
c5aa993b 1696 can also be a LOC_LOCAL_ARG depending on symbol type. */
c906108c
SS
1697#ifndef DBX_PARM_SYMBOL_CLASS
1698#define DBX_PARM_SYMBOL_CLASS(type) LOC_ARG
1699#endif
1700
1701 SYMBOL_CLASS (sym) = DBX_PARM_SYMBOL_CLASS (type);
1702 SYMBOL_VALUE (sym) = valu;
1703 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1704 add_symbol_to_list (sym, &local_symbols);
1705
d7449b42 1706 if (TARGET_BYTE_ORDER != BFD_ENDIAN_BIG)
c906108c
SS
1707 {
1708 /* On little-endian machines, this crud is never necessary,
1709 and, if the extra bytes contain garbage, is harmful. */
1710 break;
1711 }
1712
1713 /* If it's gcc-compiled, if it says `short', believe it. */
1714 if (processing_gcc_compilation || BELIEVE_PCC_PROMOTION)
1715 break;
1716
7a292a7a
SS
1717 if (!BELIEVE_PCC_PROMOTION)
1718 {
1719 /* This is the signed type which arguments get promoted to. */
1720 static struct type *pcc_promotion_type;
1721 /* This is the unsigned type which arguments get promoted to. */
1722 static struct type *pcc_unsigned_promotion_type;
c5aa993b 1723
7a292a7a
SS
1724 /* Call it "int" because this is mainly C lossage. */
1725 if (pcc_promotion_type == NULL)
1726 pcc_promotion_type =
1727 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1728 0, "int", NULL);
c5aa993b 1729
7a292a7a
SS
1730 if (pcc_unsigned_promotion_type == NULL)
1731 pcc_unsigned_promotion_type =
1732 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
1733 TYPE_FLAG_UNSIGNED, "unsigned int", NULL);
c5aa993b 1734
7a292a7a
SS
1735 if (BELIEVE_PCC_PROMOTION_TYPE)
1736 {
1737 /* This is defined on machines (e.g. sparc) where we
c5aa993b
JM
1738 should believe the type of a PCC 'short' argument,
1739 but shouldn't believe the address (the address is the
1740 address of the corresponding int).
1741
1742 My guess is that this correction, as opposed to
1743 changing the parameter to an 'int' (as done below,
1744 for PCC on most machines), is the right thing to do
1745 on all machines, but I don't want to risk breaking
1746 something that already works. On most PCC machines,
1747 the sparc problem doesn't come up because the calling
1748 function has to zero the top bytes (not knowing
1749 whether the called function wants an int or a short),
1750 so there is little practical difference between an
1751 int and a short (except perhaps what happens when the
1752 GDB user types "print short_arg = 0x10000;").
1753
1754 Hacked for SunOS 4.1 by gnu@cygnus.com. In 4.1, the
1755 compiler actually produces the correct address (we
1756 don't need to fix it up). I made this code adapt so
1757 that it will offset the symbol if it was pointing at
1758 an int-aligned location and not otherwise. This way
1759 you can use the same gdb for 4.0.x and 4.1 systems.
1760
1761 If the parameter is shorter than an int, and is
1762 integral (e.g. char, short, or unsigned equivalent),
1763 and is claimed to be passed on an integer boundary,
1764 don't believe it! Offset the parameter's address to
1765 the tail-end of that integer. */
1766
7a292a7a
SS
1767 if (TYPE_LENGTH (SYMBOL_TYPE (sym)) < TYPE_LENGTH (pcc_promotion_type)
1768 && TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_INT
c5aa993b 1769 && 0 == SYMBOL_VALUE (sym) % TYPE_LENGTH (pcc_promotion_type))
7a292a7a
SS
1770 {
1771 SYMBOL_VALUE (sym) += TYPE_LENGTH (pcc_promotion_type)
1772 - TYPE_LENGTH (SYMBOL_TYPE (sym));
1773 }
1774 break;
1775 }
1776 else
1777 {
1778 /* If PCC says a parameter is a short or a char,
c5aa993b 1779 it is really an int. */
7a292a7a
SS
1780 if (TYPE_LENGTH (SYMBOL_TYPE (sym)) < TYPE_LENGTH (pcc_promotion_type)
1781 && TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_INT)
1782 {
1783 SYMBOL_TYPE (sym) =
1784 TYPE_UNSIGNED (SYMBOL_TYPE (sym))
1785 ? pcc_unsigned_promotion_type
1786 : pcc_promotion_type;
1787 }
1788 break;
1789 }
1790 }
c906108c
SS
1791
1792 case 'P':
1793 /* acc seems to use P to declare the prototypes of functions that
1794 are referenced by this file. gdb is not prepared to deal
1795 with this extra information. FIXME, it ought to. */
1796 if (type == N_FUN)
1797 {
1798 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1799 goto process_prototype_types;
1800 }
c5aa993b 1801 /*FALLTHROUGH */
c906108c
SS
1802
1803 case 'R':
1804 /* Parameter which is in a register. */
1805 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1806 SYMBOL_CLASS (sym) = LOC_REGPARM;
1807 SYMBOL_VALUE (sym) = STAB_REG_TO_REGNUM (valu);
64485362 1808 if (SYMBOL_VALUE (sym) >= NUM_REGS + NUM_PSEUDO_REGS)
c906108c 1809 {
64485362
AC
1810 complain (&reg_value_complaint, SYMBOL_VALUE (sym),
1811 NUM_REGS + NUM_PSEUDO_REGS,
c906108c 1812 SYMBOL_SOURCE_NAME (sym));
c5aa993b 1813 SYMBOL_VALUE (sym) = SP_REGNUM; /* Known safe, though useless */
c906108c
SS
1814 }
1815 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1816 add_symbol_to_list (sym, &local_symbols);
1817 break;
1818
1819 case 'r':
1820 /* Register variable (either global or local). */
1821 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1822 SYMBOL_CLASS (sym) = LOC_REGISTER;
1823 SYMBOL_VALUE (sym) = STAB_REG_TO_REGNUM (valu);
64485362 1824 if (SYMBOL_VALUE (sym) >= NUM_REGS + NUM_PSEUDO_REGS)
c906108c 1825 {
64485362
AC
1826 complain (&reg_value_complaint, SYMBOL_VALUE (sym),
1827 NUM_REGS + NUM_PSEUDO_REGS,
c906108c 1828 SYMBOL_SOURCE_NAME (sym));
c5aa993b 1829 SYMBOL_VALUE (sym) = SP_REGNUM; /* Known safe, though useless */
c906108c
SS
1830 }
1831 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1832 if (within_function)
1833 {
1834 /* Sun cc uses a pair of symbols, one 'p' and one 'r' with the same
1835 name to represent an argument passed in a register.
1836 GCC uses 'P' for the same case. So if we find such a symbol pair
1837 we combine it into one 'P' symbol. For Sun cc we need to do this
1838 regardless of REG_STRUCT_HAS_ADDR, because the compiler puts out
1839 the 'p' symbol even if it never saves the argument onto the stack.
1840
1841 On most machines, we want to preserve both symbols, so that
1842 we can still get information about what is going on with the
1843 stack (VAX for computing args_printed, using stack slots instead
1844 of saved registers in backtraces, etc.).
1845
1846 Note that this code illegally combines
c5aa993b 1847 main(argc) struct foo argc; { register struct foo argc; }
c906108c
SS
1848 but this case is considered pathological and causes a warning
1849 from a decent compiler. */
1850
1851 if (local_symbols
1852 && local_symbols->nsyms > 0
1853#ifndef USE_REGISTER_NOT_ARG
d03e67c9 1854 && REG_STRUCT_HAS_ADDR_P ()
c906108c
SS
1855 && REG_STRUCT_HAS_ADDR (processing_gcc_compilation,
1856 SYMBOL_TYPE (sym))
1857 && (TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_STRUCT
1858 || TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_UNION
1859 || TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_SET
1860 || TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_BITSTRING)
1861#endif
c5aa993b 1862 )
c906108c
SS
1863 {
1864 struct symbol *prev_sym;
1865 prev_sym = local_symbols->symbol[local_symbols->nsyms - 1];
1866 if ((SYMBOL_CLASS (prev_sym) == LOC_REF_ARG
1867 || SYMBOL_CLASS (prev_sym) == LOC_ARG)
c5aa993b 1868 && STREQ (SYMBOL_NAME (prev_sym), SYMBOL_NAME (sym)))
c906108c
SS
1869 {
1870 SYMBOL_CLASS (prev_sym) = LOC_REGPARM;
1871 /* Use the type from the LOC_REGISTER; that is the type
1872 that is actually in that register. */
1873 SYMBOL_TYPE (prev_sym) = SYMBOL_TYPE (sym);
1874 SYMBOL_VALUE (prev_sym) = SYMBOL_VALUE (sym);
1875 sym = prev_sym;
1876 break;
1877 }
1878 }
c5aa993b 1879 add_symbol_to_list (sym, &local_symbols);
c906108c
SS
1880 }
1881 else
c5aa993b 1882 add_symbol_to_list (sym, &file_symbols);
c906108c
SS
1883 break;
1884
1885 case 'S':
1886 /* Static symbol at top level of file */
1887 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1888 SYMBOL_CLASS (sym) = LOC_STATIC;
1889 SYMBOL_VALUE_ADDRESS (sym) = valu;
1890#ifdef STATIC_TRANSFORM_NAME
1891 if (IS_STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym)))
c5aa993b
JM
1892 {
1893 struct minimal_symbol *msym;
1894 msym = lookup_minimal_symbol (SYMBOL_NAME (sym), NULL, objfile);
1895 if (msym != NULL)
1896 {
1897 SYMBOL_NAME (sym) = STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym));
1898 SYMBOL_VALUE_ADDRESS (sym) = SYMBOL_VALUE_ADDRESS (msym);
1899 }
1900 }
c906108c
SS
1901#endif
1902 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1903 add_symbol_to_list (sym, &file_symbols);
1904 break;
1905
1906 case 't':
e2cd42dd 1907 /* Typedef */
c906108c
SS
1908 SYMBOL_TYPE (sym) = read_type (&p, objfile);
1909
1910 /* For a nameless type, we don't want a create a symbol, thus we
c5aa993b
JM
1911 did not use `sym'. Return without further processing. */
1912 if (nameless)
1913 return NULL;
c906108c
SS
1914
1915 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
1916 SYMBOL_VALUE (sym) = valu;
1917 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
1918 /* C++ vagaries: we may have a type which is derived from
c5aa993b
JM
1919 a base type which did not have its name defined when the
1920 derived class was output. We fill in the derived class's
1921 base part member's name here in that case. */
c906108c
SS
1922 if (TYPE_NAME (SYMBOL_TYPE (sym)) != NULL)
1923 if ((TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_STRUCT
1924 || TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_UNION)
1925 && TYPE_N_BASECLASSES (SYMBOL_TYPE (sym)))
1926 {
1927 int j;
1928 for (j = TYPE_N_BASECLASSES (SYMBOL_TYPE (sym)) - 1; j >= 0; j--)
1929 if (TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym), j) == 0)
1930 TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym), j) =
1931 type_name_no_tag (TYPE_BASECLASS (SYMBOL_TYPE (sym), j));
1932 }
1933
1934 if (TYPE_NAME (SYMBOL_TYPE (sym)) == NULL)
1935 {
1936 /* gcc-2.6 or later (when using -fvtable-thunks)
1937 emits a unique named type for a vtable entry.
1938 Some gdb code depends on that specific name. */
1939 extern const char vtbl_ptr_name[];
1940
1941 if ((TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_PTR
1942 && strcmp (SYMBOL_NAME (sym), vtbl_ptr_name))
1943 || TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_FUNC)
1944 {
1945 /* If we are giving a name to a type such as "pointer to
c5aa993b
JM
1946 foo" or "function returning foo", we better not set
1947 the TYPE_NAME. If the program contains "typedef char
1948 *caddr_t;", we don't want all variables of type char
1949 * to print as caddr_t. This is not just a
1950 consequence of GDB's type management; PCC and GCC (at
1951 least through version 2.4) both output variables of
1952 either type char * or caddr_t with the type number
1953 defined in the 't' symbol for caddr_t. If a future
1954 compiler cleans this up it GDB is not ready for it
1955 yet, but if it becomes ready we somehow need to
1956 disable this check (without breaking the PCC/GCC2.4
1957 case).
1958
1959 Sigh.
1960
1961 Fortunately, this check seems not to be necessary
1962 for anything except pointers or functions. */
49d97c60
EZ
1963 /* ezannoni: 2000-10-26. This seems to apply for
1964 versions of gcc older than 2.8. This was the original
1965 problem: with the following code gdb would tell that
1966 the type for name1 is caddr_t, and func is char()
1967 typedef char *caddr_t;
1968 char *name2;
1969 struct x
1970 {
1971 char *name1;
1972 } xx;
1973 char *func()
1974 {
1975 }
1976 main () {}
1977 */
1978
1979 /* Pascal accepts names for pointer types. */
1980 if (current_subfile->language == language_pascal)
1981 {
1982 TYPE_NAME (SYMBOL_TYPE (sym)) = SYMBOL_NAME (sym);
1983 }
c906108c
SS
1984 }
1985 else
1986 TYPE_NAME (SYMBOL_TYPE (sym)) = SYMBOL_NAME (sym);
1987 }
1988
1989 add_symbol_to_list (sym, &file_symbols);
1990 break;
1991
1992 case 'T':
1993 /* Struct, union, or enum tag. For GNU C++, this can be be followed
c5aa993b 1994 by 't' which means we are typedef'ing it as well. */
c906108c
SS
1995 synonym = *p == 't';
1996
1997 if (synonym)
1998 p++;
1999 /* The semantics of C++ state that "struct foo { ... }" also defines
c5aa993b
JM
2000 a typedef for "foo". Unfortunately, cfront never makes the typedef
2001 when translating C++ into C. We make the typedef here so that
2002 "ptype foo" works as expected for cfront translated code. */
c906108c
SS
2003 else if (current_subfile->language == language_cplus)
2004 synonym = 1;
2005
2006 SYMBOL_TYPE (sym) = read_type (&p, objfile);
2007
2008 /* For a nameless type, we don't want a create a symbol, thus we
c5aa993b
JM
2009 did not use `sym'. Return without further processing. */
2010 if (nameless)
2011 return NULL;
c906108c
SS
2012
2013 SYMBOL_CLASS (sym) = LOC_TYPEDEF;
2014 SYMBOL_VALUE (sym) = valu;
2015 SYMBOL_NAMESPACE (sym) = STRUCT_NAMESPACE;
2016 if (TYPE_TAG_NAME (SYMBOL_TYPE (sym)) == 0)
2017 TYPE_TAG_NAME (SYMBOL_TYPE (sym))
c5aa993b 2018 = obconcat (&objfile->type_obstack, "", "", SYMBOL_NAME (sym));
c906108c
SS
2019 add_symbol_to_list (sym, &file_symbols);
2020
2021 if (synonym)
2022 {
2023 /* Clone the sym and then modify it. */
2024 register struct symbol *typedef_sym = (struct symbol *)
c5aa993b 2025 obstack_alloc (&objfile->symbol_obstack, sizeof (struct symbol));
c906108c
SS
2026 *typedef_sym = *sym;
2027 SYMBOL_CLASS (typedef_sym) = LOC_TYPEDEF;
2028 SYMBOL_VALUE (typedef_sym) = valu;
2029 SYMBOL_NAMESPACE (typedef_sym) = VAR_NAMESPACE;
2030 if (TYPE_NAME (SYMBOL_TYPE (sym)) == 0)
2031 TYPE_NAME (SYMBOL_TYPE (sym))
c5aa993b 2032 = obconcat (&objfile->type_obstack, "", "", SYMBOL_NAME (sym));
c906108c
SS
2033 add_symbol_to_list (typedef_sym, &file_symbols);
2034 }
2035 break;
2036
2037 case 'V':
2038 /* Static symbol of local scope */
2039 SYMBOL_TYPE (sym) = read_type (&p, objfile);
2040 SYMBOL_CLASS (sym) = LOC_STATIC;
2041 SYMBOL_VALUE_ADDRESS (sym) = valu;
2042#ifdef STATIC_TRANSFORM_NAME
2043 if (IS_STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym)))
c5aa993b
JM
2044 {
2045 struct minimal_symbol *msym;
2046 msym = lookup_minimal_symbol (SYMBOL_NAME (sym), NULL, objfile);
2047 if (msym != NULL)
2048 {
2049 SYMBOL_NAME (sym) = STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym));
2050 SYMBOL_VALUE_ADDRESS (sym) = SYMBOL_VALUE_ADDRESS (msym);
2051 }
2052 }
c906108c
SS
2053#endif
2054 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2055 if (os9k_stabs)
2056 add_symbol_to_list (sym, &global_symbols);
2057 else
2058 add_symbol_to_list (sym, &local_symbols);
2059 break;
2060
2061 case 'v':
2062 /* Reference parameter */
2063 SYMBOL_TYPE (sym) = read_type (&p, objfile);
2064 SYMBOL_CLASS (sym) = LOC_REF_ARG;
2065 SYMBOL_VALUE (sym) = valu;
2066 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2067 add_symbol_to_list (sym, &local_symbols);
2068 break;
2069
2070 case 'a':
2071 /* Reference parameter which is in a register. */
2072 SYMBOL_TYPE (sym) = read_type (&p, objfile);
2073 SYMBOL_CLASS (sym) = LOC_REGPARM_ADDR;
2074 SYMBOL_VALUE (sym) = STAB_REG_TO_REGNUM (valu);
64485362 2075 if (SYMBOL_VALUE (sym) >= NUM_REGS + NUM_PSEUDO_REGS)
c906108c 2076 {
64485362
AC
2077 complain (&reg_value_complaint, SYMBOL_VALUE (sym),
2078 NUM_REGS + NUM_PSEUDO_REGS,
c906108c 2079 SYMBOL_SOURCE_NAME (sym));
c5aa993b 2080 SYMBOL_VALUE (sym) = SP_REGNUM; /* Known safe, though useless */
c906108c
SS
2081 }
2082 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2083 add_symbol_to_list (sym, &local_symbols);
2084 break;
2085
2086 case 'X':
2087 /* This is used by Sun FORTRAN for "function result value".
c5aa993b
JM
2088 Sun claims ("dbx and dbxtool interfaces", 2nd ed)
2089 that Pascal uses it too, but when I tried it Pascal used
2090 "x:3" (local symbol) instead. */
c906108c
SS
2091 SYMBOL_TYPE (sym) = read_type (&p, objfile);
2092 SYMBOL_CLASS (sym) = LOC_LOCAL;
2093 SYMBOL_VALUE (sym) = valu;
2094 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2095 add_symbol_to_list (sym, &local_symbols);
2096 break;
2097
c5aa993b
JM
2098 /* New code added to support cfront stabs strings.
2099 Note: case 'P' already handled above */
c906108c
SS
2100 case 'Z':
2101 /* Cfront type continuation coming up!
c5aa993b
JM
2102 Find the original definition and add to it.
2103 We'll have to do this for the typedef too,
2104 since we cloned the symbol to define a type in read_type.
2105 Stabs info examples:
2106 __1C :Ztl
2107 foo__1CFv :ZtF (first def foo__1CFv:F(0,3);(0,24))
2108 C:ZsC;;__ct__1CFv func1__1CFv func2__1CFv ... ;;;
2109 where C is the name of the class.
2110 Unfortunately, we can't lookup the original symbol yet 'cuz
2111 we haven't finished reading all the symbols.
2112 Instead, we save it for processing later */
c906108c 2113 process_later (sym, p, resolve_cfront_continuation);
c5aa993b
JM
2114 SYMBOL_TYPE (sym) = error_type (&p, objfile); /* FIXME! change later */
2115 SYMBOL_CLASS (sym) = LOC_CONST;
2116 SYMBOL_VALUE (sym) = 0;
c906108c
SS
2117 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2118 /* Don't add to list - we'll delete it later when
2119 we add the continuation to the real sym */
2120 return sym;
2121 /* End of new code added to support cfront stabs strings */
2122
2123 default:
2124 SYMBOL_TYPE (sym) = error_type (&p, objfile);
2125 SYMBOL_CLASS (sym) = LOC_CONST;
2126 SYMBOL_VALUE (sym) = 0;
2127 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
2128 add_symbol_to_list (sym, &file_symbols);
2129 break;
2130 }
2131
2132 /* When passing structures to a function, some systems sometimes pass
2133 the address in a register, not the structure itself. */
2134
d03e67c9
AC
2135 if (REG_STRUCT_HAS_ADDR_P ()
2136 && REG_STRUCT_HAS_ADDR (processing_gcc_compilation, SYMBOL_TYPE (sym))
2137 && (SYMBOL_CLASS (sym) == LOC_REGPARM || SYMBOL_CLASS (sym) == LOC_ARG))
c906108c
SS
2138 {
2139 struct type *symbol_type = check_typedef (SYMBOL_TYPE (sym));
2140
2141 if ((TYPE_CODE (symbol_type) == TYPE_CODE_STRUCT)
2142 || (TYPE_CODE (symbol_type) == TYPE_CODE_UNION)
2143 || (TYPE_CODE (symbol_type) == TYPE_CODE_BITSTRING)
2144 || (TYPE_CODE (symbol_type) == TYPE_CODE_SET))
2145 {
2146 /* If REG_STRUCT_HAS_ADDR yields non-zero we have to convert
2147 LOC_REGPARM to LOC_REGPARM_ADDR for structures and unions. */
2148 if (SYMBOL_CLASS (sym) == LOC_REGPARM)
2149 SYMBOL_CLASS (sym) = LOC_REGPARM_ADDR;
2150 /* Likewise for converting LOC_ARG to LOC_REF_ARG (for the 7th
2151 and subsequent arguments on the sparc, for example). */
2152 else if (SYMBOL_CLASS (sym) == LOC_ARG)
2153 SYMBOL_CLASS (sym) = LOC_REF_ARG;
2154 }
2155 }
2156
2157 /* Is there more to parse? For example LRS/alias information? */
2158 while (*p && *p == ';')
2159 {
2160 p++;
7a292a7a 2161 if (*p && p[0] == 'l' && p[1] == '(')
c5aa993b
JM
2162 {
2163 /* GNU extensions for live range splitting may be appended to
2164 the end of the stab string. eg. "l(#1,#2);l(#3,#5)" */
c906108c
SS
2165
2166 /* Resolve the live range and add it to SYM's live range list. */
2167 if (!resolve_live_range (objfile, sym, p))
2168 return NULL;
2169
2170 /* Find end of live range info. */
2171 p = strchr (p, ')');
c5aa993b 2172 if (!*p || *p != ')')
c906108c
SS
2173 {
2174 complain (&lrs_general_complaint, "live range format not recognized");
2175 return NULL;
2176 }
c5aa993b
JM
2177 p++;
2178 }
c906108c
SS
2179 }
2180 return sym;
2181}
2182
2183/* Add the live range found in P to the symbol SYM in objfile OBJFILE. Returns
2184 non-zero on success, zero otherwise. */
2185
2186static int
fba45db2 2187resolve_live_range (struct objfile *objfile, struct symbol *sym, char *p)
c906108c
SS
2188{
2189 int refnum;
2190 CORE_ADDR start, end;
2191
2192 /* Sanity check the beginning of the stabs string. */
2193 if (!*p || *p != 'l')
2194 {
2195 complain (&lrs_general_complaint, "live range string 1");
2196 return 0;
2197 }
2198 p++;
2199
2200 if (!*p || *p != '(')
2201 {
2202 complain (&lrs_general_complaint, "live range string 2");
2203 return 0;
2204 }
2205 p++;
c5aa993b 2206
c906108c
SS
2207 /* Get starting value of range and advance P past the reference id.
2208
2209 ?!? In theory, the process_reference should never fail, but we should
2210 catch that case just in case the compiler scrogged the stabs. */
2211 refnum = process_reference (&p);
2212 start = ref_search_value (refnum);
2213 if (!start)
2214 {
2215 complain (&lrs_general_complaint, "Live range symbol not found 1");
2216 return 0;
2217 }
2218
2219 if (!*p || *p != ',')
2220 {
2221 complain (&lrs_general_complaint, "live range string 3");
2222 return 0;
2223 }
2224 p++;
2225
2226 /* Get ending value of range and advance P past the reference id.
2227
2228 ?!? In theory, the process_reference should never fail, but we should
2229 catch that case just in case the compiler scrogged the stabs. */
2230 refnum = process_reference (&p);
2231 end = ref_search_value (refnum);
2232 if (!end)
2233 {
2234 complain (&lrs_general_complaint, "Live range symbol not found 2");
2235 return 0;
2236 }
2237
2238 if (!*p || *p != ')')
2239 {
2240 complain (&lrs_general_complaint, "live range string 4");
2241 return 0;
2242 }
2243
2244 /* Now that we know the bounds of the range, add it to the
2245 symbol. */
2246 add_live_range (objfile, sym, start, end);
2247
2248 return 1;
2249}
2250
2251/* Add a new live range defined by START and END to the symbol SYM
2252 in objfile OBJFILE. */
2253
2254static void
fba45db2
KB
2255add_live_range (struct objfile *objfile, struct symbol *sym, CORE_ADDR start,
2256 CORE_ADDR end)
c906108c
SS
2257{
2258 struct range_list *r, *rs;
2259
2260 if (start >= end)
2261 {
2262 complain (&lrs_general_complaint, "end of live range follows start");
2263 return;
2264 }
2265
2266 /* Alloc new live range structure. */
2267 r = (struct range_list *)
c5aa993b 2268 obstack_alloc (&objfile->type_obstack,
c906108c
SS
2269 sizeof (struct range_list));
2270 r->start = start;
2271 r->end = end;
2272 r->next = 0;
2273
2274 /* Append this range to the symbol's range list. */
2275 if (!SYMBOL_RANGES (sym))
2276 SYMBOL_RANGES (sym) = r;
2277 else
2278 {
2279 /* Get the last range for the symbol. */
2280 for (rs = SYMBOL_RANGES (sym); rs->next; rs = rs->next)
2281 ;
2282 rs->next = r;
2283 }
2284}
c906108c 2285\f
c5aa993b 2286
c906108c
SS
2287/* Skip rest of this symbol and return an error type.
2288
2289 General notes on error recovery: error_type always skips to the
2290 end of the symbol (modulo cretinous dbx symbol name continuation).
2291 Thus code like this:
2292
2293 if (*(*pp)++ != ';')
c5aa993b 2294 return error_type (pp, objfile);
c906108c
SS
2295
2296 is wrong because if *pp starts out pointing at '\0' (typically as the
2297 result of an earlier error), it will be incremented to point to the
2298 start of the next symbol, which might produce strange results, at least
2299 if you run off the end of the string table. Instead use
2300
2301 if (**pp != ';')
c5aa993b 2302 return error_type (pp, objfile);
c906108c
SS
2303 ++*pp;
2304
2305 or
2306
2307 if (**pp != ';')
c5aa993b 2308 foo = error_type (pp, objfile);
c906108c 2309 else
c5aa993b 2310 ++*pp;
c906108c
SS
2311
2312 And in case it isn't obvious, the point of all this hair is so the compiler
2313 can define new types and new syntaxes, and old versions of the
2314 debugger will be able to read the new symbol tables. */
2315
2316static struct type *
fba45db2 2317error_type (char **pp, struct objfile *objfile)
c906108c
SS
2318{
2319 complain (&error_type_complaint);
2320 while (1)
2321 {
2322 /* Skip to end of symbol. */
2323 while (**pp != '\0')
2324 {
2325 (*pp)++;
2326 }
2327
2328 /* Check for and handle cretinous dbx symbol name continuation! */
2329 if ((*pp)[-1] == '\\' || (*pp)[-1] == '?')
2330 {
2331 *pp = next_symbol_text (objfile);
2332 }
2333 else
2334 {
2335 break;
2336 }
2337 }
2338 return (builtin_type_error);
2339}
c906108c 2340\f
c5aa993b 2341
c906108c
SS
2342/* Read type information or a type definition; return the type. Even
2343 though this routine accepts either type information or a type
2344 definition, the distinction is relevant--some parts of stabsread.c
2345 assume that type information starts with a digit, '-', or '(' in
2346 deciding whether to call read_type. */
2347
2348struct type *
fba45db2 2349read_type (register char **pp, struct objfile *objfile)
c906108c
SS
2350{
2351 register struct type *type = 0;
2352 struct type *type1;
2353 int typenums[2];
2354 char type_descriptor;
2355
2356 /* Size in bits of type if specified by a type attribute, or -1 if
2357 there is no size attribute. */
2358 int type_size = -1;
2359
2360 /* Used to distinguish string and bitstring from char-array and set. */
2361 int is_string = 0;
2362
e2cd42dd
MS
2363 /* Used to distinguish vector from array. */
2364 int is_vector = 0;
2365
c906108c
SS
2366 /* Read type number if present. The type number may be omitted.
2367 for instance in a two-dimensional array declared with type
2368 "ar1;1;10;ar1;1;10;4". */
2369 if ((**pp >= '0' && **pp <= '9')
2370 || **pp == '('
2371 || **pp == '-')
2372 {
2373 if (read_type_number (pp, typenums) != 0)
2374 return error_type (pp, objfile);
c5aa993b 2375
c906108c 2376 /* Type is not being defined here. Either it already exists,
c5aa993b
JM
2377 or this is a forward reference to it. dbx_alloc_type handles
2378 both cases. */
c906108c
SS
2379 if (**pp != '=')
2380 return dbx_alloc_type (typenums, objfile);
2381
2382 /* Type is being defined here. */
2383 /* Skip the '='.
c5aa993b
JM
2384 Also skip the type descriptor - we get it below with (*pp)[-1]. */
2385 (*pp) += 2;
c906108c
SS
2386 }
2387 else
2388 {
2389 /* 'typenums=' not present, type is anonymous. Read and return
c5aa993b 2390 the definition, but don't put it in the type vector. */
c906108c
SS
2391 typenums[0] = typenums[1] = -1;
2392 (*pp)++;
2393 }
2394
c5aa993b 2395again:
c906108c
SS
2396 type_descriptor = (*pp)[-1];
2397 switch (type_descriptor)
2398 {
2399 case 'x':
2400 {
2401 enum type_code code;
2402
2403 /* Used to index through file_symbols. */
2404 struct pending *ppt;
2405 int i;
c5aa993b 2406
c906108c
SS
2407 /* Name including "struct", etc. */
2408 char *type_name;
c5aa993b 2409
c906108c
SS
2410 {
2411 char *from, *to, *p, *q1, *q2;
c5aa993b 2412
c906108c
SS
2413 /* Set the type code according to the following letter. */
2414 switch ((*pp)[0])
2415 {
2416 case 's':
2417 code = TYPE_CODE_STRUCT;
2418 break;
2419 case 'u':
2420 code = TYPE_CODE_UNION;
2421 break;
2422 case 'e':
2423 code = TYPE_CODE_ENUM;
2424 break;
2425 default:
2426 {
2427 /* Complain and keep going, so compilers can invent new
2428 cross-reference types. */
2429 static struct complaint msg =
c5aa993b 2430 {"Unrecognized cross-reference type `%c'", 0, 0};
c906108c
SS
2431 complain (&msg, (*pp)[0]);
2432 code = TYPE_CODE_STRUCT;
2433 break;
2434 }
2435 }
c5aa993b 2436
c906108c
SS
2437 q1 = strchr (*pp, '<');
2438 p = strchr (*pp, ':');
2439 if (p == NULL)
2440 return error_type (pp, objfile);
2441 if (q1 && p > q1 && p[1] == ':')
2442 {
2443 int nesting_level = 0;
2444 for (q2 = q1; *q2; q2++)
2445 {
2446 if (*q2 == '<')
2447 nesting_level++;
2448 else if (*q2 == '>')
2449 nesting_level--;
2450 else if (*q2 == ':' && nesting_level == 0)
2451 break;
2452 }
2453 p = q2;
2454 if (*p != ':')
2455 return error_type (pp, objfile);
2456 }
c5aa993b
JM
2457 to = type_name =
2458 (char *) obstack_alloc (&objfile->type_obstack, p - *pp + 1);
2459
c906108c
SS
2460 /* Copy the name. */
2461 from = *pp + 1;
c5aa993b 2462 while (from < p)
c906108c
SS
2463 *to++ = *from++;
2464 *to = '\0';
c5aa993b 2465
c906108c
SS
2466 /* Set the pointer ahead of the name which we just read, and
2467 the colon. */
2468 *pp = from + 1;
2469 }
2470
2471 /* Now check to see whether the type has already been
2472 declared. This was written for arrays of cross-referenced
2473 types before we had TYPE_CODE_TARGET_STUBBED, so I'm pretty
2474 sure it is not necessary anymore. But it might be a good
2475 idea, to save a little memory. */
2476
2477 for (ppt = file_symbols; ppt; ppt = ppt->next)
2478 for (i = 0; i < ppt->nsyms; i++)
2479 {
2480 struct symbol *sym = ppt->symbol[i];
2481
2482 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF
2483 && SYMBOL_NAMESPACE (sym) == STRUCT_NAMESPACE
2484 && (TYPE_CODE (SYMBOL_TYPE (sym)) == code)
2485 && STREQ (SYMBOL_NAME (sym), type_name))
2486 {
c5aa993b 2487 obstack_free (&objfile->type_obstack, type_name);
c906108c
SS
2488 type = SYMBOL_TYPE (sym);
2489 return type;
2490 }
2491 }
2492
2493 /* Didn't find the type to which this refers, so we must
2494 be dealing with a forward reference. Allocate a type
2495 structure for it, and keep track of it so we can
2496 fill in the rest of the fields when we get the full
2497 type. */
2498 type = dbx_alloc_type (typenums, objfile);
2499 TYPE_CODE (type) = code;
2500 TYPE_TAG_NAME (type) = type_name;
c5aa993b 2501 INIT_CPLUS_SPECIFIC (type);
c906108c
SS
2502 TYPE_FLAGS (type) |= TYPE_FLAG_STUB;
2503
2504 add_undefined_type (type);
2505 return type;
2506 }
2507
c5aa993b 2508 case '-': /* RS/6000 built-in type */
c906108c
SS
2509 case '0':
2510 case '1':
2511 case '2':
2512 case '3':
2513 case '4':
2514 case '5':
2515 case '6':
2516 case '7':
2517 case '8':
2518 case '9':
2519 case '(':
2520 (*pp)--;
2521
2522 /* We deal with something like t(1,2)=(3,4)=... which
c5aa993b 2523 the Lucid compiler and recent gcc versions (post 2.7.3) use. */
c906108c
SS
2524
2525 /* Allocate and enter the typedef type first.
c5aa993b 2526 This handles recursive types. */
c906108c
SS
2527 type = dbx_alloc_type (typenums, objfile);
2528 TYPE_CODE (type) = TYPE_CODE_TYPEDEF;
c5aa993b
JM
2529 {
2530 struct type *xtype = read_type (pp, objfile);
c906108c
SS
2531 if (type == xtype)
2532 {
2533 /* It's being defined as itself. That means it is "void". */
2534 TYPE_CODE (type) = TYPE_CODE_VOID;
2535 TYPE_LENGTH (type) = 1;
2536 }
2537 else if (type_size >= 0 || is_string)
2538 {
dd6bda65
DJ
2539 /* This is the absolute wrong way to construct types. Every
2540 other debug format has found a way around this problem and
2541 the related problems with unnecessarily stubbed types;
2542 someone motivated should attempt to clean up the issue
2543 here as well. Once a type pointed to has been created it
13a393b0
JB
2544 should not be modified.
2545
2546 Well, it's not *absolutely* wrong. Constructing recursive
2547 types (trees, linked lists) necessarily entails modifying
2548 types after creating them. Constructing any loop structure
2549 entails side effects. The Dwarf 2 reader does handle this
2550 more gracefully (it never constructs more than once
2551 instance of a type object, so it doesn't have to copy type
2552 objects wholesale), but it still mutates type objects after
2553 other folks have references to them.
2554
2555 Keep in mind that this circularity/mutation issue shows up
2556 at the source language level, too: C's "incomplete types",
2557 for example. So the proper cleanup, I think, would be to
2558 limit GDB's type smashing to match exactly those required
2559 by the source language. So GDB could have a
2560 "complete_this_type" function, but never create unnecessary
2561 copies of a type otherwise. */
dd6bda65 2562 replace_type (type, xtype);
c906108c
SS
2563 TYPE_NAME (type) = NULL;
2564 TYPE_TAG_NAME (type) = NULL;
2565 }
2566 else
2567 {
2568 TYPE_FLAGS (type) |= TYPE_FLAG_TARGET_STUB;
2569 TYPE_TARGET_TYPE (type) = xtype;
2570 }
2571 }
2572 break;
2573
c5aa993b
JM
2574 /* In the following types, we must be sure to overwrite any existing
2575 type that the typenums refer to, rather than allocating a new one
2576 and making the typenums point to the new one. This is because there
2577 may already be pointers to the existing type (if it had been
2578 forward-referenced), and we must change it to a pointer, function,
2579 reference, or whatever, *in-place*. */
c906108c 2580
e2cd42dd 2581 case '*': /* Pointer to another type */
c906108c
SS
2582 type1 = read_type (pp, objfile);
2583 type = make_pointer_type (type1, dbx_lookup_type (typenums));
2584 break;
2585
c5aa993b 2586 case '&': /* Reference to another type */
c906108c
SS
2587 type1 = read_type (pp, objfile);
2588 type = make_reference_type (type1, dbx_lookup_type (typenums));
2589 break;
2590
c5aa993b 2591 case 'f': /* Function returning another type */
c906108c
SS
2592 if (os9k_stabs && **pp == '(')
2593 {
2594 /* Function prototype; parse it.
2595 We must conditionalize this on os9k_stabs because otherwise
2596 it could be confused with a Sun-style (1,3) typenumber
2597 (I think). */
2598 struct type *t;
2599 ++*pp;
2600 while (**pp != ')')
c5aa993b
JM
2601 {
2602 t = read_type (pp, objfile);
2603 if (**pp == ',')
2604 ++ * pp;
2605 }
c906108c
SS
2606 }
2607 type1 = read_type (pp, objfile);
2608 type = make_function_type (type1, dbx_lookup_type (typenums));
2609 break;
2610
da966255
JB
2611 case 'g': /* Prototyped function. (Sun) */
2612 {
2613 /* Unresolved questions:
2614
2615 - According to Sun's ``STABS Interface Manual'', for 'f'
2616 and 'F' symbol descriptors, a `0' in the argument type list
2617 indicates a varargs function. But it doesn't say how 'g'
2618 type descriptors represent that info. Someone with access
2619 to Sun's toolchain should try it out.
2620
2621 - According to the comment in define_symbol (search for
2622 `process_prototype_types:'), Sun emits integer arguments as
2623 types which ref themselves --- like `void' types. Do we
2624 have to deal with that here, too? Again, someone with
2625 access to Sun's toolchain should try it out and let us
2626 know. */
2627
2628 const char *type_start = (*pp) - 1;
2629 struct type *return_type = read_type (pp, objfile);
2630 struct type *func_type
2631 = make_function_type (return_type, dbx_lookup_type (typenums));
2632 struct type_list {
2633 struct type *type;
2634 struct type_list *next;
2635 } *arg_types = 0;
2636 int num_args = 0;
2637
2638 while (**pp && **pp != '#')
2639 {
2640 struct type *arg_type = read_type (pp, objfile);
2641 struct type_list *new = alloca (sizeof (*new));
2642 new->type = arg_type;
2643 new->next = arg_types;
2644 arg_types = new;
2645 num_args++;
2646 }
2647 if (**pp == '#')
2648 ++*pp;
2649 else
2650 {
2651 static struct complaint msg = {
2652 "Prototyped function type didn't end arguments with `#':\n%s",
2653 0, 0
2654 };
2655 complain (&msg, type_start);
2656 }
2657
2658 /* If there is just one argument whose type is `void', then
2659 that's just an empty argument list. */
2660 if (arg_types
2661 && ! arg_types->next
2662 && TYPE_CODE (arg_types->type) == TYPE_CODE_VOID)
2663 num_args = 0;
2664
2665 TYPE_FIELDS (func_type)
2666 = (struct field *) TYPE_ALLOC (func_type,
2667 num_args * sizeof (struct field));
2668 memset (TYPE_FIELDS (func_type), 0, num_args * sizeof (struct field));
2669 {
2670 int i;
2671 struct type_list *t;
2672
2673 /* We stuck each argument type onto the front of the list
2674 when we read it, so the list is reversed. Build the
2675 fields array right-to-left. */
2676 for (t = arg_types, i = num_args - 1; t; t = t->next, i--)
2677 TYPE_FIELD_TYPE (func_type, i) = t->type;
2678 }
2679 TYPE_NFIELDS (func_type) = num_args;
2680 TYPE_FLAGS (func_type) |= TYPE_FLAG_PROTOTYPED;
2681
2682 type = func_type;
2683 break;
2684 }
2685
c5aa993b
JM
2686 case 'k': /* Const qualifier on some type (Sun) */
2687 case 'c': /* Const qualifier on some type (OS9000) */
c906108c 2688 /* Because 'c' means other things to AIX and 'k' is perfectly good,
c5aa993b 2689 only accept 'c' in the os9k_stabs case. */
c906108c
SS
2690 if (type_descriptor == 'c' && !os9k_stabs)
2691 return error_type (pp, objfile);
2692 type = read_type (pp, objfile);
d7242108
DJ
2693 type = make_cv_type (1, TYPE_VOLATILE (type), type,
2694 dbx_lookup_type (typenums));
c906108c
SS
2695 break;
2696
c5aa993b
JM
2697 case 'B': /* Volatile qual on some type (Sun) */
2698 case 'i': /* Volatile qual on some type (OS9000) */
c906108c 2699 /* Because 'i' means other things to AIX and 'B' is perfectly good,
c5aa993b 2700 only accept 'i' in the os9k_stabs case. */
c906108c
SS
2701 if (type_descriptor == 'i' && !os9k_stabs)
2702 return error_type (pp, objfile);
2703 type = read_type (pp, objfile);
d7242108
DJ
2704 type = make_cv_type (TYPE_CONST (type), 1, type,
2705 dbx_lookup_type (typenums));
c906108c
SS
2706 break;
2707
2708 case '@':
c5aa993b
JM
2709 if (isdigit (**pp) || **pp == '(' || **pp == '-')
2710 { /* Member (class & variable) type */
c906108c
SS
2711 /* FIXME -- we should be doing smash_to_XXX types here. */
2712
2713 struct type *domain = read_type (pp, objfile);
2714 struct type *memtype;
2715
2716 if (**pp != ',')
2717 /* Invalid member type data format. */
2718 return error_type (pp, objfile);
2719 ++*pp;
2720
2721 memtype = read_type (pp, objfile);
2722 type = dbx_alloc_type (typenums, objfile);
2723 smash_to_member_type (type, domain, memtype);
2724 }
c5aa993b
JM
2725 else
2726 /* type attribute */
c906108c
SS
2727 {
2728 char *attr = *pp;
2729 /* Skip to the semicolon. */
2730 while (**pp != ';' && **pp != '\0')
2731 ++(*pp);
2732 if (**pp == '\0')
2733 return error_type (pp, objfile);
2734 else
c5aa993b 2735 ++ * pp; /* Skip the semicolon. */
c906108c
SS
2736
2737 switch (*attr)
2738 {
e2cd42dd 2739 case 's': /* Size attribute */
c906108c
SS
2740 type_size = atoi (attr + 1);
2741 if (type_size <= 0)
2742 type_size = -1;
2743 break;
2744
e2cd42dd
MS
2745 case 'S': /* String attribute */
2746 /* FIXME: check to see if following type is array? */
c906108c
SS
2747 is_string = 1;
2748 break;
2749
e2cd42dd
MS
2750 case 'V': /* Vector attribute */
2751 /* FIXME: check to see if following type is array? */
2752 is_vector = 1;
2753 break;
2754
c906108c
SS
2755 default:
2756 /* Ignore unrecognized type attributes, so future compilers
c5aa993b 2757 can invent new ones. */
c906108c
SS
2758 break;
2759 }
2760 ++*pp;
2761 goto again;
2762 }
2763 break;
2764
c5aa993b 2765 case '#': /* Method (class & fn) type */
c906108c
SS
2766 if ((*pp)[0] == '#')
2767 {
2768 /* We'll get the parameter types from the name. */
2769 struct type *return_type;
2770
2771 (*pp)++;
2772 return_type = read_type (pp, objfile);
2773 if (*(*pp)++ != ';')
2774 complain (&invalid_member_complaint, symnum);
2775 type = allocate_stub_method (return_type);
2776 if (typenums[0] != -1)
2777 *dbx_lookup_type (typenums) = type;
2778 }
2779 else
2780 {
2781 struct type *domain = read_type (pp, objfile);
2782 struct type *return_type;
ad2f7632
DJ
2783 struct field *args;
2784 int nargs, varargs;
c906108c
SS
2785
2786 if (**pp != ',')
2787 /* Invalid member type data format. */
2788 return error_type (pp, objfile);
2789 else
2790 ++(*pp);
2791
2792 return_type = read_type (pp, objfile);
ad2f7632 2793 args = read_args (pp, ';', objfile, &nargs, &varargs);
c906108c 2794 type = dbx_alloc_type (typenums, objfile);
ad2f7632
DJ
2795 smash_to_method_type (type, domain, return_type, args,
2796 nargs, varargs);
c906108c
SS
2797 }
2798 break;
2799
c5aa993b 2800 case 'r': /* Range type */
c906108c
SS
2801 type = read_range_type (pp, typenums, objfile);
2802 if (typenums[0] != -1)
2803 *dbx_lookup_type (typenums) = type;
2804 break;
2805
2806 case 'b':
2807 if (os9k_stabs)
2808 /* Const and volatile qualified type. */
2809 type = read_type (pp, objfile);
2810 else
2811 {
2812 /* Sun ACC builtin int type */
2813 type = read_sun_builtin_type (pp, typenums, objfile);
2814 if (typenums[0] != -1)
2815 *dbx_lookup_type (typenums) = type;
2816 }
2817 break;
2818
c5aa993b 2819 case 'R': /* Sun ACC builtin float type */
c906108c
SS
2820 type = read_sun_floating_type (pp, typenums, objfile);
2821 if (typenums[0] != -1)
2822 *dbx_lookup_type (typenums) = type;
2823 break;
c5aa993b
JM
2824
2825 case 'e': /* Enumeration type */
c906108c
SS
2826 type = dbx_alloc_type (typenums, objfile);
2827 type = read_enum_type (pp, type, objfile);
2828 if (typenums[0] != -1)
2829 *dbx_lookup_type (typenums) = type;
2830 break;
2831
c5aa993b
JM
2832 case 's': /* Struct type */
2833 case 'u': /* Union type */
2ae1c2d2
JB
2834 {
2835 enum type_code type_code = TYPE_CODE_UNDEF;
2836 type = dbx_alloc_type (typenums, objfile);
2837 switch (type_descriptor)
2838 {
2839 case 's':
2840 type_code = TYPE_CODE_STRUCT;
2841 break;
2842 case 'u':
2843 type_code = TYPE_CODE_UNION;
2844 break;
2845 }
2846 type = read_struct_type (pp, type, type_code, objfile);
2847 break;
2848 }
c906108c 2849
c5aa993b 2850 case 'a': /* Array type */
c906108c
SS
2851 if (**pp != 'r')
2852 return error_type (pp, objfile);
2853 ++*pp;
c5aa993b 2854
c906108c
SS
2855 type = dbx_alloc_type (typenums, objfile);
2856 type = read_array_type (pp, type, objfile);
2857 if (is_string)
2858 TYPE_CODE (type) = TYPE_CODE_STRING;
e2cd42dd
MS
2859 if (is_vector)
2860 TYPE_FLAGS (type) |= TYPE_FLAG_VECTOR;
c906108c
SS
2861 break;
2862
e2cd42dd 2863 case 'S': /* Set or bitstring type */
c906108c 2864 type1 = read_type (pp, objfile);
c5aa993b 2865 type = create_set_type ((struct type *) NULL, type1);
c906108c
SS
2866 if (is_string)
2867 TYPE_CODE (type) = TYPE_CODE_BITSTRING;
2868 if (typenums[0] != -1)
2869 *dbx_lookup_type (typenums) = type;
2870 break;
2871
2872 default:
2873 --*pp; /* Go back to the symbol in error */
c5aa993b 2874 /* Particularly important if it was \0! */
c906108c
SS
2875 return error_type (pp, objfile);
2876 }
2877
2878 if (type == 0)
2879 {
2880 warning ("GDB internal error, type is NULL in stabsread.c\n");
2881 return error_type (pp, objfile);
2882 }
2883
2884 /* Size specified in a type attribute overrides any other size. */
2885 if (type_size != -1)
2886 TYPE_LENGTH (type) = (type_size + TARGET_CHAR_BIT - 1) / TARGET_CHAR_BIT;
2887
2888 return type;
2889}
2890\f
2891/* RS/6000 xlc/dbx combination uses a set of builtin types, starting from -1.
2892 Return the proper type node for a given builtin type number. */
2893
2894static struct type *
fba45db2 2895rs6000_builtin_type (int typenum)
c906108c
SS
2896{
2897 /* We recognize types numbered from -NUMBER_RECOGNIZED to -1. */
2898#define NUMBER_RECOGNIZED 34
2899 /* This includes an empty slot for type number -0. */
2900 static struct type *negative_types[NUMBER_RECOGNIZED + 1];
2901 struct type *rettype = NULL;
2902
2903 if (typenum >= 0 || typenum < -NUMBER_RECOGNIZED)
2904 {
2905 complain (&rs6000_builtin_complaint, typenum);
2906 return builtin_type_error;
2907 }
2908 if (negative_types[-typenum] != NULL)
2909 return negative_types[-typenum];
2910
2911#if TARGET_CHAR_BIT != 8
c5aa993b 2912#error This code wrong for TARGET_CHAR_BIT not 8
c906108c
SS
2913 /* These definitions all assume that TARGET_CHAR_BIT is 8. I think
2914 that if that ever becomes not true, the correct fix will be to
2915 make the size in the struct type to be in bits, not in units of
2916 TARGET_CHAR_BIT. */
2917#endif
2918
2919 switch (-typenum)
2920 {
2921 case 1:
2922 /* The size of this and all the other types are fixed, defined
c5aa993b
JM
2923 by the debugging format. If there is a type called "int" which
2924 is other than 32 bits, then it should use a new negative type
2925 number (or avoid negative type numbers for that case).
2926 See stabs.texinfo. */
c906108c
SS
2927 rettype = init_type (TYPE_CODE_INT, 4, 0, "int", NULL);
2928 break;
2929 case 2:
2930 rettype = init_type (TYPE_CODE_INT, 1, 0, "char", NULL);
2931 break;
2932 case 3:
2933 rettype = init_type (TYPE_CODE_INT, 2, 0, "short", NULL);
2934 break;
2935 case 4:
2936 rettype = init_type (TYPE_CODE_INT, 4, 0, "long", NULL);
2937 break;
2938 case 5:
2939 rettype = init_type (TYPE_CODE_INT, 1, TYPE_FLAG_UNSIGNED,
2940 "unsigned char", NULL);
2941 break;
2942 case 6:
2943 rettype = init_type (TYPE_CODE_INT, 1, 0, "signed char", NULL);
2944 break;
2945 case 7:
2946 rettype = init_type (TYPE_CODE_INT, 2, TYPE_FLAG_UNSIGNED,
2947 "unsigned short", NULL);
2948 break;
2949 case 8:
2950 rettype = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
2951 "unsigned int", NULL);
2952 break;
2953 case 9:
2954 rettype = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
2955 "unsigned", NULL);
2956 case 10:
2957 rettype = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED,
2958 "unsigned long", NULL);
2959 break;
2960 case 11:
2961 rettype = init_type (TYPE_CODE_VOID, 1, 0, "void", NULL);
2962 break;
2963 case 12:
2964 /* IEEE single precision (32 bit). */
2965 rettype = init_type (TYPE_CODE_FLT, 4, 0, "float", NULL);
2966 break;
2967 case 13:
2968 /* IEEE double precision (64 bit). */
2969 rettype = init_type (TYPE_CODE_FLT, 8, 0, "double", NULL);
2970 break;
2971 case 14:
2972 /* This is an IEEE double on the RS/6000, and different machines with
c5aa993b
JM
2973 different sizes for "long double" should use different negative
2974 type numbers. See stabs.texinfo. */
c906108c
SS
2975 rettype = init_type (TYPE_CODE_FLT, 8, 0, "long double", NULL);
2976 break;
2977 case 15:
2978 rettype = init_type (TYPE_CODE_INT, 4, 0, "integer", NULL);
2979 break;
2980 case 16:
2981 rettype = init_type (TYPE_CODE_BOOL, 4, TYPE_FLAG_UNSIGNED,
2982 "boolean", NULL);
2983 break;
2984 case 17:
2985 rettype = init_type (TYPE_CODE_FLT, 4, 0, "short real", NULL);
2986 break;
2987 case 18:
2988 rettype = init_type (TYPE_CODE_FLT, 8, 0, "real", NULL);
2989 break;
2990 case 19:
2991 rettype = init_type (TYPE_CODE_ERROR, 0, 0, "stringptr", NULL);
2992 break;
2993 case 20:
2994 rettype = init_type (TYPE_CODE_CHAR, 1, TYPE_FLAG_UNSIGNED,
2995 "character", NULL);
2996 break;
2997 case 21:
2998 rettype = init_type (TYPE_CODE_BOOL, 1, TYPE_FLAG_UNSIGNED,
2999 "logical*1", NULL);
3000 break;
3001 case 22:
3002 rettype = init_type (TYPE_CODE_BOOL, 2, TYPE_FLAG_UNSIGNED,
3003 "logical*2", NULL);
3004 break;
3005 case 23:
3006 rettype = init_type (TYPE_CODE_BOOL, 4, TYPE_FLAG_UNSIGNED,
3007 "logical*4", NULL);
3008 break;
3009 case 24:
3010 rettype = init_type (TYPE_CODE_BOOL, 4, TYPE_FLAG_UNSIGNED,
3011 "logical", NULL);
3012 break;
3013 case 25:
3014 /* Complex type consisting of two IEEE single precision values. */
3015 rettype = init_type (TYPE_CODE_COMPLEX, 8, 0, "complex", NULL);
f65ca430
DJ
3016 TYPE_TARGET_TYPE (rettype) = init_type (TYPE_CODE_FLT, 4, 0, "float",
3017 NULL);
c906108c
SS
3018 break;
3019 case 26:
3020 /* Complex type consisting of two IEEE double precision values. */
3021 rettype = init_type (TYPE_CODE_COMPLEX, 16, 0, "double complex", NULL);
f65ca430
DJ
3022 TYPE_TARGET_TYPE (rettype) = init_type (TYPE_CODE_FLT, 8, 0, "double",
3023 NULL);
c906108c
SS
3024 break;
3025 case 27:
3026 rettype = init_type (TYPE_CODE_INT, 1, 0, "integer*1", NULL);
3027 break;
3028 case 28:
3029 rettype = init_type (TYPE_CODE_INT, 2, 0, "integer*2", NULL);
3030 break;
3031 case 29:
3032 rettype = init_type (TYPE_CODE_INT, 4, 0, "integer*4", NULL);
3033 break;
3034 case 30:
3035 rettype = init_type (TYPE_CODE_CHAR, 2, 0, "wchar", NULL);
3036 break;
3037 case 31:
3038 rettype = init_type (TYPE_CODE_INT, 8, 0, "long long", NULL);
3039 break;
3040 case 32:
3041 rettype = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
3042 "unsigned long long", NULL);
3043 break;
3044 case 33:
3045 rettype = init_type (TYPE_CODE_INT, 8, TYPE_FLAG_UNSIGNED,
3046 "logical*8", NULL);
3047 break;
3048 case 34:
3049 rettype = init_type (TYPE_CODE_INT, 8, 0, "integer*8", NULL);
3050 break;
3051 }
3052 negative_types[-typenum] = rettype;
3053 return rettype;
3054}
3055\f
3056/* This page contains subroutines of read_type. */
3057
3058/* Read member function stabs info for C++ classes. The form of each member
3059 function data is:
3060
c5aa993b 3061 NAME :: TYPENUM[=type definition] ARGS : PHYSNAME ;
c906108c
SS
3062
3063 An example with two member functions is:
3064
c5aa993b 3065 afunc1::20=##15;:i;2A.;afunc2::20:i;2A.;
c906108c
SS
3066
3067 For the case of overloaded operators, the format is op$::*.funcs, where
3068 $ is the CPLUS_MARKER (usually '$'), `*' holds the place for an operator
3069 name (such as `+=') and `.' marks the end of the operator name.
3070
3071 Returns 1 for success, 0 for failure. */
3072
3073static int
fba45db2
KB
3074read_member_functions (struct field_info *fip, char **pp, struct type *type,
3075 struct objfile *objfile)
c906108c
SS
3076{
3077 int nfn_fields = 0;
3078 int length = 0;
3079 /* Total number of member functions defined in this class. If the class
3080 defines two `f' functions, and one `g' function, then this will have
3081 the value 3. */
3082 int total_length = 0;
3083 int i;
3084 struct next_fnfield
3085 {
3086 struct next_fnfield *next;
3087 struct fn_field fn_field;
c5aa993b
JM
3088 }
3089 *sublist;
c906108c
SS
3090 struct type *look_ahead_type;
3091 struct next_fnfieldlist *new_fnlist;
3092 struct next_fnfield *new_sublist;
3093 char *main_fn_name;
3094 register char *p;
c5aa993b 3095
c906108c
SS
3096 /* Process each list until we find something that is not a member function
3097 or find the end of the functions. */
3098
3099 while (**pp != ';')
3100 {
3101 /* We should be positioned at the start of the function name.
c5aa993b
JM
3102 Scan forward to find the first ':' and if it is not the
3103 first of a "::" delimiter, then this is not a member function. */
c906108c
SS
3104 p = *pp;
3105 while (*p != ':')
3106 {
3107 p++;
3108 }
3109 if (p[1] != ':')
3110 {
3111 break;
3112 }
3113
3114 sublist = NULL;
3115 look_ahead_type = NULL;
3116 length = 0;
c5aa993b 3117
c906108c
SS
3118 new_fnlist = (struct next_fnfieldlist *)
3119 xmalloc (sizeof (struct next_fnfieldlist));
b8c9b27d 3120 make_cleanup (xfree, new_fnlist);
c906108c 3121 memset (new_fnlist, 0, sizeof (struct next_fnfieldlist));
c5aa993b 3122
c906108c
SS
3123 if ((*pp)[0] == 'o' && (*pp)[1] == 'p' && is_cplus_marker ((*pp)[2]))
3124 {
3125 /* This is a completely wierd case. In order to stuff in the
3126 names that might contain colons (the usual name delimiter),
3127 Mike Tiemann defined a different name format which is
3128 signalled if the identifier is "op$". In that case, the
3129 format is "op$::XXXX." where XXXX is the name. This is
3130 used for names like "+" or "=". YUUUUUUUK! FIXME! */
3131 /* This lets the user type "break operator+".
3132 We could just put in "+" as the name, but that wouldn't
3133 work for "*". */
c5aa993b
JM
3134 static char opname[32] =
3135 {'o', 'p', CPLUS_MARKER};
c906108c 3136 char *o = opname + 3;
c5aa993b 3137
c906108c
SS
3138 /* Skip past '::'. */
3139 *pp = p + 2;
3140
3141 STABS_CONTINUE (pp, objfile);
3142 p = *pp;
3143 while (*p != '.')
3144 {
3145 *o++ = *p++;
3146 }
3147 main_fn_name = savestring (opname, o - opname);
3148 /* Skip past '.' */
3149 *pp = p + 1;
3150 }
3151 else
3152 {
3153 main_fn_name = savestring (*pp, p - *pp);
3154 /* Skip past '::'. */
3155 *pp = p + 2;
3156 }
c5aa993b
JM
3157 new_fnlist->fn_fieldlist.name = main_fn_name;
3158
c906108c
SS
3159 do
3160 {
3161 new_sublist =
3162 (struct next_fnfield *) xmalloc (sizeof (struct next_fnfield));
b8c9b27d 3163 make_cleanup (xfree, new_sublist);
c906108c 3164 memset (new_sublist, 0, sizeof (struct next_fnfield));
c5aa993b 3165
c906108c
SS
3166 /* Check for and handle cretinous dbx symbol name continuation! */
3167 if (look_ahead_type == NULL)
3168 {
3169 /* Normal case. */
3170 STABS_CONTINUE (pp, objfile);
c5aa993b
JM
3171
3172 new_sublist->fn_field.type = read_type (pp, objfile);
c906108c
SS
3173 if (**pp != ':')
3174 {
3175 /* Invalid symtab info for member function. */
3176 return 0;
3177 }
3178 }
3179 else
3180 {
3181 /* g++ version 1 kludge */
c5aa993b 3182 new_sublist->fn_field.type = look_ahead_type;
c906108c
SS
3183 look_ahead_type = NULL;
3184 }
c5aa993b 3185
c906108c
SS
3186 (*pp)++;
3187 p = *pp;
3188 while (*p != ';')
3189 {
3190 p++;
3191 }
c5aa993b 3192
c906108c
SS
3193 /* If this is just a stub, then we don't have the real name here. */
3194
74a9bb82 3195 if (TYPE_STUB (new_sublist->fn_field.type))
c906108c 3196 {
c5aa993b
JM
3197 if (!TYPE_DOMAIN_TYPE (new_sublist->fn_field.type))
3198 TYPE_DOMAIN_TYPE (new_sublist->fn_field.type) = type;
3199 new_sublist->fn_field.is_stub = 1;
c906108c 3200 }
c5aa993b 3201 new_sublist->fn_field.physname = savestring (*pp, p - *pp);
c906108c 3202 *pp = p + 1;
c5aa993b 3203
c906108c
SS
3204 /* Set this member function's visibility fields. */
3205 switch (*(*pp)++)
3206 {
c5aa993b
JM
3207 case VISIBILITY_PRIVATE:
3208 new_sublist->fn_field.is_private = 1;
3209 break;
3210 case VISIBILITY_PROTECTED:
3211 new_sublist->fn_field.is_protected = 1;
3212 break;
c906108c 3213 }
c5aa993b 3214
c906108c
SS
3215 STABS_CONTINUE (pp, objfile);
3216 switch (**pp)
3217 {
c5aa993b
JM
3218 case 'A': /* Normal functions. */
3219 new_sublist->fn_field.is_const = 0;
3220 new_sublist->fn_field.is_volatile = 0;
3221 (*pp)++;
3222 break;
3223 case 'B': /* `const' member functions. */
3224 new_sublist->fn_field.is_const = 1;
3225 new_sublist->fn_field.is_volatile = 0;
3226 (*pp)++;
3227 break;
3228 case 'C': /* `volatile' member function. */
3229 new_sublist->fn_field.is_const = 0;
3230 new_sublist->fn_field.is_volatile = 1;
3231 (*pp)++;
3232 break;
3233 case 'D': /* `const volatile' member function. */
3234 new_sublist->fn_field.is_const = 1;
3235 new_sublist->fn_field.is_volatile = 1;
3236 (*pp)++;
3237 break;
3238 case '*': /* File compiled with g++ version 1 -- no info */
3239 case '?':
3240 case '.':
3241 break;
3242 default:
3243 complain (&const_vol_complaint, **pp);
3244 break;
c906108c 3245 }
c5aa993b 3246
c906108c
SS
3247 switch (*(*pp)++)
3248 {
c5aa993b 3249 case '*':
c906108c
SS
3250 {
3251 int nbits;
c5aa993b 3252 /* virtual member function, followed by index.
c906108c
SS
3253 The sign bit is set to distinguish pointers-to-methods
3254 from virtual function indicies. Since the array is
3255 in words, the quantity must be shifted left by 1
3256 on 16 bit machine, and by 2 on 32 bit machine, forcing
3257 the sign bit out, and usable as a valid index into
3258 the array. Remove the sign bit here. */
c5aa993b 3259 new_sublist->fn_field.voffset =
c906108c
SS
3260 (0x7fffffff & read_huge_number (pp, ';', &nbits)) + 2;
3261 if (nbits != 0)
3262 return 0;
c5aa993b 3263
c906108c
SS
3264 STABS_CONTINUE (pp, objfile);
3265 if (**pp == ';' || **pp == '\0')
3266 {
3267 /* Must be g++ version 1. */
c5aa993b 3268 new_sublist->fn_field.fcontext = 0;
c906108c
SS
3269 }
3270 else
3271 {
3272 /* Figure out from whence this virtual function came.
3273 It may belong to virtual function table of
3274 one of its baseclasses. */
3275 look_ahead_type = read_type (pp, objfile);
3276 if (**pp == ':')
3277 {
3278 /* g++ version 1 overloaded methods. */
3279 }
3280 else
3281 {
c5aa993b 3282 new_sublist->fn_field.fcontext = look_ahead_type;
c906108c
SS
3283 if (**pp != ';')
3284 {
3285 return 0;
3286 }
3287 else
3288 {
3289 ++*pp;
3290 }
3291 look_ahead_type = NULL;
3292 }
3293 }
3294 break;
3295 }
c5aa993b
JM
3296 case '?':
3297 /* static member function. */
4ea09c10
PS
3298 {
3299 int slen = strlen (main_fn_name);
3300
3301 new_sublist->fn_field.voffset = VOFFSET_STATIC;
3302
3303 /* For static member functions, we can't tell if they
3304 are stubbed, as they are put out as functions, and not as
3305 methods.
3306 GCC v2 emits the fully mangled name if
3307 dbxout.c:flag_minimal_debug is not set, so we have to
3308 detect a fully mangled physname here and set is_stub
3309 accordingly. Fully mangled physnames in v2 start with
3310 the member function name, followed by two underscores.
3311 GCC v3 currently always emits stubbed member functions,
3312 but with fully mangled physnames, which start with _Z. */
3313 if (!(strncmp (new_sublist->fn_field.physname,
3314 main_fn_name, slen) == 0
3315 && new_sublist->fn_field.physname[slen] == '_'
3316 && new_sublist->fn_field.physname[slen + 1] == '_'))
3317 {
3318 new_sublist->fn_field.is_stub = 1;
3319 }
3320 break;
3321 }
c5aa993b
JM
3322
3323 default:
3324 /* error */
3325 complain (&member_fn_complaint, (*pp)[-1]);
3326 /* Fall through into normal member function. */
3327
3328 case '.':
3329 /* normal member function. */
3330 new_sublist->fn_field.voffset = 0;
3331 new_sublist->fn_field.fcontext = 0;
3332 break;
c906108c 3333 }
c5aa993b
JM
3334
3335 new_sublist->next = sublist;
c906108c
SS
3336 sublist = new_sublist;
3337 length++;
3338 STABS_CONTINUE (pp, objfile);
3339 }
3340 while (**pp != ';' && **pp != '\0');
c5aa993b 3341
c906108c 3342 (*pp)++;
0c867556 3343 STABS_CONTINUE (pp, objfile);
c5aa993b 3344
0c867556
PS
3345 /* Skip GCC 3.X member functions which are duplicates of the callable
3346 constructor/destructor. */
3347 if (strcmp (main_fn_name, "__base_ctor") == 0
3348 || strcmp (main_fn_name, "__base_dtor") == 0
3349 || strcmp (main_fn_name, "__deleting_dtor") == 0)
c906108c 3350 {
0c867556 3351 xfree (main_fn_name);
c906108c 3352 }
0c867556
PS
3353 else
3354 {
3355 new_fnlist->fn_fieldlist.fn_fields = (struct fn_field *)
3356 obstack_alloc (&objfile->type_obstack,
3357 sizeof (struct fn_field) * length);
3358 memset (new_fnlist->fn_fieldlist.fn_fields, 0,
3359 sizeof (struct fn_field) * length);
3360 for (i = length; (i--, sublist); sublist = sublist->next)
3361 {
3362 new_fnlist->fn_fieldlist.fn_fields[i] = sublist->fn_field;
3363 }
c5aa993b 3364
0c867556
PS
3365 new_fnlist->fn_fieldlist.length = length;
3366 new_fnlist->next = fip->fnlist;
3367 fip->fnlist = new_fnlist;
3368 nfn_fields++;
3369 total_length += length;
3370 }
c906108c
SS
3371 }
3372
3373 if (nfn_fields)
3374 {
3375 ALLOCATE_CPLUS_STRUCT_TYPE (type);
3376 TYPE_FN_FIELDLISTS (type) = (struct fn_fieldlist *)
3377 TYPE_ALLOC (type, sizeof (struct fn_fieldlist) * nfn_fields);
3378 memset (TYPE_FN_FIELDLISTS (type), 0,
3379 sizeof (struct fn_fieldlist) * nfn_fields);
3380 TYPE_NFN_FIELDS (type) = nfn_fields;
3381 TYPE_NFN_FIELDS_TOTAL (type) = total_length;
3382 }
3383
3384 return 1;
3385}
3386
3387/* Special GNU C++ name.
3388
3389 Returns 1 for success, 0 for failure. "failure" means that we can't
3390 keep parsing and it's time for error_type(). */
3391
3392static int
fba45db2
KB
3393read_cpp_abbrev (struct field_info *fip, char **pp, struct type *type,
3394 struct objfile *objfile)
c906108c
SS
3395{
3396 register char *p;
3397 char *name;
3398 char cpp_abbrev;
3399 struct type *context;
3400
3401 p = *pp;
3402 if (*++p == 'v')
3403 {
3404 name = NULL;
3405 cpp_abbrev = *++p;
3406
3407 *pp = p + 1;
3408
3409 /* At this point, *pp points to something like "22:23=*22...",
c5aa993b
JM
3410 where the type number before the ':' is the "context" and
3411 everything after is a regular type definition. Lookup the
3412 type, find it's name, and construct the field name. */
c906108c
SS
3413
3414 context = read_type (pp, objfile);
3415
3416 switch (cpp_abbrev)
3417 {
c5aa993b 3418 case 'f': /* $vf -- a virtual function table pointer */
c2bd2ed9
JB
3419 name = type_name_no_tag (context);
3420 if (name == NULL)
3421 {
3422 name = "";
3423 }
c5aa993b 3424 fip->list->field.name =
c2bd2ed9 3425 obconcat (&objfile->type_obstack, vptr_name, name, "");
c5aa993b 3426 break;
c906108c 3427
c5aa993b
JM
3428 case 'b': /* $vb -- a virtual bsomethingorother */
3429 name = type_name_no_tag (context);
3430 if (name == NULL)
3431 {
3432 complain (&invalid_cpp_type_complaint, symnum);
3433 name = "FOO";
3434 }
3435 fip->list->field.name =
3436 obconcat (&objfile->type_obstack, vb_name, name, "");
3437 break;
c906108c 3438
c5aa993b
JM
3439 default:
3440 complain (&invalid_cpp_abbrev_complaint, *pp);
3441 fip->list->field.name =
3442 obconcat (&objfile->type_obstack,
3443 "INVALID_CPLUSPLUS_ABBREV", "", "");
3444 break;
c906108c
SS
3445 }
3446
3447 /* At this point, *pp points to the ':'. Skip it and read the
c5aa993b 3448 field type. */
c906108c
SS
3449
3450 p = ++(*pp);
3451 if (p[-1] != ':')
3452 {
3453 complain (&invalid_cpp_abbrev_complaint, *pp);
3454 return 0;
3455 }
3456 fip->list->field.type = read_type (pp, objfile);
3457 if (**pp == ',')
c5aa993b 3458 (*pp)++; /* Skip the comma. */
c906108c
SS
3459 else
3460 return 0;
3461
3462 {
3463 int nbits;
3464 FIELD_BITPOS (fip->list->field) = read_huge_number (pp, ';', &nbits);
3465 if (nbits != 0)
3466 return 0;
3467 }
3468 /* This field is unpacked. */
3469 FIELD_BITSIZE (fip->list->field) = 0;
3470 fip->list->visibility = VISIBILITY_PRIVATE;
3471 }
3472 else
3473 {
3474 complain (&invalid_cpp_abbrev_complaint, *pp);
3475 /* We have no idea what syntax an unrecognized abbrev would have, so
c5aa993b
JM
3476 better return 0. If we returned 1, we would need to at least advance
3477 *pp to avoid an infinite loop. */
c906108c
SS
3478 return 0;
3479 }
3480 return 1;
3481}
3482
3483static void
fba45db2
KB
3484read_one_struct_field (struct field_info *fip, char **pp, char *p,
3485 struct type *type, struct objfile *objfile)
c906108c
SS
3486{
3487 /* The following is code to work around cfront generated stabs.
3488 The stabs contains full mangled name for each field.
3489 We try to demangle the name and extract the field name out of it.
c5aa993b 3490 */
c906108c
SS
3491 if (ARM_DEMANGLING && current_subfile->language == language_cplus)
3492 {
3493 char save_p;
3494 char *dem, *dem_p;
3495 save_p = *p;
3496 *p = '\0';
3497 dem = cplus_demangle (*pp, DMGL_ANSI | DMGL_PARAMS);
3498 if (dem != NULL)
c5aa993b
JM
3499 {
3500 dem_p = strrchr (dem, ':');
3501 if (dem_p != 0 && *(dem_p - 1) == ':')
3502 dem_p++;
3503 FIELD_NAME (fip->list->field) =
3504 obsavestring (dem_p, strlen (dem_p), &objfile->type_obstack);
3505 }
c906108c 3506 else
c5aa993b
JM
3507 {
3508 FIELD_NAME (fip->list->field) =
3509 obsavestring (*pp, p - *pp, &objfile->type_obstack);
3510 }
c906108c
SS
3511 *p = save_p;
3512 }
3513 /* end of code for cfront work around */
3514
3515 else
c5aa993b
JM
3516 fip->list->field.name =
3517 obsavestring (*pp, p - *pp, &objfile->type_obstack);
c906108c
SS
3518 *pp = p + 1;
3519
3520 /* This means we have a visibility for a field coming. */
3521 if (**pp == '/')
3522 {
3523 (*pp)++;
c5aa993b 3524 fip->list->visibility = *(*pp)++;
c906108c
SS
3525 }
3526 else
3527 {
3528 /* normal dbx-style format, no explicit visibility */
c5aa993b 3529 fip->list->visibility = VISIBILITY_PUBLIC;
c906108c
SS
3530 }
3531
c5aa993b 3532 fip->list->field.type = read_type (pp, objfile);
c906108c
SS
3533 if (**pp == ':')
3534 {
3535 p = ++(*pp);
3536#if 0
3537 /* Possible future hook for nested types. */
3538 if (**pp == '!')
3539 {
c5aa993b 3540 fip->list->field.bitpos = (long) -2; /* nested type */
c906108c
SS
3541 p = ++(*pp);
3542 }
c5aa993b
JM
3543 else
3544 ...;
c906108c 3545#endif
c5aa993b 3546 while (*p != ';')
c906108c
SS
3547 {
3548 p++;
3549 }
3550 /* Static class member. */
3551 SET_FIELD_PHYSNAME (fip->list->field, savestring (*pp, p - *pp));
3552 *pp = p + 1;
3553 return;
3554 }
3555 else if (**pp != ',')
3556 {
3557 /* Bad structure-type format. */
3558 complain (&stabs_general_complaint, "bad structure-type format");
3559 return;
3560 }
3561
3562 (*pp)++; /* Skip the comma. */
3563
3564 {
3565 int nbits;
3566 FIELD_BITPOS (fip->list->field) = read_huge_number (pp, ',', &nbits);
3567 if (nbits != 0)
3568 {
3569 complain (&stabs_general_complaint, "bad structure-type format");
3570 return;
3571 }
3572 FIELD_BITSIZE (fip->list->field) = read_huge_number (pp, ';', &nbits);
3573 if (nbits != 0)
3574 {
3575 complain (&stabs_general_complaint, "bad structure-type format");
3576 return;
3577 }
3578 }
3579
3580 if (FIELD_BITPOS (fip->list->field) == 0
3581 && FIELD_BITSIZE (fip->list->field) == 0)
3582 {
3583 /* This can happen in two cases: (1) at least for gcc 2.4.5 or so,
c5aa993b
JM
3584 it is a field which has been optimized out. The correct stab for
3585 this case is to use VISIBILITY_IGNORE, but that is a recent
3586 invention. (2) It is a 0-size array. For example
3587 union { int num; char str[0]; } foo. Printing "<no value>" for
3588 str in "p foo" is OK, since foo.str (and thus foo.str[3])
3589 will continue to work, and a 0-size array as a whole doesn't
3590 have any contents to print.
3591
3592 I suspect this probably could also happen with gcc -gstabs (not
3593 -gstabs+) for static fields, and perhaps other C++ extensions.
3594 Hopefully few people use -gstabs with gdb, since it is intended
3595 for dbx compatibility. */
c906108c
SS
3596
3597 /* Ignore this field. */
c5aa993b 3598 fip->list->visibility = VISIBILITY_IGNORE;
c906108c
SS
3599 }
3600 else
3601 {
3602 /* Detect an unpacked field and mark it as such.
c5aa993b
JM
3603 dbx gives a bit size for all fields.
3604 Note that forward refs cannot be packed,
3605 and treat enums as if they had the width of ints. */
c906108c
SS
3606
3607 struct type *field_type = check_typedef (FIELD_TYPE (fip->list->field));
3608
3609 if (TYPE_CODE (field_type) != TYPE_CODE_INT
3610 && TYPE_CODE (field_type) != TYPE_CODE_RANGE
3611 && TYPE_CODE (field_type) != TYPE_CODE_BOOL
3612 && TYPE_CODE (field_type) != TYPE_CODE_ENUM)
3613 {
3614 FIELD_BITSIZE (fip->list->field) = 0;
3615 }
c5aa993b 3616 if ((FIELD_BITSIZE (fip->list->field)
c906108c
SS
3617 == TARGET_CHAR_BIT * TYPE_LENGTH (field_type)
3618 || (TYPE_CODE (field_type) == TYPE_CODE_ENUM
c5aa993b
JM
3619 && FIELD_BITSIZE (fip->list->field) == TARGET_INT_BIT)
3620 )
c906108c
SS
3621 &&
3622 FIELD_BITPOS (fip->list->field) % 8 == 0)
3623 {
3624 FIELD_BITSIZE (fip->list->field) = 0;
3625 }
3626 }
3627}
3628
3629
3630/* Read struct or class data fields. They have the form:
3631
c5aa993b 3632 NAME : [VISIBILITY] TYPENUM , BITPOS , BITSIZE ;
c906108c
SS
3633
3634 At the end, we see a semicolon instead of a field.
3635
3636 In C++, this may wind up being NAME:?TYPENUM:PHYSNAME; for
3637 a static field.
3638
3639 The optional VISIBILITY is one of:
3640
c5aa993b
JM
3641 '/0' (VISIBILITY_PRIVATE)
3642 '/1' (VISIBILITY_PROTECTED)
3643 '/2' (VISIBILITY_PUBLIC)
3644 '/9' (VISIBILITY_IGNORE)
c906108c
SS
3645
3646 or nothing, for C style fields with public visibility.
3647
3648 Returns 1 for success, 0 for failure. */
3649
3650static int
fba45db2
KB
3651read_struct_fields (struct field_info *fip, char **pp, struct type *type,
3652 struct objfile *objfile)
c906108c
SS
3653{
3654 register char *p;
3655 struct nextfield *new;
3656
3657 /* We better set p right now, in case there are no fields at all... */
3658
3659 p = *pp;
3660
3661 /* Read each data member type until we find the terminating ';' at the end of
3662 the data member list, or break for some other reason such as finding the
3663 start of the member function list. */
fedbd091
EZ
3664 /* Stab string for structure/union does not end with two ';' in
3665 SUN C compiler 5.3 i.e. F6U2, hence check for end of string. */
c906108c 3666
fedbd091 3667 while (**pp != ';' && **pp != '\0')
c906108c 3668 {
c5aa993b
JM
3669 if (os9k_stabs && **pp == ',')
3670 break;
c906108c
SS
3671 STABS_CONTINUE (pp, objfile);
3672 /* Get space to record the next field's data. */
3673 new = (struct nextfield *) xmalloc (sizeof (struct nextfield));
b8c9b27d 3674 make_cleanup (xfree, new);
c906108c 3675 memset (new, 0, sizeof (struct nextfield));
c5aa993b
JM
3676 new->next = fip->list;
3677 fip->list = new;
c906108c
SS
3678
3679 /* Get the field name. */
3680 p = *pp;
3681
3682 /* If is starts with CPLUS_MARKER it is a special abbreviation,
c5aa993b
JM
3683 unless the CPLUS_MARKER is followed by an underscore, in
3684 which case it is just the name of an anonymous type, which we
3685 should handle like any other type name. */
c906108c
SS
3686
3687 if (is_cplus_marker (p[0]) && p[1] != '_')
3688 {
3689 if (!read_cpp_abbrev (fip, pp, type, objfile))
3690 return 0;
3691 continue;
3692 }
3693
3694 /* Look for the ':' that separates the field name from the field
c5aa993b
JM
3695 values. Data members are delimited by a single ':', while member
3696 functions are delimited by a pair of ':'s. When we hit the member
3697 functions (if any), terminate scan loop and return. */
c906108c 3698
c5aa993b 3699 while (*p != ':' && *p != '\0')
c906108c
SS
3700 {
3701 p++;
3702 }
3703 if (*p == '\0')
3704 return 0;
3705
3706 /* Check to see if we have hit the member functions yet. */
3707 if (p[1] == ':')
3708 {
3709 break;
3710 }
3711 read_one_struct_field (fip, pp, p, type, objfile);
3712 }
3713 if (p[0] == ':' && p[1] == ':')
3714 {
3715 /* chill the list of fields: the last entry (at the head) is a
c5aa993b
JM
3716 partially constructed entry which we now scrub. */
3717 fip->list = fip->list->next;
c906108c
SS
3718 }
3719 return 1;
3720}
9846de1b 3721/* *INDENT-OFF* */
c906108c
SS
3722/* The stabs for C++ derived classes contain baseclass information which
3723 is marked by a '!' character after the total size. This function is
3724 called when we encounter the baseclass marker, and slurps up all the
3725 baseclass information.
3726
3727 Immediately following the '!' marker is the number of base classes that
3728 the class is derived from, followed by information for each base class.
3729 For each base class, there are two visibility specifiers, a bit offset
3730 to the base class information within the derived class, a reference to
3731 the type for the base class, and a terminating semicolon.
3732
3733 A typical example, with two base classes, would be "!2,020,19;0264,21;".
3734 ^^ ^ ^ ^ ^ ^ ^
3735 Baseclass information marker __________________|| | | | | | |
3736 Number of baseclasses __________________________| | | | | | |
3737 Visibility specifiers (2) ________________________| | | | | |
3738 Offset in bits from start of class _________________| | | | |
3739 Type number for base class ___________________________| | | |
3740 Visibility specifiers (2) _______________________________| | |
3741 Offset in bits from start of class ________________________| |
3742 Type number of base class ____________________________________|
3743
3744 Return 1 for success, 0 for (error-type-inducing) failure. */
9846de1b 3745/* *INDENT-ON* */
c906108c 3746
c5aa993b
JM
3747
3748
c906108c 3749static int
fba45db2
KB
3750read_baseclasses (struct field_info *fip, char **pp, struct type *type,
3751 struct objfile *objfile)
c906108c
SS
3752{
3753 int i;
3754 struct nextfield *new;
3755
3756 if (**pp != '!')
3757 {
3758 return 1;
3759 }
3760 else
3761 {
3762 /* Skip the '!' baseclass information marker. */
3763 (*pp)++;
3764 }
3765
3766 ALLOCATE_CPLUS_STRUCT_TYPE (type);
3767 {
3768 int nbits;
3769 TYPE_N_BASECLASSES (type) = read_huge_number (pp, ',', &nbits);
3770 if (nbits != 0)
3771 return 0;
3772 }
3773
3774#if 0
3775 /* Some stupid compilers have trouble with the following, so break
3776 it up into simpler expressions. */
3777 TYPE_FIELD_VIRTUAL_BITS (type) = (B_TYPE *)
3778 TYPE_ALLOC (type, B_BYTES (TYPE_N_BASECLASSES (type)));
3779#else
3780 {
3781 int num_bytes = B_BYTES (TYPE_N_BASECLASSES (type));
3782 char *pointer;
3783
3784 pointer = (char *) TYPE_ALLOC (type, num_bytes);
3785 TYPE_FIELD_VIRTUAL_BITS (type) = (B_TYPE *) pointer;
3786 }
3787#endif /* 0 */
3788
3789 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type), TYPE_N_BASECLASSES (type));
3790
3791 for (i = 0; i < TYPE_N_BASECLASSES (type); i++)
3792 {
3793 new = (struct nextfield *) xmalloc (sizeof (struct nextfield));
b8c9b27d 3794 make_cleanup (xfree, new);
c906108c 3795 memset (new, 0, sizeof (struct nextfield));
c5aa993b
JM
3796 new->next = fip->list;
3797 fip->list = new;
c906108c
SS
3798 FIELD_BITSIZE (new->field) = 0; /* this should be an unpacked field! */
3799
3800 STABS_CONTINUE (pp, objfile);
3801 switch (**pp)
3802 {
c5aa993b
JM
3803 case '0':
3804 /* Nothing to do. */
3805 break;
3806 case '1':
3807 SET_TYPE_FIELD_VIRTUAL (type, i);
3808 break;
3809 default:
3810 /* Unknown character. Complain and treat it as non-virtual. */
3811 {
3812 static struct complaint msg =
c906108c 3813 {
c5aa993b
JM
3814 "Unknown virtual character `%c' for baseclass", 0, 0};
3815 complain (&msg, **pp);
3816 }
c906108c
SS
3817 }
3818 ++(*pp);
3819
c5aa993b
JM
3820 new->visibility = *(*pp)++;
3821 switch (new->visibility)
c906108c 3822 {
c5aa993b
JM
3823 case VISIBILITY_PRIVATE:
3824 case VISIBILITY_PROTECTED:
3825 case VISIBILITY_PUBLIC:
3826 break;
3827 default:
3828 /* Bad visibility format. Complain and treat it as
3829 public. */
3830 {
3831 static struct complaint msg =
c906108c 3832 {
53a5351d
JM
3833 "Unknown visibility `%c' for baseclass", 0, 0
3834 };
c5aa993b
JM
3835 complain (&msg, new->visibility);
3836 new->visibility = VISIBILITY_PUBLIC;
3837 }
c906108c
SS
3838 }
3839
3840 {
3841 int nbits;
c5aa993b 3842
c906108c
SS
3843 /* The remaining value is the bit offset of the portion of the object
3844 corresponding to this baseclass. Always zero in the absence of
3845 multiple inheritance. */
3846
3847 FIELD_BITPOS (new->field) = read_huge_number (pp, ',', &nbits);
3848 if (nbits != 0)
3849 return 0;
3850 }
3851
3852 /* The last piece of baseclass information is the type of the
c5aa993b
JM
3853 base class. Read it, and remember it's type name as this
3854 field's name. */
c906108c 3855
c5aa993b
JM
3856 new->field.type = read_type (pp, objfile);
3857 new->field.name = type_name_no_tag (new->field.type);
c906108c
SS
3858
3859 /* skip trailing ';' and bump count of number of fields seen */
3860 if (**pp == ';')
3861 (*pp)++;
3862 else
3863 return 0;
3864 }
3865 return 1;
3866}
3867
3868/* The tail end of stabs for C++ classes that contain a virtual function
3869 pointer contains a tilde, a %, and a type number.
3870 The type number refers to the base class (possibly this class itself) which
3871 contains the vtable pointer for the current class.
3872
3873 This function is called when we have parsed all the method declarations,
3874 so we can look for the vptr base class info. */
3875
3876static int
fba45db2
KB
3877read_tilde_fields (struct field_info *fip, char **pp, struct type *type,
3878 struct objfile *objfile)
c906108c
SS
3879{
3880 register char *p;
3881
3882 STABS_CONTINUE (pp, objfile);
3883
3884 /* If we are positioned at a ';', then skip it. */
3885 if (**pp == ';')
3886 {
3887 (*pp)++;
3888 }
3889
3890 if (**pp == '~')
3891 {
3892 (*pp)++;
3893
3894 if (**pp == '=' || **pp == '+' || **pp == '-')
3895 {
3896 /* Obsolete flags that used to indicate the presence
3897 of constructors and/or destructors. */
3898 (*pp)++;
3899 }
3900
3901 /* Read either a '%' or the final ';'. */
3902 if (*(*pp)++ == '%')
3903 {
3904 /* The next number is the type number of the base class
3905 (possibly our own class) which supplies the vtable for
3906 this class. Parse it out, and search that class to find
3907 its vtable pointer, and install those into TYPE_VPTR_BASETYPE
3908 and TYPE_VPTR_FIELDNO. */
3909
3910 struct type *t;
3911 int i;
3912
3913 t = read_type (pp, objfile);
3914 p = (*pp)++;
3915 while (*p != '\0' && *p != ';')
3916 {
3917 p++;
3918 }
3919 if (*p == '\0')
3920 {
3921 /* Premature end of symbol. */
3922 return 0;
3923 }
c5aa993b 3924
c906108c 3925 TYPE_VPTR_BASETYPE (type) = t;
c5aa993b 3926 if (type == t) /* Our own class provides vtbl ptr */
c906108c
SS
3927 {
3928 for (i = TYPE_NFIELDS (t) - 1;
3929 i >= TYPE_N_BASECLASSES (t);
3930 --i)
3931 {
c5aa993b
JM
3932 if (!strncmp (TYPE_FIELD_NAME (t, i), vptr_name,
3933 sizeof (vptr_name) - 1))
c906108c
SS
3934 {
3935 TYPE_VPTR_FIELDNO (type) = i;
3936 goto gotit;
3937 }
3938 }
3939 /* Virtual function table field not found. */
3940 complain (&vtbl_notfound_complaint, TYPE_NAME (type));
3941 return 0;
3942 }
3943 else
3944 {
3945 TYPE_VPTR_FIELDNO (type) = TYPE_VPTR_FIELDNO (t);
3946 }
3947
c5aa993b 3948 gotit:
c906108c
SS
3949 *pp = p + 1;
3950 }
3951 }
3952 return 1;
3953}
3954
3955static int
fba45db2 3956attach_fn_fields_to_type (struct field_info *fip, register struct type *type)
c906108c
SS
3957{
3958 register int n;
3959
3960 for (n = TYPE_NFN_FIELDS (type);
c5aa993b
JM
3961 fip->fnlist != NULL;
3962 fip->fnlist = fip->fnlist->next)
c906108c 3963 {
c5aa993b
JM
3964 --n; /* Circumvent Sun3 compiler bug */
3965 TYPE_FN_FIELDLISTS (type)[n] = fip->fnlist->fn_fieldlist;
c906108c
SS
3966 }
3967 return 1;
3968}
3969
3970/* read cfront class static data.
3971 pp points to string starting with the list of static data
3972 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
c5aa993b 3973 ^^^^^^^^
c906108c 3974
c5aa993b
JM
3975 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
3976 ^
3977 */
c906108c
SS
3978
3979static int
fba45db2
KB
3980read_cfront_static_fields (struct field_info *fip, char **pp, struct type *type,
3981 struct objfile *objfile)
c906108c 3982{
c5aa993b 3983 struct nextfield *new;
c906108c 3984 struct type *stype;
c5aa993b
JM
3985 char *sname;
3986 struct symbol *ref_static = 0;
3987
3988 if (**pp == ';') /* no static data; return */
c906108c
SS
3989 {
3990 ++(*pp);
3991 return 1;
3992 }
3993
3994 /* Process each field in the list until we find the terminating ";" */
3995
3996 /* eg: p = "as__1A ;;;" */
c5aa993b
JM
3997 STABS_CONTINUE (pp, objfile); /* handle \\ */
3998 while (**pp != ';' && (sname = get_substring (pp, ' '), sname))
c906108c 3999 {
c5aa993b
JM
4000 ref_static = lookup_symbol (sname, 0, VAR_NAMESPACE, 0, 0); /*demangled_name */
4001 if (!ref_static)
4002 {
4003 static struct complaint msg =
4004 {"\
c906108c 4005 Unable to find symbol for static data field %s\n",
c5aa993b 4006 0, 0};
c906108c
SS
4007 complain (&msg, sname);
4008 continue;
4009 }
c5aa993b 4010 stype = SYMBOL_TYPE (ref_static);
c906108c
SS
4011
4012 /* allocate a new fip */
4013 new = (struct nextfield *) xmalloc (sizeof (struct nextfield));
b8c9b27d 4014 make_cleanup (xfree, new);
c906108c 4015 memset (new, 0, sizeof (struct nextfield));
c5aa993b
JM
4016 new->next = fip->list;
4017 fip->list = new;
c906108c
SS
4018
4019 /* set visibility */
4020 /* FIXME! no way to tell visibility from stabs??? */
c5aa993b 4021 new->visibility = VISIBILITY_PUBLIC;
c906108c
SS
4022
4023 /* set field info into fip */
c5aa993b 4024 fip->list->field.type = stype;
c906108c
SS
4025
4026 /* set bitpos & bitsize */
4027 SET_FIELD_PHYSNAME (fip->list->field, savestring (sname, strlen (sname)));
4028
4029 /* set name field */
4030 /* The following is code to work around cfront generated stabs.
4031 The stabs contains full mangled name for each field.
4032 We try to demangle the name and extract the field name out of it.
c5aa993b 4033 */
c906108c 4034 if (ARM_DEMANGLING)
c5aa993b
JM
4035 {
4036 char *dem, *dem_p;
4037 dem = cplus_demangle (sname, DMGL_ANSI | DMGL_PARAMS);
4038 if (dem != NULL)
4039 {
4040 dem_p = strrchr (dem, ':');
4041 if (dem_p != 0 && *(dem_p - 1) == ':')
4042 dem_p++;
4043 fip->list->field.name =
4044 obsavestring (dem_p, strlen (dem_p), &objfile->type_obstack);
c906108c 4045 }
c5aa993b
JM
4046 else
4047 {
4048 fip->list->field.name =
4049 obsavestring (sname, strlen (sname), &objfile->type_obstack);
4050 }
4051 } /* end of code for cfront work around */
4052 } /* loop again for next static field */
c906108c
SS
4053 return 1;
4054}
4055
4056/* Copy structure fields to fip so attach_fields_to_type will work.
4057 type has already been created with the initial instance data fields.
4058 Now we want to be able to add the other members to the class,
4059 so we want to add them back to the fip and reattach them again
4060 once we have collected all the class members. */
4061
4062static int
fba45db2
KB
4063copy_cfront_struct_fields (struct field_info *fip, struct type *type,
4064 struct objfile *objfile)
c906108c 4065{
c5aa993b 4066 int nfields = TYPE_NFIELDS (type);
c906108c 4067 int i;
c5aa993b 4068 struct nextfield *new;
c906108c
SS
4069
4070 /* Copy the fields into the list of fips and reset the types
4071 to remove the old fields */
4072
c5aa993b 4073 for (i = 0; i < nfields; i++)
c906108c
SS
4074 {
4075 /* allocate a new fip */
4076 new = (struct nextfield *) xmalloc (sizeof (struct nextfield));
b8c9b27d 4077 make_cleanup (xfree, new);
c906108c 4078 memset (new, 0, sizeof (struct nextfield));
c5aa993b
JM
4079 new->next = fip->list;
4080 fip->list = new;
c906108c
SS
4081
4082 /* copy field info into fip */
c5aa993b 4083 new->field = TYPE_FIELD (type, i);
c906108c
SS
4084 /* set visibility */
4085 if (TYPE_FIELD_PROTECTED (type, i))
c5aa993b 4086 new->visibility = VISIBILITY_PROTECTED;
c906108c 4087 else if (TYPE_FIELD_PRIVATE (type, i))
c5aa993b 4088 new->visibility = VISIBILITY_PRIVATE;
c906108c 4089 else
c5aa993b 4090 new->visibility = VISIBILITY_PUBLIC;
c906108c
SS
4091 }
4092 /* Now delete the fields from the type since we will be
4093 allocing new space once we get the rest of the fields
4094 in attach_fields_to_type.
4095 The pointer TYPE_FIELDS(type) is left dangling but should
4096 be freed later by objstack_free */
c5aa993b 4097 TYPE_FIELDS (type) = 0;
c906108c
SS
4098 TYPE_NFIELDS (type) = 0;
4099
4100 return 1;
4101}
4102
4103/* Create the vector of fields, and record how big it is.
4104 We need this info to record proper virtual function table information
4105 for this class's virtual functions. */
4106
4107static int
fba45db2
KB
4108attach_fields_to_type (struct field_info *fip, register struct type *type,
4109 struct objfile *objfile)
c906108c
SS
4110{
4111 register int nfields = 0;
4112 register int non_public_fields = 0;
4113 register struct nextfield *scan;
4114
4115 /* Count up the number of fields that we have, as well as taking note of
4116 whether or not there are any non-public fields, which requires us to
4117 allocate and build the private_field_bits and protected_field_bits
4118 bitfields. */
4119
c5aa993b 4120 for (scan = fip->list; scan != NULL; scan = scan->next)
c906108c
SS
4121 {
4122 nfields++;
c5aa993b 4123 if (scan->visibility != VISIBILITY_PUBLIC)
c906108c
SS
4124 {
4125 non_public_fields++;
4126 }
4127 }
4128
4129 /* Now we know how many fields there are, and whether or not there are any
4130 non-public fields. Record the field count, allocate space for the
4131 array of fields, and create blank visibility bitfields if necessary. */
4132
4133 TYPE_NFIELDS (type) = nfields;
4134 TYPE_FIELDS (type) = (struct field *)
4135 TYPE_ALLOC (type, sizeof (struct field) * nfields);
4136 memset (TYPE_FIELDS (type), 0, sizeof (struct field) * nfields);
4137
4138 if (non_public_fields)
4139 {
4140 ALLOCATE_CPLUS_STRUCT_TYPE (type);
4141
4142 TYPE_FIELD_PRIVATE_BITS (type) =
4143 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
4144 B_CLRALL (TYPE_FIELD_PRIVATE_BITS (type), nfields);
4145
4146 TYPE_FIELD_PROTECTED_BITS (type) =
4147 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
4148 B_CLRALL (TYPE_FIELD_PROTECTED_BITS (type), nfields);
4149
4150 TYPE_FIELD_IGNORE_BITS (type) =
4151 (B_TYPE *) TYPE_ALLOC (type, B_BYTES (nfields));
4152 B_CLRALL (TYPE_FIELD_IGNORE_BITS (type), nfields);
4153 }
4154
4155 /* Copy the saved-up fields into the field vector. Start from the head
4156 of the list, adding to the tail of the field array, so that they end
4157 up in the same order in the array in which they were added to the list. */
4158
4159 while (nfields-- > 0)
4160 {
c5aa993b
JM
4161 TYPE_FIELD (type, nfields) = fip->list->field;
4162 switch (fip->list->visibility)
c906108c 4163 {
c5aa993b
JM
4164 case VISIBILITY_PRIVATE:
4165 SET_TYPE_FIELD_PRIVATE (type, nfields);
4166 break;
c906108c 4167
c5aa993b
JM
4168 case VISIBILITY_PROTECTED:
4169 SET_TYPE_FIELD_PROTECTED (type, nfields);
4170 break;
c906108c 4171
c5aa993b
JM
4172 case VISIBILITY_IGNORE:
4173 SET_TYPE_FIELD_IGNORE (type, nfields);
4174 break;
c906108c 4175
c5aa993b
JM
4176 case VISIBILITY_PUBLIC:
4177 break;
c906108c 4178
c5aa993b
JM
4179 default:
4180 /* Unknown visibility. Complain and treat it as public. */
4181 {
4182 static struct complaint msg =
c906108c 4183 {
c5aa993b
JM
4184 "Unknown visibility `%c' for field", 0, 0};
4185 complain (&msg, fip->list->visibility);
4186 }
4187 break;
c906108c 4188 }
c5aa993b 4189 fip->list = fip->list->next;
c906108c
SS
4190 }
4191 return 1;
4192}
4193
2ae1c2d2
JB
4194
4195static struct complaint multiply_defined_struct =
4196{"struct/union type gets multiply defined: %s%s", 0, 0};
4197
4198
4199/* Complain that the compiler has emitted more than one definition for the
4200 structure type TYPE. */
4201static void
4202complain_about_struct_wipeout (struct type *type)
4203{
4204 char *name = "";
4205 char *kind = "";
4206
4207 if (TYPE_TAG_NAME (type))
4208 {
4209 name = TYPE_TAG_NAME (type);
4210 switch (TYPE_CODE (type))
4211 {
4212 case TYPE_CODE_STRUCT: kind = "struct "; break;
4213 case TYPE_CODE_UNION: kind = "union "; break;
4214 case TYPE_CODE_ENUM: kind = "enum "; break;
4215 default: kind = "";
4216 }
4217 }
4218 else if (TYPE_NAME (type))
4219 {
4220 name = TYPE_NAME (type);
4221 kind = "";
4222 }
4223 else
4224 {
4225 name = "<unknown>";
4226 kind = "";
4227 }
4228
4229 complain (&multiply_defined_struct, kind, name);
4230}
4231
4232
c906108c
SS
4233/* Read the description of a structure (or union type) and return an object
4234 describing the type.
4235
4236 PP points to a character pointer that points to the next unconsumed token
4237 in the the stabs string. For example, given stabs "A:T4=s4a:1,0,32;;",
4238 *PP will point to "4a:1,0,32;;".
4239
4240 TYPE points to an incomplete type that needs to be filled in.
4241
4242 OBJFILE points to the current objfile from which the stabs information is
4243 being read. (Note that it is redundant in that TYPE also contains a pointer
4244 to this same objfile, so it might be a good idea to eliminate it. FIXME).
c5aa993b 4245 */
c906108c
SS
4246
4247static struct type *
2ae1c2d2
JB
4248read_struct_type (char **pp, struct type *type, enum type_code type_code,
4249 struct objfile *objfile)
c906108c
SS
4250{
4251 struct cleanup *back_to;
4252 struct field_info fi;
4253
4254 fi.list = NULL;
4255 fi.fnlist = NULL;
4256
2ae1c2d2
JB
4257 /* When describing struct/union/class types in stabs, G++ always drops
4258 all qualifications from the name. So if you've got:
4259 struct A { ... struct B { ... }; ... };
4260 then G++ will emit stabs for `struct A::B' that call it simply
4261 `struct B'. Obviously, if you've got a real top-level definition for
4262 `struct B', or other nested definitions, this is going to cause
4263 problems.
4264
4265 Obviously, GDB can't fix this by itself, but it can at least avoid
4266 scribbling on existing structure type objects when new definitions
4267 appear. */
4268 if (! (TYPE_CODE (type) == TYPE_CODE_UNDEF
4269 || TYPE_STUB (type)))
4270 {
4271 complain_about_struct_wipeout (type);
4272
4273 /* It's probably best to return the type unchanged. */
4274 return type;
4275 }
4276
c906108c
SS
4277 back_to = make_cleanup (null_cleanup, 0);
4278
4279 INIT_CPLUS_SPECIFIC (type);
2ae1c2d2 4280 TYPE_CODE (type) = type_code;
c906108c
SS
4281 TYPE_FLAGS (type) &= ~TYPE_FLAG_STUB;
4282
4283 /* First comes the total size in bytes. */
4284
4285 {
4286 int nbits;
4287 TYPE_LENGTH (type) = read_huge_number (pp, 0, &nbits);
4288 if (nbits != 0)
4289 return error_type (pp, objfile);
4290 }
4291
4292 /* Now read the baseclasses, if any, read the regular C struct or C++
4293 class member fields, attach the fields to the type, read the C++
4294 member functions, attach them to the type, and then read any tilde
4295 field (baseclass specifier for the class holding the main vtable). */
4296
4297 if (!read_baseclasses (&fi, pp, type, objfile)
4298 || !read_struct_fields (&fi, pp, type, objfile)
4299 || !attach_fields_to_type (&fi, type, objfile)
4300 || !read_member_functions (&fi, pp, type, objfile)
4301 || !attach_fn_fields_to_type (&fi, type)
4302 || !read_tilde_fields (&fi, pp, type, objfile))
4303 {
4304 type = error_type (pp, objfile);
4305 }
4306
4307 do_cleanups (back_to);
4308 return (type);
4309}
4310
4311/* Read a definition of an array type,
4312 and create and return a suitable type object.
4313 Also creates a range type which represents the bounds of that
4314 array. */
4315
4316static struct type *
fba45db2
KB
4317read_array_type (register char **pp, register struct type *type,
4318 struct objfile *objfile)
c906108c
SS
4319{
4320 struct type *index_type, *element_type, *range_type;
4321 int lower, upper;
4322 int adjustable = 0;
4323 int nbits;
4324
4325 /* Format of an array type:
4326 "ar<index type>;lower;upper;<array_contents_type>".
4327 OS9000: "arlower,upper;<array_contents_type>".
4328
4329 Fortran adjustable arrays use Adigits or Tdigits for lower or upper;
4330 for these, produce a type like float[][]. */
4331
4332 if (os9k_stabs)
4333 index_type = builtin_type_int;
4334 else
4335 {
4336 index_type = read_type (pp, objfile);
4337 if (**pp != ';')
4338 /* Improper format of array type decl. */
4339 return error_type (pp, objfile);
4340 ++*pp;
4341 }
4342
4343 if (!(**pp >= '0' && **pp <= '9') && **pp != '-')
4344 {
4345 (*pp)++;
4346 adjustable = 1;
4347 }
4348 lower = read_huge_number (pp, os9k_stabs ? ',' : ';', &nbits);
4349 if (nbits != 0)
4350 return error_type (pp, objfile);
4351
4352 if (!(**pp >= '0' && **pp <= '9') && **pp != '-')
4353 {
4354 (*pp)++;
4355 adjustable = 1;
4356 }
4357 upper = read_huge_number (pp, ';', &nbits);
4358 if (nbits != 0)
4359 return error_type (pp, objfile);
c5aa993b 4360
c906108c
SS
4361 element_type = read_type (pp, objfile);
4362
4363 if (adjustable)
4364 {
4365 lower = 0;
4366 upper = -1;
4367 }
4368
4369 range_type =
4370 create_range_type ((struct type *) NULL, index_type, lower, upper);
4371 type = create_array_type (type, element_type, range_type);
4372
4373 return type;
4374}
4375
4376
4377/* Read a definition of an enumeration type,
4378 and create and return a suitable type object.
4379 Also defines the symbols that represent the values of the type. */
4380
4381static struct type *
fba45db2
KB
4382read_enum_type (register char **pp, register struct type *type,
4383 struct objfile *objfile)
c906108c
SS
4384{
4385 register char *p;
4386 char *name;
4387 register long n;
4388 register struct symbol *sym;
4389 int nsyms = 0;
4390 struct pending **symlist;
4391 struct pending *osyms, *syms;
4392 int o_nsyms;
4393 int nbits;
4394 int unsigned_enum = 1;
4395
4396#if 0
4397 /* FIXME! The stabs produced by Sun CC merrily define things that ought
4398 to be file-scope, between N_FN entries, using N_LSYM. What's a mother
4399 to do? For now, force all enum values to file scope. */
4400 if (within_function)
4401 symlist = &local_symbols;
4402 else
4403#endif
4404 symlist = &file_symbols;
4405 osyms = *symlist;
4406 o_nsyms = osyms ? osyms->nsyms : 0;
4407
4408 if (os9k_stabs)
4409 {
4410 /* Size. Perhaps this does not have to be conditionalized on
c5aa993b
JM
4411 os9k_stabs (assuming the name of an enum constant can't start
4412 with a digit). */
c906108c
SS
4413 read_huge_number (pp, 0, &nbits);
4414 if (nbits != 0)
4415 return error_type (pp, objfile);
4416 }
4417
4418 /* The aix4 compiler emits an extra field before the enum members;
4419 my guess is it's a type of some sort. Just ignore it. */
4420 if (**pp == '-')
4421 {
4422 /* Skip over the type. */
4423 while (**pp != ':')
c5aa993b 4424 (*pp)++;
c906108c
SS
4425
4426 /* Skip over the colon. */
4427 (*pp)++;
4428 }
4429
4430 /* Read the value-names and their values.
4431 The input syntax is NAME:VALUE,NAME:VALUE, and so on.
4432 A semicolon or comma instead of a NAME means the end. */
4433 while (**pp && **pp != ';' && **pp != ',')
4434 {
4435 STABS_CONTINUE (pp, objfile);
4436 p = *pp;
c5aa993b
JM
4437 while (*p != ':')
4438 p++;
4439 name = obsavestring (*pp, p - *pp, &objfile->symbol_obstack);
c906108c
SS
4440 *pp = p + 1;
4441 n = read_huge_number (pp, ',', &nbits);
4442 if (nbits != 0)
4443 return error_type (pp, objfile);
4444
4445 sym = (struct symbol *)
c5aa993b 4446 obstack_alloc (&objfile->symbol_obstack, sizeof (struct symbol));
c906108c
SS
4447 memset (sym, 0, sizeof (struct symbol));
4448 SYMBOL_NAME (sym) = name;
c5aa993b 4449 SYMBOL_LANGUAGE (sym) = current_subfile->language;
c906108c
SS
4450 SYMBOL_CLASS (sym) = LOC_CONST;
4451 SYMBOL_NAMESPACE (sym) = VAR_NAMESPACE;
4452 SYMBOL_VALUE (sym) = n;
4453 if (n < 0)
4454 unsigned_enum = 0;
4455 add_symbol_to_list (sym, symlist);
4456 nsyms++;
4457 }
4458
4459 if (**pp == ';')
4460 (*pp)++; /* Skip the semicolon. */
4461
4462 /* Now fill in the fields of the type-structure. */
4463
4464 TYPE_LENGTH (type) = TARGET_INT_BIT / HOST_CHAR_BIT;
4465 TYPE_CODE (type) = TYPE_CODE_ENUM;
4466 TYPE_FLAGS (type) &= ~TYPE_FLAG_STUB;
4467 if (unsigned_enum)
4468 TYPE_FLAGS (type) |= TYPE_FLAG_UNSIGNED;
4469 TYPE_NFIELDS (type) = nsyms;
4470 TYPE_FIELDS (type) = (struct field *)
4471 TYPE_ALLOC (type, sizeof (struct field) * nsyms);
4472 memset (TYPE_FIELDS (type), 0, sizeof (struct field) * nsyms);
4473
4474 /* Find the symbols for the values and put them into the type.
4475 The symbols can be found in the symlist that we put them on
4476 to cause them to be defined. osyms contains the old value
4477 of that symlist; everything up to there was defined by us. */
4478 /* Note that we preserve the order of the enum constants, so
4479 that in something like "enum {FOO, LAST_THING=FOO}" we print
4480 FOO, not LAST_THING. */
4481
4482 for (syms = *symlist, n = nsyms - 1; syms; syms = syms->next)
4483 {
4484 int last = syms == osyms ? o_nsyms : 0;
4485 int j = syms->nsyms;
4486 for (; --j >= last; --n)
4487 {
4488 struct symbol *xsym = syms->symbol[j];
4489 SYMBOL_TYPE (xsym) = type;
4490 TYPE_FIELD_NAME (type, n) = SYMBOL_NAME (xsym);
4491 TYPE_FIELD_BITPOS (type, n) = SYMBOL_VALUE (xsym);
4492 TYPE_FIELD_BITSIZE (type, n) = 0;
4493 }
4494 if (syms == osyms)
4495 break;
4496 }
4497
4498 return type;
4499}
4500
4501/* Sun's ACC uses a somewhat saner method for specifying the builtin
4502 typedefs in every file (for int, long, etc):
4503
c5aa993b
JM
4504 type = b <signed> <width> <format type>; <offset>; <nbits>
4505 signed = u or s.
4506 optional format type = c or b for char or boolean.
4507 offset = offset from high order bit to start bit of type.
4508 width is # bytes in object of this type, nbits is # bits in type.
c906108c
SS
4509
4510 The width/offset stuff appears to be for small objects stored in
4511 larger ones (e.g. `shorts' in `int' registers). We ignore it for now,
4512 FIXME. */
4513
4514static struct type *
35a2f538 4515read_sun_builtin_type (char **pp, int typenums[2], struct objfile *objfile)
c906108c
SS
4516{
4517 int type_bits;
4518 int nbits;
4519 int signed_type;
4520 enum type_code code = TYPE_CODE_INT;
4521
4522 switch (**pp)
4523 {
c5aa993b
JM
4524 case 's':
4525 signed_type = 1;
4526 break;
4527 case 'u':
4528 signed_type = 0;
4529 break;
4530 default:
4531 return error_type (pp, objfile);
c906108c
SS
4532 }
4533 (*pp)++;
4534
4535 /* For some odd reason, all forms of char put a c here. This is strange
4536 because no other type has this honor. We can safely ignore this because
4537 we actually determine 'char'acterness by the number of bits specified in
4538 the descriptor.
4539 Boolean forms, e.g Fortran logical*X, put a b here. */
4540
4541 if (**pp == 'c')
4542 (*pp)++;
4543 else if (**pp == 'b')
4544 {
4545 code = TYPE_CODE_BOOL;
4546 (*pp)++;
4547 }
4548
4549 /* The first number appears to be the number of bytes occupied
4550 by this type, except that unsigned short is 4 instead of 2.
4551 Since this information is redundant with the third number,
4552 we will ignore it. */
4553 read_huge_number (pp, ';', &nbits);
4554 if (nbits != 0)
4555 return error_type (pp, objfile);
4556
4557 /* The second number is always 0, so ignore it too. */
4558 read_huge_number (pp, ';', &nbits);
4559 if (nbits != 0)
4560 return error_type (pp, objfile);
4561
4562 /* The third number is the number of bits for this type. */
4563 type_bits = read_huge_number (pp, 0, &nbits);
4564 if (nbits != 0)
4565 return error_type (pp, objfile);
4566 /* The type *should* end with a semicolon. If it are embedded
4567 in a larger type the semicolon may be the only way to know where
4568 the type ends. If this type is at the end of the stabstring we
4569 can deal with the omitted semicolon (but we don't have to like
4570 it). Don't bother to complain(), Sun's compiler omits the semicolon
4571 for "void". */
4572 if (**pp == ';')
4573 ++(*pp);
4574
4575 if (type_bits == 0)
4576 return init_type (TYPE_CODE_VOID, 1,
c5aa993b 4577 signed_type ? 0 : TYPE_FLAG_UNSIGNED, (char *) NULL,
c906108c
SS
4578 objfile);
4579 else
4580 return init_type (code,
4581 type_bits / TARGET_CHAR_BIT,
c5aa993b 4582 signed_type ? 0 : TYPE_FLAG_UNSIGNED, (char *) NULL,
c906108c
SS
4583 objfile);
4584}
4585
4586static struct type *
35a2f538 4587read_sun_floating_type (char **pp, int typenums[2], struct objfile *objfile)
c906108c
SS
4588{
4589 int nbits;
4590 int details;
4591 int nbytes;
f65ca430 4592 struct type *rettype;
c906108c
SS
4593
4594 /* The first number has more details about the type, for example
4595 FN_COMPLEX. */
4596 details = read_huge_number (pp, ';', &nbits);
4597 if (nbits != 0)
4598 return error_type (pp, objfile);
4599
4600 /* The second number is the number of bytes occupied by this type */
4601 nbytes = read_huge_number (pp, ';', &nbits);
4602 if (nbits != 0)
4603 return error_type (pp, objfile);
4604
4605 if (details == NF_COMPLEX || details == NF_COMPLEX16
4606 || details == NF_COMPLEX32)
f65ca430
DJ
4607 {
4608 rettype = init_type (TYPE_CODE_COMPLEX, nbytes, 0, NULL, objfile);
4609 TYPE_TARGET_TYPE (rettype)
4610 = init_type (TYPE_CODE_FLT, nbytes / 2, 0, NULL, objfile);
4611 return rettype;
4612 }
c906108c
SS
4613
4614 return init_type (TYPE_CODE_FLT, nbytes, 0, NULL, objfile);
4615}
4616
4617/* Read a number from the string pointed to by *PP.
4618 The value of *PP is advanced over the number.
4619 If END is nonzero, the character that ends the
4620 number must match END, or an error happens;
4621 and that character is skipped if it does match.
4622 If END is zero, *PP is left pointing to that character.
4623
4624 If the number fits in a long, set *BITS to 0 and return the value.
4625 If not, set *BITS to be the number of bits in the number and return 0.
4626
4627 If encounter garbage, set *BITS to -1 and return 0. */
4628
c2d11a7d 4629static long
fba45db2 4630read_huge_number (char **pp, int end, int *bits)
c906108c
SS
4631{
4632 char *p = *pp;
4633 int sign = 1;
c2d11a7d 4634 long n = 0;
c906108c
SS
4635 int radix = 10;
4636 char overflow = 0;
4637 int nbits = 0;
4638 int c;
c2d11a7d 4639 long upper_limit;
c5aa993b 4640
c906108c
SS
4641 if (*p == '-')
4642 {
4643 sign = -1;
4644 p++;
4645 }
4646
4647 /* Leading zero means octal. GCC uses this to output values larger
4648 than an int (because that would be hard in decimal). */
4649 if (*p == '0')
4650 {
4651 radix = 8;
4652 p++;
4653 }
4654
4655 if (os9k_stabs)
c2d11a7d 4656 upper_limit = ULONG_MAX / radix;
c906108c 4657 else
c2d11a7d 4658 upper_limit = LONG_MAX / radix;
c906108c
SS
4659
4660 while ((c = *p++) >= '0' && c < ('0' + radix))
4661 {
4662 if (n <= upper_limit)
4663 {
4664 n *= radix;
4665 n += c - '0'; /* FIXME this overflows anyway */
4666 }
4667 else
4668 overflow = 1;
c5aa993b 4669
c906108c 4670 /* This depends on large values being output in octal, which is
c5aa993b 4671 what GCC does. */
c906108c
SS
4672 if (radix == 8)
4673 {
4674 if (nbits == 0)
4675 {
4676 if (c == '0')
4677 /* Ignore leading zeroes. */
4678 ;
4679 else if (c == '1')
4680 nbits = 1;
4681 else if (c == '2' || c == '3')
4682 nbits = 2;
4683 else
4684 nbits = 3;
4685 }
4686 else
4687 nbits += 3;
4688 }
4689 }
4690 if (end)
4691 {
4692 if (c && c != end)
4693 {
4694 if (bits != NULL)
4695 *bits = -1;
4696 return 0;
4697 }
4698 }
4699 else
4700 --p;
4701
4702 *pp = p;
4703 if (overflow)
4704 {
4705 if (nbits == 0)
4706 {
4707 /* Large decimal constants are an error (because it is hard to
4708 count how many bits are in them). */
4709 if (bits != NULL)
4710 *bits = -1;
4711 return 0;
4712 }
c5aa993b 4713
c906108c 4714 /* -0x7f is the same as 0x80. So deal with it by adding one to
c5aa993b 4715 the number of bits. */
c906108c
SS
4716 if (sign == -1)
4717 ++nbits;
4718 if (bits)
4719 *bits = nbits;
4720 }
4721 else
4722 {
4723 if (bits)
4724 *bits = 0;
4725 return n * sign;
4726 }
4727 /* It's *BITS which has the interesting information. */
4728 return 0;
4729}
4730
4731static struct type *
35a2f538 4732read_range_type (char **pp, int typenums[2], struct objfile *objfile)
c906108c
SS
4733{
4734 char *orig_pp = *pp;
4735 int rangenums[2];
c2d11a7d 4736 long n2, n3;
c906108c
SS
4737 int n2bits, n3bits;
4738 int self_subrange;
4739 struct type *result_type;
4740 struct type *index_type = NULL;
4741
4742 /* First comes a type we are a subrange of.
4743 In C it is usually 0, 1 or the type being defined. */
4744 if (read_type_number (pp, rangenums) != 0)
4745 return error_type (pp, objfile);
4746 self_subrange = (rangenums[0] == typenums[0] &&
4747 rangenums[1] == typenums[1]);
4748
4749 if (**pp == '=')
4750 {
4751 *pp = orig_pp;
4752 index_type = read_type (pp, objfile);
4753 }
4754
4755 /* A semicolon should now follow; skip it. */
4756 if (**pp == ';')
4757 (*pp)++;
4758
4759 /* The remaining two operands are usually lower and upper bounds
4760 of the range. But in some special cases they mean something else. */
4761 n2 = read_huge_number (pp, ';', &n2bits);
4762 n3 = read_huge_number (pp, ';', &n3bits);
4763
4764 if (n2bits == -1 || n3bits == -1)
4765 return error_type (pp, objfile);
4766
4767 if (index_type)
4768 goto handle_true_range;
4769
4770 /* If limits are huge, must be large integral type. */
4771 if (n2bits != 0 || n3bits != 0)
4772 {
4773 char got_signed = 0;
4774 char got_unsigned = 0;
4775 /* Number of bits in the type. */
4776 int nbits = 0;
4777
4778 /* Range from 0 to <large number> is an unsigned large integral type. */
4779 if ((n2bits == 0 && n2 == 0) && n3bits != 0)
4780 {
4781 got_unsigned = 1;
4782 nbits = n3bits;
4783 }
4784 /* Range from <large number> to <large number>-1 is a large signed
c5aa993b
JM
4785 integral type. Take care of the case where <large number> doesn't
4786 fit in a long but <large number>-1 does. */
c906108c
SS
4787 else if ((n2bits != 0 && n3bits != 0 && n2bits == n3bits + 1)
4788 || (n2bits != 0 && n3bits == 0
c2d11a7d
JM
4789 && (n2bits == sizeof (long) * HOST_CHAR_BIT)
4790 && n3 == LONG_MAX))
c906108c
SS
4791 {
4792 got_signed = 1;
4793 nbits = n2bits;
4794 }
4795
4796 if (got_signed || got_unsigned)
4797 {
4798 return init_type (TYPE_CODE_INT, nbits / TARGET_CHAR_BIT,
4799 got_unsigned ? TYPE_FLAG_UNSIGNED : 0, NULL,
4800 objfile);
4801 }
4802 else
4803 return error_type (pp, objfile);
4804 }
4805
4806 /* A type defined as a subrange of itself, with bounds both 0, is void. */
4807 if (self_subrange && n2 == 0 && n3 == 0)
4808 return init_type (TYPE_CODE_VOID, 1, 0, NULL, objfile);
4809
4810 /* If n3 is zero and n2 is positive, we want a floating type, and n2
4811 is the width in bytes.
4812
4813 Fortran programs appear to use this for complex types also. To
4814 distinguish between floats and complex, g77 (and others?) seem
4815 to use self-subranges for the complexes, and subranges of int for
4816 the floats.
4817
4818 Also note that for complexes, g77 sets n2 to the size of one of
4819 the member floats, not the whole complex beast. My guess is that
4820 this was to work well with pre-COMPLEX versions of gdb. */
4821
4822 if (n3 == 0 && n2 > 0)
4823 {
1300f5dd
JB
4824 struct type *float_type
4825 = init_type (TYPE_CODE_FLT, n2, 0, NULL, objfile);
4826
c906108c
SS
4827 if (self_subrange)
4828 {
1300f5dd
JB
4829 struct type *complex_type =
4830 init_type (TYPE_CODE_COMPLEX, 2 * n2, 0, NULL, objfile);
4831 TYPE_TARGET_TYPE (complex_type) = float_type;
4832 return complex_type;
c906108c
SS
4833 }
4834 else
1300f5dd 4835 return float_type;
c906108c
SS
4836 }
4837
4838 /* If the upper bound is -1, it must really be an unsigned int. */
4839
4840 else if (n2 == 0 && n3 == -1)
4841 {
4842 /* It is unsigned int or unsigned long. */
4843 /* GCC 2.3.3 uses this for long long too, but that is just a GDB 3.5
c5aa993b 4844 compatibility hack. */
c906108c
SS
4845 return init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
4846 TYPE_FLAG_UNSIGNED, NULL, objfile);
4847 }
4848
4849 /* Special case: char is defined (Who knows why) as a subrange of
4850 itself with range 0-127. */
4851 else if (self_subrange && n2 == 0 && n3 == 127)
4852 return init_type (TYPE_CODE_INT, 1, 0, NULL, objfile);
4853
4854 else if (current_symbol && SYMBOL_LANGUAGE (current_symbol) == language_chill
4855 && !self_subrange)
4856 goto handle_true_range;
4857
4858 /* We used to do this only for subrange of self or subrange of int. */
4859 else if (n2 == 0)
4860 {
a0b3c4fd
JM
4861 /* -1 is used for the upper bound of (4 byte) "unsigned int" and
4862 "unsigned long", and we already checked for that,
4863 so don't need to test for it here. */
4864
c906108c
SS
4865 if (n3 < 0)
4866 /* n3 actually gives the size. */
c5aa993b 4867 return init_type (TYPE_CODE_INT, -n3, TYPE_FLAG_UNSIGNED,
c906108c 4868 NULL, objfile);
c906108c 4869
7be570e7 4870 /* Is n3 == 2**(8n)-1 for some integer n? Then it's an
a0b3c4fd
JM
4871 unsigned n-byte integer. But do require n to be a power of
4872 two; we don't want 3- and 5-byte integers flying around. */
4873 {
4874 int bytes;
4875 unsigned long bits;
4876
4877 bits = n3;
4878 for (bytes = 0; (bits & 0xff) == 0xff; bytes++)
4879 bits >>= 8;
4880 if (bits == 0
4881 && ((bytes - 1) & bytes) == 0) /* "bytes is a power of two" */
4882 return init_type (TYPE_CODE_INT, bytes, TYPE_FLAG_UNSIGNED, NULL,
4883 objfile);
4884 }
c906108c
SS
4885 }
4886 /* I think this is for Convex "long long". Since I don't know whether
4887 Convex sets self_subrange, I also accept that particular size regardless
4888 of self_subrange. */
4889 else if (n3 == 0 && n2 < 0
4890 && (self_subrange
c5aa993b
JM
4891 || n2 == -TARGET_LONG_LONG_BIT / TARGET_CHAR_BIT))
4892 return init_type (TYPE_CODE_INT, -n2, 0, NULL, objfile);
4893 else if (n2 == -n3 - 1)
c906108c
SS
4894 {
4895 if (n3 == 0x7f)
4896 return init_type (TYPE_CODE_INT, 1, 0, NULL, objfile);
4897 if (n3 == 0x7fff)
4898 return init_type (TYPE_CODE_INT, 2, 0, NULL, objfile);
4899 if (n3 == 0x7fffffff)
4900 return init_type (TYPE_CODE_INT, 4, 0, NULL, objfile);
4901 }
4902
4903 /* We have a real range type on our hands. Allocate space and
4904 return a real pointer. */
c5aa993b 4905handle_true_range:
c906108c
SS
4906
4907 if (self_subrange)
4908 index_type = builtin_type_int;
4909 else
4910 index_type = *dbx_lookup_type (rangenums);
4911 if (index_type == NULL)
4912 {
4913 /* Does this actually ever happen? Is that why we are worrying
4914 about dealing with it rather than just calling error_type? */
4915
4916 static struct type *range_type_index;
4917
4918 complain (&range_type_base_complaint, rangenums[1]);
4919 if (range_type_index == NULL)
4920 range_type_index =
4921 init_type (TYPE_CODE_INT, TARGET_INT_BIT / TARGET_CHAR_BIT,
4922 0, "range type index type", NULL);
4923 index_type = range_type_index;
4924 }
4925
4926 result_type = create_range_type ((struct type *) NULL, index_type, n2, n3);
4927 return (result_type);
4928}
4929
4930/* Read in an argument list. This is a list of types, separated by commas
4931 and terminated with END. Return the list of types read in, or (struct type
4932 **)-1 if there is an error. */
4933
ad2f7632
DJ
4934static struct field *
4935read_args (char **pp, int end, struct objfile *objfile, int *nargsp,
4936 int *varargsp)
c906108c
SS
4937{
4938 /* FIXME! Remove this arbitrary limit! */
ad2f7632
DJ
4939 struct type *types[1024]; /* allow for fns of 1023 parameters */
4940 int n = 0, i;
4941 struct field *rval;
c906108c
SS
4942
4943 while (**pp != end)
4944 {
4945 if (**pp != ',')
4946 /* Invalid argument list: no ','. */
ad2f7632 4947 return (struct field *) -1;
c906108c
SS
4948 (*pp)++;
4949 STABS_CONTINUE (pp, objfile);
4950 types[n++] = read_type (pp, objfile);
4951 }
4952 (*pp)++; /* get past `end' (the ':' character) */
4953
ad2f7632
DJ
4954 if (TYPE_CODE (types[n - 1]) != TYPE_CODE_VOID)
4955 *varargsp = 1;
c906108c
SS
4956 else
4957 {
ad2f7632
DJ
4958 n--;
4959 *varargsp = 0;
c906108c 4960 }
ad2f7632
DJ
4961
4962 rval = (struct field *) xmalloc (n * sizeof (struct field));
4963 memset (rval, 0, n * sizeof (struct field));
4964 for (i = 0; i < n; i++)
4965 rval[i].type = types[i];
4966 *nargsp = n;
c906108c
SS
4967 return rval;
4968}
4969\f
4970/* Common block handling. */
4971
4972/* List of symbols declared since the last BCOMM. This list is a tail
4973 of local_symbols. When ECOMM is seen, the symbols on the list
4974 are noted so their proper addresses can be filled in later,
4975 using the common block base address gotten from the assembler
4976 stabs. */
4977
4978static struct pending *common_block;
4979static int common_block_i;
4980
4981/* Name of the current common block. We get it from the BCOMM instead of the
4982 ECOMM to match IBM documentation (even though IBM puts the name both places
4983 like everyone else). */
4984static char *common_block_name;
4985
4986/* Process a N_BCOMM symbol. The storage for NAME is not guaranteed
4987 to remain after this function returns. */
4988
4989void
fba45db2 4990common_block_start (char *name, struct objfile *objfile)
c906108c
SS
4991{
4992 if (common_block_name != NULL)
4993 {
c5aa993b
JM
4994 static struct complaint msg =
4995 {
c906108c
SS
4996 "Invalid symbol data: common block within common block",
4997 0, 0};
4998 complain (&msg);
4999 }
5000 common_block = local_symbols;
5001 common_block_i = local_symbols ? local_symbols->nsyms : 0;
5002 common_block_name = obsavestring (name, strlen (name),
c5aa993b 5003 &objfile->symbol_obstack);
c906108c
SS
5004}
5005
5006/* Process a N_ECOMM symbol. */
5007
5008void
fba45db2 5009common_block_end (struct objfile *objfile)
c906108c
SS
5010{
5011 /* Symbols declared since the BCOMM are to have the common block
5012 start address added in when we know it. common_block and
5013 common_block_i point to the first symbol after the BCOMM in
5014 the local_symbols list; copy the list and hang it off the
5015 symbol for the common block name for later fixup. */
5016 int i;
5017 struct symbol *sym;
5018 struct pending *new = 0;
5019 struct pending *next;
5020 int j;
5021
5022 if (common_block_name == NULL)
5023 {
c5aa993b
JM
5024 static struct complaint msg =
5025 {"ECOMM symbol unmatched by BCOMM", 0, 0};
c906108c
SS
5026 complain (&msg);
5027 return;
5028 }
5029
c5aa993b
JM
5030 sym = (struct symbol *)
5031 obstack_alloc (&objfile->symbol_obstack, sizeof (struct symbol));
c906108c
SS
5032 memset (sym, 0, sizeof (struct symbol));
5033 /* Note: common_block_name already saved on symbol_obstack */
5034 SYMBOL_NAME (sym) = common_block_name;
5035 SYMBOL_CLASS (sym) = LOC_BLOCK;
5036
5037 /* Now we copy all the symbols which have been defined since the BCOMM. */
5038
5039 /* Copy all the struct pendings before common_block. */
5040 for (next = local_symbols;
5041 next != NULL && next != common_block;
5042 next = next->next)
5043 {
5044 for (j = 0; j < next->nsyms; j++)
5045 add_symbol_to_list (next->symbol[j], &new);
5046 }
5047
5048 /* Copy however much of COMMON_BLOCK we need. If COMMON_BLOCK is
5049 NULL, it means copy all the local symbols (which we already did
5050 above). */
5051
5052 if (common_block != NULL)
5053 for (j = common_block_i; j < common_block->nsyms; j++)
5054 add_symbol_to_list (common_block->symbol[j], &new);
5055
5056 SYMBOL_TYPE (sym) = (struct type *) new;
5057
5058 /* Should we be putting local_symbols back to what it was?
5059 Does it matter? */
5060
5061 i = hashname (SYMBOL_NAME (sym));
5062 SYMBOL_VALUE_CHAIN (sym) = global_sym_chain[i];
5063 global_sym_chain[i] = sym;
5064 common_block_name = NULL;
5065}
5066
5067/* Add a common block's start address to the offset of each symbol
5068 declared to be in it (by being between a BCOMM/ECOMM pair that uses
5069 the common block name). */
5070
5071static void
fba45db2 5072fix_common_block (struct symbol *sym, int valu)
c906108c
SS
5073{
5074 struct pending *next = (struct pending *) SYMBOL_TYPE (sym);
c5aa993b 5075 for (; next; next = next->next)
c906108c
SS
5076 {
5077 register int j;
5078 for (j = next->nsyms - 1; j >= 0; j--)
5079 SYMBOL_VALUE_ADDRESS (next->symbol[j]) += valu;
5080 }
5081}
c5aa993b 5082\f
c906108c
SS
5083
5084
c906108c
SS
5085/* What about types defined as forward references inside of a small lexical
5086 scope? */
5087/* Add a type to the list of undefined types to be checked through
5088 once this file has been read in. */
5089
5090void
fba45db2 5091add_undefined_type (struct type *type)
c906108c
SS
5092{
5093 if (undef_types_length == undef_types_allocated)
5094 {
5095 undef_types_allocated *= 2;
5096 undef_types = (struct type **)
5097 xrealloc ((char *) undef_types,
5098 undef_types_allocated * sizeof (struct type *));
5099 }
5100 undef_types[undef_types_length++] = type;
5101}
5102
5103/* Go through each undefined type, see if it's still undefined, and fix it
5104 up if possible. We have two kinds of undefined types:
5105
5106 TYPE_CODE_ARRAY: Array whose target type wasn't defined yet.
c5aa993b
JM
5107 Fix: update array length using the element bounds
5108 and the target type's length.
c906108c 5109 TYPE_CODE_STRUCT, TYPE_CODE_UNION: Structure whose fields were not
c5aa993b
JM
5110 yet defined at the time a pointer to it was made.
5111 Fix: Do a full lookup on the struct/union tag. */
c906108c 5112void
fba45db2 5113cleanup_undefined_types (void)
c906108c
SS
5114{
5115 struct type **type;
5116
5117 for (type = undef_types; type < undef_types + undef_types_length; type++)
5118 {
5119 switch (TYPE_CODE (*type))
5120 {
5121
c5aa993b
JM
5122 case TYPE_CODE_STRUCT:
5123 case TYPE_CODE_UNION:
5124 case TYPE_CODE_ENUM:
c906108c
SS
5125 {
5126 /* Check if it has been defined since. Need to do this here
5127 as well as in check_typedef to deal with the (legitimate in
5128 C though not C++) case of several types with the same name
5129 in different source files. */
74a9bb82 5130 if (TYPE_STUB (*type))
c906108c
SS
5131 {
5132 struct pending *ppt;
5133 int i;
5134 /* Name of the type, without "struct" or "union" */
5135 char *typename = TYPE_TAG_NAME (*type);
5136
5137 if (typename == NULL)
5138 {
c5aa993b
JM
5139 static struct complaint msg =
5140 {"need a type name", 0, 0};
c906108c
SS
5141 complain (&msg);
5142 break;
5143 }
5144 for (ppt = file_symbols; ppt; ppt = ppt->next)
5145 {
5146 for (i = 0; i < ppt->nsyms; i++)
5147 {
5148 struct symbol *sym = ppt->symbol[i];
c5aa993b 5149
c906108c
SS
5150 if (SYMBOL_CLASS (sym) == LOC_TYPEDEF
5151 && SYMBOL_NAMESPACE (sym) == STRUCT_NAMESPACE
5152 && (TYPE_CODE (SYMBOL_TYPE (sym)) ==
5153 TYPE_CODE (*type))
5154 && STREQ (SYMBOL_NAME (sym), typename))
13a393b0 5155 replace_type (*type, SYMBOL_TYPE (sym));
c906108c
SS
5156 }
5157 }
5158 }
5159 }
5160 break;
5161
5162 default:
5163 {
c5aa993b
JM
5164 static struct complaint msg =
5165 {"\
c906108c
SS
5166GDB internal error. cleanup_undefined_types with bad type %d.", 0, 0};
5167 complain (&msg, TYPE_CODE (*type));
5168 }
5169 break;
5170 }
5171 }
5172
5173 undef_types_length = 0;
5174}
5175
5176/* Scan through all of the global symbols defined in the object file,
5177 assigning values to the debugging symbols that need to be assigned
5178 to. Get these symbols from the minimal symbol table. */
5179
5180void
fba45db2 5181scan_file_globals (struct objfile *objfile)
c906108c
SS
5182{
5183 int hash;
5184 struct minimal_symbol *msymbol;
5185 struct symbol *sym, *prev, *rsym;
5186 struct objfile *resolve_objfile;
5187
5188 /* SVR4 based linkers copy referenced global symbols from shared
5189 libraries to the main executable.
5190 If we are scanning the symbols for a shared library, try to resolve
5191 them from the minimal symbols of the main executable first. */
5192
5193 if (symfile_objfile && objfile != symfile_objfile)
5194 resolve_objfile = symfile_objfile;
5195 else
5196 resolve_objfile = objfile;
5197
5198 while (1)
5199 {
5200 /* Avoid expensive loop through all minimal symbols if there are
c5aa993b 5201 no unresolved symbols. */
c906108c
SS
5202 for (hash = 0; hash < HASHSIZE; hash++)
5203 {
5204 if (global_sym_chain[hash])
5205 break;
5206 }
5207 if (hash >= HASHSIZE)
5208 return;
5209
c5aa993b 5210 for (msymbol = resolve_objfile->msymbols;
c906108c
SS
5211 msymbol && SYMBOL_NAME (msymbol) != NULL;
5212 msymbol++)
5213 {
5214 QUIT;
5215
5216 /* Skip static symbols. */
5217 switch (MSYMBOL_TYPE (msymbol))
5218 {
5219 case mst_file_text:
5220 case mst_file_data:
5221 case mst_file_bss:
5222 continue;
5223 default:
5224 break;
5225 }
5226
5227 prev = NULL;
5228
5229 /* Get the hash index and check all the symbols
5230 under that hash index. */
5231
5232 hash = hashname (SYMBOL_NAME (msymbol));
5233
5234 for (sym = global_sym_chain[hash]; sym;)
5235 {
5236 if (SYMBOL_NAME (msymbol)[0] == SYMBOL_NAME (sym)[0] &&
c5aa993b 5237 STREQ (SYMBOL_NAME (msymbol) + 1, SYMBOL_NAME (sym) + 1))
c906108c
SS
5238 {
5239
5240 struct alias_list *aliases;
5241
5242 /* Splice this symbol out of the hash chain and
5243 assign the value we have to it. */
5244 if (prev)
5245 {
5246 SYMBOL_VALUE_CHAIN (prev) = SYMBOL_VALUE_CHAIN (sym);
5247 }
5248 else
5249 {
5250 global_sym_chain[hash] = SYMBOL_VALUE_CHAIN (sym);
5251 }
c5aa993b 5252
c906108c
SS
5253 /* Check to see whether we need to fix up a common block. */
5254 /* Note: this code might be executed several times for
5255 the same symbol if there are multiple references. */
5256
5257 /* If symbol has aliases, do minimal symbol fixups for each.
5258 These live aliases/references weren't added to
5259 global_sym_chain hash but may also need to be fixed up. */
c5aa993b 5260 /* FIXME: Maybe should have added aliases to the global chain, resolved symbol name, then treated aliases as normal
c906108c
SS
5261 symbols? Still, we wouldn't want to add_to_list. */
5262 /* Now do the same for each alias of this symbol */
5263 rsym = sym;
5264 aliases = SYMBOL_ALIASES (sym);
5265 while (rsym)
5266 {
5267 if (SYMBOL_CLASS (rsym) == LOC_BLOCK)
5268 {
5269 fix_common_block (rsym,
5270 SYMBOL_VALUE_ADDRESS (msymbol));
5271 }
5272 else
5273 {
5274 SYMBOL_VALUE_ADDRESS (rsym)
5275 = SYMBOL_VALUE_ADDRESS (msymbol);
5276 }
5277 SYMBOL_SECTION (rsym) = SYMBOL_SECTION (msymbol);
5278 if (aliases)
5279 {
5280 rsym = aliases->sym;
5281 aliases = aliases->next;
5282 }
5283 else
5284 rsym = NULL;
5285 }
5286
c5aa993b 5287
c906108c
SS
5288 if (prev)
5289 {
5290 sym = SYMBOL_VALUE_CHAIN (prev);
5291 }
5292 else
5293 {
5294 sym = global_sym_chain[hash];
5295 }
5296 }
5297 else
5298 {
5299 prev = sym;
5300 sym = SYMBOL_VALUE_CHAIN (sym);
5301 }
5302 }
5303 }
5304 if (resolve_objfile == objfile)
5305 break;
5306 resolve_objfile = objfile;
5307 }
5308
5309 /* Change the storage class of any remaining unresolved globals to
5310 LOC_UNRESOLVED and remove them from the chain. */
5311 for (hash = 0; hash < HASHSIZE; hash++)
5312 {
5313 sym = global_sym_chain[hash];
5314 while (sym)
5315 {
5316 prev = sym;
5317 sym = SYMBOL_VALUE_CHAIN (sym);
5318
5319 /* Change the symbol address from the misleading chain value
5320 to address zero. */
5321 SYMBOL_VALUE_ADDRESS (prev) = 0;
5322
5323 /* Complain about unresolved common block symbols. */
5324 if (SYMBOL_CLASS (prev) == LOC_STATIC)
5325 SYMBOL_CLASS (prev) = LOC_UNRESOLVED;
5326 else
5327 complain (&unresolved_sym_chain_complaint,
c5aa993b 5328 objfile->name, SYMBOL_NAME (prev));
c906108c
SS
5329 }
5330 }
5331 memset (global_sym_chain, 0, sizeof (global_sym_chain));
5332}
5333
5334/* Initialize anything that needs initializing when starting to read
5335 a fresh piece of a symbol file, e.g. reading in the stuff corresponding
5336 to a psymtab. */
5337
5338void
fba45db2 5339stabsread_init (void)
c906108c
SS
5340{
5341}
5342
5343/* Initialize anything that needs initializing when a completely new
5344 symbol file is specified (not just adding some symbols from another
5345 file, e.g. a shared library). */
5346
5347void
fba45db2 5348stabsread_new_init (void)
c906108c
SS
5349{
5350 /* Empty the hash table of global syms looking for values. */
5351 memset (global_sym_chain, 0, sizeof (global_sym_chain));
5352}
5353
5354/* Initialize anything that needs initializing at the same time as
5355 start_symtab() is called. */
5356
c5aa993b 5357void
fba45db2 5358start_stabs (void)
c906108c
SS
5359{
5360 global_stabs = NULL; /* AIX COFF */
5361 /* Leave FILENUM of 0 free for builtin types and this file's types. */
5362 n_this_object_header_files = 1;
5363 type_vector_length = 0;
5364 type_vector = (struct type **) 0;
5365
5366 /* FIXME: If common_block_name is not already NULL, we should complain(). */
5367 common_block_name = NULL;
5368
5369 os9k_stabs = 0;
5370}
5371
5372/* Call after end_symtab() */
5373
c5aa993b 5374void
fba45db2 5375end_stabs (void)
c906108c
SS
5376{
5377 if (type_vector)
5378 {
b8c9b27d 5379 xfree (type_vector);
c906108c
SS
5380 }
5381 type_vector = 0;
5382 type_vector_length = 0;
5383 previous_stab_code = 0;
5384}
5385
5386void
fba45db2 5387finish_global_stabs (struct objfile *objfile)
c906108c
SS
5388{
5389 if (global_stabs)
5390 {
5391 patch_block_stabs (global_symbols, global_stabs, objfile);
b8c9b27d 5392 xfree (global_stabs);
c906108c
SS
5393 global_stabs = NULL;
5394 }
5395}
5396
5397/* Initializer for this module */
5398
5399void
fba45db2 5400_initialize_stabsread (void)
c906108c
SS
5401{
5402 undef_types_allocated = 20;
5403 undef_types_length = 0;
5404 undef_types = (struct type **)
5405 xmalloc (undef_types_allocated * sizeof (struct type *));
5406}
This page took 0.865798 seconds and 4 git commands to generate.