Changeset 68f9c43 for src/Common

Timestamp:

Mar 16, 2018, 5:15:02 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env, with_gc

Children:

8d7bef2

Parents:

6171841

git-author:

Aaron Moss <a3moss@…> (03/16/18 17:04:24)

git-committer:

Aaron Moss <a3moss@…> (03/16/18 17:15:02)

Message:

First pass at delete removal

Location:

src/Common

Files:

• GC.cc (added)
• GC.h (added)
• PassVisitor.h (modified) (1 diff)
• PassVisitor.impl.h (modified) (1 diff)
• module.mk (modified) (1 diff)
• utility.h (modified) (1 diff)

src/Common/PassVisitor.h

@@ -152 +152 @@
         virtual void visit( Attribute * attribute ) override final;
 
+        virtual void visit( TypeSubstitution * sub ) final;
+
         virtual DeclarationWithType * mutate( ObjectDecl * objectDecl ) override final;
         virtual DeclarationWithType * mutate( FunctionDecl * functionDecl ) override final;

src/Common/PassVisitor.impl.h

@@ -2556 +2556 @@
 // TypeSubstitution
 template< typename pass_type >
+void PassVisitor< pass_type >::visit( TypeSubstitution * node ) {
+        VISIT_START( node );
+
+        for ( auto & p : node->typeEnv ) {
+                indexerScopedAccept( p.second, *this );
+        }
+        for ( auto & p : node->varEnv ) {
+                indexerScopedAccept( p.second, *this );
+        }
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
 TypeSubstitution * PassVisitor< pass_type >::mutate( TypeSubstitution * node ) {
         MUTATE_START( node );

src/Common/module.mk

@@ -18 +18 @@
        Common/UniqueName.cc \
        Common/DebugMalloc.cc \
+       Common/GC.cc \
        Common/Assert.cc

src/Common/utility.h

@@ -190 +190 @@
 
 template <typename E, typename UnaryPredicate, template< typename, typename...> class Container, typename... Args >
-void filter( Container< E *, Args... > & container, UnaryPredicate pred, bool doDelete ) {
+void filter( Container< E *, Args... > & container, UnaryPredicate pred ) {
         auto i = begin( container );
         while ( i != end( container ) ) {
                 auto it = next( i );
                 if ( pred( *i ) ) {
-                        if ( doDelete ) {
-                                delete *i;
-                        } // if
                         container.erase( i );
                 } // if