From f94d2a44b227f0a7af9de64a86af241ba64be2f0 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Sun, 26 Oct 2008 02:04:06 +0000
Subject: [PATCH] - crashes, but should give an error

[r23200]
---
 parsetest/shouldfail/weird_label.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 parsetest/shouldfail/weird_label.c

diff --git a/parsetest/shouldfail/weird_label.c b/parsetest/shouldfail/weird_label.c
new file mode 100644
index 0000000..947da2a
--- /dev/null
+++ b/parsetest/shouldfail/weird_label.c
@@ -0,0 +1,12 @@
+#include <stdio.h>
+
+int main(int argc, char *argv) {
+	switch (argc) {
+		({ weird: printf("It's forbidden to jump here\n"); argc; });
+	case -1:
+		break;
+	default:
+		goto weird;
+	}
+	return 0;
+}
-- 
2.20.1