Changeset 6e09f211 for src/Common/PassVisitor.impl.h

Timestamp:

Jun 15, 2017, 12:18:23 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

637568b, 7b6ca2e

Parents:

f146716

Message:

Pass visitor:

• added support for throw statment
• now resets skip children flag after reading it
• prototype for value guard alternative (Still un-tested)

File:

• src/Common/PassVisitor.impl.h (modified) (3 diffs)

src/Common/PassVisitor.impl.h

@@ -1 +1 @@
 #pragma once
 
-#define VISIT_START( node )  \
-        call_previsit( node ); \
-        if( visit_children() ) { \
-
-#define VISIT_END( node )            \
-        }                              \
-        return call_postvisit( node ); \
-
-#define MUTATE_START( node )  \
-        call_premutate( node ); \
-        if( visit_children() ) { \
+#define VISIT_START( node )                     \
+        __attribute__((unused))                   \
+        const auto & guard = init_guard();        \
+        call_previsit( node );                    \
+        if( visit_children() ) {                  \
+                reset_visit();                      \
+
+#define VISIT_END( node )                       \
+        }                                         \
+        call_postvisit( node );                   \
+
+#define MUTATE_START( node )                    \
+        __attribute__((unused))                   \
+        const auto & guard = init_guard();        \
+        call_premutate( node );                   \
+        if( visit_children() ) {                  \
+                reset_visit();                      \
 
 #define MUTATE_END( type, node )                \
@@ -18 +24 @@
 
 
-#define VISIT_BODY( node )    \
-        VISIT_START( node );  \
-        Visitor::visit( node ); \
-        VISIT_END( node ); \
+#define VISIT_BODY( node )        \
+        VISIT_START( node );        \
+        Visitor::visit( node );     \
+        VISIT_END( node );          \
 
 
@@ -389 +395 @@
 
 //--------------------------------------------------------------------------
+// ThrowStmt
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( ThrowStmt * node ) {
+        VISIT_BODY( node );
+}
+
+template< typename pass_type >
+Statement * PassVisitor< pass_type >::mutate( ThrowStmt * node ) {
+        MUTATE_BODY( Statement, node );
+}
+
+//--------------------------------------------------------------------------
 // TryStmt
 template< typename pass_type >