Changeset 5f210c0 for tests/ctrl-flow

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

Location:

tests/ctrl-flow

Files:

• .expect/loopctrl.txt (modified) (1 diff)
• loopctrl.cfa (modified) (1 diff)

tests/ctrl-flow/.expect/loopctrl.txt

@@ -119 +119 @@
 0 -2 -4 -6 -8
 0 1 2 3 4 5 6 7 8 9
+A B C
+A B C D
+D B
 A B C D
 D C B A

tests/ctrl-flow/loopctrl.cfa

@@ -83 +83 @@
 
         enum(int) E { A, B, C, D };
-//      for ( E e; A ~= C ) { sout | e; } sout | nl;
-//      for ( e; A ~= D ) { sout | e; } sout | nl;
-//      for ( e; A -~= D ~ 2 ) { sout | e; } sout | nl;
+        for ( E e; A ~= C ) { sout | e; } sout | nl;
+        for ( e; A ~= D ) { sout | e; } sout | nl;
+        for ( e; A -~= D ~ 2 ) { sout | e; } sout | nl;
         for ( e; E ) { sout | e; } sout | nl;
         for ( e; -~= E ) { sout | e; } sout | nl;