Changeset d83b266 for src/Common/PassVisitor.impl.h

Timestamp:

Jul 26, 2021, 2:42:34 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

0a061c0

Parents:

c86ee4c (diff), 98233b3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

src/Common/PassVisitor.impl.h

@@ -3610 +3610 @@
 
 //--------------------------------------------------------------------------
+// VTableType
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( VTableType * node ) {
+        VISIT_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeAccept_impl( node->forall, *this );
+        maybeAccept_impl( node->base, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const VTableType * node ) {
+        VISIT_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeAccept_impl( node->forall, *this );
+        maybeAccept_impl( node->base, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Type * PassVisitor< pass_type >::mutate( VTableType * node ) {
+        MUTATE_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeMutate_impl( node->forall, *this );
+        maybeMutate_impl( node->base, *this );
+
+        MUTATE_END( Type, node );
+}
+
+//--------------------------------------------------------------------------
 // AttrType
 template< typename pass_type >