Changeset bbbff10 for tests/ctrl-flow

Timestamp:

Feb 1, 2025, 8:49:35 AM (8 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

7846f91, 90e683b

Parents:

641707d

Message:

update loop_else test to handle warnings

Location:

tests/ctrl-flow

Files:

• .expect/loop_else-WRN1.txt (added)
• .expect/loop_else.txt (modified) (1 diff)
• .expect/superfluous.txt (deleted)
• loop_else.cfa (modified) (3 diffs)
• superfluous.cfa (deleted)

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

@@ +1 @@
+empty
+empty
+empty
+empty
 empty
 empty
 empty
 
+else
+else
 false else
 

tests/ctrl-flow/loop_else.cfa

@@ -20 +20 @@
 
 int main() {
+        sout | nlOff;                                                                           // turn off auto newline
+
+        // Special cases print warning: else clause never executed for empty loop conditional.
+
+        while () { sout | "empty"; break; } else { sout | "else"; }                                             sout | nl;
+        do { sout | "empty"; break; } while () else { sout | "else"; }                                  sout | nl;
+        for () { sout | "empty"; break; } else { sout | "else"; }                                               sout | nl;
+
         // Test some loop options.
 
-        sout | nlOff;                                                                           // turn off auto newline
         while ( true ) { sout | "empty"; break; } else { sout | "else"; }                               sout | nl;
         do { sout | "empty"; break; } while ( true ) else { sout | "else"; }                    sout | nl;
+        for ( ;; ) { sout | "empty"; break; } else { sout | "else"; }                                   sout | nl;
         for ( ; true ; ) { sout | "empty"; break; } else { sout | "else"; }                             sout | nl | nl;
 
+        while ( false ) { sout | "false"; break; } else { sout | "else"; }                              sout | nl;
+        for ( ; false; ) { sout | "false"; break; } else { sout | "else"; }                             sout | nl;
         do { sout | "false"; } while (false) else { sout | "else"; }                                    sout | nl | nl;
 
@@ -48 +58 @@
 
         // @ means do nothing
+
         for ( i; 1 ~ @ ) {
           if ( i > 10 ) break;
@@ -113 +124 @@
 
         // A break (or a continue) in an else clause should target an outer loop.
+
         sout | "before";
         while ( true ) {