Changeset cc077f4 for src/ControlStruct/TranslateEnumRange.cpp

Timestamp:

Aug 5, 2024, 9:31:08 AM (5 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f6d2e9b

Parents:

c588acb (diff), 7db4fcd4 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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",