Changeset a935892 for src/InitTweak/InitTweak.cc

Timestamp:

Jun 3, 2019, 10:54:01 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

0e315a5, dafe9e1

Parents:

043a5b6 (diff), 8d70648 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/InitTweak/InitTweak.cc (modified) (1 diff)

src/InitTweak/InitTweak.cc

@@ -756 +756 @@
         }
 
+        bool isCopyFunction( const ast::FunctionDecl * decl ) {
+                const ast::FunctionType * ftype = decl->type;
+                if ( ftype->params.size() != 2 ) return false;
+
+                const ast::Type * t1 = getPointerBase( ftype->params.front()->get_type() );
+                if ( ! t1 ) return false;
+                const ast::Type * t2 = ftype->params.back()->get_type();
+                
+                return ResolvExpr::typesCompatibleIgnoreQualifiers( t1, t2, ast::SymbolTable{} );
+        }
+
         FunctionDecl * isAssignment( Declaration * decl ) {
                 return isCopyFunction( decl, "?=?" );