From 451aeff70dbe963aa98ede4203e48c4ac24961a7 Mon Sep 17 00:00:00 2001
From: Giovanni Bajo <giovannibajo@gcc.gnu.org>
Date: Tue, 13 Jan 2004 01:07:02 +0000
Subject: [PATCH] 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
---
 gcc/testsuite/ChangeLog                |  5 +++++
 gcc/testsuite/g++.dg/template/array3.C | 17 +++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/array3.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5a1a497595d..4785a3d6f4b 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 00000000000..27d72f972b0
--- /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;  
+}