diff options
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/unify2.C | 13 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a76fcbe..6a35de6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 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> diff --git a/gcc/testsuite/g++.dg/template/unify2.C b/gcc/testsuite/g++.dg/template/unify2.C new file mode 100644 index 0000000..e5e6d19 --- /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" } |