Changeset 4ec9513 for src/AST/Pass.impl.hpp

Timestamp:

Apr 13, 2022, 2:55:51 PM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

365c8dcb

Parents:

6b06abe

Message:

Converted validate C, including adding DimensionExpr? to the new ast.

File:

• src/AST/Pass.impl.hpp (modified) (3 diffs)

src/AST/Pass.impl.hpp

@@ -575 +575 @@
                         __pass::symtab::addId( core, 0, func );
                         if ( __visit_children() ) {
-                                // parameter declarations
+                                maybe_accept( node, &FunctionDecl::type_params );
+                                maybe_accept( node, &FunctionDecl::assertions );
                                 maybe_accept( node, &FunctionDecl::params );
                                 maybe_accept( node, &FunctionDecl::returns );
-                                // type params and assertions
-                                maybe_accept( node, &FunctionDecl::type_params );
-                                maybe_accept( node, &FunctionDecl::assertions );
+                                maybe_accept( node, &FunctionDecl::type );
                                 // First remember that we are now within a function.
                                 ValueGuard< bool > oldInFunction( inFunction );
@@ -1522 +1521 @@
 
 //--------------------------------------------------------------------------
+// DimensionExpr
+template< typename core_t >
+const ast::Expr * ast::Pass< core_t >::visit( const ast::DimensionExpr * node ) {
+        VISIT_START( node );
+
+        if ( __visit_children() ) {
+                guard_symtab guard { *this };
+                maybe_accept( node, &DimensionExpr::result );
+        }
+
+        VISIT_END( Expr, node );
+}
+
+//--------------------------------------------------------------------------
 // AsmExpr
 template< typename core_t >
@@ -1859 +1872 @@
 
         if ( __visit_children() ) {
-                // xxx - should PointerType visit/mutate dimension?
+                maybe_accept( node, &PointerType::dimension );
                 maybe_accept( node, &PointerType::base );
         }