- crashes, but should give an error
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 26 Oct 2008 02:04:06 +0000 (02:04 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 26 Oct 2008 02:04:06 +0000 (02:04 +0000)
[r23200]

parsetest/shouldfail/weird_label.c [new file with mode: 0644]

diff --git a/parsetest/shouldfail/weird_label.c b/parsetest/shouldfail/weird_label.c
new file mode 100644 (file)
index 0000000..947da2a
--- /dev/null
@@ -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;
+}