Changes in src/Common/PassVisitor.impl.h [7ff35e0e:6cebfef]

File:

• src/Common/PassVisitor.impl.h (modified) (1 diff)

src/Common/PassVisitor.impl.h

@@ -1781 +1781 @@
 
 //--------------------------------------------------------------------------
+// MutexStmt
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( MutexStmt * node ) {
+        VISIT_START( node );
+        // mutex statements introduce a level of scope (for the initialization)
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const MutexStmt * node ) {
+        VISIT_START( node );
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Statement * PassVisitor< pass_type >::mutate( MutexStmt * node ) {
+        MUTATE_START( node );
+        maybeMutate_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = mutateStatement( node->stmt );
+        }
+        MUTATE_END( Statement, node );
+}
+
+//--------------------------------------------------------------------------
 // ApplicationExpr
 template< typename pass_type >