aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGiovanni Bajo <giovannibajo@gcc.gnu.org>2004-01-13 01:07:02 +0000
committerGiovanni Bajo <giovannibajo@gcc.gnu.org>2004-01-13 01:07:02 +0000
commit451aeff70dbe963aa98ede4203e48c4ac24961a7 (patch)
tree4fa1f08e4eb85626275d9f9f3b098323fa55bc44
parentcdf4ac6f04eaad7610945657103444472b324928 (diff)
downloadgcc-451aeff70dbe963aa98ede4203e48c4ac24961a7.zip
gcc-451aeff70dbe963aa98ede4203e48c4ac24961a7.tar.gz
gcc-451aeff70dbe963aa98ede4203e48c4ac24961a7.tar.bz2
re PR c++/13474 (fail to compile non type argument specialization of pointer to array of int)
PR c++/13474 * g++.dg/template/array3.C: New test. From-SVN: r75778
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/template/array3.C17
2 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5a1a497..4785a3d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2004-01-13 Giovanni Bajo <giovannibajo@gcc.gnu.org>
+
+ PR c++/13474
+ * g++.dg/template/array3.C: New test.
+
2004-01-12 Zack Weinberg <zack@codesourcery.com>
* g++.dg/ext/lvalue1.C: No longer expected to fail.
diff --git a/gcc/testsuite/g++.dg/template/array3.C b/gcc/testsuite/g++.dg/template/array3.C
new file mode 100644
index 0000000..27d72f9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/array3.C
@@ -0,0 +1,17 @@
+// { dg-do compile }
+// Origin: Graeme Prentice <gprentice at paradise dot net dot nz>
+// PR c++/13474: An array domain which is value-dependent must be folded
+// in time for deduction.
+
+template< int X, int Y, int (*array_ptr)[Y] >
+class A;
+
+int array[5];
+
+template< int X >
+class A<X,5,&array> {};
+
+int main()
+{
+ A<6,5,&array> z1;
+}