Changes in src/GenPoly/Box.cc [acd7c5dd:2edd80ae]

File:

• src/GenPoly/Box.cc (modified) (3 diffs)

src/GenPoly/Box.cc

@@ -27 +27 @@
 #include "Box.h"
 #include "DeclMutator.h"
-#include "Lvalue.h"
+#include "PolyMutator.h"
 #include "FindFunction.h"
-#include "PolyMutator.h"
 #include "ScopedSet.h"
 #include "ScrubTyVars.h"
@@ -756 +755 @@
 
                 void Pass1::boxParam( Type *param, Expression *&arg, const TyVarMap &exprTyVars ) {
-                        assertf( arg->has_result(), "arg does not have result: %s", toString( arg ).c_str() );
+                        assert( arg->has_result() );
                         if ( isPolyType( param, exprTyVars ) ) {
-                                Type * newType = arg->get_result()->clone();
-                                if ( env ) env->apply( newType );
-                                std::auto_ptr<Type> manager( newType );
-                                if ( isPolyType( newType ) ) {
+                                if ( isPolyType( arg->get_result() ) ) {
                                         // if the argument's type is polymorphic, we don't need to box again!
                                         return;
                                 } else if ( arg->get_result()->get_lvalue() ) {
-                                        // argument expression may be CFA lvalue, but not C lvalue -- apply generalizedLvalue transformations.
-                                        arg =  generalizedLvalue( new AddressExpr( arg ) );
+                                        // VariableExpr and MemberExpr are lvalues; need to check this isn't coming from the second arg of a comma expression though (not an lvalue)
+                                        // xxx - need to test that this code is still reachable
+                                        if ( CommaExpr *commaArg = dynamic_cast< CommaExpr* >( arg ) ) {
+                                                commaArg->set_arg2( new AddressExpr( commaArg->get_arg2() ) );
+                                        } else {
+                                                arg = new AddressExpr( arg );
+                                        }
                                         if ( ! ResolvExpr::typesCompatible( param, arg->get_result(), SymTab::Indexer() ) ) {
                                                 // silence warnings by casting boxed parameters when the actual type does not match up with the formal type.
@@ -1878 +1879 @@
                         return structDecl;
                 }
-
+                
                 Declaration *Pass3::mutate( UnionDecl *unionDecl ) {
                         stripGenericMembers( unionDecl );