/**
* Prints a compound type.
*
+ * @param kind The name of the compound kind.
* @param type The compound type.
*/
-static void print_compound_type(const compound_type_t *type)
+static void print_compound_type(char const *const kind, compound_type_t const *const type)
{
print_type_qualifiers(type->base.qualifiers, QUAL_SEP_END);
-
- if (type->base.kind == TYPE_COMPOUND_STRUCT) {
- print_string("struct ");
- } else {
- assert(type->base.kind == TYPE_COMPOUND_UNION);
- print_string("union ");
- }
+ print_string(kind);
compound_t *compound = type->compound;
symbol_t *symbol = compound->base.symbol;
static void intern_print_type_pre(const type_t *const type)
{
switch(type->kind) {
- case TYPE_ERROR:
- print_string("<error>");
- return;
- case TYPE_ENUM:
- print_type_enum(&type->enumt);
- return;
- case TYPE_ATOMIC:
- print_atomic_type(&type->atomic);
- return;
- case TYPE_COMPLEX:
- print_complex_type(&type->atomic);
- return;
- case TYPE_IMAGINARY:
- print_imaginary_type(&type->atomic);
- return;
- case TYPE_COMPOUND_STRUCT:
- case TYPE_COMPOUND_UNION:
- print_compound_type(&type->compound);
- return;
- case TYPE_FUNCTION:
- print_function_type_pre(&type->function);
- return;
- case TYPE_POINTER:
- print_pointer_type_pre(&type->pointer);
- return;
- case TYPE_REFERENCE:
- print_reference_type_pre(&type->reference);
- return;
- case TYPE_ARRAY:
- print_array_type_pre(&type->array);
- return;
- case TYPE_TYPEDEF:
- print_typedef_type_pre(&type->typedeft);
- return;
- case TYPE_TYPEOF:
- print_typeof_type_pre(&type->typeoft);
- return;
+ case TYPE_ARRAY: print_array_type_pre( &type->array); return;
+ case TYPE_ATOMIC: print_atomic_type( &type->atomic); return;
+ case TYPE_COMPLEX: print_complex_type( &type->atomic); return;
+ case TYPE_COMPOUND_STRUCT: print_compound_type("struct ", &type->compound); return;
+ case TYPE_COMPOUND_UNION: print_compound_type("union ", &type->compound); return;
+ case TYPE_ENUM: print_type_enum( &type->enumt); return;
+ case TYPE_ERROR: print_string("<error>"); return;
+ case TYPE_FUNCTION: print_function_type_pre( &type->function); return;
+ case TYPE_IMAGINARY: print_imaginary_type( &type->atomic); return;
+ case TYPE_POINTER: print_pointer_type_pre( &type->pointer); return;
+ case TYPE_REFERENCE: print_reference_type_pre( &type->reference); return;
+ case TYPE_TYPEDEF: print_typedef_type_pre( &type->typedeft); return;
+ case TYPE_TYPEOF: print_typeof_type_pre( &type->typeoft); return;
}
print_string("unknown");
}
if (type1 == type2)
return true;
- if (!is_type_valid(type1) || !is_type_valid(type2))
- return true;
-
- if (type1->base.qualifiers != type2->base.qualifiers)
- return false;
- if (type1->kind != type2->kind)
- return false;
+ if (type1->base.qualifiers == type2->base.qualifiers &&
+ type1->kind == type2->kind) {
+ switch (type1->kind) {
+ case TYPE_FUNCTION:
+ return function_types_compatible(&type1->function, &type2->function);
+ case TYPE_ATOMIC:
+ case TYPE_IMAGINARY:
+ case TYPE_COMPLEX:
+ return type1->atomic.akind == type2->atomic.akind;
+ case TYPE_ARRAY:
+ return array_types_compatible(&type1->array, &type2->array);
- switch (type1->kind) {
- case TYPE_FUNCTION:
- return function_types_compatible(&type1->function, &type2->function);
- case TYPE_ATOMIC:
- case TYPE_IMAGINARY:
- case TYPE_COMPLEX:
- return type1->atomic.akind == type2->atomic.akind;
- case TYPE_ARRAY:
- return array_types_compatible(&type1->array, &type2->array);
+ case TYPE_POINTER: {
+ const type_t *const to1 = skip_typeref(type1->pointer.points_to);
+ const type_t *const to2 = skip_typeref(type2->pointer.points_to);
+ return types_compatible(to1, to2);
+ }
- case TYPE_POINTER: {
- const type_t *const to1 = skip_typeref(type1->pointer.points_to);
- const type_t *const to2 = skip_typeref(type2->pointer.points_to);
- return types_compatible(to1, to2);
- }
+ case TYPE_REFERENCE: {
+ const type_t *const to1 = skip_typeref(type1->reference.refers_to);
+ const type_t *const to2 = skip_typeref(type2->reference.refers_to);
+ return types_compatible(to1, to2);
+ }
- case TYPE_REFERENCE: {
- const type_t *const to1 = skip_typeref(type1->reference.refers_to);
- const type_t *const to2 = skip_typeref(type2->reference.refers_to);
- return types_compatible(to1, to2);
- }
+ case TYPE_COMPOUND_STRUCT:
+ case TYPE_COMPOUND_UNION:
+ break;
- case TYPE_COMPOUND_STRUCT:
- case TYPE_COMPOUND_UNION: {
- break;
- }
- case TYPE_ENUM:
- /* TODO: not implemented */
- break;
+ case TYPE_ENUM:
+ /* TODO: not implemented */
+ break;
- case TYPE_ERROR:
- /* Hmm, the error type should be compatible to all other types */
- return true;
- case TYPE_TYPEDEF:
- case TYPE_TYPEOF:
- panic("typerefs not skipped in compatible types?!?");
+ case TYPE_ERROR:
+ /* Hmm, the error type should be compatible to all other types */
+ return true;
+ case TYPE_TYPEDEF:
+ case TYPE_TYPEOF:
+ panic("typerefs not skipped in compatible types?!?");
+ }
}
- return false;
+ return !is_type_valid(type1) || !is_type_valid(type2);
}
/**
layout_struct_type(&type->compound);
return type->compound.compound->size;
case TYPE_FUNCTION:
- return 0; /* non-const (but "address-const") */
+ return 1; /* strange GNU extensions: sizeof(function) == 1 */
case TYPE_REFERENCE:
case TYPE_POINTER:
return pointer_properties.size;
return;
if (type->compound->layouted)
return;
+ compound->layouted = true;
il_size_t offset = 0;
il_alignment_t alignment = compound->alignment;
compound->size = offset;
compound->alignment = alignment;
- compound->layouted = true;
}
void layout_union_type(compound_type_t *type)
compound_t *compound = type->compound;
if (! compound->complete)
return;
+ if (compound->layouted)
+ return;
+ compound->layouted = true;
il_size_t size = 0;
il_alignment_t alignment = compound->alignment;