Changeset 8315947 for src/AST/SymbolTable.cpp

Timestamp:

Jul 13, 2024, 3:29:22 PM (5 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

2e6b2a0

Parents:

76b507d

Message:

Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented)

File:

• src/AST/SymbolTable.cpp (modified) (2 diffs)

src/AST/SymbolTable.cpp

@@ -419 +419 @@
 void SymbolTable::addWith( const std::vector< ptr<Expr> > & withExprs, const Decl * withStmt ) {
         for ( const Expr * expr : withExprs ) {
-                if ( ! expr->result ) continue;
-                const Type * resTy = expr->result->stripReferences();
-                auto aggrType = dynamic_cast< const BaseInstType * >( resTy );
-                assertf( aggrType, "WithStmt expr has non-aggregate type: %s",
-                        toString( expr->result ).c_str() );
-                const AggregateDecl * aggr = aggrType->aggr();
-                assertf( aggr, "WithStmt has null aggregate from type: %s",
-                        toString( expr->result ).c_str() );
-
-                addMembers( aggr, expr, OnConflict::deleteWith( withStmt ) );
+                if ( expr->result ) {
+                        const Type * resTy = expr->result->stripReferences();
+                        auto aggrType = dynamic_cast< const BaseInstType * >( resTy );
+                        assertf( aggrType, "WithStmt expr has non-aggregate type: %s",
+                                toString( expr->result ).c_str() );
+                        const AggregateDecl * aggr = aggrType->aggr();
+                        assertf( aggr, "WithStmt has null aggregate from type: %s",
+                                toString( expr->result ).c_str() );
+
+                        addMembers( aggr, expr, OnConflict::deleteWith( withStmt ) );
+                } else {
+                        auto typeExpr = dynamic_cast< const ast::TypeExpr *>( expr );
+                        if ( !typeExpr ) continue;
+                        auto declEnumInst = typeExpr->type.as<ast::EnumInstType>();
+                        // assertf( declEnumInst,  "WithStmt expr unsupprot type expression: %s",
+                        //      toString( typeExpr->type ).c_str());
+                        if ( !declEnumInst ) continue;
+                        
+                        const EnumDecl * aggr = declEnumInst->aggr();
+                        // assertf( aggr, "WithStmt has null aggregate from type: %s",
+                        //      toString( typeExpr ).c_str() );
+                        // addMembers( aggr, expr, OnConflict::deleteWith( withStmt ) );
+                        if ( !aggr ) {
+                                aggr = lookupEnum( declEnumInst->name );
+                                assert( aggr );
+                        }
+                        addMembers( aggr, expr, OnConflict::deleteWith( withStmt ) );
+                }
         }
 }
@@ -800 +818 @@
                 if ( auto rty = dynamic_cast<const BaseInstType *>( t ) ) {
                         if ( ! dynamic_cast<const StructInstType *>(rty)
-                                && ! dynamic_cast<const UnionInstType *>(rty) ) continue;
+                                && ! dynamic_cast<const UnionInstType *>(rty)
+                                && ! dynamic_cast<const EnumInstType *>(rty) ) continue;
                         ResolvExpr::Cost cost = ResolvExpr::Cost::zero;
                         ast::ptr<ast::TypeSubstitution> tmp = expr->env;