[TYPE_FUNCTION] = sizeof(function_type_t),
[TYPE_POINTER] = sizeof(pointer_type_t),
[TYPE_ARRAY] = sizeof(array_type_t),
- [TYPE_BUILTIN] = sizeof(builtin_type_t),
[TYPE_TYPEDEF] = sizeof(typedef_type_t),
[TYPE_TYPEOF] = sizeof(typeof_type_t),
};
obstack_free(type_obst, NULL);
}
-void print_type_qualifiers(type_qualifiers_t qualifiers)
+void print_type_qualifiers(type_qualifiers_t const qualifiers, QualifierSeparators const q)
{
+ size_t sep = q & QUAL_SEP_START ? 0 : 1;
if (qualifiers & TYPE_QUALIFIER_CONST) {
- print_string("const ");
+ print_string(" const" + sep);
+ sep = 0;
}
if (qualifiers & TYPE_QUALIFIER_VOLATILE) {
- print_string("volatile ");
+ print_string(" volatile" + sep);
+ sep = 0;
}
if (qualifiers & TYPE_QUALIFIER_RESTRICT) {
- print_string("restrict ");
+ print_string(" restrict" + sep);
+ sep = 0;
}
+ if (sep == 0 && q & QUAL_SEP_END)
+ print_char(' ');
}
const char *get_atomic_kind_name(atomic_type_kind_t kind)
*/
static void print_atomic_type(const atomic_type_t *type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
print_atomic_kinds(type->akind);
}
*/
static void print_complex_type(const complex_type_t *type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
print_string("_Complex");
print_atomic_kinds(type->akind);
}
*/
static void print_imaginary_type(const imaginary_type_t *type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
print_string("_Imaginary ");
print_atomic_kinds(type->akind);
}
break;
}
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
intern_print_type_pre(type->return_type);
print_string(") ");
}
print_string("*");
- type_qualifiers_t const qual = type->base.qualifiers;
- if (qual != 0)
- print_string(" ");
- print_type_qualifiers(qual);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_START);
}
/**
if (type->is_static) {
print_string("static ");
}
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
if (type->size_expression != NULL
&& (print_implicit_array_size || !type->has_implicit_size)) {
print_expression(type->size_expression);
*/
static void print_type_enum(const enum_type_t *type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
print_string("enum ");
enum_t *enume = type->enume;
*/
static void print_compound_type(const compound_type_t *type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
if (type->base.kind == TYPE_COMPOUND_STRUCT) {
print_string("struct ");
*/
static void print_typedef_type_pre(const typedef_type_t *const type)
{
- print_type_qualifiers(type->base.qualifiers);
+ print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
print_string(type->typedefe->base.symbol->string);
}
case TYPE_COMPOUND_UNION:
print_compound_type(&type->compound);
return;
- case TYPE_BUILTIN:
- print_string(type->builtin.symbol->string);
- return;
case TYPE_FUNCTION:
print_function_type_pre(&type->function);
return;
case TYPE_ENUM:
case TYPE_COMPOUND_STRUCT:
case TYPE_COMPOUND_UNION:
- case TYPE_BUILTIN:
case TYPE_TYPEOF:
case TYPE_TYPEDEF:
break;
{
assert(!is_typeref(type));
- switch (type->kind) {
- case TYPE_POINTER: return true;
- case TYPE_BUILTIN: return is_type_scalar(type->builtin.real_type);
- default: break;
- }
+ if (type->kind == TYPE_POINTER)
+ return true;
return is_type_arithmetic(type);
}
case TYPE_FUNCTION:
case TYPE_POINTER:
case TYPE_REFERENCE:
- case TYPE_BUILTIN:
case TYPE_ERROR:
return false;
return !is_type_function(type) && !is_type_incomplete(type);
}
-bool is_builtin_va_list(type_t *type)
-{
- type_t *tp = skip_typeref(type);
-
- return tp->kind == type_valist->kind &&
- tp->builtin.symbol == type_valist->builtin.symbol;
-}
-
/**
* Check if two function types are compatible.
*/
break;
}
case TYPE_ENUM:
- case TYPE_BUILTIN:
/* TODO: not implemented */
break;
}
case TYPE_BITFIELD:
return 0;
- case TYPE_BUILTIN:
- return get_type_size(type->builtin.real_type);
case TYPE_TYPEDEF:
return get_type_size(type->typedeft.typedefe->type);
case TYPE_TYPEOF:
return get_type_alignment(type->array.element_type);
case TYPE_BITFIELD:
return 0;
- case TYPE_BUILTIN:
- return get_type_alignment(type->builtin.real_type);
case TYPE_TYPEDEF: {
il_alignment_t alignment
= get_type_alignment(type->typedeft.typedefe->type);
case TYPE_BITFIELD:
case TYPE_ARRAY:
return 0;
- case TYPE_BUILTIN:
- return get_type_modifiers(type->builtin.real_type);
case TYPE_TYPEDEF: {
decl_modifiers_t modifiers = type->typedeft.typedefe->modifiers;
modifiers |= get_type_modifiers(type->typedeft.typedefe->type);