Changeset 3d618a0 for src/Validate/InitializerLength.cpp

Timestamp:

Sep 9, 2024, 6:16:09 PM (5 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

aa14aafe

Parents:

d93b813 (diff), f5dbc8d (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/Validate/InitializerLength.cpp (modified) (1 diff)

src/Validate/InitializerLength.cpp

@@ -29 +29 @@
 ///   int x[] = { 1, 2, 3 };
 ///   int y[][2] = { { 1, 2, 3 }, { 1, 2, 3 } };
+///   char z[] = "hello";
 /// here x and y are known at compile-time to have length 3, so change this into
 ///   int x[3] = { 1, 2, 3 };
 ///   int y[3][2] = { { 1, 2, 3 }, { 1, 2, 3 } };
+///   char z[6] = "hello";
 struct InitializerLength {
         const ast::ObjectDecl * previsit( const ast::ObjectDecl * decl );
 };
 
+ast::ConstantExpr * makeDimension( const ast::ObjectDecl * decl ) {
+        if ( auto init = decl->init.as<ast::ListInit>() ) {
+                return ast::ConstantExpr::from_ulong( decl->location, init->size() );
+        } else if ( auto init = decl->init.as<ast::SingleInit>() ) {
+                if ( auto constant = init->value.as<ast::ConstantExpr>() ) {
+                        if ( auto type = constant->result.as<ast::ArrayType>() ) {
+                                if ( auto dim = type->dimension.as<ast::ConstantExpr>() ) {
+                                        ast::ConstantExpr * dimension = ast::deepCopy( dim );
+                                        dimension->location = decl->location;
+                                        return dimension;
+                                }
+                        }
+                }
+        }
+        return nullptr;
+}
+
 const ast::ObjectDecl * InitializerLength::previsit( const ast::ObjectDecl * decl ) {
         if ( auto type = decl->type.as<ast::ArrayType>() ) {
                 if ( type->dimension ) return decl;
-                if ( auto init = decl->init.as<ast::ListInit>() ) {
+                if ( auto dimension = makeDimension( decl ) ) {
                         ast::ObjectDecl * mutDecl = ast::mutate( decl );
                         ast::ArrayType * mutType = ast::mutate( type );
-                        mutType->dimension = ast::ConstantExpr::from_ulong(
-                                mutDecl->location, init->size() );
+                        mutType->dimension = dimension;
                         mutDecl->type = mutType;
                         return mutDecl;