Changes in src/InitTweak/FixInit.cc [b16898e:c8dfcd3]

File:

• src/InitTweak/FixInit.cc (modified) (8 diffs)

src/InitTweak/FixInit.cc

@@ -200 +200 @@
                         ObjectDecl * thisParam = 0;
                         bool isCtor = false; // true if current function is a constructor
-                        StructDecl * structDecl = 0;
                 };
 
@@ -745 +744 @@
                         ValueGuard< ObjectDecl * > oldThisParam( thisParam );
                         ValueGuard< bool > oldIsCtor( isCtor );
-                        ValueGuard< StructDecl * > oldStructDecl( structDecl );
 
                         // need to start with fresh sets
@@ -760 +758 @@
                                 StructInstType * structType = dynamic_cast< StructInstType * >( ptrType->get_base() );
                                 if ( structType ) {
-                                        structDecl = structType->get_baseStruct();
+                                        StructDecl * structDecl = structType->get_baseStruct();
                                         for ( Declaration * member : structDecl->get_members() ) {
                                                 if ( ObjectDecl * field = dynamic_cast< ObjectDecl * >( member ) ) {
@@ -777 +775 @@
                         std::set_difference( usedUninit.begin(), usedUninit.end(), unhandled.begin(), unhandled.end(), std::inserter( diff, diff.begin() ) );
                         for ( DeclarationWithType * member : diff ) {
-                                emit( "in ", CodeGen::genType( function->get_functionType(), function->get_name(), false ), ", field ", member->get_name(), " used before being constructed" );
+                                emit( "in ", CodeGen::genType( function->get_functionType(), function->get_name(), false ), ", member ", member->get_name(), " used before being constructed" );
                         }
 
@@ -783 +781 @@
                                 // need to explicitly re-add function parameters in order to resolve copy constructors
                                 enterScope();
-                                maybeAccept( function->get_functionType(), *this );
-
-                                // need to iterate through members in reverse in order for
-                                // ctor/dtor statements to come out in the right order
-                                for ( Declaration * member : reverseIterate( structDecl->get_members() ) ) {
-                                        DeclarationWithType * field = dynamic_cast< DeclarationWithType * >( member );
-                                        // skip non-DWT members
-                                        if ( ! field ) continue;
-                                        // skip handled members
-                                        if ( ! unhandled.count( field ) ) continue;
-
-                                        // insert and resolve default/copy constructor call for each field that's unhandled
+                                // maybeAccept( function->get_functionType(), *this );
+                                for ( DeclarationWithType * member : unhandled ) {
+                                        // insert and resolve default/copy constructor call for each member that's unhandled
                                         std::list< Statement * > stmt;
                                         UntypedExpr * deref = new UntypedExpr( new NameExpr( "*?" ) );
                                         deref->get_args().push_back( new VariableExpr( thisParam ) );
-
-                                        Expression * arg2 = 0;
-                                        if ( isCopyConstructor( function ) ) {
-                                                // if copy ctor, need to pass second-param-of-this-function.field
-                                                std::list< DeclarationWithType * > & params = function->get_functionType()->get_parameters();
-                                                assert( params.size() == 2 );
-                                                arg2 = new MemberExpr( field, new VariableExpr( params.back() ) );
-                                        }
-                                        InitExpander srcParam( arg2 );
-                                        SymTab::genImplicitCall( srcParam, new MemberExpr( field, deref ), function->get_name(), back_inserter( stmt ), field, isCtor );
+                                        InitExpander srcParam( (Initializer *)NULL ); // xxx - if copy ctor, need to pass appropriate argument - second param of this function dot member
+                                        SymTab::genImplicitCall( srcParam, new MemberExpr( member, deref ), function->get_name(), back_inserter( stmt ), member, isCtor );
 
                                         assert( stmt.size() <= 1 );
@@ -815 +796 @@
                                                 MutatingResolver resolver( *this );
                                                 try {
+                                                        // xxx - these should be in field declaration order
                                                         callStmt->acceptMutator( resolver );
                                                         if ( isCtor ) {
@@ -823 +805 @@
                                                         }
                                                 } catch ( SemanticError & error ) {
-                                                        emit( "in ", CodeGen::genType( function->get_functionType(), function->get_name(), false ), ", field ", field->get_name(), " not explicitly ", isCtor ? "constructed" : "destructed",  " and no ", isCtor ? "default constructor" : "destructor", " found" );
+                                                        emit( "in ", CodeGen::genType( function->get_functionType(), function->get_name(), false ), ", member ", member->get_name(), " not explicitly ", isCtor ? "constructed" : "destructed",  " and no ", isCtor ? "default constructor" : "destructor", " found" );
                                                 }
                                         }
@@ -850 +832 @@
                                         handleFirstParam( firstParam );
                                 }
+                        } else if ( fname == "?=?" && isIntrinsicCallExpr( appExpr ) ) {
+                                // forgive use of intrinsic assignment to construct, since instrinsic constructors
+                                // codegen as assignment anyway.
+                                assert( appExpr->get_args().size() == 2 );
+                                handleFirstParam( appExpr->get_args().front() );
                         }