Changeset ec010a9

Timestamp:

Sep 27, 2017, 4:05:33 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

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

Children:

c4d80cb

Parents:

7bcb8eb

git-author:

Rob Schluntz <rschlunt@…> (09/27/17 16:05:26)

git-committer:

Rob Schluntz <rschlunt@…> (09/27/17 16:05:33)

Message:

Replace parameter and return value references inside of function body during clone

File:

• src/SynTree/FunctionDecl.cc (modified) (2 diffs)

src/SynTree/FunctionDecl.cc

@@ -26 +26 @@
 #include "Statement.h"           // for CompoundStmt
 #include "Type.h"                // for Type, FunctionType, Type::FuncSpecif...
+#include "VarExprReplacer.h"
 
 extern bool translation_unit_nomain;
@@ -39 +40 @@
 FunctionDecl::FunctionDecl( const FunctionDecl &other )
                 : Parent( other ), type( maybeClone( other.type ) ), statements( maybeClone( other.statements ) ) {
+
+        VarExprReplacer::DeclMap declMap;
+        for ( auto p : group_iterate( other.type->parameters, type->parameters ) ) {
+                declMap[ std::get<0>(p) ] = std::get<1>(p);
+        }
+        for ( auto p : group_iterate( other.type->returnVals, type->returnVals ) ) {
+                declMap[ std::get<0>(p) ] = std::get<1>(p);
+        }
+        if ( ! declMap.empty() ) {
+                VarExprReplacer replacer( declMap );
+                accept( replacer );
+        }
 }