From 756b2d5ef5c8e18cf61ab632afb10502fd6904dd Mon Sep 17 00:00:00 2001
From: Richard Sandiford <rsandifo@redhat.com>
Date: Tue, 16 Oct 2001 13:09:17 +0000
Subject: [PATCH] * g++.dg/template/unify2.C: New test.

From-SVN: r46288
---
 gcc/testsuite/ChangeLog                |  4 ++++
 gcc/testsuite/g++.dg/template/unify2.C | 13 +++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/unify2.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a76fcbe6f88..6a35de6024c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2001-10-14  Richard Sandiford  <rsandifo@redhat.com>
+
+	* g++.dg/template/unify2.C: New test.
+
 2001-10-14  Richard Sandiford  <rsandifo@redhat.com>
 
 	* g++.dg/other/exception-specification.C: New test
diff --git a/gcc/testsuite/g++.dg/template/unify2.C b/gcc/testsuite/g++.dg/template/unify2.C
new file mode 100644
index 00000000000..e5e6d190468
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/unify2.C
@@ -0,0 +1,13 @@
+// { dg-do compile }
+
+template<int I> void f1 (char [][I+1]) {}
+template<int I> void f2 (char [][I+0]) {}
+template<int I> void f3 (char [][I]) {}
+template<int I> void f4 (char [][I-0]) {}
+template<int I> void f5 (char [][I-1]) {}
+
+template void f1 (char [][6]); // { dg-error "does not match" }
+template void f2 (char [][6]); // { dg-error "does not match" }
+template void f3 (char [][6]);
+template void f4 (char [][6]); // { dg-error "does not match" }
+template void f5 (char [][6]); // { dg-error "does not match" }