Changes in src/SymTab/Validate.cc [b2da0574:42107b4]

File:

• src/SymTab/Validate.cc (modified) (17 diffs)

src/SymTab/Validate.cc

@@ -48 +48 @@
 #include "CodeGen/CodeGenerator.h"     // for genName
 #include "CodeGen/OperatorTable.h"     // for isCtorDtor, isCtorDtorAssign
+#include "Common/GC.h"                 // for new_static_root, register_static_root
 #include "Common/PassVisitor.h"        // for PassVisitor, WithDeclsToAdd
 #include "Common/ScopedMap.h"          // for ScopedMap
@@ -199 +200 @@
                 void addImplicitTypedef( AggDecl * aggDecl );
 
-                typedef std::unique_ptr<TypedefDecl> TypedefDeclPtr;
-                typedef ScopedMap< std::string, std::pair< TypedefDeclPtr, int > > TypedefMap;
+                typedef ScopedMap< std::string, std::pair< TypedefDecl*, int > > TypedefMap;
                 typedef std::map< std::string, TypeDecl * > TypeDeclMap;
                 TypedefMap typedefNames;
@@ -312 +312 @@
                 } // if
                 // Always remove the hoisted aggregate from the inner structure.
-                GuardAction( [aggregateDecl]() { filter( aggregateDecl->members, shouldHoist, false ); } );
+                GuardAction( [aggregateDecl]() { filter( aggregateDecl->members, shouldHoist ); } );
         }
 
@@ -373 +373 @@
                         // one void is the only thing in the list; remove it.
                         if ( containsVoid ) {
-                                delete dwts.front();
                                 dwts.clear();
                         }
@@ -500 +499 @@
                                 }
                         }
-                        deleteAll( td->assertions );
                         td->assertions.clear();
                 } // for
@@ -616 +614 @@
                                         // expand trait instance into all of its members
                                         expandAssertions( traitInst, back_inserter( type->assertions ) );
-                                        delete traitInst;
                                 } else {
                                         // pass other assertions through
@@ -688 +685 @@
                         // grab and remember declaration of size_t
                         SizeType = eliminator.pass.typedefNames["size_t"].first->get_base()->clone();
+                        GC::get().register_static_root( SizeType );
                 } else {
                         // xxx - missing global typedef for size_t - default to long unsigned int, even though that may be wrong
                         // eventually should have a warning for this case.
-                        SizeType = new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt );
-                }
-                filter( translationUnit, isTypedef, true );
+                        SizeType = 
+                                new_static_root<BasicType>( Type::Qualifiers(), BasicType::LongUnsignedInt );
+                }
+                filter( translationUnit, isTypedef );
         }
 
@@ -707 +706 @@
                                 ret->attributes.splice( ret->attributes.end(), typeInst->attributes );
                         } else {
-                                deleteAll( ret->attributes );
                                 ret->attributes.clear();
                         }
@@ -720 +718 @@
                                 mutateAll( rtt->parameters, *visitor );  // recursively fix typedefs on parameters
                         } // if
-                        delete typeInst;
                         return ret;
                 } else {
@@ -762 +759 @@
                         }
                 } else {
-                        typedefNames[ tyDecl->get_name() ] = std::make_pair( TypedefDeclPtr( tyDecl ), scopeLevel );
+                        typedefNames[ tyDecl->get_name() ] = std::make_pair( tyDecl, scopeLevel );
                 } // if
 
@@ -806 +803 @@
                 if ( FunctionType *funtype = dynamic_cast<FunctionType *>( objDecl->get_type() ) ) { // function type?
                         // replace the current object declaration with a function declaration
-                        FunctionDecl * newDecl = new FunctionDecl( objDecl->get_name(), objDecl->get_storageClasses(), objDecl->get_linkage(), funtype, 0, objDecl->get_attributes(), objDecl->get_funcSpec() );
-                        objDecl->get_attributes().clear();
-                        objDecl->set_type( nullptr );
-                        delete objDecl;
-                        return newDecl;
+                        return new FunctionDecl{ 
+                                objDecl->get_name(), objDecl->get_storageClasses(), objDecl->get_linkage(), 
+                                funtype, 0, objDecl->get_attributes(), objDecl->get_funcSpec() };
                 } // if
                 return objDecl;
@@ -834 +829 @@
                         } // if
                         return false;
-                }, true);
+                } );
                 return compoundStmt;
         }
@@ -842 +837 @@
         template<typename AggDecl>
         AggDecl *EliminateTypedef::handleAggregate( AggDecl * aggDecl ) {
-                filter( aggDecl->members, isTypedef, true );
+                filter( aggDecl->members, isTypedef );
                 return aggDecl;
         }
@@ -857 +852 @@
                                 type = new EnumInstType( Type::Qualifiers(), newDeclEnumDecl->get_name() );
                         } // if
-                        TypedefDeclPtr tyDecl( new TypedefDecl( aggDecl->get_name(), aggDecl->location, Type::StorageClasses(), type, aggDecl->get_linkage() ) );
-                        typedefNames[ aggDecl->get_name() ] = std::make_pair( std::move( tyDecl ), scopeLevel );
+                        TypedefDecl* tyDecl = new TypedefDecl{ aggDecl->get_name(), aggDecl->location, Type::StorageClasses(), type, aggDecl->get_linkage() };
+                        typedefNames[ aggDecl->get_name() ] = std::make_pair( tyDecl, scopeLevel );
                 } // if
         }
@@ -972 +967 @@
                 static UniqueName indexName( "_compLit" );
 
-                ObjectDecl *tempvar = new ObjectDecl( indexName.newName(), storageClasses, LinkageSpec::C, nullptr, compLitExpr->get_result(), compLitExpr->get_initializer() );
-                compLitExpr->set_result( nullptr );
-                compLitExpr->set_initializer( nullptr );
-                delete compLitExpr;
+                ObjectDecl * tempvar = new ObjectDecl{ 
+                        indexName.newName(), storageClasses, LinkageSpec::C, nullptr, compLitExpr->get_result(), compLitExpr->get_initializer() };
                 declsToAddBefore.push_back( tempvar );                                  // add modified temporary to current block
                 return new VariableExpr( tempvar );
@@ -1011 +1004 @@
                         // ensure return value is not destructed by explicitly creating an empty ListInit node wherein maybeConstruct is false.
                         ObjectDecl * newRet = new ObjectDecl( "", Type::StorageClasses(), LinkageSpec::Cforall, 0, tupleType, new ListInit( std::list<Initializer*>(), noDesignators, false ) );
-                        deleteAll( retVals );
                         retVals.clear();
                         retVals.push_back( newRet );
@@ -1052 +1044 @@
                         if ( NameExpr * nameExpr = dynamic_cast< NameExpr * >( inner->arg ) ) {
                                 if ( labels.count( nameExpr->name ) ) {
-                                        Label name = nameExpr->name;
-                                        delete addrExpr;
-                                        return new LabelAddressExpr( name );
+                                        return new LabelAddressExpr{ nameExpr->name };
                                 }
                         }