Changes in src/ResolvExpr/Unify.cc [e6cee92:62423350]

File:

• src/ResolvExpr/Unify.cc (modified) (3 diffs)

src/ResolvExpr/Unify.cc

@@ -42 +42 @@
                 virtual void visit(PointerType *pointerType);
                 virtual void visit(ArrayType *arrayType);
-                virtual void visit(ReferenceType *refType);
                 virtual void visit(FunctionType *functionType);
                 virtual void visit(StructInstType *aggregateUseType);
@@ -377 +376 @@
                                 } // if
                         } else {
-                                common = type1->clone();
-                                common->get_qualifiers() = tq1 | tq2;
                                 result = true;
                         } // if
@@ -428 +425 @@
                         markAssertions( haveAssertions, needAssertions, pointerType );
                         markAssertions( haveAssertions, needAssertions, otherPointer );
-                } // if
-        }
-
-        void Unify::visit(ReferenceType *refType) {
-                if ( ReferenceType *otherRef = dynamic_cast< ReferenceType* >( type2 ) ) {
-                        result = unifyExact( refType->get_base(), otherRef->get_base(), env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
-                        markAssertions( haveAssertions, needAssertions, refType );
-                        markAssertions( haveAssertions, needAssertions, otherRef );
                 } // if
         }