small fixes

[cparser] / type_hash.c

diff --git a/type_hash.c b/type_hash.c
index ed07122..03b9f02 100644 (file)
--- a/type_hash.c
+++ b/type_hash.c
@@ -1,3 +1,22 @@
+/*
+ * This file is part of cparser.
+ * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+ * 02111-1307, USA.
+ */
 #include <config.h>
 
 #include <stdbool.h>
@@ -93,6 +112,8 @@ static unsigned hash_type(const type_t *type)
        case TYPE_INVALID:
                panic("internalizing void or invalid types not possible");
                return 0;
+       case TYPE_ERROR:
+               return 0;
        case TYPE_ATOMIC:
                hash = hash_atomic_type(&type->atomic);
                break;
@@ -179,6 +200,13 @@ static bool array_types_equal(const array_type_t *type1,
                return false;
        if(type1->is_static != type2->is_static)
                return false;
+       if(type1->size_constant != type2->size_constant)
+               return false;
+
+       /* never identify vla types, because we need them for caching calculated
+        * sizes later in ast2firm */
+       if(type1->is_vla || type2->is_vla)
+               return false;
 
        /* TODO: compare size expressions for equality... */
 
@@ -239,6 +267,9 @@ static bool types_equal(const type_t *type1, const type_t *type2)
                return false;
 
        switch(type1->kind) {
+       case TYPE_ERROR:
+               /* Hmm, the error type is never equal */
+               return false;
        case TYPE_INVALID:
                return false;
        case TYPE_ATOMIC: