Changeset bbbff10

Timestamp:

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

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

7846f91, 90e683b

Parents:

641707d

Message:

update loop_else test to handle warnings

Location:

tests

Files:

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

tests/Makefile.am ¶

@@ -11 +11 @@
 ## Created On       : Sun May 31 09:08:15 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Thu Dec 19 22:11:14 2024
-## Update Count     : 200
+## Last Modified On : Sat Feb  1 08:20:27 2025
+## Update Count     : 201
 ###############################################################################
 
@@ -57 +57 @@
 WFLGAS_OPT_LAX_EXPECT_WARN = \
         attr-priority \
+        ctrl-flow/loop_else-WRN1 \
         warnings/self-assignment
 
@@ -353 +354 @@
         -cp ${test} ${abspath ${@}}
 
+ctrl-flow/loop_else : ctrl-flow/loop_else.cfa ${CFACCBIN}
+        ${CC} ${AM_CFLAGS} -Wno-superfluous-else $< -o $@ 
+
+ctrl-flow/loop_else-WRN1 : ctrl-flow/loop_else.cfa ${CFACCBIN}
+        ${CFACOMPILE_SYNTAX} -DERR1
+        -cp ${test} ${abspath ${@}}
+
 # Exception Tests
 # Test with libcfathread; it changes how storage works.

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 ) {