1 /* Support routines for decoding "stabs" debugging information format.
2 Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995,
3 1996, 1997, 1998, 1999, 2000, 2001, 2002
4 Free Software Foundation, Inc.
6 This file is part of GDB.
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.
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.
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. */
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. */
30 #include "gdb_string.h"
32 #include "gdb_obstack.h"
35 #include "expression.h"
38 #include "aout/stab_gnu.h" /* We always use GNU stabs, not native */
40 #include "aout/aout64.h"
41 #include "gdb-stabs.h"
43 #include "complaints.h"
50 /* Ask stabsread.h to define the vars it normally declares `extern'. */
53 #include "stabsread.h" /* Our own declarations */
56 extern void _initialize_stabsread (void);
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) */
68 struct nextfield
*next
;
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. */
78 struct next_fnfieldlist
80 struct next_fnfieldlist
*next
;
81 struct fn_fieldlist fn_fieldlist
;
87 read_one_struct_field (struct field_info
*, char **, char *,
88 struct type
*, struct objfile
*);
90 static char *get_substring (char **, int);
92 static struct type
*dbx_alloc_type (int[2], struct objfile
*);
94 static long read_huge_number (char **, int, int *);
96 static struct type
*error_type (char **, struct objfile
*);
99 patch_block_stabs (struct pending
*, struct pending_stabs
*,
102 static void fix_common_block (struct symbol
*, int);
104 static int read_type_number (char **, int *);
106 static struct type
*read_range_type (char **, int[2], struct objfile
*);
108 static struct type
*read_sun_builtin_type (char **, int[2], struct objfile
*);
110 static struct type
*read_sun_floating_type (char **, int[2],
113 static struct type
*read_enum_type (char **, struct type
*, struct objfile
*);
115 static struct type
*rs6000_builtin_type (int);
118 read_member_functions (struct field_info
*, char **, struct type
*,
122 read_struct_fields (struct field_info
*, char **, struct type
*,
126 read_baseclasses (struct field_info
*, char **, struct type
*,
130 read_tilde_fields (struct field_info
*, char **, struct type
*,
133 static int attach_fn_fields_to_type (struct field_info
*, struct type
*);
136 attach_fields_to_type (struct field_info
*, struct type
*, struct objfile
*);
138 static struct type
*read_struct_type (char **, struct type
*,
142 static struct type
*read_array_type (char **, struct type
*,
145 static struct field
*read_args (char **, int, struct objfile
*, int *, int *);
148 read_cpp_abbrev (struct field_info
*, char **, struct type
*,
151 /* new functions added for cfront support */
154 copy_cfront_struct_fields (struct field_info
*, struct type
*,
157 static char *get_cfront_method_physname (char *);
160 read_cfront_baseclasses (struct field_info
*, char **,
161 struct type
*, struct objfile
*);
164 read_cfront_static_fields (struct field_info
*, char **,
165 struct type
*, struct objfile
*);
167 read_cfront_member_functions (struct field_info
*, char **,
168 struct type
*, struct objfile
*);
170 /* end new functions added for cfront support */
173 add_live_range (struct objfile
*, struct symbol
*, CORE_ADDR
, CORE_ADDR
);
175 static int resolve_live_range (struct objfile
*, struct symbol
*, char *);
177 static int process_reference (char **string
);
179 static CORE_ADDR
ref_search_value (int refnum
);
182 resolve_symbol_reference (struct objfile
*, struct symbol
*, char *);
184 void stabsread_clear_cache (void);
186 static const char vptr_name
[] =
187 {'_', 'v', 'p', 't', 'r', CPLUS_MARKER
, '\0'};
188 static const char vb_name
[] =
189 {'_', 'v', 'b', CPLUS_MARKER
, '\0'};
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. */
196 #if !defined (BELIEVE_PCC_PROMOTION)
197 #define BELIEVE_PCC_PROMOTION 0
199 #if !defined (BELIEVE_PCC_PROMOTION_TYPE)
200 #define BELIEVE_PCC_PROMOTION_TYPE 0
203 static struct complaint invalid_cpp_abbrev_complaint
=
204 {"invalid C++ abbreviation `%s'", 0, 0};
206 static struct complaint invalid_cpp_type_complaint
=
207 {"C++ abbreviated type name unknown at symtab pos %d", 0, 0};
209 static struct complaint member_fn_complaint
=
210 {"member function type missing, got '%c'", 0, 0};
212 static struct complaint const_vol_complaint
=
213 {"const/volatile indicator missing, got '%c'", 0, 0};
215 static struct complaint error_type_complaint
=
216 {"couldn't parse type; debugger out of date?", 0, 0};
218 static struct complaint invalid_member_complaint
=
219 {"invalid (minimal) member type data format at symtab pos %d.", 0, 0};
221 static struct complaint range_type_base_complaint
=
222 {"base type %d of range type is not defined", 0, 0};
224 static struct complaint reg_value_complaint
=
225 {"register number %d too large (max %d) in symbol %s", 0, 0};
227 static struct complaint vtbl_notfound_complaint
=
228 {"virtual function table pointer not found when defining class `%s'", 0, 0};
230 static struct complaint unrecognized_cplus_name_complaint
=
231 {"Unknown C++ symbol name `%s'", 0, 0};
233 static struct complaint rs6000_builtin_complaint
=
234 {"Unknown builtin type %d", 0, 0};
236 static struct complaint unresolved_sym_chain_complaint
=
237 {"%s: common block `%s' from global_sym_chain unresolved", 0, 0};
239 static struct complaint stabs_general_complaint
=
242 static struct complaint lrs_general_complaint
=
245 /* Make a list of forward references which haven't been defined. */
247 static struct type
**undef_types
;
248 static int undef_types_allocated
;
249 static int undef_types_length
;
250 static struct symbol
*current_symbol
= NULL
;
252 /* Check for and handle cretinous stabs symbol name continuation! */
253 #define STABS_CONTINUE(pp,objfile) \
255 if (**(pp) == '\\' || (**(pp) == '?' && (*(pp))[1] == '\0')) \
256 *(pp) = next_symbol_text (objfile); \
259 #if 0 /* OBSOLETE OS9K */
260 // OBSOLETE /* FIXME: These probably should be our own types (like rs6000_builtin_type
261 // OBSOLETE has its own types) rather than builtin_type_*. */
262 // OBSOLETE static struct type **os9k_type_vector[] =
265 // OBSOLETE &builtin_type_int,
266 // OBSOLETE &builtin_type_char,
267 // OBSOLETE &builtin_type_long,
268 // OBSOLETE &builtin_type_short,
269 // OBSOLETE &builtin_type_unsigned_char,
270 // OBSOLETE &builtin_type_unsigned_short,
271 // OBSOLETE &builtin_type_unsigned_long,
272 // OBSOLETE &builtin_type_unsigned_int,
273 // OBSOLETE &builtin_type_float,
274 // OBSOLETE &builtin_type_double,
275 // OBSOLETE &builtin_type_void,
276 // OBSOLETE &builtin_type_long_double
279 // OBSOLETE static void os9k_init_type_vector (struct type **);
281 // OBSOLETE static void
282 // OBSOLETE os9k_init_type_vector (struct type **tv)
284 // OBSOLETE unsigned int i;
285 // OBSOLETE for (i = 0; i < sizeof (os9k_type_vector) / sizeof (struct type **); i++)
286 // OBSOLETE tv[i] = (os9k_type_vector[i] == 0 ? 0 : *(os9k_type_vector[i]));
288 #endif /* OBSOLETE OS9K */
290 /* Look up a dbx type-number pair. Return the address of the slot
291 where the type for that number-pair is stored.
292 The number-pair is in TYPENUMS.
294 This can be used for finding the type associated with that pair
295 or for associating a new type with the pair. */
298 dbx_lookup_type (int typenums
[2])
300 register int filenum
= typenums
[0];
301 register int index
= typenums
[1];
303 register int real_filenum
;
304 register struct header_file
*f
;
307 if (filenum
== -1) /* -1,-1 is for temporary types. */
310 if (filenum
< 0 || filenum
>= n_this_object_header_files
)
312 static struct complaint msg
=
314 Invalid symbol data: type number (%d,%d) out of range at symtab pos %d.",
316 complain (&msg
, filenum
, index
, symnum
);
324 /* Caller wants address of address of type. We think
325 that negative (rs6k builtin) types will never appear as
326 "lvalues", (nor should they), so we stuff the real type
327 pointer into a temp, and return its address. If referenced,
328 this will do the right thing. */
329 static struct type
*temp_type
;
331 temp_type
= rs6000_builtin_type (index
);
335 /* Type is defined outside of header files.
336 Find it in this object file's type vector. */
337 if (index
>= type_vector_length
)
339 old_len
= type_vector_length
;
342 type_vector_length
= INITIAL_TYPE_VECTOR_LENGTH
;
343 type_vector
= (struct type
**)
344 xmalloc (type_vector_length
* sizeof (struct type
*));
346 while (index
>= type_vector_length
)
348 type_vector_length
*= 2;
350 type_vector
= (struct type
**)
351 xrealloc ((char *) type_vector
,
352 (type_vector_length
* sizeof (struct type
*)));
353 memset (&type_vector
[old_len
], 0,
354 (type_vector_length
- old_len
) * sizeof (struct type
*));
356 #if 0 /* OBSOLETE OS9K */
357 // OBSOLETE if (os9k_stabs)
358 // OBSOLETE /* Deal with OS9000 fundamental types. */
359 // OBSOLETE os9k_init_type_vector (type_vector);
360 #endif /* OBSOLETE OS9K */
362 return (&type_vector
[index
]);
366 real_filenum
= this_object_header_files
[filenum
];
368 if (real_filenum
>= N_HEADER_FILES (current_objfile
))
370 struct type
*temp_type
;
371 struct type
**temp_type_p
;
373 warning ("GDB internal error: bad real_filenum");
376 temp_type
= init_type (TYPE_CODE_ERROR
, 0, 0, NULL
, NULL
);
377 temp_type_p
= (struct type
**) xmalloc (sizeof (struct type
*));
378 *temp_type_p
= temp_type
;
382 f
= HEADER_FILES (current_objfile
) + real_filenum
;
384 f_orig_length
= f
->length
;
385 if (index
>= f_orig_length
)
387 while (index
>= f
->length
)
391 f
->vector
= (struct type
**)
392 xrealloc ((char *) f
->vector
, f
->length
* sizeof (struct type
*));
393 memset (&f
->vector
[f_orig_length
], 0,
394 (f
->length
- f_orig_length
) * sizeof (struct type
*));
396 return (&f
->vector
[index
]);
400 /* Make sure there is a type allocated for type numbers TYPENUMS
401 and return the type object.
402 This can create an empty (zeroed) type object.
403 TYPENUMS may be (-1, -1) to return a new type object that is not
404 put into the type vector, and so may not be referred to by number. */
407 dbx_alloc_type (int typenums
[2], struct objfile
*objfile
)
409 register struct type
**type_addr
;
411 if (typenums
[0] == -1)
413 return (alloc_type (objfile
));
416 type_addr
= dbx_lookup_type (typenums
);
418 /* If we are referring to a type not known at all yet,
419 allocate an empty type for it.
420 We will fill it in later if we find out how. */
423 *type_addr
= alloc_type (objfile
);
429 /* for all the stabs in a given stab vector, build appropriate types
430 and fix their symbols in given symbol vector. */
433 patch_block_stabs (struct pending
*symbols
, struct pending_stabs
*stabs
,
434 struct objfile
*objfile
)
444 /* for all the stab entries, find their corresponding symbols and
445 patch their types! */
447 for (ii
= 0; ii
< stabs
->count
; ++ii
)
449 name
= stabs
->stab
[ii
];
450 pp
= (char *) strchr (name
, ':');
454 pp
= (char *) strchr (pp
, ':');
456 sym
= find_symbol_in_list (symbols
, name
, pp
- name
);
459 /* FIXME-maybe: it would be nice if we noticed whether
460 the variable was defined *anywhere*, not just whether
461 it is defined in this compilation unit. But neither
462 xlc or GCC seem to need such a definition, and until
463 we do psymtabs (so that the minimal symbols from all
464 compilation units are available now), I'm not sure
465 how to get the information. */
467 /* On xcoff, if a global is defined and never referenced,
468 ld will remove it from the executable. There is then
469 a N_GSYM stab for it, but no regular (C_EXT) symbol. */
470 sym
= (struct symbol
*)
471 obstack_alloc (&objfile
->symbol_obstack
,
472 sizeof (struct symbol
));
474 memset (sym
, 0, sizeof (struct symbol
));
475 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
476 SYMBOL_CLASS (sym
) = LOC_OPTIMIZED_OUT
;
478 obsavestring (name
, pp
- name
, &objfile
->symbol_obstack
);
480 if (*(pp
- 1) == 'F' || *(pp
- 1) == 'f')
482 /* I don't think the linker does this with functions,
483 so as far as I know this is never executed.
484 But it doesn't hurt to check. */
486 lookup_function_type (read_type (&pp
, objfile
));
490 SYMBOL_TYPE (sym
) = read_type (&pp
, objfile
);
492 add_symbol_to_list (sym
, &global_symbols
);
497 if (*(pp
- 1) == 'F' || *(pp
- 1) == 'f')
500 lookup_function_type (read_type (&pp
, objfile
));
504 SYMBOL_TYPE (sym
) = read_type (&pp
, objfile
);
512 /* Read a number by which a type is referred to in dbx data,
513 or perhaps read a pair (FILENUM, TYPENUM) in parentheses.
514 Just a single number N is equivalent to (0,N).
515 Return the two numbers by storing them in the vector TYPENUMS.
516 TYPENUMS will then be used as an argument to dbx_lookup_type.
518 Returns 0 for success, -1 for error. */
521 read_type_number (register char **pp
, register int *typenums
)
527 typenums
[0] = read_huge_number (pp
, ',', &nbits
);
530 typenums
[1] = read_huge_number (pp
, ')', &nbits
);
537 typenums
[1] = read_huge_number (pp
, 0, &nbits
);
545 #define VISIBILITY_PRIVATE '0' /* Stabs character for private field */
546 #define VISIBILITY_PROTECTED '1' /* Stabs character for protected fld */
547 #define VISIBILITY_PUBLIC '2' /* Stabs character for public field */
548 #define VISIBILITY_IGNORE '9' /* Optimized out or zero length */
550 #define CFRONT_VISIBILITY_PRIVATE '2' /* Stabs character for private field */
551 #define CFRONT_VISIBILITY_PUBLIC '1' /* Stabs character for public field */
553 /* This code added to support parsing of ARM/Cfront stabs strings */
555 /* Get substring from string up to char c, advance string pointer past
559 get_substring (char **p
, int c
)
574 /* Physname gets strcat'd onto sname in order to recreate the mangled
575 name (see funtion gdb_mangle_name in gdbtypes.c). For cfront, make
576 the physname look like that of g++ - take out the initial mangling
577 eg: for sname="a" and fname="foo__1aFPFs_i" return "FPFs_i" */
580 get_cfront_method_physname (char *fname
)
583 /* FIXME would like to make this generic for g++ too, but
584 that is already handled in read_member_funcctions */
587 /* search ahead to find the start of the mangled suffix */
588 if (*p
== '_' && *(p
+ 1) == '_') /* compiler generated; probably a ctor/dtor */
590 while (p
&& (unsigned) ((p
+ 1) - fname
) < strlen (fname
) && *(p
+ 1) != '_')
592 if (!(p
&& *p
== '_' && *(p
+ 1) == '_'))
593 error ("Invalid mangled function name %s", fname
);
594 p
+= 2; /* advance past '__' */
596 /* struct name length and name of type should come next; advance past it */
599 len
= len
* 10 + (*p
- '0');
607 /* Read base classes within cfront class definition.
608 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
611 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
616 read_cfront_baseclasses (struct field_info
*fip
, char **pp
, struct type
*type
,
617 struct objfile
*objfile
)
619 static struct complaint msg_unknown
=
621 Unsupported token in stabs string %s.\n",
623 static struct complaint msg_notfound
=
625 Unable to find base type for %s.\n",
630 struct nextfield
*new;
632 if (**pp
== ';') /* no base classes; return */
638 /* first count base classes so we can allocate space before parsing */
639 for (p
= *pp
; p
&& *p
&& *p
!= ';'; p
++)
644 bnum
++; /* add one more for last one */
646 /* now parse the base classes until we get to the start of the methods
647 (code extracted and munged from read_baseclasses) */
648 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
649 TYPE_N_BASECLASSES (type
) = bnum
;
653 int num_bytes
= B_BYTES (TYPE_N_BASECLASSES (type
));
656 pointer
= (char *) TYPE_ALLOC (type
, num_bytes
);
657 TYPE_FIELD_VIRTUAL_BITS (type
) = (B_TYPE
*) pointer
;
659 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type
), TYPE_N_BASECLASSES (type
));
661 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
663 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
664 make_cleanup (xfree
, new);
665 memset (new, 0, sizeof (struct nextfield
));
666 new->next
= fip
->list
;
668 FIELD_BITSIZE (new->field
) = 0; /* this should be an unpacked field! */
670 STABS_CONTINUE (pp
, objfile
);
672 /* virtual? eg: v2@Bvir */
675 SET_TYPE_FIELD_VIRTUAL (type
, i
);
679 /* access? eg: 2@Bvir */
680 /* Note: protected inheritance not supported in cfront */
683 case CFRONT_VISIBILITY_PRIVATE
:
684 new->visibility
= VISIBILITY_PRIVATE
;
686 case CFRONT_VISIBILITY_PUBLIC
:
687 new->visibility
= VISIBILITY_PUBLIC
;
690 /* Bad visibility format. Complain and treat it as
693 static struct complaint msg
=
695 "Unknown visibility `%c' for baseclass", 0, 0};
696 complain (&msg
, new->visibility
);
697 new->visibility
= VISIBILITY_PUBLIC
;
701 /* "@" comes next - eg: @Bvir */
704 complain (&msg_unknown
, *pp
);
710 /* Set the bit offset of the portion of the object corresponding
711 to this baseclass. Always zero in the absence of
712 multiple inheritance. */
713 /* Unable to read bit position from stabs;
714 Assuming no multiple inheritance for now FIXME! */
715 /* We may have read this in the structure definition;
716 now we should fixup the members to be the actual base classes */
717 FIELD_BITPOS (new->field
) = 0;
719 /* Get the base class name and type */
721 char *bname
; /* base class name */
722 struct symbol
*bsym
; /* base class */
724 p1
= strchr (*pp
, ' ');
725 p2
= strchr (*pp
, ';');
727 bname
= get_substring (pp
, ' ');
729 bname
= get_substring (pp
, ';');
730 if (!bname
|| !*bname
)
732 complain (&msg_unknown
, *pp
);
735 /* FIXME! attach base info to type */
736 bsym
= lookup_symbol (bname
, 0, STRUCT_NAMESPACE
, 0, 0); /*demangled_name */
739 new->field
.type
= SYMBOL_TYPE (bsym
);
740 new->field
.name
= type_name_no_tag (new->field
.type
);
744 complain (&msg_notfound
, *pp
);
749 /* If more base classes to parse, loop again.
750 We ate the last ' ' or ';' in get_substring,
751 so on exit we will have skipped the trailing ';' */
752 /* if invalid, return 0; add code to detect - FIXME! */
757 /* read cfront member functions.
758 pp points to string starting with list of functions
759 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
760 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
761 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
762 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
766 read_cfront_member_functions (struct field_info
*fip
, char **pp
,
767 struct type
*type
, struct objfile
*objfile
)
769 /* This code extracted from read_member_functions
770 so as to do the similar thing for our funcs */
774 /* Total number of member functions defined in this class. If the class
775 defines two `f' functions, and one `g' function, then this will have
777 int total_length
= 0;
781 struct next_fnfield
*next
;
782 struct fn_field fn_field
;
785 struct type
*look_ahead_type
;
786 struct next_fnfieldlist
*new_fnlist
;
787 struct next_fnfield
*new_sublist
;
790 struct symbol
*ref_func
= 0;
792 /* Process each list until we find the end of the member functions.
793 eg: p = "__ct__1AFv foo__1AFv ;;;" */
795 STABS_CONTINUE (pp
, objfile
); /* handle \\ */
797 while (**pp
!= ';' && (fname
= get_substring (pp
, ' '), fname
))
800 int sublist_count
= 0;
802 if (fname
[0] == '*') /* static member */
808 ref_func
= lookup_symbol (fname
, 0, VAR_NAMESPACE
, 0, 0); /* demangled name */
811 static struct complaint msg
=
813 Unable to find function symbol for %s\n",
815 complain (&msg
, fname
);
819 look_ahead_type
= NULL
;
822 new_fnlist
= (struct next_fnfieldlist
*)
823 xmalloc (sizeof (struct next_fnfieldlist
));
824 make_cleanup (xfree
, new_fnlist
);
825 memset (new_fnlist
, 0, sizeof (struct next_fnfieldlist
));
827 /* The following is code to work around cfront generated stabs.
828 The stabs contains full mangled name for each field.
829 We try to demangle the name and extract the field name out of it. */
831 char *dem
, *dem_p
, *dem_args
;
833 dem
= cplus_demangle (fname
, DMGL_ANSI
| DMGL_PARAMS
);
836 dem_p
= strrchr (dem
, ':');
837 if (dem_p
!= 0 && *(dem_p
- 1) == ':')
839 /* get rid of args */
840 dem_args
= strchr (dem_p
, '(');
841 if (dem_args
== NULL
)
842 dem_len
= strlen (dem_p
);
844 dem_len
= dem_args
- dem_p
;
846 obsavestring (dem_p
, dem_len
, &objfile
->type_obstack
);
851 obsavestring (fname
, strlen (fname
), &objfile
->type_obstack
);
853 } /* end of code for cfront work around */
855 new_fnlist
->fn_fieldlist
.name
= main_fn_name
;
857 /*-------------------------------------------------*/
858 /* Set up the sublists
859 Sublists are stuff like args, static, visibility, etc.
860 so in ARM, we have to set that info some other way.
861 Multiple sublists happen if overloading
862 eg: foo::26=##1;:;2A.;
863 In g++, we'd loop here thru all the sublists... */
866 (struct next_fnfield
*) xmalloc (sizeof (struct next_fnfield
));
867 make_cleanup (xfree
, new_sublist
);
868 memset (new_sublist
, 0, sizeof (struct next_fnfield
));
870 /* eat 1; from :;2A.; */
871 new_sublist
->fn_field
.type
= SYMBOL_TYPE (ref_func
); /* normally takes a read_type */
872 /* Make this type look like a method stub for gdb */
873 TYPE_FLAGS (new_sublist
->fn_field
.type
) |= TYPE_FLAG_STUB
;
874 TYPE_CODE (new_sublist
->fn_field
.type
) = TYPE_CODE_METHOD
;
876 /* If this is just a stub, then we don't have the real name here. */
877 if (TYPE_STUB (new_sublist
->fn_field
.type
))
879 if (!TYPE_DOMAIN_TYPE (new_sublist
->fn_field
.type
))
880 TYPE_DOMAIN_TYPE (new_sublist
->fn_field
.type
) = type
;
881 new_sublist
->fn_field
.is_stub
= 1;
884 /* physname used later in mangling; eg PFs_i,5 for foo__1aFPFs_i
885 physname gets strcat'd in order to recreate the onto mangled name */
886 pname
= get_cfront_method_physname (fname
);
887 new_sublist
->fn_field
.physname
= savestring (pname
, strlen (pname
));
890 /* Set this member function's visibility fields.
891 Unable to distinguish access from stabs definition!
892 Assuming public for now. FIXME!
893 (for private, set new_sublist->fn_field.is_private = 1,
894 for public, set new_sublist->fn_field.is_protected = 1) */
896 /* Unable to distinguish const/volatile from stabs definition!
897 Assuming normal for now. FIXME! */
899 new_sublist
->fn_field
.is_const
= 0;
900 new_sublist
->fn_field
.is_volatile
= 0; /* volatile not implemented in cfront */
902 /* Set virtual/static function info
903 How to get vtable offsets ?
904 Assuming normal for now FIXME!!
905 For vtables, figure out from whence this virtual function came.
906 It may belong to virtual function table of
907 one of its baseclasses.
909 new_sublist -> fn_field.voffset = vtable offset,
910 new_sublist -> fn_field.fcontext = look_ahead_type;
911 where look_ahead_type is type of baseclass */
913 new_sublist
->fn_field
.voffset
= VOFFSET_STATIC
;
914 else /* normal member function. */
915 new_sublist
->fn_field
.voffset
= 0;
916 new_sublist
->fn_field
.fcontext
= 0;
919 /* Prepare new sublist */
920 new_sublist
->next
= sublist
;
921 sublist
= new_sublist
;
924 /* In g++, we loop thu sublists - now we set from functions. */
925 new_fnlist
->fn_fieldlist
.fn_fields
= (struct fn_field
*)
926 obstack_alloc (&objfile
->type_obstack
,
927 sizeof (struct fn_field
) * length
);
928 memset (new_fnlist
->fn_fieldlist
.fn_fields
, 0,
929 sizeof (struct fn_field
) * length
);
930 for (i
= length
; (i
--, sublist
); sublist
= sublist
->next
)
932 new_fnlist
->fn_fieldlist
.fn_fields
[i
] = sublist
->fn_field
;
935 new_fnlist
->fn_fieldlist
.length
= length
;
936 new_fnlist
->next
= fip
->fnlist
;
937 fip
->fnlist
= new_fnlist
;
939 total_length
+= length
;
940 STABS_CONTINUE (pp
, objfile
); /* handle \\ */
945 /* type should already have space */
946 TYPE_FN_FIELDLISTS (type
) = (struct fn_fieldlist
*)
947 TYPE_ALLOC (type
, sizeof (struct fn_fieldlist
) * nfn_fields
);
948 memset (TYPE_FN_FIELDLISTS (type
), 0,
949 sizeof (struct fn_fieldlist
) * nfn_fields
);
950 TYPE_NFN_FIELDS (type
) = nfn_fields
;
951 TYPE_NFN_FIELDS_TOTAL (type
) = total_length
;
954 /* end of scope for reading member func */
958 /* Skip trailing ';' and bump count of number of fields seen */
966 /* This routine fixes up partial cfront types that were created
967 while parsing the stabs. The main need for this function is
968 to add information such as methods to classes.
969 Examples of "p": "sA;;__ct__1AFv foo__1AFv ;;;" */
971 resolve_cfront_continuation (struct objfile
*objfile
, struct symbol
*sym
,
974 struct symbol
*ref_sym
= 0;
976 /* snarfed from read_struct_type */
977 struct field_info fi
;
979 struct cleanup
*back_to
;
981 /* Need to make sure that fi isn't gunna conflict with struct
982 in case struct already had some fnfs */
985 back_to
= make_cleanup (null_cleanup
, 0);
987 /* We only accept structs, classes and unions at the moment.
988 Other continuation types include t (typedef), r (long dbl), ...
989 We may want to add support for them as well;
990 right now they are handled by duplicating the symbol information
991 into the type information (see define_symbol) */
992 if (*p
!= 's' /* structs */
993 && *p
!= 'c' /* class */
994 && *p
!= 'u') /* union */
995 return 0; /* only handle C++ types */
998 /* Get symbol typs name and validate
999 eg: p = "A;;__ct__1AFv foo__1AFv ;;;" */
1000 sname
= get_substring (&p
, ';');
1001 if (!sname
|| strcmp (sname
, SYMBOL_NAME (sym
)))
1002 error ("Internal error: base symbol type name does not match\n");
1004 /* Find symbol's internal gdb reference using demangled_name.
1005 This is the real sym that we want;
1006 sym was a temp hack to make debugger happy */
1007 ref_sym
= lookup_symbol (SYMBOL_NAME (sym
), 0, STRUCT_NAMESPACE
, 0, 0);
1008 type
= SYMBOL_TYPE (ref_sym
);
1011 /* Now read the baseclasses, if any, read the regular C struct or C++
1012 class member fields, attach the fields to the type, read the C++
1013 member functions, attach them to the type, and then read any tilde
1014 field (baseclass specifier for the class holding the main vtable). */
1016 if (!read_cfront_baseclasses (&fi
, &p
, type
, objfile
)
1017 /* g++ does this next, but cfront already did this:
1018 || !read_struct_fields (&fi, &p, type, objfile) */
1019 || !copy_cfront_struct_fields (&fi
, type
, objfile
)
1020 || !read_cfront_member_functions (&fi
, &p
, type
, objfile
)
1021 || !read_cfront_static_fields (&fi
, &p
, type
, objfile
)
1022 || !attach_fields_to_type (&fi
, type
, objfile
)
1023 || !attach_fn_fields_to_type (&fi
, type
)
1024 /* g++ does this next, but cfront doesn't seem to have this:
1025 || !read_tilde_fields (&fi, &p, type, objfile) */
1028 type
= error_type (&p
, objfile
);
1031 do_cleanups (back_to
);
1034 /* End of code added to support parsing of ARM/Cfront stabs strings */
1037 /* This routine fixes up symbol references/aliases to point to the original
1038 symbol definition. Returns 0 on failure, non-zero on success. */
1041 resolve_symbol_reference (struct objfile
*objfile
, struct symbol
*sym
, char *p
)
1044 struct symbol
*ref_sym
= 0;
1045 struct alias_list
*alias
;
1047 /* If this is not a symbol reference return now. */
1051 /* Use "#<num>" as the name; we'll fix the name later.
1052 We stored the original symbol name as "#<id>=<name>"
1053 so we can now search for "#<id>" to resolving the reference.
1054 We'll fix the names later by removing the "#<id>" or "#<id>=" */
1056 /*---------------------------------------------------------*/
1057 /* Get the reference id number, and
1058 advance p past the names so we can parse the rest.
1059 eg: id=2 for p : "2=", "2=z:r(0,1)" "2:r(0,1);l(#5,#6),l(#7,#4)" */
1060 /*---------------------------------------------------------*/
1062 /* This gets reference name from string. sym may not have a name. */
1064 /* Get the reference number associated with the reference id in the
1065 gdb stab string. From that reference number, get the main/primary
1066 symbol for this alias. */
1067 refnum
= process_reference (&p
);
1068 ref_sym
= ref_search (refnum
);
1071 complain (&lrs_general_complaint
, "symbol for reference not found");
1075 /* Parse the stab of the referencing symbol
1076 now that we have the referenced symbol.
1077 Add it as a new symbol and a link back to the referenced symbol.
1078 eg: p : "=", "=z:r(0,1)" ":r(0,1);l(#5,#6),l(#7,#4)" */
1081 /* If the stab symbol table and string contain:
1082 RSYM 0 5 00000000 868 #15=z:r(0,1)
1083 LBRAC 0 0 00000000 899 #5=
1084 SLINE 0 16 00000003 923 #6=
1085 Then the same symbols can be later referenced by:
1086 RSYM 0 5 00000000 927 #15:r(0,1);l(#5,#6)
1087 This is used in live range splitting to:
1088 1) specify that a symbol (#15) is actually just a new storage
1089 class for a symbol (#15=z) which was previously defined.
1090 2) specify that the beginning and ending ranges for a symbol
1091 (#15) are the values of the beginning (#5) and ending (#6)
1094 /* Read number as reference id.
1095 eg: p : "=", "=z:r(0,1)" ":r(0,1);l(#5,#6),l(#7,#4)" */
1096 /* FIXME! Might I want to use SYMBOL_CLASS (sym) = LOC_OPTIMIZED_OUT;
1097 in case of "l(0,0)"? */
1099 /*--------------------------------------------------*/
1100 /* Add this symbol to the reference list. */
1101 /*--------------------------------------------------*/
1103 alias
= (struct alias_list
*) obstack_alloc (&objfile
->type_obstack
,
1104 sizeof (struct alias_list
));
1107 complain (&lrs_general_complaint
, "Unable to allocate alias list memory");
1114 if (!SYMBOL_ALIASES (ref_sym
))
1116 SYMBOL_ALIASES (ref_sym
) = alias
;
1120 struct alias_list
*temp
;
1122 /* Get to the end of the list. */
1123 for (temp
= SYMBOL_ALIASES (ref_sym
);
1130 /* Want to fix up name so that other functions (eg. valops)
1131 will correctly print the name.
1132 Don't add_symbol_to_list so that lookup_symbol won't find it.
1133 nope... needed for fixups. */
1134 SYMBOL_NAME (sym
) = SYMBOL_NAME (ref_sym
);
1140 /* Structure for storing pointers to reference definitions for fast lookup
1141 during "process_later". */
1150 #define MAX_CHUNK_REFS 100
1151 #define REF_CHUNK_SIZE (MAX_CHUNK_REFS * sizeof (struct ref_map))
1152 #define REF_MAP_SIZE(ref_chunk) ((ref_chunk) * REF_CHUNK_SIZE)
1154 static struct ref_map
*ref_map
;
1156 /* Ptr to free cell in chunk's linked list. */
1157 static int ref_count
= 0;
1159 /* Number of chunks malloced. */
1160 static int ref_chunk
= 0;
1162 /* This file maintains a cache of stabs aliases found in the symbol
1163 table. If the symbol table changes, this cache must be cleared
1164 or we are left holding onto data in invalid obstacks. */
1166 stabsread_clear_cache (void)
1172 /* Create array of pointers mapping refids to symbols and stab strings.
1173 Add pointers to reference definition symbols and/or their values as we
1174 find them, using their reference numbers as our index.
1175 These will be used later when we resolve references. */
1177 ref_add (int refnum
, struct symbol
*sym
, char *stabs
, CORE_ADDR value
)
1181 if (refnum
>= ref_count
)
1182 ref_count
= refnum
+ 1;
1183 if (ref_count
> ref_chunk
* MAX_CHUNK_REFS
)
1185 int new_slots
= ref_count
- ref_chunk
* MAX_CHUNK_REFS
;
1186 int new_chunks
= new_slots
/ MAX_CHUNK_REFS
+ 1;
1187 ref_map
= (struct ref_map
*)
1188 xrealloc (ref_map
, REF_MAP_SIZE (ref_chunk
+ new_chunks
));
1189 memset (ref_map
+ ref_chunk
* MAX_CHUNK_REFS
, 0, new_chunks
* REF_CHUNK_SIZE
);
1190 ref_chunk
+= new_chunks
;
1192 ref_map
[refnum
].stabs
= stabs
;
1193 ref_map
[refnum
].sym
= sym
;
1194 ref_map
[refnum
].value
= value
;
1197 /* Return defined sym for the reference REFNUM. */
1199 ref_search (int refnum
)
1201 if (refnum
< 0 || refnum
> ref_count
)
1203 return ref_map
[refnum
].sym
;
1206 /* Return value for the reference REFNUM. */
1209 ref_search_value (int refnum
)
1211 if (refnum
< 0 || refnum
> ref_count
)
1213 return ref_map
[refnum
].value
;
1216 /* Parse a reference id in STRING and return the resulting
1217 reference number. Move STRING beyond the reference id. */
1220 process_reference (char **string
)
1225 if (**string
!= '#')
1228 /* Advance beyond the initial '#'. */
1231 /* Read number as reference id. */
1232 while (*p
&& isdigit (*p
))
1234 refnum
= refnum
* 10 + *p
- '0';
1241 /* If STRING defines a reference, store away a pointer to the reference
1242 definition for later use. Return the reference number. */
1245 symbol_reference_defined (char **string
)
1250 refnum
= process_reference (&p
);
1252 /* Defining symbols end in '=' */
1255 /* Symbol is being defined here. */
1261 /* Must be a reference. Either the symbol has already been defined,
1262 or this is a forward reference to it. */
1270 define_symbol (CORE_ADDR valu
, char *string
, int desc
, int type
,
1271 struct objfile
*objfile
)
1273 register struct symbol
*sym
;
1274 char *p
= (char *) strchr (string
, ':');
1279 /* We would like to eliminate nameless symbols, but keep their types.
1280 E.g. stab entry ":t10=*2" should produce a type 10, which is a pointer
1281 to type 2, but, should not create a symbol to address that type. Since
1282 the symbol will be nameless, there is no way any user can refer to it. */
1286 /* Ignore syms with empty names. */
1290 /* Ignore old-style symbols from cc -go */
1297 p
= strchr (p
, ':');
1300 /* If a nameless stab entry, all we need is the type, not the symbol.
1301 e.g. ":t10=*2" or a nameless enum like " :T16=ered:0,green:1,blue:2,;" */
1302 nameless
= (p
== string
|| ((string
[0] == ' ') && (string
[1] == ':')));
1304 current_symbol
= sym
= (struct symbol
*)
1305 obstack_alloc (&objfile
->symbol_obstack
, sizeof (struct symbol
));
1306 memset (sym
, 0, sizeof (struct symbol
));
1308 switch (type
& N_TYPE
)
1311 SYMBOL_SECTION (sym
) = SECT_OFF_TEXT (objfile
);
1314 SYMBOL_SECTION (sym
) = SECT_OFF_DATA (objfile
);
1317 SYMBOL_SECTION (sym
) = SECT_OFF_BSS (objfile
);
1321 if (processing_gcc_compilation
)
1323 /* GCC 2.x puts the line number in desc. SunOS apparently puts in the
1324 number of bytes occupied by a type or object, which we ignore. */
1325 SYMBOL_LINE (sym
) = desc
;
1329 SYMBOL_LINE (sym
) = 0; /* unknown */
1332 if (is_cplus_marker (string
[0]))
1334 /* Special GNU C++ names. */
1338 SYMBOL_NAME (sym
) = obsavestring ("this", strlen ("this"),
1339 &objfile
->symbol_obstack
);
1342 case 'v': /* $vtbl_ptr_type */
1343 /* Was: SYMBOL_NAME (sym) = "vptr"; */
1347 SYMBOL_NAME (sym
) = obsavestring ("eh_throw", strlen ("eh_throw"),
1348 &objfile
->symbol_obstack
);
1352 /* This was an anonymous type that was never fixed up. */
1355 #ifdef STATIC_TRANSFORM_NAME
1357 /* SunPRO (3.0 at least) static variable encoding. */
1362 complain (&unrecognized_cplus_name_complaint
, string
);
1363 goto normal
; /* Do *something* with it */
1366 else if (string
[0] == '#')
1368 /* Special GNU C extension for referencing symbols. */
1372 /* If STRING defines a new reference id, then add it to the
1373 reference map. Else it must be referring to a previously
1374 defined symbol, so add it to the alias list of the previously
1377 refnum
= symbol_reference_defined (&s
);
1379 ref_add (refnum
, sym
, string
, SYMBOL_VALUE (sym
));
1380 else if (!resolve_symbol_reference (objfile
, sym
, string
))
1383 /* S..P contains the name of the symbol. We need to store
1384 the correct name into SYMBOL_NAME. */
1390 SYMBOL_NAME (sym
) = (char *)
1391 obstack_alloc (&objfile
->symbol_obstack
, nlen
);
1392 strncpy (SYMBOL_NAME (sym
), s
, nlen
);
1393 SYMBOL_NAME (sym
)[nlen
] = '\0';
1394 SYMBOL_INIT_DEMANGLED_NAME (sym
, &objfile
->symbol_obstack
);
1397 /* FIXME! Want SYMBOL_NAME (sym) = 0;
1398 Get error if leave name 0. So give it something. */
1401 SYMBOL_NAME (sym
) = (char *)
1402 obstack_alloc (&objfile
->symbol_obstack
, nlen
);
1403 strncpy (SYMBOL_NAME (sym
), string
, nlen
);
1404 SYMBOL_NAME (sym
)[nlen
] = '\0';
1405 SYMBOL_INIT_DEMANGLED_NAME (sym
, &objfile
->symbol_obstack
);
1408 /* Advance STRING beyond the reference id. */
1414 SYMBOL_LANGUAGE (sym
) = current_subfile
->language
;
1415 SYMBOL_NAME (sym
) = (char *)
1416 obstack_alloc (&objfile
->symbol_obstack
, ((p
- string
) + 1));
1417 /* Open-coded memcpy--saves function call time. */
1418 /* FIXME: Does it really? Try replacing with simple strcpy and
1419 try it on an executable with a large symbol table. */
1420 /* FIXME: considering that gcc can open code memcpy anyway, I
1421 doubt it. xoxorich. */
1423 register char *p1
= string
;
1424 register char *p2
= SYMBOL_NAME (sym
);
1432 /* If this symbol is from a C++ compilation, then attempt to cache the
1433 demangled form for future reference. This is a typical time versus
1434 space tradeoff, that was decided in favor of time because it sped up
1435 C++ symbol lookups by a factor of about 20. */
1437 SYMBOL_INIT_DEMANGLED_NAME (sym
, &objfile
->symbol_obstack
);
1441 /* Determine the type of name being defined. */
1443 /* Getting GDB to correctly skip the symbol on an undefined symbol
1444 descriptor and not ever dump core is a very dodgy proposition if
1445 we do things this way. I say the acorn RISC machine can just
1446 fix their compiler. */
1447 /* The Acorn RISC machine's compiler can put out locals that don't
1448 start with "234=" or "(3,4)=", so assume anything other than the
1449 deftypes we know how to handle is a local. */
1450 if (!strchr ("cfFGpPrStTvVXCR", *p
))
1452 if (isdigit (*p
) || *p
== '(' || *p
== '-')
1461 /* c is a special case, not followed by a type-number.
1462 SYMBOL:c=iVALUE for an integer constant symbol.
1463 SYMBOL:c=rVALUE for a floating constant symbol.
1464 SYMBOL:c=eTYPE,INTVALUE for an enum constant symbol.
1465 e.g. "b:c=e6,0" for "const b = blob1"
1466 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
1469 SYMBOL_CLASS (sym
) = LOC_CONST
;
1470 SYMBOL_TYPE (sym
) = error_type (&p
, objfile
);
1471 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1472 add_symbol_to_list (sym
, &file_symbols
);
1480 double d
= atof (p
);
1483 /* FIXME-if-picky-about-floating-accuracy: Should be using
1484 target arithmetic to get the value. real.c in GCC
1485 probably has the necessary code. */
1487 /* FIXME: lookup_fundamental_type is a hack. We should be
1488 creating a type especially for the type of float constants.
1489 Problem is, what type should it be?
1491 Also, what should the name of this type be? Should we
1492 be using 'S' constants (see stabs.texinfo) instead? */
1494 SYMBOL_TYPE (sym
) = lookup_fundamental_type (objfile
,
1497 obstack_alloc (&objfile
->symbol_obstack
,
1498 TYPE_LENGTH (SYMBOL_TYPE (sym
)));
1499 store_typed_floating (dbl_valu
, SYMBOL_TYPE (sym
), d
);
1500 SYMBOL_VALUE_BYTES (sym
) = dbl_valu
;
1501 SYMBOL_CLASS (sym
) = LOC_CONST_BYTES
;
1506 /* Defining integer constants this way is kind of silly,
1507 since 'e' constants allows the compiler to give not
1508 only the value, but the type as well. C has at least
1509 int, long, unsigned int, and long long as constant
1510 types; other languages probably should have at least
1511 unsigned as well as signed constants. */
1513 /* We just need one int constant type for all objfiles.
1514 It doesn't depend on languages or anything (arguably its
1515 name should be a language-specific name for a type of
1516 that size, but I'm inclined to say that if the compiler
1517 wants a nice name for the type, it can use 'e'). */
1518 static struct type
*int_const_type
;
1520 /* Yes, this is as long as a *host* int. That is because we
1522 if (int_const_type
== NULL
)
1524 init_type (TYPE_CODE_INT
,
1525 sizeof (int) * HOST_CHAR_BIT
/ TARGET_CHAR_BIT
, 0,
1527 (struct objfile
*) NULL
);
1528 SYMBOL_TYPE (sym
) = int_const_type
;
1529 SYMBOL_VALUE (sym
) = atoi (p
);
1530 SYMBOL_CLASS (sym
) = LOC_CONST
;
1534 /* SYMBOL:c=eTYPE,INTVALUE for a constant symbol whose value
1535 can be represented as integral.
1536 e.g. "b:c=e6,0" for "const b = blob1"
1537 (where type 6 is defined by "blobs:t6=eblob1:0,blob2:1,;"). */
1539 SYMBOL_CLASS (sym
) = LOC_CONST
;
1540 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1544 SYMBOL_TYPE (sym
) = error_type (&p
, objfile
);
1549 /* If the value is too big to fit in an int (perhaps because
1550 it is unsigned), or something like that, we silently get
1551 a bogus value. The type and everything else about it is
1552 correct. Ideally, we should be using whatever we have
1553 available for parsing unsigned and long long values,
1555 SYMBOL_VALUE (sym
) = atoi (p
);
1560 SYMBOL_CLASS (sym
) = LOC_CONST
;
1561 SYMBOL_TYPE (sym
) = error_type (&p
, objfile
);
1564 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1565 add_symbol_to_list (sym
, &file_symbols
);
1569 /* The name of a caught exception. */
1570 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1571 SYMBOL_CLASS (sym
) = LOC_LABEL
;
1572 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1573 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
1574 add_symbol_to_list (sym
, &local_symbols
);
1578 /* A static function definition. */
1579 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1580 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
1581 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1582 add_symbol_to_list (sym
, &file_symbols
);
1583 /* fall into process_function_types. */
1585 process_function_types
:
1586 /* Function result types are described as the result type in stabs.
1587 We need to convert this to the function-returning-type-X type
1588 in GDB. E.g. "int" is converted to "function returning int". */
1589 if (TYPE_CODE (SYMBOL_TYPE (sym
)) != TYPE_CODE_FUNC
)
1590 SYMBOL_TYPE (sym
) = lookup_function_type (SYMBOL_TYPE (sym
));
1592 /* All functions in C++ have prototypes. */
1593 if (SYMBOL_LANGUAGE (sym
) == language_cplus
)
1594 TYPE_FLAGS (SYMBOL_TYPE (sym
)) |= TYPE_FLAG_PROTOTYPED
;
1596 /* fall into process_prototype_types */
1598 process_prototype_types
:
1599 /* Sun acc puts declared types of arguments here. */
1602 struct type
*ftype
= SYMBOL_TYPE (sym
);
1607 /* Obtain a worst case guess for the number of arguments
1608 by counting the semicolons. */
1615 /* Allocate parameter information fields and fill them in. */
1616 TYPE_FIELDS (ftype
) = (struct field
*)
1617 TYPE_ALLOC (ftype
, nsemi
* sizeof (struct field
));
1622 /* A type number of zero indicates the start of varargs.
1623 FIXME: GDB currently ignores vararg functions. */
1624 if (p
[0] == '0' && p
[1] == '\0')
1626 ptype
= read_type (&p
, objfile
);
1628 /* The Sun compilers mark integer arguments, which should
1629 be promoted to the width of the calling conventions, with
1630 a type which references itself. This type is turned into
1631 a TYPE_CODE_VOID type by read_type, and we have to turn
1632 it back into builtin_type_int here.
1633 FIXME: Do we need a new builtin_type_promoted_int_arg ? */
1634 if (TYPE_CODE (ptype
) == TYPE_CODE_VOID
)
1635 ptype
= builtin_type_int
;
1636 TYPE_FIELD_TYPE (ftype
, nparams
) = ptype
;
1637 TYPE_FIELD_ARTIFICIAL (ftype
, nparams
++) = 0;
1639 TYPE_NFIELDS (ftype
) = nparams
;
1640 TYPE_FLAGS (ftype
) |= TYPE_FLAG_PROTOTYPED
;
1645 /* A global function definition. */
1646 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1647 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
1648 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1649 add_symbol_to_list (sym
, &global_symbols
);
1650 goto process_function_types
;
1653 /* For a class G (global) symbol, it appears that the
1654 value is not correct. It is necessary to search for the
1655 corresponding linker definition to find the value.
1656 These definitions appear at the end of the namelist. */
1657 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1658 SYMBOL_CLASS (sym
) = LOC_STATIC
;
1659 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1660 /* Don't add symbol references to global_sym_chain.
1661 Symbol references don't have valid names and wont't match up with
1662 minimal symbols when the global_sym_chain is relocated.
1663 We'll fixup symbol references when we fixup the defining symbol. */
1664 if (SYMBOL_NAME (sym
) && SYMBOL_NAME (sym
)[0] != '#')
1666 i
= hashname (SYMBOL_NAME (sym
));
1667 SYMBOL_VALUE_CHAIN (sym
) = global_sym_chain
[i
];
1668 global_sym_chain
[i
] = sym
;
1670 add_symbol_to_list (sym
, &global_symbols
);
1673 /* This case is faked by a conditional above,
1674 when there is no code letter in the dbx data.
1675 Dbx data never actually contains 'l'. */
1678 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1679 SYMBOL_CLASS (sym
) = LOC_LOCAL
;
1680 SYMBOL_VALUE (sym
) = valu
;
1681 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1682 add_symbol_to_list (sym
, &local_symbols
);
1687 /* pF is a two-letter code that means a function parameter in Fortran.
1688 The type-number specifies the type of the return value.
1689 Translate it into a pointer-to-function type. */
1693 = lookup_pointer_type
1694 (lookup_function_type (read_type (&p
, objfile
)));
1697 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1699 /* Normally this is a parameter, a LOC_ARG. On the i960, it
1700 can also be a LOC_LOCAL_ARG depending on symbol type. */
1701 #ifndef DBX_PARM_SYMBOL_CLASS
1702 #define DBX_PARM_SYMBOL_CLASS(type) LOC_ARG
1705 SYMBOL_CLASS (sym
) = DBX_PARM_SYMBOL_CLASS (type
);
1706 SYMBOL_VALUE (sym
) = valu
;
1707 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1708 add_symbol_to_list (sym
, &local_symbols
);
1710 if (TARGET_BYTE_ORDER
!= BFD_ENDIAN_BIG
)
1712 /* On little-endian machines, this crud is never necessary,
1713 and, if the extra bytes contain garbage, is harmful. */
1717 /* If it's gcc-compiled, if it says `short', believe it. */
1718 if (processing_gcc_compilation
|| BELIEVE_PCC_PROMOTION
)
1721 if (!BELIEVE_PCC_PROMOTION
)
1723 /* This is the signed type which arguments get promoted to. */
1724 static struct type
*pcc_promotion_type
;
1725 /* This is the unsigned type which arguments get promoted to. */
1726 static struct type
*pcc_unsigned_promotion_type
;
1728 /* Call it "int" because this is mainly C lossage. */
1729 if (pcc_promotion_type
== NULL
)
1730 pcc_promotion_type
=
1731 init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
1734 if (pcc_unsigned_promotion_type
== NULL
)
1735 pcc_unsigned_promotion_type
=
1736 init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
1737 TYPE_FLAG_UNSIGNED
, "unsigned int", NULL
);
1739 if (BELIEVE_PCC_PROMOTION_TYPE
)
1741 /* This is defined on machines (e.g. sparc) where we
1742 should believe the type of a PCC 'short' argument,
1743 but shouldn't believe the address (the address is the
1744 address of the corresponding int).
1746 My guess is that this correction, as opposed to
1747 changing the parameter to an 'int' (as done below,
1748 for PCC on most machines), is the right thing to do
1749 on all machines, but I don't want to risk breaking
1750 something that already works. On most PCC machines,
1751 the sparc problem doesn't come up because the calling
1752 function has to zero the top bytes (not knowing
1753 whether the called function wants an int or a short),
1754 so there is little practical difference between an
1755 int and a short (except perhaps what happens when the
1756 GDB user types "print short_arg = 0x10000;").
1758 Hacked for SunOS 4.1 by gnu@cygnus.com. In 4.1, the
1759 compiler actually produces the correct address (we
1760 don't need to fix it up). I made this code adapt so
1761 that it will offset the symbol if it was pointing at
1762 an int-aligned location and not otherwise. This way
1763 you can use the same gdb for 4.0.x and 4.1 systems.
1765 If the parameter is shorter than an int, and is
1766 integral (e.g. char, short, or unsigned equivalent),
1767 and is claimed to be passed on an integer boundary,
1768 don't believe it! Offset the parameter's address to
1769 the tail-end of that integer. */
1771 if (TYPE_LENGTH (SYMBOL_TYPE (sym
)) < TYPE_LENGTH (pcc_promotion_type
)
1772 && TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_INT
1773 && 0 == SYMBOL_VALUE (sym
) % TYPE_LENGTH (pcc_promotion_type
))
1775 SYMBOL_VALUE (sym
) += TYPE_LENGTH (pcc_promotion_type
)
1776 - TYPE_LENGTH (SYMBOL_TYPE (sym
));
1782 /* If PCC says a parameter is a short or a char,
1783 it is really an int. */
1784 if (TYPE_LENGTH (SYMBOL_TYPE (sym
)) < TYPE_LENGTH (pcc_promotion_type
)
1785 && TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_INT
)
1788 TYPE_UNSIGNED (SYMBOL_TYPE (sym
))
1789 ? pcc_unsigned_promotion_type
1790 : pcc_promotion_type
;
1797 /* acc seems to use P to declare the prototypes of functions that
1798 are referenced by this file. gdb is not prepared to deal
1799 with this extra information. FIXME, it ought to. */
1802 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1803 goto process_prototype_types
;
1808 /* Parameter which is in a register. */
1809 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1810 SYMBOL_CLASS (sym
) = LOC_REGPARM
;
1811 SYMBOL_VALUE (sym
) = STAB_REG_TO_REGNUM (valu
);
1812 if (SYMBOL_VALUE (sym
) >= NUM_REGS
+ NUM_PSEUDO_REGS
)
1814 complain (®_value_complaint
, SYMBOL_VALUE (sym
),
1815 NUM_REGS
+ NUM_PSEUDO_REGS
,
1816 SYMBOL_SOURCE_NAME (sym
));
1817 SYMBOL_VALUE (sym
) = SP_REGNUM
; /* Known safe, though useless */
1819 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1820 add_symbol_to_list (sym
, &local_symbols
);
1824 /* Register variable (either global or local). */
1825 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1826 SYMBOL_CLASS (sym
) = LOC_REGISTER
;
1827 SYMBOL_VALUE (sym
) = STAB_REG_TO_REGNUM (valu
);
1828 if (SYMBOL_VALUE (sym
) >= NUM_REGS
+ NUM_PSEUDO_REGS
)
1830 complain (®_value_complaint
, SYMBOL_VALUE (sym
),
1831 NUM_REGS
+ NUM_PSEUDO_REGS
,
1832 SYMBOL_SOURCE_NAME (sym
));
1833 SYMBOL_VALUE (sym
) = SP_REGNUM
; /* Known safe, though useless */
1835 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1836 if (within_function
)
1838 /* Sun cc uses a pair of symbols, one 'p' and one 'r' with the same
1839 name to represent an argument passed in a register.
1840 GCC uses 'P' for the same case. So if we find such a symbol pair
1841 we combine it into one 'P' symbol. For Sun cc we need to do this
1842 regardless of REG_STRUCT_HAS_ADDR, because the compiler puts out
1843 the 'p' symbol even if it never saves the argument onto the stack.
1845 On most machines, we want to preserve both symbols, so that
1846 we can still get information about what is going on with the
1847 stack (VAX for computing args_printed, using stack slots instead
1848 of saved registers in backtraces, etc.).
1850 Note that this code illegally combines
1851 main(argc) struct foo argc; { register struct foo argc; }
1852 but this case is considered pathological and causes a warning
1853 from a decent compiler. */
1856 && local_symbols
->nsyms
> 0
1857 #ifndef USE_REGISTER_NOT_ARG
1858 && REG_STRUCT_HAS_ADDR_P ()
1859 && REG_STRUCT_HAS_ADDR (processing_gcc_compilation
,
1861 && (TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_STRUCT
1862 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_UNION
1863 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_SET
1864 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_BITSTRING
)
1868 struct symbol
*prev_sym
;
1869 prev_sym
= local_symbols
->symbol
[local_symbols
->nsyms
- 1];
1870 if ((SYMBOL_CLASS (prev_sym
) == LOC_REF_ARG
1871 || SYMBOL_CLASS (prev_sym
) == LOC_ARG
)
1872 && STREQ (SYMBOL_NAME (prev_sym
), SYMBOL_NAME (sym
)))
1874 SYMBOL_CLASS (prev_sym
) = LOC_REGPARM
;
1875 /* Use the type from the LOC_REGISTER; that is the type
1876 that is actually in that register. */
1877 SYMBOL_TYPE (prev_sym
) = SYMBOL_TYPE (sym
);
1878 SYMBOL_VALUE (prev_sym
) = SYMBOL_VALUE (sym
);
1883 add_symbol_to_list (sym
, &local_symbols
);
1886 add_symbol_to_list (sym
, &file_symbols
);
1890 /* Static symbol at top level of file */
1891 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1892 SYMBOL_CLASS (sym
) = LOC_STATIC
;
1893 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
1894 #ifdef STATIC_TRANSFORM_NAME
1895 if (IS_STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym
)))
1897 struct minimal_symbol
*msym
;
1898 msym
= lookup_minimal_symbol (SYMBOL_NAME (sym
), NULL
, objfile
);
1901 SYMBOL_NAME (sym
) = STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym
));
1902 SYMBOL_VALUE_ADDRESS (sym
) = SYMBOL_VALUE_ADDRESS (msym
);
1906 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1907 add_symbol_to_list (sym
, &file_symbols
);
1912 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
1914 /* For a nameless type, we don't want a create a symbol, thus we
1915 did not use `sym'. Return without further processing. */
1919 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
1920 SYMBOL_VALUE (sym
) = valu
;
1921 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
1922 /* C++ vagaries: we may have a type which is derived from
1923 a base type which did not have its name defined when the
1924 derived class was output. We fill in the derived class's
1925 base part member's name here in that case. */
1926 if (TYPE_NAME (SYMBOL_TYPE (sym
)) != NULL
)
1927 if ((TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_STRUCT
1928 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_UNION
)
1929 && TYPE_N_BASECLASSES (SYMBOL_TYPE (sym
)))
1932 for (j
= TYPE_N_BASECLASSES (SYMBOL_TYPE (sym
)) - 1; j
>= 0; j
--)
1933 if (TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym
), j
) == 0)
1934 TYPE_BASECLASS_NAME (SYMBOL_TYPE (sym
), j
) =
1935 type_name_no_tag (TYPE_BASECLASS (SYMBOL_TYPE (sym
), j
));
1938 if (TYPE_NAME (SYMBOL_TYPE (sym
)) == NULL
)
1940 /* gcc-2.6 or later (when using -fvtable-thunks)
1941 emits a unique named type for a vtable entry.
1942 Some gdb code depends on that specific name. */
1943 extern const char vtbl_ptr_name
[];
1945 if ((TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_PTR
1946 && strcmp (SYMBOL_NAME (sym
), vtbl_ptr_name
))
1947 || TYPE_CODE (SYMBOL_TYPE (sym
)) == TYPE_CODE_FUNC
)
1949 /* If we are giving a name to a type such as "pointer to
1950 foo" or "function returning foo", we better not set
1951 the TYPE_NAME. If the program contains "typedef char
1952 *caddr_t;", we don't want all variables of type char
1953 * to print as caddr_t. This is not just a
1954 consequence of GDB's type management; PCC and GCC (at
1955 least through version 2.4) both output variables of
1956 either type char * or caddr_t with the type number
1957 defined in the 't' symbol for caddr_t. If a future
1958 compiler cleans this up it GDB is not ready for it
1959 yet, but if it becomes ready we somehow need to
1960 disable this check (without breaking the PCC/GCC2.4
1965 Fortunately, this check seems not to be necessary
1966 for anything except pointers or functions. */
1967 /* ezannoni: 2000-10-26. This seems to apply for
1968 versions of gcc older than 2.8. This was the original
1969 problem: with the following code gdb would tell that
1970 the type for name1 is caddr_t, and func is char()
1971 typedef char *caddr_t;
1983 /* Pascal accepts names for pointer types. */
1984 if (current_subfile
->language
== language_pascal
)
1986 TYPE_NAME (SYMBOL_TYPE (sym
)) = SYMBOL_NAME (sym
);
1990 TYPE_NAME (SYMBOL_TYPE (sym
)) = SYMBOL_NAME (sym
);
1993 add_symbol_to_list (sym
, &file_symbols
);
1997 /* Struct, union, or enum tag. For GNU C++, this can be be followed
1998 by 't' which means we are typedef'ing it as well. */
1999 synonym
= *p
== 't';
2003 /* The semantics of C++ state that "struct foo { ... }" also defines
2004 a typedef for "foo". Unfortunately, cfront never makes the typedef
2005 when translating C++ into C. We make the typedef here so that
2006 "ptype foo" works as expected for cfront translated code. */
2007 else if (current_subfile
->language
== language_cplus
)
2010 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
2012 /* For a nameless type, we don't want a create a symbol, thus we
2013 did not use `sym'. Return without further processing. */
2017 SYMBOL_CLASS (sym
) = LOC_TYPEDEF
;
2018 SYMBOL_VALUE (sym
) = valu
;
2019 SYMBOL_NAMESPACE (sym
) = STRUCT_NAMESPACE
;
2020 if (TYPE_TAG_NAME (SYMBOL_TYPE (sym
)) == 0)
2021 TYPE_TAG_NAME (SYMBOL_TYPE (sym
))
2022 = obconcat (&objfile
->type_obstack
, "", "", SYMBOL_NAME (sym
));
2023 add_symbol_to_list (sym
, &file_symbols
);
2027 /* Clone the sym and then modify it. */
2028 register struct symbol
*typedef_sym
= (struct symbol
*)
2029 obstack_alloc (&objfile
->symbol_obstack
, sizeof (struct symbol
));
2030 *typedef_sym
= *sym
;
2031 SYMBOL_CLASS (typedef_sym
) = LOC_TYPEDEF
;
2032 SYMBOL_VALUE (typedef_sym
) = valu
;
2033 SYMBOL_NAMESPACE (typedef_sym
) = VAR_NAMESPACE
;
2034 if (TYPE_NAME (SYMBOL_TYPE (sym
)) == 0)
2035 TYPE_NAME (SYMBOL_TYPE (sym
))
2036 = obconcat (&objfile
->type_obstack
, "", "", SYMBOL_NAME (sym
));
2037 add_symbol_to_list (typedef_sym
, &file_symbols
);
2042 /* Static symbol of local scope */
2043 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
2044 SYMBOL_CLASS (sym
) = LOC_STATIC
;
2045 SYMBOL_VALUE_ADDRESS (sym
) = valu
;
2046 #ifdef STATIC_TRANSFORM_NAME
2047 if (IS_STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym
)))
2049 struct minimal_symbol
*msym
;
2050 msym
= lookup_minimal_symbol (SYMBOL_NAME (sym
), NULL
, objfile
);
2053 SYMBOL_NAME (sym
) = STATIC_TRANSFORM_NAME (SYMBOL_NAME (sym
));
2054 SYMBOL_VALUE_ADDRESS (sym
) = SYMBOL_VALUE_ADDRESS (msym
);
2058 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2059 #if 0 /* OBSOLETE OS9K */
2060 // OBSOLETE if (os9k_stabs)
2061 // OBSOLETE add_symbol_to_list (sym, &global_symbols);
2063 #endif /* OBSOLETE OS9K */
2064 add_symbol_to_list (sym
, &local_symbols
);
2068 /* Reference parameter */
2069 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
2070 SYMBOL_CLASS (sym
) = LOC_REF_ARG
;
2071 SYMBOL_VALUE (sym
) = valu
;
2072 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2073 add_symbol_to_list (sym
, &local_symbols
);
2077 /* Reference parameter which is in a register. */
2078 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
2079 SYMBOL_CLASS (sym
) = LOC_REGPARM_ADDR
;
2080 SYMBOL_VALUE (sym
) = STAB_REG_TO_REGNUM (valu
);
2081 if (SYMBOL_VALUE (sym
) >= NUM_REGS
+ NUM_PSEUDO_REGS
)
2083 complain (®_value_complaint
, SYMBOL_VALUE (sym
),
2084 NUM_REGS
+ NUM_PSEUDO_REGS
,
2085 SYMBOL_SOURCE_NAME (sym
));
2086 SYMBOL_VALUE (sym
) = SP_REGNUM
; /* Known safe, though useless */
2088 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2089 add_symbol_to_list (sym
, &local_symbols
);
2093 /* This is used by Sun FORTRAN for "function result value".
2094 Sun claims ("dbx and dbxtool interfaces", 2nd ed)
2095 that Pascal uses it too, but when I tried it Pascal used
2096 "x:3" (local symbol) instead. */
2097 SYMBOL_TYPE (sym
) = read_type (&p
, objfile
);
2098 SYMBOL_CLASS (sym
) = LOC_LOCAL
;
2099 SYMBOL_VALUE (sym
) = valu
;
2100 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2101 add_symbol_to_list (sym
, &local_symbols
);
2104 /* New code added to support cfront stabs strings.
2105 Note: case 'P' already handled above */
2107 /* Cfront type continuation coming up!
2108 Find the original definition and add to it.
2109 We'll have to do this for the typedef too,
2110 since we cloned the symbol to define a type in read_type.
2111 Stabs info examples:
2113 foo__1CFv :ZtF (first def foo__1CFv:F(0,3);(0,24))
2114 C:ZsC;;__ct__1CFv func1__1CFv func2__1CFv ... ;;;
2115 where C is the name of the class.
2116 Unfortunately, we can't lookup the original symbol yet 'cuz
2117 we haven't finished reading all the symbols.
2118 Instead, we save it for processing later */
2119 process_later (sym
, p
, resolve_cfront_continuation
);
2120 SYMBOL_TYPE (sym
) = error_type (&p
, objfile
); /* FIXME! change later */
2121 SYMBOL_CLASS (sym
) = LOC_CONST
;
2122 SYMBOL_VALUE (sym
) = 0;
2123 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2124 /* Don't add to list - we'll delete it later when
2125 we add the continuation to the real sym */
2127 /* End of new code added to support cfront stabs strings */
2130 SYMBOL_TYPE (sym
) = error_type (&p
, objfile
);
2131 SYMBOL_CLASS (sym
) = LOC_CONST
;
2132 SYMBOL_VALUE (sym
) = 0;
2133 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
2134 add_symbol_to_list (sym
, &file_symbols
);
2138 /* When passing structures to a function, some systems sometimes pass
2139 the address in a register, not the structure itself. */
2141 if (REG_STRUCT_HAS_ADDR_P ()
2142 && REG_STRUCT_HAS_ADDR (processing_gcc_compilation
, SYMBOL_TYPE (sym
))
2143 && (SYMBOL_CLASS (sym
) == LOC_REGPARM
|| SYMBOL_CLASS (sym
) == LOC_ARG
))
2145 struct type
*symbol_type
= check_typedef (SYMBOL_TYPE (sym
));
2147 if ((TYPE_CODE (symbol_type
) == TYPE_CODE_STRUCT
)
2148 || (TYPE_CODE (symbol_type
) == TYPE_CODE_UNION
)
2149 || (TYPE_CODE (symbol_type
) == TYPE_CODE_BITSTRING
)
2150 || (TYPE_CODE (symbol_type
) == TYPE_CODE_SET
))
2152 /* If REG_STRUCT_HAS_ADDR yields non-zero we have to convert
2153 LOC_REGPARM to LOC_REGPARM_ADDR for structures and unions. */
2154 if (SYMBOL_CLASS (sym
) == LOC_REGPARM
)
2155 SYMBOL_CLASS (sym
) = LOC_REGPARM_ADDR
;
2156 /* Likewise for converting LOC_ARG to LOC_REF_ARG (for the 7th
2157 and subsequent arguments on the sparc, for example). */
2158 else if (SYMBOL_CLASS (sym
) == LOC_ARG
)
2159 SYMBOL_CLASS (sym
) = LOC_REF_ARG
;
2163 /* Is there more to parse? For example LRS/alias information? */
2164 while (*p
&& *p
== ';')
2167 if (*p
&& p
[0] == 'l' && p
[1] == '(')
2169 /* GNU extensions for live range splitting may be appended to
2170 the end of the stab string. eg. "l(#1,#2);l(#3,#5)" */
2172 /* Resolve the live range and add it to SYM's live range list. */
2173 if (!resolve_live_range (objfile
, sym
, p
))
2176 /* Find end of live range info. */
2177 p
= strchr (p
, ')');
2178 if (!*p
|| *p
!= ')')
2180 complain (&lrs_general_complaint
, "live range format not recognized");
2189 /* Add the live range found in P to the symbol SYM in objfile OBJFILE. Returns
2190 non-zero on success, zero otherwise. */
2193 resolve_live_range (struct objfile
*objfile
, struct symbol
*sym
, char *p
)
2196 CORE_ADDR start
, end
;
2198 /* Sanity check the beginning of the stabs string. */
2199 if (!*p
|| *p
!= 'l')
2201 complain (&lrs_general_complaint
, "live range string 1");
2206 if (!*p
|| *p
!= '(')
2208 complain (&lrs_general_complaint
, "live range string 2");
2213 /* Get starting value of range and advance P past the reference id.
2215 ?!? In theory, the process_reference should never fail, but we should
2216 catch that case just in case the compiler scrogged the stabs. */
2217 refnum
= process_reference (&p
);
2218 start
= ref_search_value (refnum
);
2221 complain (&lrs_general_complaint
, "Live range symbol not found 1");
2225 if (!*p
|| *p
!= ',')
2227 complain (&lrs_general_complaint
, "live range string 3");
2232 /* Get ending value of range and advance P past the reference id.
2234 ?!? In theory, the process_reference should never fail, but we should
2235 catch that case just in case the compiler scrogged the stabs. */
2236 refnum
= process_reference (&p
);
2237 end
= ref_search_value (refnum
);
2240 complain (&lrs_general_complaint
, "Live range symbol not found 2");
2244 if (!*p
|| *p
!= ')')
2246 complain (&lrs_general_complaint
, "live range string 4");
2250 /* Now that we know the bounds of the range, add it to the
2252 add_live_range (objfile
, sym
, start
, end
);
2257 /* Add a new live range defined by START and END to the symbol SYM
2258 in objfile OBJFILE. */
2261 add_live_range (struct objfile
*objfile
, struct symbol
*sym
, CORE_ADDR start
,
2264 struct range_list
*r
, *rs
;
2268 complain (&lrs_general_complaint
, "end of live range follows start");
2272 /* Alloc new live range structure. */
2273 r
= (struct range_list
*)
2274 obstack_alloc (&objfile
->type_obstack
,
2275 sizeof (struct range_list
));
2280 /* Append this range to the symbol's range list. */
2281 if (!SYMBOL_RANGES (sym
))
2282 SYMBOL_RANGES (sym
) = r
;
2285 /* Get the last range for the symbol. */
2286 for (rs
= SYMBOL_RANGES (sym
); rs
->next
; rs
= rs
->next
)
2293 /* Skip rest of this symbol and return an error type.
2295 General notes on error recovery: error_type always skips to the
2296 end of the symbol (modulo cretinous dbx symbol name continuation).
2297 Thus code like this:
2299 if (*(*pp)++ != ';')
2300 return error_type (pp, objfile);
2302 is wrong because if *pp starts out pointing at '\0' (typically as the
2303 result of an earlier error), it will be incremented to point to the
2304 start of the next symbol, which might produce strange results, at least
2305 if you run off the end of the string table. Instead use
2308 return error_type (pp, objfile);
2314 foo = error_type (pp, objfile);
2318 And in case it isn't obvious, the point of all this hair is so the compiler
2319 can define new types and new syntaxes, and old versions of the
2320 debugger will be able to read the new symbol tables. */
2322 static struct type
*
2323 error_type (char **pp
, struct objfile
*objfile
)
2325 complain (&error_type_complaint
);
2328 /* Skip to end of symbol. */
2329 while (**pp
!= '\0')
2334 /* Check for and handle cretinous dbx symbol name continuation! */
2335 if ((*pp
)[-1] == '\\' || (*pp
)[-1] == '?')
2337 *pp
= next_symbol_text (objfile
);
2344 return (builtin_type_error
);
2348 /* Read type information or a type definition; return the type. Even
2349 though this routine accepts either type information or a type
2350 definition, the distinction is relevant--some parts of stabsread.c
2351 assume that type information starts with a digit, '-', or '(' in
2352 deciding whether to call read_type. */
2355 read_type (register char **pp
, struct objfile
*objfile
)
2357 register struct type
*type
= 0;
2360 char type_descriptor
;
2362 /* Size in bits of type if specified by a type attribute, or -1 if
2363 there is no size attribute. */
2366 /* Used to distinguish string and bitstring from char-array and set. */
2369 /* Used to distinguish vector from array. */
2372 /* Read type number if present. The type number may be omitted.
2373 for instance in a two-dimensional array declared with type
2374 "ar1;1;10;ar1;1;10;4". */
2375 if ((**pp
>= '0' && **pp
<= '9')
2379 if (read_type_number (pp
, typenums
) != 0)
2380 return error_type (pp
, objfile
);
2382 /* Type is not being defined here. Either it already exists,
2383 or this is a forward reference to it. dbx_alloc_type handles
2386 return dbx_alloc_type (typenums
, objfile
);
2388 /* Type is being defined here. */
2390 Also skip the type descriptor - we get it below with (*pp)[-1]. */
2395 /* 'typenums=' not present, type is anonymous. Read and return
2396 the definition, but don't put it in the type vector. */
2397 typenums
[0] = typenums
[1] = -1;
2402 type_descriptor
= (*pp
)[-1];
2403 switch (type_descriptor
)
2407 enum type_code code
;
2409 /* Used to index through file_symbols. */
2410 struct pending
*ppt
;
2413 /* Name including "struct", etc. */
2417 char *from
, *to
, *p
, *q1
, *q2
;
2419 /* Set the type code according to the following letter. */
2423 code
= TYPE_CODE_STRUCT
;
2426 code
= TYPE_CODE_UNION
;
2429 code
= TYPE_CODE_ENUM
;
2433 /* Complain and keep going, so compilers can invent new
2434 cross-reference types. */
2435 static struct complaint msg
=
2436 {"Unrecognized cross-reference type `%c'", 0, 0};
2437 complain (&msg
, (*pp
)[0]);
2438 code
= TYPE_CODE_STRUCT
;
2443 q1
= strchr (*pp
, '<');
2444 p
= strchr (*pp
, ':');
2446 return error_type (pp
, objfile
);
2447 if (q1
&& p
> q1
&& p
[1] == ':')
2449 int nesting_level
= 0;
2450 for (q2
= q1
; *q2
; q2
++)
2454 else if (*q2
== '>')
2456 else if (*q2
== ':' && nesting_level
== 0)
2461 return error_type (pp
, objfile
);
2464 (char *) obstack_alloc (&objfile
->type_obstack
, p
- *pp
+ 1);
2466 /* Copy the name. */
2472 /* Set the pointer ahead of the name which we just read, and
2477 /* Now check to see whether the type has already been
2478 declared. This was written for arrays of cross-referenced
2479 types before we had TYPE_CODE_TARGET_STUBBED, so I'm pretty
2480 sure it is not necessary anymore. But it might be a good
2481 idea, to save a little memory. */
2483 for (ppt
= file_symbols
; ppt
; ppt
= ppt
->next
)
2484 for (i
= 0; i
< ppt
->nsyms
; i
++)
2486 struct symbol
*sym
= ppt
->symbol
[i
];
2488 if (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
2489 && SYMBOL_NAMESPACE (sym
) == STRUCT_NAMESPACE
2490 && (TYPE_CODE (SYMBOL_TYPE (sym
)) == code
)
2491 && STREQ (SYMBOL_NAME (sym
), type_name
))
2493 obstack_free (&objfile
->type_obstack
, type_name
);
2494 type
= SYMBOL_TYPE (sym
);
2499 /* Didn't find the type to which this refers, so we must
2500 be dealing with a forward reference. Allocate a type
2501 structure for it, and keep track of it so we can
2502 fill in the rest of the fields when we get the full
2504 type
= dbx_alloc_type (typenums
, objfile
);
2505 TYPE_CODE (type
) = code
;
2506 TYPE_TAG_NAME (type
) = type_name
;
2507 INIT_CPLUS_SPECIFIC (type
);
2508 TYPE_FLAGS (type
) |= TYPE_FLAG_STUB
;
2510 add_undefined_type (type
);
2514 case '-': /* RS/6000 built-in type */
2528 /* We deal with something like t(1,2)=(3,4)=... which
2529 the Lucid compiler and recent gcc versions (post 2.7.3) use. */
2531 /* Allocate and enter the typedef type first.
2532 This handles recursive types. */
2533 type
= dbx_alloc_type (typenums
, objfile
);
2534 TYPE_CODE (type
) = TYPE_CODE_TYPEDEF
;
2536 struct type
*xtype
= read_type (pp
, objfile
);
2539 /* It's being defined as itself. That means it is "void". */
2540 TYPE_CODE (type
) = TYPE_CODE_VOID
;
2541 TYPE_LENGTH (type
) = 1;
2543 else if (type_size
>= 0 || is_string
)
2545 /* This is the absolute wrong way to construct types. Every
2546 other debug format has found a way around this problem and
2547 the related problems with unnecessarily stubbed types;
2548 someone motivated should attempt to clean up the issue
2549 here as well. Once a type pointed to has been created it
2550 should not be modified.
2552 Well, it's not *absolutely* wrong. Constructing recursive
2553 types (trees, linked lists) necessarily entails modifying
2554 types after creating them. Constructing any loop structure
2555 entails side effects. The Dwarf 2 reader does handle this
2556 more gracefully (it never constructs more than once
2557 instance of a type object, so it doesn't have to copy type
2558 objects wholesale), but it still mutates type objects after
2559 other folks have references to them.
2561 Keep in mind that this circularity/mutation issue shows up
2562 at the source language level, too: C's "incomplete types",
2563 for example. So the proper cleanup, I think, would be to
2564 limit GDB's type smashing to match exactly those required
2565 by the source language. So GDB could have a
2566 "complete_this_type" function, but never create unnecessary
2567 copies of a type otherwise. */
2568 replace_type (type
, xtype
);
2569 TYPE_NAME (type
) = NULL
;
2570 TYPE_TAG_NAME (type
) = NULL
;
2574 TYPE_FLAGS (type
) |= TYPE_FLAG_TARGET_STUB
;
2575 TYPE_TARGET_TYPE (type
) = xtype
;
2580 /* In the following types, we must be sure to overwrite any existing
2581 type that the typenums refer to, rather than allocating a new one
2582 and making the typenums point to the new one. This is because there
2583 may already be pointers to the existing type (if it had been
2584 forward-referenced), and we must change it to a pointer, function,
2585 reference, or whatever, *in-place*. */
2587 case '*': /* Pointer to another type */
2588 type1
= read_type (pp
, objfile
);
2589 type
= make_pointer_type (type1
, dbx_lookup_type (typenums
));
2592 case '&': /* Reference to another type */
2593 type1
= read_type (pp
, objfile
);
2594 type
= make_reference_type (type1
, dbx_lookup_type (typenums
));
2597 case 'f': /* Function returning another type */
2598 #if 0 /* OBSOLETE OS9K */
2599 // OBSOLETE if (os9k_stabs && **pp == '(')
2601 // OBSOLETE /* Function prototype; parse it.
2602 // OBSOLETE We must conditionalize this on os9k_stabs because otherwise
2603 // OBSOLETE it could be confused with a Sun-style (1,3) typenumber
2604 // OBSOLETE (I think). */
2605 // OBSOLETE struct type *t;
2607 // OBSOLETE while (**pp != ')')
2609 // OBSOLETE t = read_type (pp, objfile);
2610 // OBSOLETE if (**pp == ',')
2611 // OBSOLETE ++ * pp;
2614 #endif /* OBSOLETE OS9K */
2616 type1
= read_type (pp
, objfile
);
2617 type
= make_function_type (type1
, dbx_lookup_type (typenums
));
2620 case 'g': /* Prototyped function. (Sun) */
2622 /* Unresolved questions:
2624 - According to Sun's ``STABS Interface Manual'', for 'f'
2625 and 'F' symbol descriptors, a `0' in the argument type list
2626 indicates a varargs function. But it doesn't say how 'g'
2627 type descriptors represent that info. Someone with access
2628 to Sun's toolchain should try it out.
2630 - According to the comment in define_symbol (search for
2631 `process_prototype_types:'), Sun emits integer arguments as
2632 types which ref themselves --- like `void' types. Do we
2633 have to deal with that here, too? Again, someone with
2634 access to Sun's toolchain should try it out and let us
2637 const char *type_start
= (*pp
) - 1;
2638 struct type
*return_type
= read_type (pp
, objfile
);
2639 struct type
*func_type
2640 = make_function_type (return_type
, dbx_lookup_type (typenums
));
2643 struct type_list
*next
;
2647 while (**pp
&& **pp
!= '#')
2649 struct type
*arg_type
= read_type (pp
, objfile
);
2650 struct type_list
*new = alloca (sizeof (*new));
2651 new->type
= arg_type
;
2652 new->next
= arg_types
;
2660 static struct complaint msg
= {
2661 "Prototyped function type didn't end arguments with `#':\n%s",
2664 complain (&msg
, type_start
);
2667 /* If there is just one argument whose type is `void', then
2668 that's just an empty argument list. */
2670 && ! arg_types
->next
2671 && TYPE_CODE (arg_types
->type
) == TYPE_CODE_VOID
)
2674 TYPE_FIELDS (func_type
)
2675 = (struct field
*) TYPE_ALLOC (func_type
,
2676 num_args
* sizeof (struct field
));
2677 memset (TYPE_FIELDS (func_type
), 0, num_args
* sizeof (struct field
));
2680 struct type_list
*t
;
2682 /* We stuck each argument type onto the front of the list
2683 when we read it, so the list is reversed. Build the
2684 fields array right-to-left. */
2685 for (t
= arg_types
, i
= num_args
- 1; t
; t
= t
->next
, i
--)
2686 TYPE_FIELD_TYPE (func_type
, i
) = t
->type
;
2688 TYPE_NFIELDS (func_type
) = num_args
;
2689 TYPE_FLAGS (func_type
) |= TYPE_FLAG_PROTOTYPED
;
2695 case 'k': /* Const qualifier on some type (Sun) */
2696 #if 0 /* OBSOLETE OS9K */
2697 // OBSOLETE /* ezannoni 2002-07-16: This can be safely deleted, because 'c'
2698 // OBSOLETE means complex type in AIX stabs, while it means const qualifier
2699 // OBSOLETE in os9k stabs. Obviously we were supporting only the os9k meaning.
2700 // OBSOLETE We were erroring out if we were reading AIX stabs. Right now the
2701 // OBSOLETE erroring out will happen in the default clause of the switch. */
2702 // OBSOLETE case 'c': /* Const qualifier on some type (OS9000) */
2703 // OBSOLETE /* Because 'c' means other things to AIX and 'k' is perfectly good,
2704 // OBSOLETE only accept 'c' in the os9k_stabs case. */
2705 // OBSOLETE if (type_descriptor == 'c' && !os9k_stabs)
2706 // OBSOLETE return error_type (pp, objfile);
2707 #endif /* OBSOLETE OS9K */
2708 type
= read_type (pp
, objfile
);
2709 type
= make_cv_type (1, TYPE_VOLATILE (type
), type
,
2710 dbx_lookup_type (typenums
));
2713 case 'B': /* Volatile qual on some type (Sun) */
2714 #if 0 /* OBSOLETE OS9K */
2715 // OBSOLETE /* ezannoni 2002-07-16: This can be safely deleted, because 'i'
2716 // OBSOLETE means imported type in AIX stabs, while it means volatile qualifier
2717 // OBSOLETE in os9k stabs. Obviously we were supporting only the os9k meaning.
2718 // OBSOLETE We were erroring out if we were reading AIX stabs. Right now the
2719 // OBSOLETE erroring out will happen in the default clause of the switch. */
2720 // OBSOLETE case 'i': /* Volatile qual on some type (OS9000) */
2721 // OBSOLETE /* Because 'i' means other things to AIX and 'B' is perfectly good,
2722 // OBSOLETE only accept 'i' in the os9k_stabs case. */
2723 // OBSOLETE if (type_descriptor == 'i' && !os9k_stabs)
2724 // OBSOLETE return error_type (pp, objfile);
2725 #endif /* OBSOLETE OS9K */
2726 type
= read_type (pp
, objfile
);
2727 type
= make_cv_type (TYPE_CONST (type
), 1, type
,
2728 dbx_lookup_type (typenums
));
2732 if (isdigit (**pp
) || **pp
== '(' || **pp
== '-')
2733 { /* Member (class & variable) type */
2734 /* FIXME -- we should be doing smash_to_XXX types here. */
2736 struct type
*domain
= read_type (pp
, objfile
);
2737 struct type
*memtype
;
2740 /* Invalid member type data format. */
2741 return error_type (pp
, objfile
);
2744 memtype
= read_type (pp
, objfile
);
2745 type
= dbx_alloc_type (typenums
, objfile
);
2746 smash_to_member_type (type
, domain
, memtype
);
2749 /* type attribute */
2752 /* Skip to the semicolon. */
2753 while (**pp
!= ';' && **pp
!= '\0')
2756 return error_type (pp
, objfile
);
2758 ++ * pp
; /* Skip the semicolon. */
2762 case 's': /* Size attribute */
2763 type_size
= atoi (attr
+ 1);
2768 case 'S': /* String attribute */
2769 /* FIXME: check to see if following type is array? */
2773 case 'V': /* Vector attribute */
2774 /* FIXME: check to see if following type is array? */
2779 /* Ignore unrecognized type attributes, so future compilers
2780 can invent new ones. */
2788 case '#': /* Method (class & fn) type */
2789 if ((*pp
)[0] == '#')
2791 /* We'll get the parameter types from the name. */
2792 struct type
*return_type
;
2795 return_type
= read_type (pp
, objfile
);
2796 if (*(*pp
)++ != ';')
2797 complain (&invalid_member_complaint
, symnum
);
2798 type
= allocate_stub_method (return_type
);
2799 if (typenums
[0] != -1)
2800 *dbx_lookup_type (typenums
) = type
;
2804 struct type
*domain
= read_type (pp
, objfile
);
2805 struct type
*return_type
;
2810 /* Invalid member type data format. */
2811 return error_type (pp
, objfile
);
2815 return_type
= read_type (pp
, objfile
);
2816 args
= read_args (pp
, ';', objfile
, &nargs
, &varargs
);
2817 type
= dbx_alloc_type (typenums
, objfile
);
2818 smash_to_method_type (type
, domain
, return_type
, args
,
2823 case 'r': /* Range type */
2824 type
= read_range_type (pp
, typenums
, objfile
);
2825 if (typenums
[0] != -1)
2826 *dbx_lookup_type (typenums
) = type
;
2830 #if 0 /* OBSOLETE OS9K */
2831 // OBSOLETE if (os9k_stabs)
2832 // OBSOLETE /* Const and volatile qualified type. */
2833 // OBSOLETE type = read_type (pp, objfile);
2835 #endif /* OBSOLETE OS9K */
2837 /* Sun ACC builtin int type */
2838 type
= read_sun_builtin_type (pp
, typenums
, objfile
);
2839 if (typenums
[0] != -1)
2840 *dbx_lookup_type (typenums
) = type
;
2844 case 'R': /* Sun ACC builtin float type */
2845 type
= read_sun_floating_type (pp
, typenums
, objfile
);
2846 if (typenums
[0] != -1)
2847 *dbx_lookup_type (typenums
) = type
;
2850 case 'e': /* Enumeration type */
2851 type
= dbx_alloc_type (typenums
, objfile
);
2852 type
= read_enum_type (pp
, type
, objfile
);
2853 if (typenums
[0] != -1)
2854 *dbx_lookup_type (typenums
) = type
;
2857 case 's': /* Struct type */
2858 case 'u': /* Union type */
2860 enum type_code type_code
= TYPE_CODE_UNDEF
;
2861 type
= dbx_alloc_type (typenums
, objfile
);
2862 switch (type_descriptor
)
2865 type_code
= TYPE_CODE_STRUCT
;
2868 type_code
= TYPE_CODE_UNION
;
2871 type
= read_struct_type (pp
, type
, type_code
, objfile
);
2875 case 'a': /* Array type */
2877 return error_type (pp
, objfile
);
2880 type
= dbx_alloc_type (typenums
, objfile
);
2881 type
= read_array_type (pp
, type
, objfile
);
2883 TYPE_CODE (type
) = TYPE_CODE_STRING
;
2885 TYPE_FLAGS (type
) |= TYPE_FLAG_VECTOR
;
2888 case 'S': /* Set or bitstring type */
2889 type1
= read_type (pp
, objfile
);
2890 type
= create_set_type ((struct type
*) NULL
, type1
);
2892 TYPE_CODE (type
) = TYPE_CODE_BITSTRING
;
2893 if (typenums
[0] != -1)
2894 *dbx_lookup_type (typenums
) = type
;
2898 --*pp
; /* Go back to the symbol in error */
2899 /* Particularly important if it was \0! */
2900 return error_type (pp
, objfile
);
2905 warning ("GDB internal error, type is NULL in stabsread.c\n");
2906 return error_type (pp
, objfile
);
2909 /* Size specified in a type attribute overrides any other size. */
2910 if (type_size
!= -1)
2911 TYPE_LENGTH (type
) = (type_size
+ TARGET_CHAR_BIT
- 1) / TARGET_CHAR_BIT
;
2916 /* RS/6000 xlc/dbx combination uses a set of builtin types, starting from -1.
2917 Return the proper type node for a given builtin type number. */
2919 static struct type
*
2920 rs6000_builtin_type (int typenum
)
2922 /* We recognize types numbered from -NUMBER_RECOGNIZED to -1. */
2923 #define NUMBER_RECOGNIZED 34
2924 /* This includes an empty slot for type number -0. */
2925 static struct type
*negative_types
[NUMBER_RECOGNIZED
+ 1];
2926 struct type
*rettype
= NULL
;
2928 if (typenum
>= 0 || typenum
< -NUMBER_RECOGNIZED
)
2930 complain (&rs6000_builtin_complaint
, typenum
);
2931 return builtin_type_error
;
2933 if (negative_types
[-typenum
] != NULL
)
2934 return negative_types
[-typenum
];
2936 #if TARGET_CHAR_BIT != 8
2937 #error This code wrong for TARGET_CHAR_BIT not 8
2938 /* These definitions all assume that TARGET_CHAR_BIT is 8. I think
2939 that if that ever becomes not true, the correct fix will be to
2940 make the size in the struct type to be in bits, not in units of
2947 /* The size of this and all the other types are fixed, defined
2948 by the debugging format. If there is a type called "int" which
2949 is other than 32 bits, then it should use a new negative type
2950 number (or avoid negative type numbers for that case).
2951 See stabs.texinfo. */
2952 rettype
= init_type (TYPE_CODE_INT
, 4, 0, "int", NULL
);
2955 rettype
= init_type (TYPE_CODE_INT
, 1, 0, "char", NULL
);
2958 rettype
= init_type (TYPE_CODE_INT
, 2, 0, "short", NULL
);
2961 rettype
= init_type (TYPE_CODE_INT
, 4, 0, "long", NULL
);
2964 rettype
= init_type (TYPE_CODE_INT
, 1, TYPE_FLAG_UNSIGNED
,
2965 "unsigned char", NULL
);
2968 rettype
= init_type (TYPE_CODE_INT
, 1, 0, "signed char", NULL
);
2971 rettype
= init_type (TYPE_CODE_INT
, 2, TYPE_FLAG_UNSIGNED
,
2972 "unsigned short", NULL
);
2975 rettype
= init_type (TYPE_CODE_INT
, 4, TYPE_FLAG_UNSIGNED
,
2976 "unsigned int", NULL
);
2979 rettype
= init_type (TYPE_CODE_INT
, 4, TYPE_FLAG_UNSIGNED
,
2982 rettype
= init_type (TYPE_CODE_INT
, 4, TYPE_FLAG_UNSIGNED
,
2983 "unsigned long", NULL
);
2986 rettype
= init_type (TYPE_CODE_VOID
, 1, 0, "void", NULL
);
2989 /* IEEE single precision (32 bit). */
2990 rettype
= init_type (TYPE_CODE_FLT
, 4, 0, "float", NULL
);
2993 /* IEEE double precision (64 bit). */
2994 rettype
= init_type (TYPE_CODE_FLT
, 8, 0, "double", NULL
);
2997 /* This is an IEEE double on the RS/6000, and different machines with
2998 different sizes for "long double" should use different negative
2999 type numbers. See stabs.texinfo. */
3000 rettype
= init_type (TYPE_CODE_FLT
, 8, 0, "long double", NULL
);
3003 rettype
= init_type (TYPE_CODE_INT
, 4, 0, "integer", NULL
);
3006 rettype
= init_type (TYPE_CODE_BOOL
, 4, TYPE_FLAG_UNSIGNED
,
3010 rettype
= init_type (TYPE_CODE_FLT
, 4, 0, "short real", NULL
);
3013 rettype
= init_type (TYPE_CODE_FLT
, 8, 0, "real", NULL
);
3016 rettype
= init_type (TYPE_CODE_ERROR
, 0, 0, "stringptr", NULL
);
3019 rettype
= init_type (TYPE_CODE_CHAR
, 1, TYPE_FLAG_UNSIGNED
,
3023 rettype
= init_type (TYPE_CODE_BOOL
, 1, TYPE_FLAG_UNSIGNED
,
3027 rettype
= init_type (TYPE_CODE_BOOL
, 2, TYPE_FLAG_UNSIGNED
,
3031 rettype
= init_type (TYPE_CODE_BOOL
, 4, TYPE_FLAG_UNSIGNED
,
3035 rettype
= init_type (TYPE_CODE_BOOL
, 4, TYPE_FLAG_UNSIGNED
,
3039 /* Complex type consisting of two IEEE single precision values. */
3040 rettype
= init_type (TYPE_CODE_COMPLEX
, 8, 0, "complex", NULL
);
3041 TYPE_TARGET_TYPE (rettype
) = init_type (TYPE_CODE_FLT
, 4, 0, "float",
3045 /* Complex type consisting of two IEEE double precision values. */
3046 rettype
= init_type (TYPE_CODE_COMPLEX
, 16, 0, "double complex", NULL
);
3047 TYPE_TARGET_TYPE (rettype
) = init_type (TYPE_CODE_FLT
, 8, 0, "double",
3051 rettype
= init_type (TYPE_CODE_INT
, 1, 0, "integer*1", NULL
);
3054 rettype
= init_type (TYPE_CODE_INT
, 2, 0, "integer*2", NULL
);
3057 rettype
= init_type (TYPE_CODE_INT
, 4, 0, "integer*4", NULL
);
3060 rettype
= init_type (TYPE_CODE_CHAR
, 2, 0, "wchar", NULL
);
3063 rettype
= init_type (TYPE_CODE_INT
, 8, 0, "long long", NULL
);
3066 rettype
= init_type (TYPE_CODE_INT
, 8, TYPE_FLAG_UNSIGNED
,
3067 "unsigned long long", NULL
);
3070 rettype
= init_type (TYPE_CODE_INT
, 8, TYPE_FLAG_UNSIGNED
,
3074 rettype
= init_type (TYPE_CODE_INT
, 8, 0, "integer*8", NULL
);
3077 negative_types
[-typenum
] = rettype
;
3081 /* This page contains subroutines of read_type. */
3083 /* Read member function stabs info for C++ classes. The form of each member
3086 NAME :: TYPENUM[=type definition] ARGS : PHYSNAME ;
3088 An example with two member functions is:
3090 afunc1::20=##15;:i;2A.;afunc2::20:i;2A.;
3092 For the case of overloaded operators, the format is op$::*.funcs, where
3093 $ is the CPLUS_MARKER (usually '$'), `*' holds the place for an operator
3094 name (such as `+=') and `.' marks the end of the operator name.
3096 Returns 1 for success, 0 for failure. */
3099 read_member_functions (struct field_info
*fip
, char **pp
, struct type
*type
,
3100 struct objfile
*objfile
)
3104 /* Total number of member functions defined in this class. If the class
3105 defines two `f' functions, and one `g' function, then this will have
3107 int total_length
= 0;
3111 struct next_fnfield
*next
;
3112 struct fn_field fn_field
;
3115 struct type
*look_ahead_type
;
3116 struct next_fnfieldlist
*new_fnlist
;
3117 struct next_fnfield
*new_sublist
;
3121 /* Process each list until we find something that is not a member function
3122 or find the end of the functions. */
3126 /* We should be positioned at the start of the function name.
3127 Scan forward to find the first ':' and if it is not the
3128 first of a "::" delimiter, then this is not a member function. */
3140 look_ahead_type
= NULL
;
3143 new_fnlist
= (struct next_fnfieldlist
*)
3144 xmalloc (sizeof (struct next_fnfieldlist
));
3145 make_cleanup (xfree
, new_fnlist
);
3146 memset (new_fnlist
, 0, sizeof (struct next_fnfieldlist
));
3148 if ((*pp
)[0] == 'o' && (*pp
)[1] == 'p' && is_cplus_marker ((*pp
)[2]))
3150 /* This is a completely wierd case. In order to stuff in the
3151 names that might contain colons (the usual name delimiter),
3152 Mike Tiemann defined a different name format which is
3153 signalled if the identifier is "op$". In that case, the
3154 format is "op$::XXXX." where XXXX is the name. This is
3155 used for names like "+" or "=". YUUUUUUUK! FIXME! */
3156 /* This lets the user type "break operator+".
3157 We could just put in "+" as the name, but that wouldn't
3159 static char opname
[32] =
3160 {'o', 'p', CPLUS_MARKER
};
3161 char *o
= opname
+ 3;
3163 /* Skip past '::'. */
3166 STABS_CONTINUE (pp
, objfile
);
3172 main_fn_name
= savestring (opname
, o
- opname
);
3178 main_fn_name
= savestring (*pp
, p
- *pp
);
3179 /* Skip past '::'. */
3182 new_fnlist
->fn_fieldlist
.name
= main_fn_name
;
3187 (struct next_fnfield
*) xmalloc (sizeof (struct next_fnfield
));
3188 make_cleanup (xfree
, new_sublist
);
3189 memset (new_sublist
, 0, sizeof (struct next_fnfield
));
3191 /* Check for and handle cretinous dbx symbol name continuation! */
3192 if (look_ahead_type
== NULL
)
3195 STABS_CONTINUE (pp
, objfile
);
3197 new_sublist
->fn_field
.type
= read_type (pp
, objfile
);
3200 /* Invalid symtab info for member function. */
3206 /* g++ version 1 kludge */
3207 new_sublist
->fn_field
.type
= look_ahead_type
;
3208 look_ahead_type
= NULL
;
3218 /* If this is just a stub, then we don't have the real name here. */
3220 if (TYPE_STUB (new_sublist
->fn_field
.type
))
3222 if (!TYPE_DOMAIN_TYPE (new_sublist
->fn_field
.type
))
3223 TYPE_DOMAIN_TYPE (new_sublist
->fn_field
.type
) = type
;
3224 new_sublist
->fn_field
.is_stub
= 1;
3226 new_sublist
->fn_field
.physname
= savestring (*pp
, p
- *pp
);
3229 /* Set this member function's visibility fields. */
3232 case VISIBILITY_PRIVATE
:
3233 new_sublist
->fn_field
.is_private
= 1;
3235 case VISIBILITY_PROTECTED
:
3236 new_sublist
->fn_field
.is_protected
= 1;
3240 STABS_CONTINUE (pp
, objfile
);
3243 case 'A': /* Normal functions. */
3244 new_sublist
->fn_field
.is_const
= 0;
3245 new_sublist
->fn_field
.is_volatile
= 0;
3248 case 'B': /* `const' member functions. */
3249 new_sublist
->fn_field
.is_const
= 1;
3250 new_sublist
->fn_field
.is_volatile
= 0;
3253 case 'C': /* `volatile' member function. */
3254 new_sublist
->fn_field
.is_const
= 0;
3255 new_sublist
->fn_field
.is_volatile
= 1;
3258 case 'D': /* `const volatile' member function. */
3259 new_sublist
->fn_field
.is_const
= 1;
3260 new_sublist
->fn_field
.is_volatile
= 1;
3263 case '*': /* File compiled with g++ version 1 -- no info */
3268 complain (&const_vol_complaint
, **pp
);
3277 /* virtual member function, followed by index.
3278 The sign bit is set to distinguish pointers-to-methods
3279 from virtual function indicies. Since the array is
3280 in words, the quantity must be shifted left by 1
3281 on 16 bit machine, and by 2 on 32 bit machine, forcing
3282 the sign bit out, and usable as a valid index into
3283 the array. Remove the sign bit here. */
3284 new_sublist
->fn_field
.voffset
=
3285 (0x7fffffff & read_huge_number (pp
, ';', &nbits
)) + 2;
3289 STABS_CONTINUE (pp
, objfile
);
3290 if (**pp
== ';' || **pp
== '\0')
3292 /* Must be g++ version 1. */
3293 new_sublist
->fn_field
.fcontext
= 0;
3297 /* Figure out from whence this virtual function came.
3298 It may belong to virtual function table of
3299 one of its baseclasses. */
3300 look_ahead_type
= read_type (pp
, objfile
);
3303 /* g++ version 1 overloaded methods. */
3307 new_sublist
->fn_field
.fcontext
= look_ahead_type
;
3316 look_ahead_type
= NULL
;
3322 /* static member function. */
3324 int slen
= strlen (main_fn_name
);
3326 new_sublist
->fn_field
.voffset
= VOFFSET_STATIC
;
3328 /* For static member functions, we can't tell if they
3329 are stubbed, as they are put out as functions, and not as
3331 GCC v2 emits the fully mangled name if
3332 dbxout.c:flag_minimal_debug is not set, so we have to
3333 detect a fully mangled physname here and set is_stub
3334 accordingly. Fully mangled physnames in v2 start with
3335 the member function name, followed by two underscores.
3336 GCC v3 currently always emits stubbed member functions,
3337 but with fully mangled physnames, which start with _Z. */
3338 if (!(strncmp (new_sublist
->fn_field
.physname
,
3339 main_fn_name
, slen
) == 0
3340 && new_sublist
->fn_field
.physname
[slen
] == '_'
3341 && new_sublist
->fn_field
.physname
[slen
+ 1] == '_'))
3343 new_sublist
->fn_field
.is_stub
= 1;
3350 complain (&member_fn_complaint
, (*pp
)[-1]);
3351 /* Fall through into normal member function. */
3354 /* normal member function. */
3355 new_sublist
->fn_field
.voffset
= 0;
3356 new_sublist
->fn_field
.fcontext
= 0;
3360 new_sublist
->next
= sublist
;
3361 sublist
= new_sublist
;
3363 STABS_CONTINUE (pp
, objfile
);
3365 while (**pp
!= ';' && **pp
!= '\0');
3368 STABS_CONTINUE (pp
, objfile
);
3370 /* Skip GCC 3.X member functions which are duplicates of the callable
3371 constructor/destructor. */
3372 if (strcmp (main_fn_name
, "__base_ctor") == 0
3373 || strcmp (main_fn_name
, "__base_dtor") == 0
3374 || strcmp (main_fn_name
, "__deleting_dtor") == 0)
3376 xfree (main_fn_name
);
3380 new_fnlist
->fn_fieldlist
.fn_fields
= (struct fn_field
*)
3381 obstack_alloc (&objfile
->type_obstack
,
3382 sizeof (struct fn_field
) * length
);
3383 memset (new_fnlist
->fn_fieldlist
.fn_fields
, 0,
3384 sizeof (struct fn_field
) * length
);
3385 for (i
= length
; (i
--, sublist
); sublist
= sublist
->next
)
3387 new_fnlist
->fn_fieldlist
.fn_fields
[i
] = sublist
->fn_field
;
3390 new_fnlist
->fn_fieldlist
.length
= length
;
3391 new_fnlist
->next
= fip
->fnlist
;
3392 fip
->fnlist
= new_fnlist
;
3394 total_length
+= length
;
3400 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
3401 TYPE_FN_FIELDLISTS (type
) = (struct fn_fieldlist
*)
3402 TYPE_ALLOC (type
, sizeof (struct fn_fieldlist
) * nfn_fields
);
3403 memset (TYPE_FN_FIELDLISTS (type
), 0,
3404 sizeof (struct fn_fieldlist
) * nfn_fields
);
3405 TYPE_NFN_FIELDS (type
) = nfn_fields
;
3406 TYPE_NFN_FIELDS_TOTAL (type
) = total_length
;
3412 /* Special GNU C++ name.
3414 Returns 1 for success, 0 for failure. "failure" means that we can't
3415 keep parsing and it's time for error_type(). */
3418 read_cpp_abbrev (struct field_info
*fip
, char **pp
, struct type
*type
,
3419 struct objfile
*objfile
)
3424 struct type
*context
;
3434 /* At this point, *pp points to something like "22:23=*22...",
3435 where the type number before the ':' is the "context" and
3436 everything after is a regular type definition. Lookup the
3437 type, find it's name, and construct the field name. */
3439 context
= read_type (pp
, objfile
);
3443 case 'f': /* $vf -- a virtual function table pointer */
3444 name
= type_name_no_tag (context
);
3449 fip
->list
->field
.name
=
3450 obconcat (&objfile
->type_obstack
, vptr_name
, name
, "");
3453 case 'b': /* $vb -- a virtual bsomethingorother */
3454 name
= type_name_no_tag (context
);
3457 complain (&invalid_cpp_type_complaint
, symnum
);
3460 fip
->list
->field
.name
=
3461 obconcat (&objfile
->type_obstack
, vb_name
, name
, "");
3465 complain (&invalid_cpp_abbrev_complaint
, *pp
);
3466 fip
->list
->field
.name
=
3467 obconcat (&objfile
->type_obstack
,
3468 "INVALID_CPLUSPLUS_ABBREV", "", "");
3472 /* At this point, *pp points to the ':'. Skip it and read the
3478 complain (&invalid_cpp_abbrev_complaint
, *pp
);
3481 fip
->list
->field
.type
= read_type (pp
, objfile
);
3483 (*pp
)++; /* Skip the comma. */
3489 FIELD_BITPOS (fip
->list
->field
) = read_huge_number (pp
, ';', &nbits
);
3493 /* This field is unpacked. */
3494 FIELD_BITSIZE (fip
->list
->field
) = 0;
3495 fip
->list
->visibility
= VISIBILITY_PRIVATE
;
3499 complain (&invalid_cpp_abbrev_complaint
, *pp
);
3500 /* We have no idea what syntax an unrecognized abbrev would have, so
3501 better return 0. If we returned 1, we would need to at least advance
3502 *pp to avoid an infinite loop. */
3509 read_one_struct_field (struct field_info
*fip
, char **pp
, char *p
,
3510 struct type
*type
, struct objfile
*objfile
)
3512 /* The following is code to work around cfront generated stabs.
3513 The stabs contains full mangled name for each field.
3514 We try to demangle the name and extract the field name out of it.
3516 if (ARM_DEMANGLING
&& current_subfile
->language
== language_cplus
)
3522 dem
= cplus_demangle (*pp
, DMGL_ANSI
| DMGL_PARAMS
);
3525 dem_p
= strrchr (dem
, ':');
3526 if (dem_p
!= 0 && *(dem_p
- 1) == ':')
3528 FIELD_NAME (fip
->list
->field
) =
3529 obsavestring (dem_p
, strlen (dem_p
), &objfile
->type_obstack
);
3533 FIELD_NAME (fip
->list
->field
) =
3534 obsavestring (*pp
, p
- *pp
, &objfile
->type_obstack
);
3538 /* end of code for cfront work around */
3541 fip
->list
->field
.name
=
3542 obsavestring (*pp
, p
- *pp
, &objfile
->type_obstack
);
3545 /* This means we have a visibility for a field coming. */
3549 fip
->list
->visibility
= *(*pp
)++;
3553 /* normal dbx-style format, no explicit visibility */
3554 fip
->list
->visibility
= VISIBILITY_PUBLIC
;
3557 fip
->list
->field
.type
= read_type (pp
, objfile
);
3562 /* Possible future hook for nested types. */
3565 fip
->list
->field
.bitpos
= (long) -2; /* nested type */
3575 /* Static class member. */
3576 SET_FIELD_PHYSNAME (fip
->list
->field
, savestring (*pp
, p
- *pp
));
3580 else if (**pp
!= ',')
3582 /* Bad structure-type format. */
3583 complain (&stabs_general_complaint
, "bad structure-type format");
3587 (*pp
)++; /* Skip the comma. */
3591 FIELD_BITPOS (fip
->list
->field
) = read_huge_number (pp
, ',', &nbits
);
3594 complain (&stabs_general_complaint
, "bad structure-type format");
3597 FIELD_BITSIZE (fip
->list
->field
) = read_huge_number (pp
, ';', &nbits
);
3600 complain (&stabs_general_complaint
, "bad structure-type format");
3605 if (FIELD_BITPOS (fip
->list
->field
) == 0
3606 && FIELD_BITSIZE (fip
->list
->field
) == 0)
3608 /* This can happen in two cases: (1) at least for gcc 2.4.5 or so,
3609 it is a field which has been optimized out. The correct stab for
3610 this case is to use VISIBILITY_IGNORE, but that is a recent
3611 invention. (2) It is a 0-size array. For example
3612 union { int num; char str[0]; } foo. Printing "<no value>" for
3613 str in "p foo" is OK, since foo.str (and thus foo.str[3])
3614 will continue to work, and a 0-size array as a whole doesn't
3615 have any contents to print.
3617 I suspect this probably could also happen with gcc -gstabs (not
3618 -gstabs+) for static fields, and perhaps other C++ extensions.
3619 Hopefully few people use -gstabs with gdb, since it is intended
3620 for dbx compatibility. */
3622 /* Ignore this field. */
3623 fip
->list
->visibility
= VISIBILITY_IGNORE
;
3627 /* Detect an unpacked field and mark it as such.
3628 dbx gives a bit size for all fields.
3629 Note that forward refs cannot be packed,
3630 and treat enums as if they had the width of ints. */
3632 struct type
*field_type
= check_typedef (FIELD_TYPE (fip
->list
->field
));
3634 if (TYPE_CODE (field_type
) != TYPE_CODE_INT
3635 && TYPE_CODE (field_type
) != TYPE_CODE_RANGE
3636 && TYPE_CODE (field_type
) != TYPE_CODE_BOOL
3637 && TYPE_CODE (field_type
) != TYPE_CODE_ENUM
)
3639 FIELD_BITSIZE (fip
->list
->field
) = 0;
3641 if ((FIELD_BITSIZE (fip
->list
->field
)
3642 == TARGET_CHAR_BIT
* TYPE_LENGTH (field_type
)
3643 || (TYPE_CODE (field_type
) == TYPE_CODE_ENUM
3644 && FIELD_BITSIZE (fip
->list
->field
) == TARGET_INT_BIT
)
3647 FIELD_BITPOS (fip
->list
->field
) % 8 == 0)
3649 FIELD_BITSIZE (fip
->list
->field
) = 0;
3655 /* Read struct or class data fields. They have the form:
3657 NAME : [VISIBILITY] TYPENUM , BITPOS , BITSIZE ;
3659 At the end, we see a semicolon instead of a field.
3661 In C++, this may wind up being NAME:?TYPENUM:PHYSNAME; for
3664 The optional VISIBILITY is one of:
3666 '/0' (VISIBILITY_PRIVATE)
3667 '/1' (VISIBILITY_PROTECTED)
3668 '/2' (VISIBILITY_PUBLIC)
3669 '/9' (VISIBILITY_IGNORE)
3671 or nothing, for C style fields with public visibility.
3673 Returns 1 for success, 0 for failure. */
3676 read_struct_fields (struct field_info
*fip
, char **pp
, struct type
*type
,
3677 struct objfile
*objfile
)
3680 struct nextfield
*new;
3682 /* We better set p right now, in case there are no fields at all... */
3686 /* Read each data member type until we find the terminating ';' at the end of
3687 the data member list, or break for some other reason such as finding the
3688 start of the member function list. */
3689 /* Stab string for structure/union does not end with two ';' in
3690 SUN C compiler 5.3 i.e. F6U2, hence check for end of string. */
3692 while (**pp
!= ';' && **pp
!= '\0')
3694 #if 0 /* OBSOLETE OS9K */
3695 // OBSOLETE if (os9k_stabs && **pp == ',')
3697 #endif /* OBSOLETE OS9K */
3698 STABS_CONTINUE (pp
, objfile
);
3699 /* Get space to record the next field's data. */
3700 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
3701 make_cleanup (xfree
, new);
3702 memset (new, 0, sizeof (struct nextfield
));
3703 new->next
= fip
->list
;
3706 /* Get the field name. */
3709 /* If is starts with CPLUS_MARKER it is a special abbreviation,
3710 unless the CPLUS_MARKER is followed by an underscore, in
3711 which case it is just the name of an anonymous type, which we
3712 should handle like any other type name. */
3714 if (is_cplus_marker (p
[0]) && p
[1] != '_')
3716 if (!read_cpp_abbrev (fip
, pp
, type
, objfile
))
3721 /* Look for the ':' that separates the field name from the field
3722 values. Data members are delimited by a single ':', while member
3723 functions are delimited by a pair of ':'s. When we hit the member
3724 functions (if any), terminate scan loop and return. */
3726 while (*p
!= ':' && *p
!= '\0')
3733 /* Check to see if we have hit the member functions yet. */
3738 read_one_struct_field (fip
, pp
, p
, type
, objfile
);
3740 if (p
[0] == ':' && p
[1] == ':')
3742 /* chill the list of fields: the last entry (at the head) is a
3743 partially constructed entry which we now scrub. */
3744 fip
->list
= fip
->list
->next
;
3749 /* The stabs for C++ derived classes contain baseclass information which
3750 is marked by a '!' character after the total size. This function is
3751 called when we encounter the baseclass marker, and slurps up all the
3752 baseclass information.
3754 Immediately following the '!' marker is the number of base classes that
3755 the class is derived from, followed by information for each base class.
3756 For each base class, there are two visibility specifiers, a bit offset
3757 to the base class information within the derived class, a reference to
3758 the type for the base class, and a terminating semicolon.
3760 A typical example, with two base classes, would be "!2,020,19;0264,21;".
3762 Baseclass information marker __________________|| | | | | | |
3763 Number of baseclasses __________________________| | | | | | |
3764 Visibility specifiers (2) ________________________| | | | | |
3765 Offset in bits from start of class _________________| | | | |
3766 Type number for base class ___________________________| | | |
3767 Visibility specifiers (2) _______________________________| | |
3768 Offset in bits from start of class ________________________| |
3769 Type number of base class ____________________________________|
3771 Return 1 for success, 0 for (error-type-inducing) failure. */
3777 read_baseclasses (struct field_info
*fip
, char **pp
, struct type
*type
,
3778 struct objfile
*objfile
)
3781 struct nextfield
*new;
3789 /* Skip the '!' baseclass information marker. */
3793 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
3796 TYPE_N_BASECLASSES (type
) = read_huge_number (pp
, ',', &nbits
);
3802 /* Some stupid compilers have trouble with the following, so break
3803 it up into simpler expressions. */
3804 TYPE_FIELD_VIRTUAL_BITS (type
) = (B_TYPE
*)
3805 TYPE_ALLOC (type
, B_BYTES (TYPE_N_BASECLASSES (type
)));
3808 int num_bytes
= B_BYTES (TYPE_N_BASECLASSES (type
));
3811 pointer
= (char *) TYPE_ALLOC (type
, num_bytes
);
3812 TYPE_FIELD_VIRTUAL_BITS (type
) = (B_TYPE
*) pointer
;
3816 B_CLRALL (TYPE_FIELD_VIRTUAL_BITS (type
), TYPE_N_BASECLASSES (type
));
3818 for (i
= 0; i
< TYPE_N_BASECLASSES (type
); i
++)
3820 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
3821 make_cleanup (xfree
, new);
3822 memset (new, 0, sizeof (struct nextfield
));
3823 new->next
= fip
->list
;
3825 FIELD_BITSIZE (new->field
) = 0; /* this should be an unpacked field! */
3827 STABS_CONTINUE (pp
, objfile
);
3831 /* Nothing to do. */
3834 SET_TYPE_FIELD_VIRTUAL (type
, i
);
3837 /* Unknown character. Complain and treat it as non-virtual. */
3839 static struct complaint msg
=
3841 "Unknown virtual character `%c' for baseclass", 0, 0};
3842 complain (&msg
, **pp
);
3847 new->visibility
= *(*pp
)++;
3848 switch (new->visibility
)
3850 case VISIBILITY_PRIVATE
:
3851 case VISIBILITY_PROTECTED
:
3852 case VISIBILITY_PUBLIC
:
3855 /* Bad visibility format. Complain and treat it as
3858 static struct complaint msg
=
3860 "Unknown visibility `%c' for baseclass", 0, 0
3862 complain (&msg
, new->visibility
);
3863 new->visibility
= VISIBILITY_PUBLIC
;
3870 /* The remaining value is the bit offset of the portion of the object
3871 corresponding to this baseclass. Always zero in the absence of
3872 multiple inheritance. */
3874 FIELD_BITPOS (new->field
) = read_huge_number (pp
, ',', &nbits
);
3879 /* The last piece of baseclass information is the type of the
3880 base class. Read it, and remember it's type name as this
3883 new->field
.type
= read_type (pp
, objfile
);
3884 new->field
.name
= type_name_no_tag (new->field
.type
);
3886 /* skip trailing ';' and bump count of number of fields seen */
3895 /* The tail end of stabs for C++ classes that contain a virtual function
3896 pointer contains a tilde, a %, and a type number.
3897 The type number refers to the base class (possibly this class itself) which
3898 contains the vtable pointer for the current class.
3900 This function is called when we have parsed all the method declarations,
3901 so we can look for the vptr base class info. */
3904 read_tilde_fields (struct field_info
*fip
, char **pp
, struct type
*type
,
3905 struct objfile
*objfile
)
3909 STABS_CONTINUE (pp
, objfile
);
3911 /* If we are positioned at a ';', then skip it. */
3921 if (**pp
== '=' || **pp
== '+' || **pp
== '-')
3923 /* Obsolete flags that used to indicate the presence
3924 of constructors and/or destructors. */
3928 /* Read either a '%' or the final ';'. */
3929 if (*(*pp
)++ == '%')
3931 /* The next number is the type number of the base class
3932 (possibly our own class) which supplies the vtable for
3933 this class. Parse it out, and search that class to find
3934 its vtable pointer, and install those into TYPE_VPTR_BASETYPE
3935 and TYPE_VPTR_FIELDNO. */
3940 t
= read_type (pp
, objfile
);
3942 while (*p
!= '\0' && *p
!= ';')
3948 /* Premature end of symbol. */
3952 TYPE_VPTR_BASETYPE (type
) = t
;
3953 if (type
== t
) /* Our own class provides vtbl ptr */
3955 for (i
= TYPE_NFIELDS (t
) - 1;
3956 i
>= TYPE_N_BASECLASSES (t
);
3959 if (!strncmp (TYPE_FIELD_NAME (t
, i
), vptr_name
,
3960 sizeof (vptr_name
) - 1))
3962 TYPE_VPTR_FIELDNO (type
) = i
;
3966 /* Virtual function table field not found. */
3967 complain (&vtbl_notfound_complaint
, TYPE_NAME (type
));
3972 TYPE_VPTR_FIELDNO (type
) = TYPE_VPTR_FIELDNO (t
);
3983 attach_fn_fields_to_type (struct field_info
*fip
, register struct type
*type
)
3987 for (n
= TYPE_NFN_FIELDS (type
);
3988 fip
->fnlist
!= NULL
;
3989 fip
->fnlist
= fip
->fnlist
->next
)
3991 --n
; /* Circumvent Sun3 compiler bug */
3992 TYPE_FN_FIELDLISTS (type
)[n
] = fip
->fnlist
->fn_fieldlist
;
3997 /* read cfront class static data.
3998 pp points to string starting with the list of static data
3999 eg: A:ZcA;1@Bpub v2@Bvirpri;__ct__1AFv func__1AFv *sfunc__1AFv ;as__1A ;;
4002 A:ZcA;;foopri__1AFv foopro__1AFv __ct__1AFv __ct__1AFRC1A foopub__1AFv ;;;
4007 read_cfront_static_fields (struct field_info
*fip
, char **pp
, struct type
*type
,
4008 struct objfile
*objfile
)
4010 struct nextfield
*new;
4013 struct symbol
*ref_static
= 0;
4015 if (**pp
== ';') /* no static data; return */
4021 /* Process each field in the list until we find the terminating ";" */
4023 /* eg: p = "as__1A ;;;" */
4024 STABS_CONTINUE (pp
, objfile
); /* handle \\ */
4025 while (**pp
!= ';' && (sname
= get_substring (pp
, ' '), sname
))
4027 ref_static
= lookup_symbol (sname
, 0, VAR_NAMESPACE
, 0, 0); /*demangled_name */
4030 static struct complaint msg
=
4032 Unable to find symbol for static data field %s\n",
4034 complain (&msg
, sname
);
4037 stype
= SYMBOL_TYPE (ref_static
);
4039 /* allocate a new fip */
4040 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
4041 make_cleanup (xfree
, new);
4042 memset (new, 0, sizeof (struct nextfield
));
4043 new->next
= fip
->list
;
4046 /* set visibility */
4047 /* FIXME! no way to tell visibility from stabs??? */
4048 new->visibility
= VISIBILITY_PUBLIC
;
4050 /* set field info into fip */
4051 fip
->list
->field
.type
= stype
;
4053 /* set bitpos & bitsize */
4054 SET_FIELD_PHYSNAME (fip
->list
->field
, savestring (sname
, strlen (sname
)));
4056 /* set name field */
4057 /* The following is code to work around cfront generated stabs.
4058 The stabs contains full mangled name for each field.
4059 We try to demangle the name and extract the field name out of it.
4064 dem
= cplus_demangle (sname
, DMGL_ANSI
| DMGL_PARAMS
);
4067 dem_p
= strrchr (dem
, ':');
4068 if (dem_p
!= 0 && *(dem_p
- 1) == ':')
4070 fip
->list
->field
.name
=
4071 obsavestring (dem_p
, strlen (dem_p
), &objfile
->type_obstack
);
4075 fip
->list
->field
.name
=
4076 obsavestring (sname
, strlen (sname
), &objfile
->type_obstack
);
4078 } /* end of code for cfront work around */
4079 } /* loop again for next static field */
4083 /* Copy structure fields to fip so attach_fields_to_type will work.
4084 type has already been created with the initial instance data fields.
4085 Now we want to be able to add the other members to the class,
4086 so we want to add them back to the fip and reattach them again
4087 once we have collected all the class members. */
4090 copy_cfront_struct_fields (struct field_info
*fip
, struct type
*type
,
4091 struct objfile
*objfile
)
4093 int nfields
= TYPE_NFIELDS (type
);
4095 struct nextfield
*new;
4097 /* Copy the fields into the list of fips and reset the types
4098 to remove the old fields */
4100 for (i
= 0; i
< nfields
; i
++)
4102 /* allocate a new fip */
4103 new = (struct nextfield
*) xmalloc (sizeof (struct nextfield
));
4104 make_cleanup (xfree
, new);
4105 memset (new, 0, sizeof (struct nextfield
));
4106 new->next
= fip
->list
;
4109 /* copy field info into fip */
4110 new->field
= TYPE_FIELD (type
, i
);
4111 /* set visibility */
4112 if (TYPE_FIELD_PROTECTED (type
, i
))
4113 new->visibility
= VISIBILITY_PROTECTED
;
4114 else if (TYPE_FIELD_PRIVATE (type
, i
))
4115 new->visibility
= VISIBILITY_PRIVATE
;
4117 new->visibility
= VISIBILITY_PUBLIC
;
4119 /* Now delete the fields from the type since we will be
4120 allocing new space once we get the rest of the fields
4121 in attach_fields_to_type.
4122 The pointer TYPE_FIELDS(type) is left dangling but should
4123 be freed later by objstack_free */
4124 TYPE_FIELDS (type
) = 0;
4125 TYPE_NFIELDS (type
) = 0;
4130 /* Create the vector of fields, and record how big it is.
4131 We need this info to record proper virtual function table information
4132 for this class's virtual functions. */
4135 attach_fields_to_type (struct field_info
*fip
, register struct type
*type
,
4136 struct objfile
*objfile
)
4138 register int nfields
= 0;
4139 register int non_public_fields
= 0;
4140 register struct nextfield
*scan
;
4142 /* Count up the number of fields that we have, as well as taking note of
4143 whether or not there are any non-public fields, which requires us to
4144 allocate and build the private_field_bits and protected_field_bits
4147 for (scan
= fip
->list
; scan
!= NULL
; scan
= scan
->next
)
4150 if (scan
->visibility
!= VISIBILITY_PUBLIC
)
4152 non_public_fields
++;
4156 /* Now we know how many fields there are, and whether or not there are any
4157 non-public fields. Record the field count, allocate space for the
4158 array of fields, and create blank visibility bitfields if necessary. */
4160 TYPE_NFIELDS (type
) = nfields
;
4161 TYPE_FIELDS (type
) = (struct field
*)
4162 TYPE_ALLOC (type
, sizeof (struct field
) * nfields
);
4163 memset (TYPE_FIELDS (type
), 0, sizeof (struct field
) * nfields
);
4165 if (non_public_fields
)
4167 ALLOCATE_CPLUS_STRUCT_TYPE (type
);
4169 TYPE_FIELD_PRIVATE_BITS (type
) =
4170 (B_TYPE
*) TYPE_ALLOC (type
, B_BYTES (nfields
));
4171 B_CLRALL (TYPE_FIELD_PRIVATE_BITS (type
), nfields
);
4173 TYPE_FIELD_PROTECTED_BITS (type
) =
4174 (B_TYPE
*) TYPE_ALLOC (type
, B_BYTES (nfields
));
4175 B_CLRALL (TYPE_FIELD_PROTECTED_BITS (type
), nfields
);
4177 TYPE_FIELD_IGNORE_BITS (type
) =
4178 (B_TYPE
*) TYPE_ALLOC (type
, B_BYTES (nfields
));
4179 B_CLRALL (TYPE_FIELD_IGNORE_BITS (type
), nfields
);
4182 /* Copy the saved-up fields into the field vector. Start from the head
4183 of the list, adding to the tail of the field array, so that they end
4184 up in the same order in the array in which they were added to the list. */
4186 while (nfields
-- > 0)
4188 TYPE_FIELD (type
, nfields
) = fip
->list
->field
;
4189 switch (fip
->list
->visibility
)
4191 case VISIBILITY_PRIVATE
:
4192 SET_TYPE_FIELD_PRIVATE (type
, nfields
);
4195 case VISIBILITY_PROTECTED
:
4196 SET_TYPE_FIELD_PROTECTED (type
, nfields
);
4199 case VISIBILITY_IGNORE
:
4200 SET_TYPE_FIELD_IGNORE (type
, nfields
);
4203 case VISIBILITY_PUBLIC
:
4207 /* Unknown visibility. Complain and treat it as public. */
4209 static struct complaint msg
=
4211 "Unknown visibility `%c' for field", 0, 0};
4212 complain (&msg
, fip
->list
->visibility
);
4216 fip
->list
= fip
->list
->next
;
4222 static struct complaint multiply_defined_struct
=
4223 {"struct/union type gets multiply defined: %s%s", 0, 0};
4226 /* Complain that the compiler has emitted more than one definition for the
4227 structure type TYPE. */
4229 complain_about_struct_wipeout (struct type
*type
)
4234 if (TYPE_TAG_NAME (type
))
4236 name
= TYPE_TAG_NAME (type
);
4237 switch (TYPE_CODE (type
))
4239 case TYPE_CODE_STRUCT
: kind
= "struct "; break;
4240 case TYPE_CODE_UNION
: kind
= "union "; break;
4241 case TYPE_CODE_ENUM
: kind
= "enum "; break;
4245 else if (TYPE_NAME (type
))
4247 name
= TYPE_NAME (type
);
4256 complain (&multiply_defined_struct
, kind
, name
);
4260 /* Read the description of a structure (or union type) and return an object
4261 describing the type.
4263 PP points to a character pointer that points to the next unconsumed token
4264 in the the stabs string. For example, given stabs "A:T4=s4a:1,0,32;;",
4265 *PP will point to "4a:1,0,32;;".
4267 TYPE points to an incomplete type that needs to be filled in.
4269 OBJFILE points to the current objfile from which the stabs information is
4270 being read. (Note that it is redundant in that TYPE also contains a pointer
4271 to this same objfile, so it might be a good idea to eliminate it. FIXME).
4274 static struct type
*
4275 read_struct_type (char **pp
, struct type
*type
, enum type_code type_code
,
4276 struct objfile
*objfile
)
4278 struct cleanup
*back_to
;
4279 struct field_info fi
;
4284 /* When describing struct/union/class types in stabs, G++ always drops
4285 all qualifications from the name. So if you've got:
4286 struct A { ... struct B { ... }; ... };
4287 then G++ will emit stabs for `struct A::B' that call it simply
4288 `struct B'. Obviously, if you've got a real top-level definition for
4289 `struct B', or other nested definitions, this is going to cause
4292 Obviously, GDB can't fix this by itself, but it can at least avoid
4293 scribbling on existing structure type objects when new definitions
4295 if (! (TYPE_CODE (type
) == TYPE_CODE_UNDEF
4296 || TYPE_STUB (type
)))
4298 complain_about_struct_wipeout (type
);
4300 /* It's probably best to return the type unchanged. */
4304 back_to
= make_cleanup (null_cleanup
, 0);
4306 INIT_CPLUS_SPECIFIC (type
);
4307 TYPE_CODE (type
) = type_code
;
4308 TYPE_FLAGS (type
) &= ~TYPE_FLAG_STUB
;
4310 /* First comes the total size in bytes. */
4314 TYPE_LENGTH (type
) = read_huge_number (pp
, 0, &nbits
);
4316 return error_type (pp
, objfile
);
4319 /* Now read the baseclasses, if any, read the regular C struct or C++
4320 class member fields, attach the fields to the type, read the C++
4321 member functions, attach them to the type, and then read any tilde
4322 field (baseclass specifier for the class holding the main vtable). */
4324 if (!read_baseclasses (&fi
, pp
, type
, objfile
)
4325 || !read_struct_fields (&fi
, pp
, type
, objfile
)
4326 || !attach_fields_to_type (&fi
, type
, objfile
)
4327 || !read_member_functions (&fi
, pp
, type
, objfile
)
4328 || !attach_fn_fields_to_type (&fi
, type
)
4329 || !read_tilde_fields (&fi
, pp
, type
, objfile
))
4331 type
= error_type (pp
, objfile
);
4334 do_cleanups (back_to
);
4338 /* Read a definition of an array type,
4339 and create and return a suitable type object.
4340 Also creates a range type which represents the bounds of that
4343 static struct type
*
4344 read_array_type (register char **pp
, register struct type
*type
,
4345 struct objfile
*objfile
)
4347 struct type
*index_type
, *element_type
, *range_type
;
4352 /* Format of an array type:
4353 "ar<index type>;lower;upper;<array_contents_type>".
4354 OS9000: "arlower,upper;<array_contents_type>".
4356 Fortran adjustable arrays use Adigits or Tdigits for lower or upper;
4357 for these, produce a type like float[][]. */
4359 #if 0 /* OBSOLETE OS9K */
4360 // OBSOLETE if (os9k_stabs)
4361 // OBSOLETE index_type = builtin_type_int;
4363 #endif /* OBSOLETE OS9K */
4365 index_type
= read_type (pp
, objfile
);
4367 /* Improper format of array type decl. */
4368 return error_type (pp
, objfile
);
4372 if (!(**pp
>= '0' && **pp
<= '9') && **pp
!= '-')
4377 #if 0 /* OBSOLETE OS9K */
4378 // OBSOLETE lower = read_huge_number (pp, os9k_stabs ? ',' : ';', &nbits);
4379 #else /* OBSOLETE OS9K */
4380 lower
= read_huge_number (pp
, ';', &nbits
);
4381 #endif /* OBSOLETE OS9K */
4384 return error_type (pp
, objfile
);
4386 if (!(**pp
>= '0' && **pp
<= '9') && **pp
!= '-')
4391 upper
= read_huge_number (pp
, ';', &nbits
);
4393 return error_type (pp
, objfile
);
4395 element_type
= read_type (pp
, objfile
);
4404 create_range_type ((struct type
*) NULL
, index_type
, lower
, upper
);
4405 type
= create_array_type (type
, element_type
, range_type
);
4411 /* Read a definition of an enumeration type,
4412 and create and return a suitable type object.
4413 Also defines the symbols that represent the values of the type. */
4415 static struct type
*
4416 read_enum_type (register char **pp
, register struct type
*type
,
4417 struct objfile
*objfile
)
4422 register struct symbol
*sym
;
4424 struct pending
**symlist
;
4425 struct pending
*osyms
, *syms
;
4428 int unsigned_enum
= 1;
4431 /* FIXME! The stabs produced by Sun CC merrily define things that ought
4432 to be file-scope, between N_FN entries, using N_LSYM. What's a mother
4433 to do? For now, force all enum values to file scope. */
4434 if (within_function
)
4435 symlist
= &local_symbols
;
4438 symlist
= &file_symbols
;
4440 o_nsyms
= osyms
? osyms
->nsyms
: 0;
4442 #if 0 /* OBSOLETE OS9K */
4443 // OBSOLETE if (os9k_stabs)
4445 // OBSOLETE /* Size. Perhaps this does not have to be conditionalized on
4446 // OBSOLETE os9k_stabs (assuming the name of an enum constant can't start
4447 // OBSOLETE with a digit). */
4448 // OBSOLETE read_huge_number (pp, 0, &nbits);
4449 // OBSOLETE if (nbits != 0)
4450 // OBSOLETE return error_type (pp, objfile);
4452 #endif /* OBSOLETE OS9K */
4454 /* The aix4 compiler emits an extra field before the enum members;
4455 my guess is it's a type of some sort. Just ignore it. */
4458 /* Skip over the type. */
4462 /* Skip over the colon. */
4466 /* Read the value-names and their values.
4467 The input syntax is NAME:VALUE,NAME:VALUE, and so on.
4468 A semicolon or comma instead of a NAME means the end. */
4469 while (**pp
&& **pp
!= ';' && **pp
!= ',')
4471 STABS_CONTINUE (pp
, objfile
);
4475 name
= obsavestring (*pp
, p
- *pp
, &objfile
->symbol_obstack
);
4477 n
= read_huge_number (pp
, ',', &nbits
);
4479 return error_type (pp
, objfile
);
4481 sym
= (struct symbol
*)
4482 obstack_alloc (&objfile
->symbol_obstack
, sizeof (struct symbol
));
4483 memset (sym
, 0, sizeof (struct symbol
));
4484 SYMBOL_NAME (sym
) = name
;
4485 SYMBOL_LANGUAGE (sym
) = current_subfile
->language
;
4486 SYMBOL_CLASS (sym
) = LOC_CONST
;
4487 SYMBOL_NAMESPACE (sym
) = VAR_NAMESPACE
;
4488 SYMBOL_VALUE (sym
) = n
;
4491 add_symbol_to_list (sym
, symlist
);
4496 (*pp
)++; /* Skip the semicolon. */
4498 /* Now fill in the fields of the type-structure. */
4500 TYPE_LENGTH (type
) = TARGET_INT_BIT
/ HOST_CHAR_BIT
;
4501 TYPE_CODE (type
) = TYPE_CODE_ENUM
;
4502 TYPE_FLAGS (type
) &= ~TYPE_FLAG_STUB
;
4504 TYPE_FLAGS (type
) |= TYPE_FLAG_UNSIGNED
;
4505 TYPE_NFIELDS (type
) = nsyms
;
4506 TYPE_FIELDS (type
) = (struct field
*)
4507 TYPE_ALLOC (type
, sizeof (struct field
) * nsyms
);
4508 memset (TYPE_FIELDS (type
), 0, sizeof (struct field
) * nsyms
);
4510 /* Find the symbols for the values and put them into the type.
4511 The symbols can be found in the symlist that we put them on
4512 to cause them to be defined. osyms contains the old value
4513 of that symlist; everything up to there was defined by us. */
4514 /* Note that we preserve the order of the enum constants, so
4515 that in something like "enum {FOO, LAST_THING=FOO}" we print
4516 FOO, not LAST_THING. */
4518 for (syms
= *symlist
, n
= nsyms
- 1; syms
; syms
= syms
->next
)
4520 int last
= syms
== osyms
? o_nsyms
: 0;
4521 int j
= syms
->nsyms
;
4522 for (; --j
>= last
; --n
)
4524 struct symbol
*xsym
= syms
->symbol
[j
];
4525 SYMBOL_TYPE (xsym
) = type
;
4526 TYPE_FIELD_NAME (type
, n
) = SYMBOL_NAME (xsym
);
4527 TYPE_FIELD_BITPOS (type
, n
) = SYMBOL_VALUE (xsym
);
4528 TYPE_FIELD_BITSIZE (type
, n
) = 0;
4537 /* Sun's ACC uses a somewhat saner method for specifying the builtin
4538 typedefs in every file (for int, long, etc):
4540 type = b <signed> <width> <format type>; <offset>; <nbits>
4542 optional format type = c or b for char or boolean.
4543 offset = offset from high order bit to start bit of type.
4544 width is # bytes in object of this type, nbits is # bits in type.
4546 The width/offset stuff appears to be for small objects stored in
4547 larger ones (e.g. `shorts' in `int' registers). We ignore it for now,
4550 static struct type
*
4551 read_sun_builtin_type (char **pp
, int typenums
[2], struct objfile
*objfile
)
4556 enum type_code code
= TYPE_CODE_INT
;
4567 return error_type (pp
, objfile
);
4571 /* For some odd reason, all forms of char put a c here. This is strange
4572 because no other type has this honor. We can safely ignore this because
4573 we actually determine 'char'acterness by the number of bits specified in
4575 Boolean forms, e.g Fortran logical*X, put a b here. */
4579 else if (**pp
== 'b')
4581 code
= TYPE_CODE_BOOL
;
4585 /* The first number appears to be the number of bytes occupied
4586 by this type, except that unsigned short is 4 instead of 2.
4587 Since this information is redundant with the third number,
4588 we will ignore it. */
4589 read_huge_number (pp
, ';', &nbits
);
4591 return error_type (pp
, objfile
);
4593 /* The second number is always 0, so ignore it too. */
4594 read_huge_number (pp
, ';', &nbits
);
4596 return error_type (pp
, objfile
);
4598 /* The third number is the number of bits for this type. */
4599 type_bits
= read_huge_number (pp
, 0, &nbits
);
4601 return error_type (pp
, objfile
);
4602 /* The type *should* end with a semicolon. If it are embedded
4603 in a larger type the semicolon may be the only way to know where
4604 the type ends. If this type is at the end of the stabstring we
4605 can deal with the omitted semicolon (but we don't have to like
4606 it). Don't bother to complain(), Sun's compiler omits the semicolon
4612 return init_type (TYPE_CODE_VOID
, 1,
4613 signed_type
? 0 : TYPE_FLAG_UNSIGNED
, (char *) NULL
,
4616 return init_type (code
,
4617 type_bits
/ TARGET_CHAR_BIT
,
4618 signed_type
? 0 : TYPE_FLAG_UNSIGNED
, (char *) NULL
,
4622 static struct type
*
4623 read_sun_floating_type (char **pp
, int typenums
[2], struct objfile
*objfile
)
4628 struct type
*rettype
;
4630 /* The first number has more details about the type, for example
4632 details
= read_huge_number (pp
, ';', &nbits
);
4634 return error_type (pp
, objfile
);
4636 /* The second number is the number of bytes occupied by this type */
4637 nbytes
= read_huge_number (pp
, ';', &nbits
);
4639 return error_type (pp
, objfile
);
4641 if (details
== NF_COMPLEX
|| details
== NF_COMPLEX16
4642 || details
== NF_COMPLEX32
)
4644 rettype
= init_type (TYPE_CODE_COMPLEX
, nbytes
, 0, NULL
, objfile
);
4645 TYPE_TARGET_TYPE (rettype
)
4646 = init_type (TYPE_CODE_FLT
, nbytes
/ 2, 0, NULL
, objfile
);
4650 return init_type (TYPE_CODE_FLT
, nbytes
, 0, NULL
, objfile
);
4653 /* Read a number from the string pointed to by *PP.
4654 The value of *PP is advanced over the number.
4655 If END is nonzero, the character that ends the
4656 number must match END, or an error happens;
4657 and that character is skipped if it does match.
4658 If END is zero, *PP is left pointing to that character.
4660 If the number fits in a long, set *BITS to 0 and return the value.
4661 If not, set *BITS to be the number of bits in the number and return 0.
4663 If encounter garbage, set *BITS to -1 and return 0. */
4666 read_huge_number (char **pp
, int end
, int *bits
)
4683 /* Leading zero means octal. GCC uses this to output values larger
4684 than an int (because that would be hard in decimal). */
4691 #if 0 /* OBSOLETE OS9K */
4692 // OBSOLETE if (os9k_stabs)
4693 // OBSOLETE upper_limit = ULONG_MAX / radix;
4695 #endif /* OBSOLETE OS9K */
4696 upper_limit
= LONG_MAX
/ radix
;
4698 while ((c
= *p
++) >= '0' && c
< ('0' + radix
))
4700 if (n
<= upper_limit
)
4703 n
+= c
- '0'; /* FIXME this overflows anyway */
4708 /* This depends on large values being output in octal, which is
4715 /* Ignore leading zeroes. */
4719 else if (c
== '2' || c
== '3')
4745 /* Large decimal constants are an error (because it is hard to
4746 count how many bits are in them). */
4752 /* -0x7f is the same as 0x80. So deal with it by adding one to
4753 the number of bits. */
4765 /* It's *BITS which has the interesting information. */
4769 static struct type
*
4770 read_range_type (char **pp
, int typenums
[2], struct objfile
*objfile
)
4772 char *orig_pp
= *pp
;
4777 struct type
*result_type
;
4778 struct type
*index_type
= NULL
;
4780 /* First comes a type we are a subrange of.
4781 In C it is usually 0, 1 or the type being defined. */
4782 if (read_type_number (pp
, rangenums
) != 0)
4783 return error_type (pp
, objfile
);
4784 self_subrange
= (rangenums
[0] == typenums
[0] &&
4785 rangenums
[1] == typenums
[1]);
4790 index_type
= read_type (pp
, objfile
);
4793 /* A semicolon should now follow; skip it. */
4797 /* The remaining two operands are usually lower and upper bounds
4798 of the range. But in some special cases they mean something else. */
4799 n2
= read_huge_number (pp
, ';', &n2bits
);
4800 n3
= read_huge_number (pp
, ';', &n3bits
);
4802 if (n2bits
== -1 || n3bits
== -1)
4803 return error_type (pp
, objfile
);
4806 goto handle_true_range
;
4808 /* If limits are huge, must be large integral type. */
4809 if (n2bits
!= 0 || n3bits
!= 0)
4811 char got_signed
= 0;
4812 char got_unsigned
= 0;
4813 /* Number of bits in the type. */
4816 /* Range from 0 to <large number> is an unsigned large integral type. */
4817 if ((n2bits
== 0 && n2
== 0) && n3bits
!= 0)
4822 /* Range from <large number> to <large number>-1 is a large signed
4823 integral type. Take care of the case where <large number> doesn't
4824 fit in a long but <large number>-1 does. */
4825 else if ((n2bits
!= 0 && n3bits
!= 0 && n2bits
== n3bits
+ 1)
4826 || (n2bits
!= 0 && n3bits
== 0
4827 && (n2bits
== sizeof (long) * HOST_CHAR_BIT
)
4834 if (got_signed
|| got_unsigned
)
4836 return init_type (TYPE_CODE_INT
, nbits
/ TARGET_CHAR_BIT
,
4837 got_unsigned
? TYPE_FLAG_UNSIGNED
: 0, NULL
,
4841 return error_type (pp
, objfile
);
4844 /* A type defined as a subrange of itself, with bounds both 0, is void. */
4845 if (self_subrange
&& n2
== 0 && n3
== 0)
4846 return init_type (TYPE_CODE_VOID
, 1, 0, NULL
, objfile
);
4848 /* If n3 is zero and n2 is positive, we want a floating type, and n2
4849 is the width in bytes.
4851 Fortran programs appear to use this for complex types also. To
4852 distinguish between floats and complex, g77 (and others?) seem
4853 to use self-subranges for the complexes, and subranges of int for
4856 Also note that for complexes, g77 sets n2 to the size of one of
4857 the member floats, not the whole complex beast. My guess is that
4858 this was to work well with pre-COMPLEX versions of gdb. */
4860 if (n3
== 0 && n2
> 0)
4862 struct type
*float_type
4863 = init_type (TYPE_CODE_FLT
, n2
, 0, NULL
, objfile
);
4867 struct type
*complex_type
=
4868 init_type (TYPE_CODE_COMPLEX
, 2 * n2
, 0, NULL
, objfile
);
4869 TYPE_TARGET_TYPE (complex_type
) = float_type
;
4870 return complex_type
;
4876 /* If the upper bound is -1, it must really be an unsigned int. */
4878 else if (n2
== 0 && n3
== -1)
4880 /* It is unsigned int or unsigned long. */
4881 /* GCC 2.3.3 uses this for long long too, but that is just a GDB 3.5
4882 compatibility hack. */
4883 return init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
4884 TYPE_FLAG_UNSIGNED
, NULL
, objfile
);
4887 /* Special case: char is defined (Who knows why) as a subrange of
4888 itself with range 0-127. */
4889 else if (self_subrange
&& n2
== 0 && n3
== 127)
4890 return init_type (TYPE_CODE_INT
, 1, 0, NULL
, objfile
);
4892 else if (current_symbol
&& SYMBOL_LANGUAGE (current_symbol
) == language_chill
4894 goto handle_true_range
;
4896 /* We used to do this only for subrange of self or subrange of int. */
4899 /* -1 is used for the upper bound of (4 byte) "unsigned int" and
4900 "unsigned long", and we already checked for that,
4901 so don't need to test for it here. */
4904 /* n3 actually gives the size. */
4905 return init_type (TYPE_CODE_INT
, -n3
, TYPE_FLAG_UNSIGNED
,
4908 /* Is n3 == 2**(8n)-1 for some integer n? Then it's an
4909 unsigned n-byte integer. But do require n to be a power of
4910 two; we don't want 3- and 5-byte integers flying around. */
4916 for (bytes
= 0; (bits
& 0xff) == 0xff; bytes
++)
4919 && ((bytes
- 1) & bytes
) == 0) /* "bytes is a power of two" */
4920 return init_type (TYPE_CODE_INT
, bytes
, TYPE_FLAG_UNSIGNED
, NULL
,
4924 /* I think this is for Convex "long long". Since I don't know whether
4925 Convex sets self_subrange, I also accept that particular size regardless
4926 of self_subrange. */
4927 else if (n3
== 0 && n2
< 0
4929 || n2
== -TARGET_LONG_LONG_BIT
/ TARGET_CHAR_BIT
))
4930 return init_type (TYPE_CODE_INT
, -n2
, 0, NULL
, objfile
);
4931 else if (n2
== -n3
- 1)
4934 return init_type (TYPE_CODE_INT
, 1, 0, NULL
, objfile
);
4936 return init_type (TYPE_CODE_INT
, 2, 0, NULL
, objfile
);
4937 if (n3
== 0x7fffffff)
4938 return init_type (TYPE_CODE_INT
, 4, 0, NULL
, objfile
);
4941 /* We have a real range type on our hands. Allocate space and
4942 return a real pointer. */
4946 index_type
= builtin_type_int
;
4948 index_type
= *dbx_lookup_type (rangenums
);
4949 if (index_type
== NULL
)
4951 /* Does this actually ever happen? Is that why we are worrying
4952 about dealing with it rather than just calling error_type? */
4954 static struct type
*range_type_index
;
4956 complain (&range_type_base_complaint
, rangenums
[1]);
4957 if (range_type_index
== NULL
)
4959 init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
4960 0, "range type index type", NULL
);
4961 index_type
= range_type_index
;
4964 result_type
= create_range_type ((struct type
*) NULL
, index_type
, n2
, n3
);
4965 return (result_type
);
4968 /* Read in an argument list. This is a list of types, separated by commas
4969 and terminated with END. Return the list of types read in, or (struct type
4970 **)-1 if there is an error. */
4972 static struct field
*
4973 read_args (char **pp
, int end
, struct objfile
*objfile
, int *nargsp
,
4976 /* FIXME! Remove this arbitrary limit! */
4977 struct type
*types
[1024]; /* allow for fns of 1023 parameters */
4984 /* Invalid argument list: no ','. */
4985 return (struct field
*) -1;
4987 STABS_CONTINUE (pp
, objfile
);
4988 types
[n
++] = read_type (pp
, objfile
);
4990 (*pp
)++; /* get past `end' (the ':' character) */
4992 if (TYPE_CODE (types
[n
- 1]) != TYPE_CODE_VOID
)
5000 rval
= (struct field
*) xmalloc (n
* sizeof (struct field
));
5001 memset (rval
, 0, n
* sizeof (struct field
));
5002 for (i
= 0; i
< n
; i
++)
5003 rval
[i
].type
= types
[i
];
5008 /* Common block handling. */
5010 /* List of symbols declared since the last BCOMM. This list is a tail
5011 of local_symbols. When ECOMM is seen, the symbols on the list
5012 are noted so their proper addresses can be filled in later,
5013 using the common block base address gotten from the assembler
5016 static struct pending
*common_block
;
5017 static int common_block_i
;
5019 /* Name of the current common block. We get it from the BCOMM instead of the
5020 ECOMM to match IBM documentation (even though IBM puts the name both places
5021 like everyone else). */
5022 static char *common_block_name
;
5024 /* Process a N_BCOMM symbol. The storage for NAME is not guaranteed
5025 to remain after this function returns. */
5028 common_block_start (char *name
, struct objfile
*objfile
)
5030 if (common_block_name
!= NULL
)
5032 static struct complaint msg
=
5034 "Invalid symbol data: common block within common block",
5038 common_block
= local_symbols
;
5039 common_block_i
= local_symbols
? local_symbols
->nsyms
: 0;
5040 common_block_name
= obsavestring (name
, strlen (name
),
5041 &objfile
->symbol_obstack
);
5044 /* Process a N_ECOMM symbol. */
5047 common_block_end (struct objfile
*objfile
)
5049 /* Symbols declared since the BCOMM are to have the common block
5050 start address added in when we know it. common_block and
5051 common_block_i point to the first symbol after the BCOMM in
5052 the local_symbols list; copy the list and hang it off the
5053 symbol for the common block name for later fixup. */
5056 struct pending
*new = 0;
5057 struct pending
*next
;
5060 if (common_block_name
== NULL
)
5062 static struct complaint msg
=
5063 {"ECOMM symbol unmatched by BCOMM", 0, 0};
5068 sym
= (struct symbol
*)
5069 obstack_alloc (&objfile
->symbol_obstack
, sizeof (struct symbol
));
5070 memset (sym
, 0, sizeof (struct symbol
));
5071 /* Note: common_block_name already saved on symbol_obstack */
5072 SYMBOL_NAME (sym
) = common_block_name
;
5073 SYMBOL_CLASS (sym
) = LOC_BLOCK
;
5075 /* Now we copy all the symbols which have been defined since the BCOMM. */
5077 /* Copy all the struct pendings before common_block. */
5078 for (next
= local_symbols
;
5079 next
!= NULL
&& next
!= common_block
;
5082 for (j
= 0; j
< next
->nsyms
; j
++)
5083 add_symbol_to_list (next
->symbol
[j
], &new);
5086 /* Copy however much of COMMON_BLOCK we need. If COMMON_BLOCK is
5087 NULL, it means copy all the local symbols (which we already did
5090 if (common_block
!= NULL
)
5091 for (j
= common_block_i
; j
< common_block
->nsyms
; j
++)
5092 add_symbol_to_list (common_block
->symbol
[j
], &new);
5094 SYMBOL_TYPE (sym
) = (struct type
*) new;
5096 /* Should we be putting local_symbols back to what it was?
5099 i
= hashname (SYMBOL_NAME (sym
));
5100 SYMBOL_VALUE_CHAIN (sym
) = global_sym_chain
[i
];
5101 global_sym_chain
[i
] = sym
;
5102 common_block_name
= NULL
;
5105 /* Add a common block's start address to the offset of each symbol
5106 declared to be in it (by being between a BCOMM/ECOMM pair that uses
5107 the common block name). */
5110 fix_common_block (struct symbol
*sym
, int valu
)
5112 struct pending
*next
= (struct pending
*) SYMBOL_TYPE (sym
);
5113 for (; next
; next
= next
->next
)
5116 for (j
= next
->nsyms
- 1; j
>= 0; j
--)
5117 SYMBOL_VALUE_ADDRESS (next
->symbol
[j
]) += valu
;
5123 /* What about types defined as forward references inside of a small lexical
5125 /* Add a type to the list of undefined types to be checked through
5126 once this file has been read in. */
5129 add_undefined_type (struct type
*type
)
5131 if (undef_types_length
== undef_types_allocated
)
5133 undef_types_allocated
*= 2;
5134 undef_types
= (struct type
**)
5135 xrealloc ((char *) undef_types
,
5136 undef_types_allocated
* sizeof (struct type
*));
5138 undef_types
[undef_types_length
++] = type
;
5141 /* Go through each undefined type, see if it's still undefined, and fix it
5142 up if possible. We have two kinds of undefined types:
5144 TYPE_CODE_ARRAY: Array whose target type wasn't defined yet.
5145 Fix: update array length using the element bounds
5146 and the target type's length.
5147 TYPE_CODE_STRUCT, TYPE_CODE_UNION: Structure whose fields were not
5148 yet defined at the time a pointer to it was made.
5149 Fix: Do a full lookup on the struct/union tag. */
5151 cleanup_undefined_types (void)
5155 for (type
= undef_types
; type
< undef_types
+ undef_types_length
; type
++)
5157 switch (TYPE_CODE (*type
))
5160 case TYPE_CODE_STRUCT
:
5161 case TYPE_CODE_UNION
:
5162 case TYPE_CODE_ENUM
:
5164 /* Check if it has been defined since. Need to do this here
5165 as well as in check_typedef to deal with the (legitimate in
5166 C though not C++) case of several types with the same name
5167 in different source files. */
5168 if (TYPE_STUB (*type
))
5170 struct pending
*ppt
;
5172 /* Name of the type, without "struct" or "union" */
5173 char *typename
= TYPE_TAG_NAME (*type
);
5175 if (typename
== NULL
)
5177 static struct complaint msg
=
5178 {"need a type name", 0, 0};
5182 for (ppt
= file_symbols
; ppt
; ppt
= ppt
->next
)
5184 for (i
= 0; i
< ppt
->nsyms
; i
++)
5186 struct symbol
*sym
= ppt
->symbol
[i
];
5188 if (SYMBOL_CLASS (sym
) == LOC_TYPEDEF
5189 && SYMBOL_NAMESPACE (sym
) == STRUCT_NAMESPACE
5190 && (TYPE_CODE (SYMBOL_TYPE (sym
)) ==
5192 && STREQ (SYMBOL_NAME (sym
), typename
))
5193 replace_type (*type
, SYMBOL_TYPE (sym
));
5202 static struct complaint msg
=
5204 GDB internal error. cleanup_undefined_types with bad type %d.", 0, 0};
5205 complain (&msg
, TYPE_CODE (*type
));
5211 undef_types_length
= 0;
5214 /* Scan through all of the global symbols defined in the object file,
5215 assigning values to the debugging symbols that need to be assigned
5216 to. Get these symbols from the minimal symbol table. */
5219 scan_file_globals (struct objfile
*objfile
)
5222 struct minimal_symbol
*msymbol
;
5223 struct symbol
*sym
, *prev
, *rsym
;
5224 struct objfile
*resolve_objfile
;
5226 /* SVR4 based linkers copy referenced global symbols from shared
5227 libraries to the main executable.
5228 If we are scanning the symbols for a shared library, try to resolve
5229 them from the minimal symbols of the main executable first. */
5231 if (symfile_objfile
&& objfile
!= symfile_objfile
)
5232 resolve_objfile
= symfile_objfile
;
5234 resolve_objfile
= objfile
;
5238 /* Avoid expensive loop through all minimal symbols if there are
5239 no unresolved symbols. */
5240 for (hash
= 0; hash
< HASHSIZE
; hash
++)
5242 if (global_sym_chain
[hash
])
5245 if (hash
>= HASHSIZE
)
5248 for (msymbol
= resolve_objfile
->msymbols
;
5249 msymbol
&& SYMBOL_NAME (msymbol
) != NULL
;
5254 /* Skip static symbols. */
5255 switch (MSYMBOL_TYPE (msymbol
))
5267 /* Get the hash index and check all the symbols
5268 under that hash index. */
5270 hash
= hashname (SYMBOL_NAME (msymbol
));
5272 for (sym
= global_sym_chain
[hash
]; sym
;)
5274 if (SYMBOL_NAME (msymbol
)[0] == SYMBOL_NAME (sym
)[0] &&
5275 STREQ (SYMBOL_NAME (msymbol
) + 1, SYMBOL_NAME (sym
) + 1))
5278 struct alias_list
*aliases
;
5280 /* Splice this symbol out of the hash chain and
5281 assign the value we have to it. */
5284 SYMBOL_VALUE_CHAIN (prev
) = SYMBOL_VALUE_CHAIN (sym
);
5288 global_sym_chain
[hash
] = SYMBOL_VALUE_CHAIN (sym
);
5291 /* Check to see whether we need to fix up a common block. */
5292 /* Note: this code might be executed several times for
5293 the same symbol if there are multiple references. */
5295 /* If symbol has aliases, do minimal symbol fixups for each.
5296 These live aliases/references weren't added to
5297 global_sym_chain hash but may also need to be fixed up. */
5298 /* FIXME: Maybe should have added aliases to the global chain, resolved symbol name, then treated aliases as normal
5299 symbols? Still, we wouldn't want to add_to_list. */
5300 /* Now do the same for each alias of this symbol */
5302 aliases
= SYMBOL_ALIASES (sym
);
5305 if (SYMBOL_CLASS (rsym
) == LOC_BLOCK
)
5307 fix_common_block (rsym
,
5308 SYMBOL_VALUE_ADDRESS (msymbol
));
5312 SYMBOL_VALUE_ADDRESS (rsym
)
5313 = SYMBOL_VALUE_ADDRESS (msymbol
);
5315 SYMBOL_SECTION (rsym
) = SYMBOL_SECTION (msymbol
);
5318 rsym
= aliases
->sym
;
5319 aliases
= aliases
->next
;
5328 sym
= SYMBOL_VALUE_CHAIN (prev
);
5332 sym
= global_sym_chain
[hash
];
5338 sym
= SYMBOL_VALUE_CHAIN (sym
);
5342 if (resolve_objfile
== objfile
)
5344 resolve_objfile
= objfile
;
5347 /* Change the storage class of any remaining unresolved globals to
5348 LOC_UNRESOLVED and remove them from the chain. */
5349 for (hash
= 0; hash
< HASHSIZE
; hash
++)
5351 sym
= global_sym_chain
[hash
];
5355 sym
= SYMBOL_VALUE_CHAIN (sym
);
5357 /* Change the symbol address from the misleading chain value
5359 SYMBOL_VALUE_ADDRESS (prev
) = 0;
5361 /* Complain about unresolved common block symbols. */
5362 if (SYMBOL_CLASS (prev
) == LOC_STATIC
)
5363 SYMBOL_CLASS (prev
) = LOC_UNRESOLVED
;
5365 complain (&unresolved_sym_chain_complaint
,
5366 objfile
->name
, SYMBOL_NAME (prev
));
5369 memset (global_sym_chain
, 0, sizeof (global_sym_chain
));
5372 /* Initialize anything that needs initializing when starting to read
5373 a fresh piece of a symbol file, e.g. reading in the stuff corresponding
5377 stabsread_init (void)
5381 /* Initialize anything that needs initializing when a completely new
5382 symbol file is specified (not just adding some symbols from another
5383 file, e.g. a shared library). */
5386 stabsread_new_init (void)
5388 /* Empty the hash table of global syms looking for values. */
5389 memset (global_sym_chain
, 0, sizeof (global_sym_chain
));
5392 /* Initialize anything that needs initializing at the same time as
5393 start_symtab() is called. */
5398 global_stabs
= NULL
; /* AIX COFF */
5399 /* Leave FILENUM of 0 free for builtin types and this file's types. */
5400 n_this_object_header_files
= 1;
5401 type_vector_length
= 0;
5402 type_vector
= (struct type
**) 0;
5404 /* FIXME: If common_block_name is not already NULL, we should complain(). */
5405 common_block_name
= NULL
;
5407 #if 0 /* OBSOLETE OS9K */
5408 // OBSOLETE os9k_stabs = 0;
5409 #endif /* OBSOLETE OS9K */
5412 /* Call after end_symtab() */
5419 xfree (type_vector
);
5422 type_vector_length
= 0;
5423 previous_stab_code
= 0;
5427 finish_global_stabs (struct objfile
*objfile
)
5431 patch_block_stabs (global_symbols
, global_stabs
, objfile
);
5432 xfree (global_stabs
);
5433 global_stabs
= NULL
;
5437 /* Initializer for this module */
5440 _initialize_stabsread (void)
5442 undef_types_allocated
= 20;
5443 undef_types_length
= 0;
5444 undef_types
= (struct type
**)
5445 xmalloc (undef_types_allocated
* sizeof (struct type
*));