Changes in src/ResolvExpr/Resolver.cc [18e683b:0f6a7752]

File:

• src/ResolvExpr/Resolver.cc (modified) (2 diffs)

src/ResolvExpr/Resolver.cc

@@ -1226 +1226 @@
                 const ast::StaticAssertDecl * previsit( const ast::StaticAssertDecl * );
 
-                void previsit( const ast::ArrayType * );
-                void previsit( const ast::PointerType * );
+                const ast::ArrayType * previsit( const ast::ArrayType * );
+                const ast::PointerType * previsit( const ast::PointerType * );
 
                 const ast::ExprStmt *        previsit( const ast::ExprStmt * );
@@ -1334 +1334 @@
 
         template< typename PtrType >
-        void handlePtrType( const PtrType * type, const ast::SymbolTable & symtab ) {
-                #warning unimplemented; needs support for new Validate::SizeType global
-                (void)type; (void)symtab;
-                assert( false );
-        }
-
-        void Resolver_new::previsit( const ast::ArrayType * at ) {
-                handlePtrType( at, symtab );
-        }
-
-        void Resolver_new::previsit( const ast::PointerType * pt ) {
-                handlePtrType( pt, symtab );
+        const PtrType * handlePtrType( const PtrType * type, const ast::SymbolTable & symtab ) {
+                if ( type->dimension ) {
+                        #warning should use new equivalent to Validate::SizeType rather than sizeType here
+                        ast::ptr< ast::Type > sizeType = 
+                                new ast::BasicType{ ast::BasicType::LongLongUnsignedInt };
+                        ast::mutate_field( 
+                                type, &PtrType::dimension, 
+                                findSingleExpression( type->dimension, sizeType, symtab ) );
+                }
+                return type;
+        }
+
+        const ast::ArrayType * Resolver_new::previsit( const ast::ArrayType * at ) {
+                return handlePtrType( at, symtab );
+        }
+
+        const ast::PointerType * Resolver_new::previsit( const ast::PointerType * pt ) {
+                return handlePtrType( pt, symtab );
         }