* gcc.dg/vla-8.c: Add additional testcases.

From-SVN: r115074

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8dc800201d5689c81cf66441c3c4cff220318420..024b0e72f081b68b2258fceaf7ce78cb5a30bc09 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2006-06-29  Mike Stump  <mrs@apple.com>
+
+       * gcc.dg/vla-8.c: Add additional testcases.
+
 2006-06-26  Steve Ellcey  <sje@cup.hp.com>
 
        PR c++/28114

diff --git a/gcc/testsuite/gcc.dg/vla-8.c b/gcc/testsuite/gcc.dg/vla-8.c
index a5b8113a73d925bbb8bc5c73a7ff4700fdb9a166..e4c6ae4157fa4578956dc9cd8fc995b37f5f74ba 100644 (file)
--- a/gcc/testsuite/gcc.dg/vla-8.c
+++ b/gcc/testsuite/gcc.dg/vla-8.c
@@ -4,3 +4,27 @@
 
 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:
+  ;
+}