added repro cases from #2172 as tests

2025-06-14 21:39:00 +02:00
parent 89651fd8bd
commit 1ac8a51c58
2 changed files with 107 additions and 0 deletions
--- a/test/todo/bug2172b_invalid_code.c
+++ b/test/todo/bug2172b_invalid_code.c
@@ -0,0 +1,51 @@
+
+#include <stdlib.h>
+#include <stdio.h>
+
+/* Just some arbitrary code, more fun with goto */
+int func(int m)
+{
+    long x = -42;               /* sp: -4 */
+    switch (x) {
+        /* return 0; // C99 only */
+        int i = 42;             /* sp: -6 */
+L0:
+        --i;
+default:
+        if (i != 0) {
+            long j = 13;        /* sp: -10 */
+            goto L1;
+L1:
+case 0x7FFF01:
+            m--;
+case 0x7EFF0001:
+case 0x7FFF0001:
+            i++;
+        }                       /* sp: -6 */
+case 0x7FFF00:
+case 0x7FFF0000:
+        break;
+        goto L0;
+        {
+            int skipped = 42;   /* sp: -8 */
+case 0x7EFF00:
+case 0x7EFF0000:
+            ++skipped;
+        }                       /* sp: -6 */
+    }                           /* sp: -4 */
+
+    return m;
+}
+
+int err = 0;
+
+int main(void)
+{
+    int n = 42;
+    n = func(7);
+    if (n != 7) {
+        err++;
+    }
+    printf("n:%d\n", n);
+    return err;
+}