Changeset 5f210c0 for src/ControlStruct

Timestamp:

Aug 4, 2024, 9:49:25 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

7db4fcd4

Parents:

7ab24fef

Message:

Change enum pos to signed int to avoid underflow; operator on enum will not have range check (but succ and pred still have range check

File:

• src/ControlStruct/TranslateEnumRange.cpp (modified) (1 diff)

src/ControlStruct/TranslateEnumRange.cpp

@@ -51 +51 @@
     // it wraps around and become unsigned max
     ast::UntypedExpr * condition = ast::UntypedExpr::createCall( location,
-        "?<=?",
+        stmt->is_inc? "?<=?": "?>=?",
         {   new ast::NameExpr( location, indexName ),
-            ast::UntypedExpr::createCall( location, "upperBound", {} )  });
+            stmt->is_inc?
+                ast::UntypedExpr::createCall( location, "upperBound", {} ):
+                ast::UntypedExpr::createCall( location, "lowerBound", {} )
+        });
     auto increment = ast::UntypedExpr::createCall( location, 
         stmt->is_inc? "succ_unsafe": "pred_unsafe",