Changeset 1571e4d for src

Timestamp:

Aug 3, 2024, 11:36:26 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

06ecda9

Parents:

4e107bf

Message:

reinterpret loop start for enum type as the first enumerator

File:

• src/ResolvExpr/ResolveTypeof.cpp (modified) (1 diff)

src/ResolvExpr/ResolveTypeof.cpp

@@ -130 +130 @@
         mutDecl->type = renameTyVars(mutDecl->type, RenameMode::GEN_EXPR_ID);
         mutDecl->isTypeFixed = true;
+
+        auto enumInst = decl->type.as<ast::EnumInstType>();
+        if ( enumInst && enumInst->base->isCfa ) {
+                if ( auto init = decl->init.as<ast::SingleInit>() ) {
+                        if ( auto initExpr = init->value.as<ast::ConstantExpr>() ) {
+                                if ( initExpr->result.as<ast::ZeroType>() ) {
+                                        auto newInit = new ast::SingleInit( init->location, 
+                                                ast::UntypedExpr::createCall( init->location, "lowerBound", {} )
+                                        );
+                                        mutDecl->init = newInit;
+                                }
+                        }
+                }
+        }
+
         return mutDecl;
 }