Changes in src/InitTweak/FixInit.cc [7641b6c:ba3706f]

File:

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

src/InitTweak/FixInit.cc

@@ -382 +382 @@
                         } // if
                         delete stmt;
-                        if ( TupleAssignExpr * assign = dynamic_cast< TupleAssignExpr * >( resolved ) ) {
-                                // fix newly generated StmtExpr
-                                postvisit( assign->stmtExpr );
-                        }
                         return resolved;
                 }
@@ -483 +479 @@
                                 env->apply( result );
                                 ObjectDecl * ret = ObjectDecl::newObject( retNamer.newName(), result, nullptr );
-                                ret->type->set_const( false );
-                                stmtExpr->returnDecls.push_front( ret );
+                                ret->get_type()->set_const( false );
+                                stmtExpr->get_returnDecls().push_front( ret );
 
                                 // must have a non-empty body, otherwise it wouldn't have a result
-                                CompoundStmt * body = stmtExpr->statements;
+                                CompoundStmt * body = stmtExpr->get_statements();
                                 assert( ! body->get_kids().empty() );
                                 // must be an ExprStmt, otherwise it wouldn't have a result
                                 ExprStmt * last = strict_dynamic_cast< ExprStmt * >( body->get_kids().back() );
-                                last->expr = makeCtorDtor( "?{}", ret, last->get_expr() );
-
-                                stmtExpr->dtors.push_front( makeCtorDtor( "^?{}", ret ) );
+                                last->set_expr( makeCtorDtor( "?{}", ret, last->get_expr() ) );
+
+                                stmtExpr->get_dtors().push_front( makeCtorDtor( "^?{}", ret ) );
                         } // if
                 }
@@ -610 +606 @@
                                 // must have a non-empty body, otherwise it wouldn't have a result
                                 assert( ! stmts.empty() );
-                                assertf( ! stmtExpr->get_returnDecls().empty(), "StmtExpr returns non-void, but no return decls: %s", toString( stmtExpr ).c_str() );
+                                assert( ! stmtExpr->get_returnDecls().empty() );
                                 stmts.push_back( new ExprStmt( new VariableExpr( stmtExpr->get_returnDecls().front() ) ) );
                                 stmtExpr->get_returnDecls().clear();