* g++.dg/template/unify2.C: New test.

From-SVN: r46288

* g++.dg/template/unify2.C: New test.
From-SVN: r46288
756b2d5e · Richard Sandiford · Richard Sandiford · d9f818d9 · 756b2d5e · 756b2d5e
Commit 756b2d5e authored Oct 16, 2001 by Richard Sandiford Committed by Richard Sandiford Oct 16, 2001
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 0 deletions

gcc/testsuite/ChangeLog
+4 -0

gcc/testsuite/g++.dg/template/unify2.C
+13 -0

No files found.
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
 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

 2001-10-13  Tom Rix  <trix@redhat.com>

--- a/gcc/testsuite/g++.dg/template/unify2.C
+++ b/gcc/testsuite/g++.dg/template/unify2.C
+// { 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" }