Changes in src/InitTweak/GenInit.cc [b8524ca:a16764a6]

File:

• src/InitTweak/GenInit.cc (modified) (6 diffs)

src/InitTweak/GenInit.cc

@@ -15 +15 @@
 #include "GenInit.h"
 
-#include <stddef.h>                    // for NULL
-#include <algorithm>                   // for any_of
-#include <cassert>                     // for assert, strict_dynamic_cast, assertf
-#include <deque>
-#include <iterator>                    // for back_inserter, inserter, back_inse...
-#include <list>                        // for _List_iterator, list
-
-#include "AST/Decl.hpp"
-#include "AST/Init.hpp"
-#include "AST/Node.hpp"
-#include "AST/Stmt.hpp"
+#include <stddef.h>                // for NULL
+#include <algorithm>               // for any_of
+#include <cassert>                 // for assert, strict_dynamic_cast, assertf
+#include <iterator>                // for back_inserter, inserter, back_inse...
+#include <list>                    // for _List_iterator, list
+
 #include "CodeGen/OperatorTable.h"
-#include "Common/PassVisitor.h"        // for PassVisitor, WithGuards, WithShort...
-#include "Common/SemanticError.h"      // for SemanticError
-#include "Common/UniqueName.h"         // for UniqueName
-#include "Common/utility.h"            // for ValueGuard, maybeClone
-#include "GenPoly/GenPoly.h"           // for getFunctionType, isPolyType
-#include "GenPoly/ScopedSet.h"         // for ScopedSet, ScopedSet<>::const_iter...
-#include "InitTweak.h"                 // for isConstExpr, InitExpander, checkIn...
-#include "Parser/LinkageSpec.h"        // for isOverridable, C
+#include "Common/PassVisitor.h"    // for PassVisitor, WithGuards, WithShort...
+#include "Common/SemanticError.h"  // for SemanticError
+#include "Common/UniqueName.h"     // for UniqueName
+#include "Common/utility.h"        // for ValueGuard, maybeClone
+#include "GenPoly/GenPoly.h"       // for getFunctionType, isPolyType
+#include "GenPoly/ScopedSet.h"     // for ScopedSet, ScopedSet<>::const_iter...
+#include "InitTweak.h"             // for isConstExpr, InitExpander, checkIn...
+#include "Parser/LinkageSpec.h"    // for isOverridable, C
 #include "ResolvExpr/Resolver.h"
-#include "SymTab/Autogen.h"            // for genImplicitCall
-#include "SymTab/Mangler.h"            // for Mangler
-#include "SynTree/Declaration.h"       // for ObjectDecl, DeclarationWithType
-#include "SynTree/Expression.h"        // for VariableExpr, UntypedExpr, Address...
-#include "SynTree/Initializer.h"       // for ConstructorInit, SingleInit, Initi...
-#include "SynTree/Label.h"             // for Label
-#include "SynTree/Mutator.h"           // for mutateAll
-#include "SynTree/Statement.h"         // for CompoundStmt, ImplicitCtorDtorStmt
-#include "SynTree/Type.h"              // for Type, ArrayType, Type::Qualifiers
-#include "SynTree/Visitor.h"           // for acceptAll, maybeAccept
-#include "Tuples/Tuples.h"             // for maybeImpure
-#include "Validate/FindSpecialDecls.h" // for SizeType
+#include "SymTab/Autogen.h"        // for genImplicitCall, SizeType
+#include "SymTab/Mangler.h"        // for Mangler
+#include "SynTree/Declaration.h"   // for ObjectDecl, DeclarationWithType
+#include "SynTree/Expression.h"    // for VariableExpr, UntypedExpr, Address...
+#include "SynTree/Initializer.h"   // for ConstructorInit, SingleInit, Initi...
+#include "SynTree/Label.h"         // for Label
+#include "SynTree/Mutator.h"       // for mutateAll
+#include "SynTree/Statement.h"     // for CompoundStmt, ImplicitCtorDtorStmt
+#include "SynTree/Type.h"          // for Type, ArrayType, Type::Qualifiers
+#include "SynTree/Visitor.h"       // for acceptAll, maybeAccept
+#include "Tuples/Tuples.h"         // for maybeImpure
 
 namespace InitTweak {
@@ -192 +186 @@
 
                         // need to resolve array dimensions in order to accurately determine if constexpr
-                        ResolvExpr::findSingleExpression( arrayType->dimension, Validate::SizeType->clone(), indexer );
+                        ResolvExpr::findSingleExpression( arrayType->dimension, SymTab::SizeType->clone(), indexer );
                         // array is variable-length when the dimension is not constexpr
                         arrayType->isVarLen = ! isConstExpr( arrayType->dimension );
@@ -198 +192 @@
                         if ( ! Tuples::maybeImpure( arrayType->dimension ) ) return;
 
-                        ObjectDecl * arrayDimension = new ObjectDecl( dimensionName.newName(), storageClasses, LinkageSpec::C, 0, Validate::SizeType->clone(), new SingleInit( arrayType->get_dimension() ) );
+                        ObjectDecl * arrayDimension = new ObjectDecl( dimensionName.newName(), storageClasses, LinkageSpec::C, 0, SymTab::SizeType->clone(), new SingleInit( arrayType->get_dimension() ) );
                         arrayDimension->get_type()->set_const( true );
 
@@ -279 +273 @@
                 assertf( objDecl, "genCtorDtor passed null objDecl" );
                 std::list< Statement * > stmts;
-                InitExpander_old srcParam( maybeClone( arg ) );
+                InitExpander srcParam( maybeClone( arg ) );
                 SymTab::genImplicitCall( srcParam, new VariableExpr( objDecl ), fname, back_inserter( stmts ), objDecl );
                 assert( stmts.size() <= 1 );
@@ -291 +285 @@
                 std::list< Statement * > dtor;
 
-                InitExpander_old srcParam( objDecl->get_init() );
-                InitExpander_old nullParam( (Initializer *)NULL );
+                InitExpander srcParam( objDecl->get_init() );
+                InitExpander nullParam( (Initializer *)NULL );
                 SymTab::genImplicitCall( srcParam, new VariableExpr( objDecl ), "?{}", back_inserter( ctor ), objDecl );
                 SymTab::genImplicitCall( nullParam, new VariableExpr( objDecl ), "^?{}", front_inserter( dtor ), objDecl, false );
@@ -358 +352 @@
                 GuardScope( managedTypes );
         }
-
-ast::ConstructorInit * genCtorInit( const CodeLocation & loc, const ast::ObjectDecl * objDecl ) {
-        // call into genImplicitCall from Autogen.h to generate calls to ctor/dtor for each 
-        // constructable object
-        InitExpander_new srcParam{ objDecl->init }, nullParam{ (const ast::Init *)nullptr };
-        
-        ast::ptr< ast::Stmt > ctor = SymTab::genImplicitCall( 
-                srcParam, new ast::VariableExpr{ loc, objDecl }, loc, "?{}", objDecl );
-        ast::ptr< ast::Stmt > dtor = SymTab::genImplicitCall( 
-                nullParam, new ast::VariableExpr{ loc, objDecl }, loc, "^?{}", objDecl, 
-                SymTab::LoopBackward );
-        
-        // check that either both ctor and dtor are present, or neither
-        assert( (bool)ctor == (bool)dtor );
-
-        if ( ctor ) {
-                // need to remember init expression, in case no ctors exist. If ctor does exist, want to 
-                // use ctor expression instead of init.
-                ctor.strict_as< ast::ImplicitCtorDtorStmt >(); 
-                dtor.strict_as< ast::ImplicitCtorDtorStmt >();
-
-                return new ast::ConstructorInit{ loc, ctor, dtor, objDecl->init };
-        }
-
-        return nullptr;
-}
-
 } // namespace InitTweak