Changeset 92355883 for src/ResolvExpr/CurrentObject.cc

Timestamp:

Aug 31, 2023, 5:51:00 PM (9 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

2a301ff

Parents:

c84dd61

Message:

Array can use enum instance with explicit initializer as designator. More general case will be covered in later commit

File:

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

src/ResolvExpr/CurrentObject.cc

@@ -1045 +1045 @@
                         PRINT( std::cerr << "____untyped: " << expr << std::endl; )
                         auto dit = desigAlts.begin();
-                        if ( auto nexpr = dynamic_cast< const NameExpr * >( expr ) ) {
-                                for ( const Type * t : curTypes ) {
-                                        assert( dit != desigAlts.end() );
-
-                                        DesignatorChain & d = *dit;
+
+                        for ( const Type * t : curTypes ) {
+                                assert( dit != desigAlts.end() );
+                                DesignatorChain & d = *dit;
+                                if ( auto nexpr = dynamic_cast< const NameExpr *>( expr ) ) {
                                         PRINT( std::cerr << "____actual: " << t << std::endl; )
                                         if ( auto refType = dynamic_cast< const BaseInstType * >( t ) ) {
@@ -1062 +1062 @@
                                                         }
                                                 }
+                                        } else if ( auto at = dynamic_cast< const ArrayType * >( t ) ) {
+                                                auto nexpr = dynamic_cast< const NameExpr *>( expr );
+                                                auto res = eval( nexpr ); 
+                                                for ( const Decl * mem : refType->lookup( nexpr->name ) ) {
+                                                        if ( auto field = dynamic_cast< const ObjectDecl * >( mem ) ) {
+                                                                DesignatorChain d2 = d;
+                                                                d2.emplace_back( new VariableExpr{ expr->location, field } );
+                                                                newDesigAlts.emplace_back( std::move( d2 ) );
+                                                                // newTypes.emplace_back( field->type );
+                                                                newTypes.emplace_back( at->base );
+                                                        }
+                                                }
+
+                                                // d.emplace_back( expr );
+                                                // newDesigAlts.emplace_back( d );
+                                                // newTypes.emplace_back( at->base );
                                         }
 
                                         ++dit;
-                                }
-                        } else {
-                                for ( const Type * t : curTypes ) {
-                                        assert( dit != desigAlts.end() );
-
-                                        DesignatorChain & d = *dit;
+                                } else {
                                         if ( auto at = dynamic_cast< const ArrayType * >( t ) ) {
                                                 PRINT( std::cerr << "____alt: " << at->get_base() << std::endl; )