Changes in src/InitTweak/FixInit.cc [68f9c43:b8baa37]

File:

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

src/InitTweak/FixInit.cc

@@ -454 +454 @@
                                 resolved->env = nullptr;
                         } // if
+                        delete stmt;
                         if ( TupleAssignExpr * assign = dynamic_cast< TupleAssignExpr * >( resolved ) ) {
                                 // fix newly generated StmtExpr
@@ -553 +554 @@
                                 result = result->clone();
                                 env->apply( result );
-                                if ( ! InitTweak::isConstructable( result ) ) return;
+                                if ( ! InitTweak::isConstructable( result ) ) {
+                                        delete result;
+                                        return;
+                                }
 
                                 // create variable that will hold the result of the stmt expr
@@ -648 +652 @@
                         std::swap( impCpCtorExpr->env, callExpr->env );
                         assert( impCpCtorExpr->env == nullptr );
+                        delete impCpCtorExpr;
 
                         if ( returnDecl ) {
@@ -706 +711 @@
                         if ( unqMap.count( unqExpr->get_id() ) ) {
                                 // take data from other UniqueExpr to ensure consistency
+                                delete unqExpr->get_expr();
                                 unqExpr->set_expr( unqMap[unqExpr->get_id()]->get_expr()->clone() );
+                                delete unqExpr->get_result();
                                 unqExpr->set_result( maybeClone( unqExpr->get_expr()->get_result() ) );
                                 if ( unqCount[ unqExpr->get_id() ] == 0 ) {  // insert destructor after the last use of the unique expression
@@ -817 +824 @@
                                                         // create a new object which is never used
                                                         static UniqueName dummyNamer( "_dummy" );
-                                                        return new ObjectDecl{
-                                                                dummyNamer.newName(), Type::StorageClasses( Type::Static ), LinkageSpec::Cforall, 0, 
-                                                                new PointerType{ Type::Qualifiers(), new VoidType( Type::Qualifiers() ) }, 
-                                                                0, std::list< Attribute * >{ new Attribute("unused") } };
+                                                        ObjectDecl * dummy = new ObjectDecl( dummyNamer.newName(), Type::StorageClasses( Type::Static ), LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), new VoidType( Type::Qualifiers() ) ), 0, std::list< Attribute * >{ new Attribute("unused") } );
+                                                        delete ctorInit;
+                                                        return dummy;
                                                 }
                                         } else {
@@ -846 +852 @@
                                         objDecl->init = nullptr;
                                 } // if
+                                delete ctorInit;
                         } // if
                         return objDecl;
@@ -1221 +1228 @@
                         ObjectDecl * tmp = ObjectDecl::newObject( tempNamer.newName(), callExpr->args.front()->result->clone(), nullptr );
                         declsToAddBefore.push_back( tmp );
+                        delete ctorExpr;
 
                         // build assignment and replace constructor's first argument with new temporary
@@ -1229 +1237 @@
                         // resolve assignment and dispose of new env
                         ResolvExpr::findVoidExpression( assign, indexer );
+                        delete assign->env;
                         assign->env = nullptr;