Changeset 0f6a7752 for src/ResolvExpr/Resolver.cc

Timestamp:

Jun 24, 2019, 2:28:10 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

093a5d7

Parents:

08c0780

Message:

Put in temporary patch to finish new resolver port

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 );
         }