From 4ada8cdcbe09ce1f239760684e3b27b96fc3ae6d Mon Sep 17 00:00:00 2001
From: Mike Stump <mrs@apple.com>
Date: Thu, 29 Jun 2006 17:38:10 +0000
Subject: [PATCH] * gcc.dg/vla-8.c: Add additional testcases.
From-SVN: r115074
---
gcc/testsuite/ChangeLog | 4 ++++
gcc/testsuite/gcc.dg/vla-8.c | 24 ++++++++++++++++++++++++
2 files changed, 28 insertions(+)
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8dc800201d56..024b0e72f081 100644
--- 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 a5b8113a73d9..e4c6ae4157fa 100644
--- 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:
+ ;
+}
--
GitLab