2 * Symbol lookup and handling.
4 * Copyright (C) 2003 Transmeta Corp.
5 * 2003-2004 Linus Torvalds
7 * Licensed under the Open Software License version 1.1
20 #include "expression.h"
25 * Secondary symbol list for stuff that needs to be output because it
28 struct symbol_list
*translation_unit_used_list
= NULL
;
31 * If the symbol is an inline symbol, add it to the list of symbols to parse
33 void access_symbol(struct symbol
*sym
)
35 if (sym
->ctype
.modifiers
& MOD_INLINE
) {
36 if (!(sym
->ctype
.modifiers
& MOD_ACCESSED
)) {
37 add_symbol(&translation_unit_used_list
, sym
);
38 sym
->ctype
.modifiers
|= MOD_ACCESSED
;
43 struct symbol
*lookup_symbol(struct ident
*ident
, enum namespace ns
)
47 for (sym
= ident
->symbols
; sym
; sym
= sym
->next_id
) {
48 if (sym
->namespace & ns
) {
56 struct symbol
*alloc_symbol(struct position pos
, int type
)
58 struct symbol
*sym
= __alloc_symbol(0);
64 struct struct_union_info
{
65 unsigned long max_align
;
66 unsigned long bit_size
;
71 * Unions are fairly easy to lay out ;)
73 static void lay_out_union(struct symbol
*sym
, struct struct_union_info
*info
)
75 examine_symbol_type(sym
);
77 // Unnamed bitfields do not affect alignment.
78 if (sym
->ident
|| !is_bitfield_type(sym
)) {
79 if (sym
->ctype
.alignment
> info
->max_align
)
80 info
->max_align
= sym
->ctype
.alignment
;
83 if (sym
->bit_size
> info
->bit_size
)
84 info
->bit_size
= sym
->bit_size
;
89 static int bitfield_base_size(struct symbol
*sym
)
91 if (sym
->type
== SYM_NODE
)
92 sym
= sym
->ctype
.base_type
;
93 if (sym
->type
== SYM_BITFIELD
)
94 sym
= sym
->ctype
.base_type
;
99 * Structures are a bit more interesting to lay out
101 static void lay_out_struct(struct symbol
*sym
, struct struct_union_info
*info
)
103 unsigned long bit_size
, align_bit_mask
;
106 examine_symbol_type(sym
);
108 // Unnamed bitfields do not affect alignment.
109 if (sym
->ident
|| !is_bitfield_type(sym
)) {
110 if (sym
->ctype
.alignment
> info
->max_align
)
111 info
->max_align
= sym
->ctype
.alignment
;
114 bit_size
= info
->bit_size
;
115 base_size
= sym
->bit_size
;
118 * Unsized arrays cause us to not align the resulting
122 info
->align_size
= 0;
126 align_bit_mask
= (sym
->ctype
.alignment
<< 3) - 1;
129 * Bitfields have some very special rules..
131 if (is_bitfield_type (sym
)) {
132 unsigned long bit_offset
= bit_size
& align_bit_mask
;
133 int room
= bitfield_base_size(sym
) - bit_offset
;
134 // Zero-width fields just fill up the unit.
135 int width
= base_size
? : (bit_offset
? room
: 0);
138 bit_size
= (bit_size
+ align_bit_mask
) & ~align_bit_mask
;
141 sym
->offset
= (bit_size
- bit_offset
) >> 3;
142 sym
->bit_offset
= bit_offset
;
143 sym
->ctype
.base_type
->bit_offset
= bit_offset
;
144 info
->bit_size
= bit_size
+ width
;
145 // warning (sym->pos, "bitfield: offset=%d:%d size=:%d", sym->offset, sym->bit_offset, width);
151 * Otherwise, just align it right and add it up..
153 bit_size
= (bit_size
+ align_bit_mask
) & ~align_bit_mask
;
154 sym
->offset
= bit_size
>> 3;
156 info
->bit_size
= bit_size
+ base_size
;
157 // warning (sym->pos, "regular: offset=%d", sym->offset);
160 static struct symbol
* examine_struct_union_type(struct symbol
*sym
, int advance
)
162 struct struct_union_info info
= {
167 unsigned long bit_size
, bit_align
;
168 void (*fn
)(struct symbol
*, struct struct_union_info
*);
169 struct symbol
*member
;
171 fn
= advance
? lay_out_struct
: lay_out_union
;
172 FOR_EACH_PTR(sym
->symbol_list
, member
) {
174 } END_FOR_EACH_PTR(member
);
176 if (!sym
->ctype
.alignment
)
177 sym
->ctype
.alignment
= info
.max_align
;
178 bit_size
= info
.bit_size
;
179 if (info
.align_size
) {
180 bit_align
= (sym
->ctype
.alignment
<< 3)-1;
181 bit_size
= (bit_size
+ bit_align
) & ~bit_align
;
183 sym
->bit_size
= bit_size
;
187 static struct symbol
*examine_base_type(struct symbol
*sym
)
189 struct symbol
*base_type
;
191 /* Check the basetype */
192 base_type
= sym
->ctype
.base_type
;
194 base_type
= examine_symbol_type(base_type
);
196 /* "typeof" can cause this */
197 if (base_type
&& base_type
->type
== SYM_NODE
)
198 merge_type(sym
, base_type
);
203 static struct symbol
* examine_array_type(struct symbol
*sym
)
205 struct symbol
*base_type
= examine_base_type(sym
);
206 unsigned long bit_size
, alignment
;
210 bit_size
= base_type
->bit_size
* get_expression_value(sym
->array_size
);
211 if (!sym
->array_size
|| sym
->array_size
->type
!= EXPR_VALUE
)
213 alignment
= base_type
->ctype
.alignment
;
214 if (!sym
->ctype
.alignment
)
215 sym
->ctype
.alignment
= alignment
;
216 sym
->bit_size
= bit_size
;
220 static struct symbol
*examine_bitfield_type(struct symbol
*sym
)
222 struct symbol
*base_type
= examine_base_type(sym
);
223 unsigned long bit_size
, alignment
, modifiers
;
227 bit_size
= base_type
->bit_size
;
228 if (sym
->bit_size
> bit_size
)
229 warning(sym
->pos
, "impossible field-width, %d, for this type", sym
->bit_size
);
231 alignment
= base_type
->ctype
.alignment
;
232 if (!sym
->ctype
.alignment
)
233 sym
->ctype
.alignment
= alignment
;
234 modifiers
= base_type
->ctype
.modifiers
;
236 /* Bitfields are unsigned, unless the base type was explicitly signed */
237 if (!(modifiers
& MOD_EXPLICITLY_SIGNED
))
238 modifiers
= (modifiers
& ~MOD_SIGNED
) | MOD_UNSIGNED
;
239 sym
->ctype
.modifiers
|= modifiers
& MOD_SIGNEDNESS
;
244 * "typeof" will have to merge the types together
246 void merge_type(struct symbol
*sym
, struct symbol
*base_type
)
248 sym
->ctype
.as
|= base_type
->ctype
.as
;
249 sym
->ctype
.modifiers
|= (base_type
->ctype
.modifiers
& ~MOD_STORAGE
);
250 sym
->ctype
.in_context
+= base_type
->ctype
.in_context
;
251 sym
->ctype
.out_context
+= base_type
->ctype
.out_context
;
252 sym
->ctype
.base_type
= base_type
->ctype
.base_type
;
255 static int count_array_initializer(struct expression
*expr
)
259 switch (expr
->type
) {
261 nr
= expr
->string
->length
;
263 case EXPR_INITIALIZER
: {
264 struct expression
*entry
;
265 FOR_EACH_PTR(expr
->expr_list
, entry
) {
266 switch (entry
->type
) {
268 nr
+= entry
->string
->length
;
271 if (entry
->idx_to
>= nr
)
272 nr
= entry
->idx_to
+1;
277 } END_FOR_EACH_PTR(entry
);
286 static struct symbol
* examine_node_type(struct symbol
*sym
)
288 struct symbol
*base_type
= examine_base_type(sym
);
290 unsigned long alignment
, modifiers
;
292 /* SYM_NODE - figure out what the type of the node was.. */
293 modifiers
= sym
->ctype
.modifiers
;
300 bit_size
= base_type
->bit_size
;
301 alignment
= base_type
->ctype
.alignment
;
303 /* Pick up signedness information into the node */
304 sym
->ctype
.modifiers
|= (MOD_SIGNEDNESS
& base_type
->ctype
.modifiers
);
306 if (!sym
->ctype
.alignment
)
307 sym
->ctype
.alignment
= alignment
;
309 /* Unsized array? The size might come from the initializer.. */
310 if (bit_size
< 0 && base_type
->type
== SYM_ARRAY
&& sym
->initializer
) {
311 int count
= count_array_initializer(sym
->initializer
);
312 struct symbol
*node_type
= base_type
->ctype
.base_type
;
314 if (node_type
&& node_type
->bit_size
>= 0)
315 bit_size
= node_type
->bit_size
* count
;
318 sym
->bit_size
= bit_size
;
322 static struct symbol
*examine_enum_type(struct symbol
*sym
)
324 struct symbol
*base_type
= examine_base_type(sym
);
326 sym
->ctype
.modifiers
|= (base_type
->ctype
.modifiers
& MOD_SIGNEDNESS
);
327 sym
->bit_size
= bits_in_enum
;
328 if (base_type
->bit_size
> sym
->bit_size
)
329 sym
->bit_size
= base_type
->bit_size
;
330 sym
->ctype
.alignment
= enum_alignment
;
331 if (base_type
->ctype
.alignment
> sym
->ctype
.alignment
)
332 sym
->ctype
.alignment
= base_type
->ctype
.alignment
;
336 static struct symbol
*examine_pointer_type(struct symbol
*sym
)
339 * We need to set the pointer size first, and
340 * examine the thing we point to only afterwards.
341 * That's because this pointer type may end up
342 * being needed for the base type size evalutation.
345 sym
->bit_size
= bits_in_pointer
;
346 if (!sym
->ctype
.alignment
)
347 sym
->ctype
.alignment
= pointer_alignment
;
352 * Fill in type size and alignment information for
353 * regular SYM_TYPE things.
355 struct symbol
*examine_symbol_type(struct symbol
* sym
)
368 return examine_node_type(sym
);
370 return examine_array_type(sym
);
372 return examine_struct_union_type(sym
, 1);
374 return examine_struct_union_type(sym
, 0);
376 return examine_pointer_type(sym
);
378 return examine_enum_type(sym
);
380 return examine_bitfield_type(sym
);
382 /* Size and alignment had better already be set up */
385 struct symbol
*base
= evaluate_expression(sym
->initializer
);
387 if (is_bitfield_type(base
))
388 warning(base
->pos
, "typeof applied to bitfield type");
389 if (base
->type
== SYM_NODE
)
390 base
= base
->ctype
.base_type
;
396 case SYM_PREPROCESSOR
:
397 sparse_error(sym
->pos
, "ctype on preprocessor command? (%s)", show_ident(sym
->ident
));
399 case SYM_UNINITIALIZED
:
400 sparse_error(sym
->pos
, "ctype on uninitialized symbol %p", sym
);
403 examine_base_type(sym
);
406 sparse_error(sym
->pos
, "Examining unknown symbol type %d", sym
->type
);
412 void check_declaration(struct symbol
*sym
)
414 struct symbol
*next
= sym
;
416 while ((next
= next
->next_id
) != NULL
) {
417 if (next
->namespace != sym
->namespace)
419 if (sym
->scope
== next
->scope
) {
420 sym
->same_symbol
= next
;
423 if (sym
->ctype
.modifiers
& next
->ctype
.modifiers
& MOD_EXTERN
) {
424 sym
->same_symbol
= next
;
428 // This may make sense from a warning standpoint:
429 // consider top-level symbols to clash with everything
430 // (but the scoping rules will mean that we actually
431 // _use_ the innermost version)
432 if (toplevel(next
->scope
)) {
433 sym
->same_symbol
= next
;
440 void bind_symbol(struct symbol
*sym
, struct ident
*ident
, enum namespace ns
)
444 sparse_error(sym
->pos
, "internal error: symbol type already bound");
447 if (ident
->reserved
&& (ns
& (NS_TYPEDEF
| NS_STRUCT
| NS_LABEL
| NS_SYMBOL
))) {
448 sparse_error(sym
->pos
, "Trying to use reserved word '%s' as identifier", show_ident(ident
));
452 sym
->next_id
= ident
->symbols
;
453 ident
->symbols
= sym
;
454 sym
->id_list
= &ident
->symbols
;
455 if (sym
->ident
&& sym
->ident
!= ident
)
456 warning(sym
->pos
, "Symbol '%s' already bound", show_ident(sym
->ident
));
460 if (ns
== NS_SYMBOL
&& toplevel(scope
)) {
461 unsigned mod
= MOD_ADDRESSABLE
| MOD_TOPLEVEL
;
462 scope
= global_scope
;
463 if (sym
->ctype
.modifiers
& MOD_STATIC
) {
467 sym
->ctype
.modifiers
|= mod
;
472 scope
= function_scope
;
473 bind_scope(sym
, scope
);
476 struct symbol
*create_symbol(int stream
, const char *name
, int type
, int namespace)
478 struct token
*token
= built_in_token(stream
, name
);
479 struct symbol
*sym
= alloc_symbol(token
->pos
, type
);
481 bind_symbol(sym
, token
->ident
, namespace);
485 static int evaluate_to_integer(struct expression
*expr
)
487 expr
->ctype
= &int_ctype
;
491 static int evaluate_expect(struct expression
*expr
)
493 /* Should we evaluate it to return the type of the first argument? */
494 expr
->ctype
= &int_ctype
;
498 static int expand_expect(struct expression
*expr
, int cost
)
500 struct expression
*arg
= first_ptr_list((struct ptr_list
*) expr
->args
);
508 * __builtin_warning() has type "int" and always returns 1,
509 * so that you can use it in conditionals or whatever
511 static int expand_warning(struct expression
*expr
, int cost
)
513 struct expression
*arg
;
514 struct expression_list
*arglist
= expr
->args
;
516 FOR_EACH_PTR (arglist
, arg
) {
518 * Constant strings get printed out as a warning. By the
519 * time we get here, the EXPR_STRING has been fully
520 * evaluated, so by now it's an anonymous symbol with a
521 * string initializer.
523 * Just for the heck of it, allow any constant string
526 if (arg
->type
== EXPR_SYMBOL
) {
527 struct symbol
*sym
= arg
->symbol
;
528 if (sym
->initializer
&& sym
->initializer
->type
== EXPR_STRING
) {
529 struct string
*string
= sym
->initializer
->string
;
530 warning(expr
->pos
, "%*s", string
->length
-1, string
->data
);
536 * Any other argument is a conditional. If it's
537 * non-constant, or it is false, we exit and do
538 * not print any warning.
540 if (arg
->type
!= EXPR_VALUE
)
544 } END_FOR_EACH_PTR(arg
);
546 expr
->type
= EXPR_VALUE
;
552 * Type and storage class keywords need to have the symbols
553 * created for them, so that the parser can have enough semantic
554 * information to do parsing.
556 * "double" == "long float", "long double" == "long long float"
558 static struct sym_init
{
560 struct symbol
*base_type
;
561 unsigned int modifiers
;
562 struct symbol_op
*op
;
563 } symbol_init_table
[] = {
565 { "auto", NULL
, MOD_AUTO
},
566 { "register", NULL
, MOD_REGISTER
},
567 { "static", NULL
, MOD_STATIC
},
568 { "extern", NULL
, MOD_EXTERN
},
570 /* Type specifiers */
571 { "void", &void_ctype
, 0 },
572 { "char", NULL
, MOD_CHAR
},
573 { "short", NULL
, MOD_SHORT
},
574 { "int", &int_type
, 0 },
575 { "long", NULL
, MOD_LONG
},
576 { "float", &fp_type
, 0 },
577 { "double", &fp_type
, MOD_LONG
},
578 { "signed", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
579 { "__signed", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
580 { "__signed__", NULL
, MOD_SIGNED
| MOD_EXPLICITLY_SIGNED
},
581 { "unsigned", NULL
, MOD_UNSIGNED
},
582 { "__label__", &label_ctype
, MOD_LABEL
| MOD_UNSIGNED
},
583 { "_Bool", &bool_ctype
, MOD_UNSIGNED
},
585 /* Type qualifiers */
586 { "const", NULL
, MOD_CONST
},
587 { "__const", NULL
, MOD_CONST
},
588 { "__const__", NULL
, MOD_CONST
},
589 { "volatile", NULL
, MOD_VOLATILE
},
590 { "__volatile", NULL
, MOD_VOLATILE
},
591 { "__volatile__", NULL
, MOD_VOLATILE
},
593 /* Predeclared types */
594 { "__builtin_va_list", &int_type
, 0 },
597 { "typedef", NULL
, MOD_TYPEDEF
},
600 { "typeof", NULL
, MOD_TYPEOF
},
601 { "__typeof", NULL
, MOD_TYPEOF
},
602 { "__typeof__", NULL
, MOD_TYPEOF
},
605 { "attribute", NULL
, MOD_ATTRIBUTE
},
607 { "__attribute", NULL
, MOD_ATTRIBUTE
},
608 { "__attribute__", NULL
, MOD_ATTRIBUTE
},
610 { "struct", NULL
, MOD_STRUCTOF
},
611 { "union", NULL
, MOD_UNIONOF
},
612 { "enum", NULL
, MOD_ENUMOF
},
614 { "inline", NULL
, MOD_INLINE
},
615 { "__inline", NULL
, MOD_INLINE
},
616 { "__inline__", NULL
, MOD_INLINE
},
618 /* Ignored for now.. */
619 { "restrict", NULL
, 0 },
620 { "__restrict", NULL
, 0 },
625 static struct symbol_op constant_p_op
= {
626 .evaluate
= evaluate_to_integer
,
627 .expand
= expand_constant_p
630 static struct symbol_op safe_p_op
= {
631 .evaluate
= evaluate_to_integer
,
632 .expand
= expand_safe_p
635 static struct symbol_op warning_op
= {
636 .evaluate
= evaluate_to_integer
,
637 .expand
= expand_warning
640 static struct symbol_op expect_op
= {
641 .evaluate
= evaluate_expect
,
642 .expand
= expand_expect
648 static struct symbol builtin_fn_type
= { .type
= SYM_FN
/* , .variadic =1 */ };
649 static struct sym_init eval_init_table
[] = {
650 { "__builtin_constant_p", &builtin_fn_type
, MOD_TOPLEVEL
, &constant_p_op
},
651 { "__builtin_safe_p", &builtin_fn_type
, MOD_TOPLEVEL
, &safe_p_op
},
652 { "__builtin_warning", &builtin_fn_type
, MOD_TOPLEVEL
, &warning_op
},
653 { "__builtin_expect", &builtin_fn_type
, MOD_TOPLEVEL
, &expect_op
},
661 struct symbol int_type
,
665 * C types (ie actual instances that the abstract types
668 struct symbol bool_ctype
, void_ctype
, type_ctype
,
669 char_ctype
, schar_ctype
, uchar_ctype
,
670 short_ctype
, sshort_ctype
, ushort_ctype
,
671 int_ctype
, sint_ctype
, uint_ctype
,
672 long_ctype
, slong_ctype
, ulong_ctype
,
673 llong_ctype
, sllong_ctype
, ullong_ctype
,
674 float_ctype
, double_ctype
, ldouble_ctype
,
675 string_ctype
, ptr_ctype
, lazy_ptr_ctype
,
676 incomplete_ctype
, label_ctype
, bad_ctype
;
678 struct symbol zero_int
;
680 #define __INIT_IDENT(str, res) { .len = sizeof(str)-1, .name = str, .reserved = res }
681 #define __IDENT(n,str,res) \
682 struct ident n = __INIT_IDENT(str,res)
684 #include "ident-list.h"
686 void init_symbols(void)
688 int stream
= init_stream("builtin", -1, includepath
);
689 struct sym_init
*ptr
;
691 #define __IDENT(n,str,res) \
693 #include "ident-list.h"
695 for (ptr
= symbol_init_table
; ptr
->name
; ptr
++) {
697 sym
= create_symbol(stream
, ptr
->name
, SYM_NODE
, NS_TYPEDEF
);
698 sym
->ident
->reserved
= 1;
699 sym
->ctype
.base_type
= ptr
->base_type
;
700 sym
->ctype
.modifiers
= ptr
->modifiers
;
703 builtin_fn_type
.variadic
= 1;
704 for (ptr
= eval_init_table
; ptr
->name
; ptr
++) {
706 sym
= create_symbol(stream
, ptr
->name
, SYM_NODE
, NS_SYMBOL
);
707 sym
->ctype
.base_type
= ptr
->base_type
;
708 sym
->ctype
.modifiers
= ptr
->modifiers
;
713 #define MOD_ESIGNED (MOD_SIGNED | MOD_EXPLICITLY_SIGNED)
714 #define MOD_LL (MOD_LONG | MOD_LONGLONG)
715 static const struct ctype_declare
{
718 unsigned long modifiers
;
721 struct symbol
*base_type
;
722 } ctype_declaration
[] = {
723 { &bool_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
, &bits_in_bool
, &max_int_alignment
, &int_type
},
724 { &void_ctype
, SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
725 { &type_ctype
, SYM_BASETYPE
, MOD_TYPE
, NULL
, NULL
, NULL
},
726 { &incomplete_ctype
,SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
727 { &bad_ctype
, SYM_BASETYPE
, 0, NULL
, NULL
, NULL
},
729 { &char_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
730 { &schar_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
731 { &uchar_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_CHAR
, &bits_in_char
, &max_int_alignment
, &int_type
},
732 { &short_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
733 { &sshort_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
734 { &ushort_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_SHORT
, &bits_in_short
, &max_int_alignment
, &int_type
},
735 { &int_ctype
, SYM_BASETYPE
, MOD_SIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
736 { &sint_ctype
, SYM_BASETYPE
, MOD_ESIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
737 { &uint_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
, &bits_in_int
, &max_int_alignment
, &int_type
},
738 { &long_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
739 { &slong_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
740 { &ulong_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_LONG
, &bits_in_long
, &max_int_alignment
, &int_type
},
741 { &llong_ctype
, SYM_BASETYPE
, MOD_SIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
742 { &sllong_ctype
, SYM_BASETYPE
, MOD_ESIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
743 { &ullong_ctype
, SYM_BASETYPE
, MOD_UNSIGNED
| MOD_LL
, &bits_in_longlong
, &max_int_alignment
, &int_type
},
745 { &float_ctype
, SYM_BASETYPE
, 0, &bits_in_float
, &max_fp_alignment
, &fp_type
},
746 { &double_ctype
, SYM_BASETYPE
, MOD_LONG
, &bits_in_double
, &max_fp_alignment
, &fp_type
},
747 { &ldouble_ctype
, SYM_BASETYPE
, MOD_LONG
| MOD_LONGLONG
, &bits_in_longdouble
, &max_fp_alignment
, &fp_type
},
749 { &string_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &char_ctype
},
750 { &ptr_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
751 { &label_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
752 { &lazy_ptr_ctype
, SYM_PTR
, 0, &bits_in_pointer
, &pointer_alignment
, &void_ctype
},
758 void init_ctype(void)
760 const struct ctype_declare
*ctype
;
762 for (ctype
= ctype_declaration
; ctype
->ptr
; ctype
++) {
763 struct symbol
*sym
= ctype
->ptr
;
764 unsigned long bit_size
= ctype
->bit_size
? *ctype
->bit_size
: -1;
765 unsigned long maxalign
= ctype
->maxalign
? *ctype
->maxalign
: 0;
766 unsigned long alignment
= bit_size
>> 3;
768 if (alignment
> maxalign
)
769 alignment
= maxalign
;
770 sym
->type
= ctype
->type
;
771 sym
->bit_size
= bit_size
;
772 sym
->ctype
.alignment
= alignment
;
773 sym
->ctype
.base_type
= ctype
->base_type
;
774 sym
->ctype
.modifiers
= ctype
->modifiers
;