Changeset 71bd8c6 for src/SymTab

Timestamp:

Jul 8, 2015, 4:47:08 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

e5609dd

Parents:

cc79d97

Message:

fix isVarLen in array types, fix loss of typedef when variable of aggregate type is declared, fix duplicate typedef with arrays of constant size

File:

• src/SymTab/TypeEquality.cc (modified) (2 diffs)

src/SymTab/TypeEquality.cc

@@ -10 +10 @@
 // Created On       : Tue Jul 07 16:28:29 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jul 08 13:41:53 2015
-// Update Count     : 34
+// Last Modified On : Wed Jul 08 16:20:09 2015
+// Update Count     : 35
 //
 
@@ -102 +102 @@
                         }
 
+                        if ( ! arrayType->get_isVarLen() && ! at->get_isVarLen() ) {
+                                ConstantExpr * ce1 = dynamic_cast< ConstantExpr * >( arrayType->get_dimension() );
+                                ConstantExpr * ce2 = dynamic_cast< ConstantExpr * >( at->get_dimension() );
+                                assert(ce1 && ce2);
+
+                                Constant * c1 = ce1->get_constant();
+                                Constant * c2 = ce2->get_constant();
+
+                                result = result && c1->get_value() == c2->get_value();
+                        }
+
                         other = at->get_base();
                         arrayType->get_base()->accept( *this );