strange structs

[cparser] / type_hash.c

diff --git a/type_hash.c b/type_hash.c
index 4120940..1e07c1f 100644 (file)
--- a/type_hash.c
+++ b/type_hash.c
@@ -46,18 +46,16 @@ static unsigned hash_array_type(const array_type_t *type)
 
 static unsigned hash_compound_type(const compound_type_t *type)
 {
-       unsigned result = hash_ptr(type->symbol);
-
-       return result;
+       return hash_ptr(type->declaration);
 }
 
 static unsigned hash_type(const type_t *type);
 
-static unsigned hash_method_type(const method_type_t *type)
+static unsigned hash_function_type(const function_type_t *type)
 {
        unsigned result = hash_ptr(type->result_type);
 
-       method_parameter_t *parameter = type->parameters;
+       function_parameter_t *parameter = type->parameters;
        while(parameter != NULL) {
                result   ^= hash_ptr(parameter->type);
                parameter = parameter->next;
@@ -68,14 +66,20 @@ static unsigned hash_method_type(const method_type_t *type)
 
 static unsigned hash_enum_type(const enum_type_t *type)
 {
-       unsigned result = hash_ptr(type->symbol);
+       return hash_ptr(type->declaration);
+}
+
+static unsigned hash_typeof_type(const typeof_type_t *type)
+{
+       unsigned result = hash_ptr(type->expression);
+       result         ^= hash_ptr(type->typeof_type);
 
        return result;
 }
 
 static unsigned hash_type(const type_t *type)
 {
-       unsigned hash;
+       unsigned hash = 0;
 
        switch(type->type) {
        case TYPE_INVALID:
@@ -91,8 +95,8 @@ static unsigned hash_type(const type_t *type)
        case TYPE_COMPOUND_UNION:
                hash = hash_compound_type((const compound_type_t*) type);
                break;
-       case TYPE_METHOD:
-               hash = hash_method_type((const method_type_t*) type);
+       case TYPE_FUNCTION:
+               hash = hash_function_type((const function_type_t*) type);
                break;
        case TYPE_POINTER:
                hash = hash_pointer_type((const pointer_type_t*) type);
@@ -103,6 +107,12 @@ static unsigned hash_type(const type_t *type)
        case TYPE_BUILTIN:
                hash = hash_ptr(((const builtin_type_t*) type)->symbol);
                break;
+       case TYPE_TYPEDEF:
+               hash = hash_ptr(((const compound_type_t*) type)->declaration);
+               break;
+       case TYPE_TYPEOF:
+               hash = hash_typeof_type((const typeof_type_t*) type);
+               break;
        }
 
        unsigned some_prime = 99991;
@@ -117,45 +127,8 @@ static bool atomic_types_equal(const atomic_type_t *type1,
        return type1->atype == type2->atype;
 }
 
-static bool compound_types_equal(const compound_type_t *type1,
-                                 const compound_type_t *type2)
-{
-       if(type1->type.type != type2->type.type)
-               return false;
-       if(type1->symbol != type2->symbol)
-               return false;
-
-       /* anonymous types? */
-       if(type1->symbol == NULL) {
-               /* previous tests should already have checked for this */
-               assert(type1 != type2);
-               /* anonymous types are only equal if they are the very same type */
-               return false;
-       }
-
-       /* non-anonymous types with same symbol are equal */
-       return true;
-}
-
-static bool enum_types_equal(const enum_type_t *type1, const enum_type_t *type2)
-{
-       if(type1->symbol != type2->symbol)
-               return false;
-
-       /* anonymous types? */
-       if(type1->symbol == NULL) {
-               /* previous tests should already have checked for this */
-               assert(type1 != type2);
-               /* 2 anonymous enums are never equal */
-               return false;
-       }
-
-       /* non-anonymous types with same symbol are equal */
-       return true;
-}
-
-static bool method_types_equal(const method_type_t *type1,
-                               const method_type_t *type2)
+static bool function_types_equal(const function_type_t *type1,
+                                 const function_type_t *type2)
 {
        if(type1->result_type != type2->result_type)
                return false;
@@ -164,8 +137,8 @@ static bool method_types_equal(const method_type_t *type1,
        if(type1->unspecified_parameters != type2->unspecified_parameters)
                return false;
 
-       method_parameter_t *param1 = type1->parameters;
-       method_parameter_t *param2 = type2->parameters;
+       function_parameter_t *param1 = type1->parameters;
+       function_parameter_t *param2 = type2->parameters;
        while(param1 != NULL && param2 != NULL) {
                if(param1->type != param2->type)
                        return false;
@@ -206,6 +179,35 @@ static bool builtin_types_equal(const builtin_type_t *type1,
        return type1->symbol == type2->symbol;
 }
 
+static bool compound_types_equal(const compound_type_t *type1,
+                                 const compound_type_t *type2)
+{
+       return type1->declaration == type2->declaration;
+}
+
+static bool enum_types_equal(const enum_type_t *type1,
+                             const enum_type_t *type2)
+{
+       return type1->declaration == type2->declaration;
+}
+
+static bool typedef_types_equal(const typedef_type_t *type1,
+                                const typedef_type_t *type2)
+{
+       return type1->declaration == type2->declaration;
+}
+
+static bool typeof_types_equal(const typeof_type_t *type1,
+                               const typeof_type_t *type2)
+{
+       if(type1->expression != type2->expression)
+               return false;
+       if(type1->typeof_type != type2->typeof_type)
+               return false;
+
+       return true;
+}
+
 static bool types_equal(const type_t *type1, const type_t *type2)
 {
        if(type1 == type2)
@@ -221,16 +223,16 @@ static bool types_equal(const type_t *type1, const type_t *type2)
        case TYPE_ATOMIC:
                return atomic_types_equal((const atomic_type_t*) type1,
                                          (const atomic_type_t*) type2);
+       case TYPE_ENUM:
+               return enum_types_equal((const enum_type_t*) type1,
+                                       (const enum_type_t*) type2);
        case TYPE_COMPOUND_STRUCT:
        case TYPE_COMPOUND_UNION:
                return compound_types_equal((const compound_type_t*) type1,
                                            (const compound_type_t*) type2);
-       case TYPE_ENUM:
-               return enum_types_equal((const enum_type_t*) type1,
-                                       (const enum_type_t*) type2);
-       case TYPE_METHOD:
-               return method_types_equal((const method_type_t*) type1,
-                                         (const method_type_t*) type2);
+       case TYPE_FUNCTION:
+               return function_types_equal((const function_type_t*) type1,
+                                           (const function_type_t*) type2);
        case TYPE_POINTER:
                return pointer_types_equal((const pointer_type_t*) type1,
                                           (const pointer_type_t*) type2);
@@ -240,6 +242,12 @@ static bool types_equal(const type_t *type1, const type_t *type2)
        case TYPE_BUILTIN:
                return builtin_types_equal((const builtin_type_t*) type1,
                                           (const builtin_type_t*) type2);
+       case TYPE_TYPEOF:
+               return typeof_types_equal((const typeof_type_t*) type1,
+                                         (const typeof_type_t*) type2);
+       case TYPE_TYPEDEF:
+               return typedef_types_equal((const typedef_type_t*) type1,
+                                          (const typedef_type_t*) type2);
        }
 
        abort();