1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/vla-8.c b/gcc/testsuite/gcc.dg/vla-8.c
new file mode 100644
index 000000000..6e14a0687
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vla-8.c
@@ -0,0 +1,34 @@
+/* { dg-do compile  } */
+/* { dg-options "-std=c99 -pedantic-errors" } */
+/* Radar 4336222 */
+
+int a;
+struct s { void (*f)(int (*)[a]); };
+
+static int i;
+static int new_i() { i++; return i; }
+static int bar1(int a[new_i()][new_i()]);
+
+void foo(int n) {
+  extern void bar(int i[n][n]);			/* Since this isn't a VM type ensure we can have linkage.  */
+  extern int bar1(int a[new_i()][new_i()]);	/* Since this isn't a VM type ensure we can have linkage.  */
+}
+
+void foo1(int n) {
+  goto A;
+  void bar(int i[n][n]);			/* Not a VM type, as VM arguments don't matter. */
+  int bar1(int a[new_i()][new_i()]);		/* Not a VM type, as VM arguments don't matter. */
+ A:
+  ;
+}
+
+void foo2(int n) {
+  goto A;	/* { dg-error "jump into scope of identifier with variably modified type" } */
+  int (*(*bar2)(void))[n];
+ A:
+  ;
+}
+
+/* Match extra informative notes.  */
+/* { dg-message "note: label '\[^\n'\]*' defined here" "note: expected" { target *-*-* } 0 } */
+/* { dg-message "note: '\[^\n'\]*' declared here" "note: expected" { target *-*-* } 0 } */