1 files changed, 21 insertions, 0 deletions
diff --git a/tests/tests2/78_vla_label.c b/tests/tests2/78_vla_label.c
new file mode 100644
index 0000000..0908e1b
--- /dev/null
+++ b/tests/tests2/78_vla_label.c
@@ -0,0 +1,21 @@
+#include <stdio.h>
+
+/* This test segfaults as of April 27, 2015. */
+
+void f(int argc)
+{
+  char test[argc];
+  if(0)
+  label:
+    printf("boom!\n");
+  if(argc-- == 0)
+    return;
+  goto label;
+}
+
+int main()
+{
+  f(2);
+
+  return 0;
+}