From 4a57656f692c5fb08fe80e0c665d852d8e32388b Mon Sep 17 00:00:00 2001
From: mrdudz <mrdudz@users.noreply.github.com>
Date: Mon, 17 May 2021 14:40:09 +0200
Subject: [PATCH] add test for issue #1504

---
 test/val/bug1504.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 test/val/bug1504.c

diff --git a/test/val/bug1504.c b/test/val/bug1504.c
new file mode 100644
index 000000000..bd93c7387
--- /dev/null
+++ b/test/val/bug1504.c
@@ -0,0 +1,13 @@
+
+/* bug #1504 - Some compilation failures */
+
+#include <stdio.h>
+
+int main(void)
+{
+    int i = 0, *p = &i;
+    switch (i) case 0: case 1: i = 21;  /* Should be OK but fails */
+    p++[0] += 21;                       /* Should be OK but fails */
+    printf("%d\n", i);
+    return i != 42;
+}