Added several flow control tests.

2025-07-17 16:00:59 +02:00
parent f13284d3f8
commit ed54e9b168
14 changed files with 463 additions and 3 deletions
--- a/test/misc/flow-switch-01.c
+++ b/test/misc/flow-switch-01.c
@@ -0,0 +1,68 @@
+int a;
+
+static int f1(void)
+{
+    switch (a) {
+        /* Unreachable */
+        a = 3;
+        case 1:
+            a = 2;
+            break;
+        case 2:
+            a = 1;
+            break;
+        default:
+            a = 0;
+            break;
+    }
+    /* Reachable */
+    return a;
+}
+
+static int f2(void)
+{
+    switch (a) {
+        /* Reachable */
+L:      a = 3;
+        case 1:
+            goto L;
+        case 2:
+            a = 1;
+            break;
+        default:
+            a = 0;
+            break;
+    }
+    /* Reachable */
+    return a;
+}
+
+static int f3(void)
+{
+    switch (a) {
+        case 1:         return a;
+        case 2:         return a+1;
+        default:        return a+2;
+    }
+    /* Unreachable but no warning */
+    return a;
+}
+
+static int f4(void)
+{
+    switch (a) {
+        /* No warning */
+        do {
+            case 1:         ++a; continue;
+            case 2:         return a+1;
+            default:        return a+2;
+        } while (1);
+    }
+    /* Unreachable but no warning */
+    return a;
+}
+
+int main(void)
+{
+    return f1() + f2() + f3() + f4();
+}