Changeset 4c5ce70

Timestamp:

Mar 11, 2026, 5:44:52 PM (2 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

a783c74

Parents:

42bce4e

Message:

update loop else-clause test to verify loop declarations are accessible in else clause

Location:

tests/ctrl-flow

Files:

• .expect/loop_else.txt (modified) (1 diff)
• loop_else.cfa (modified) (2 diffs)

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

@@ -69 +69 @@
 (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)(0 0)else
 
-before begin else after
+before
+ begin
+ else
+ after
+key 11 not found at position 10
+key 11 not found at position 10

tests/ctrl-flow/loop_else.cfa

@@ -123 +123 @@
         sout | nl;
 
+        sout | nlOn;                                                                            // turn on auto newline
+
         // A break (or a continue) in an else clause should target an outer loop.
 
@@ -136 +138 @@
                 sout | " end";
         }
-        sout | " after" | nl;
+        sout | " after";
+
+        // A loop index for while and for is accessible in the else clause.
+        // Do-while has no local declarations in condition.
+
+        int key = 11, size = 10, arr[size] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
+        while ( int i = 0; i < size ) {
+                if ( arr[i] == key ) sout | "key" | key | "found at posstion" | i;
+                i += 1;
+        } else sout | "key" | key | "not found at position" | i;
+                        
+        for ( i; size ) {
+                if ( arr[i] == key ) sout | "key" | key | "found at posstion" | i;
+        } else sout | "key" | key | "not found at position" | i;
 }