Changeset 1571e4d

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

Files:

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

libcfa/src/enum.hfa

@@ -66 +66 @@
                 return l;
         }
+
+        E ?+=? ( E & l, one_t ) {
+                l = succ(l);
+                return l;
+        }
         
         E ?++( E & l ) {

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