diff options
| author | Volker Reichelt <reichelt@igpm.rwth-aachen.de> | 2005-07-12 16:07:38 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2005-07-12 16:07:38 +0000 |
| commit | a207780f9b958e8cf857858a658dbe9db6b68347 (patch) | |
| tree | 47a081bcd8d674465343a3cedc9e1de828548dc5 /gcc/testsuite | |
| parent | cac50d9410d1c110fdaacaecfaef840e3c42e1a5 (diff) | |
| download | gcc-a207780f9b958e8cf857858a658dbe9db6b68347.zip gcc-a207780f9b958e8cf857858a658dbe9db6b68347.tar.gz gcc-a207780f9b958e8cf857858a658dbe9db6b68347.tar.bz2 | |
re PR c++/20172 (Invalid non-type template parameters not diagnosed)
cp:
PR c++/20172
* pt.c (tsubst_template_parms): Check for invalid non-type
parameters.
testsuite:
PR c++/20172
* g++.dg/template/nontype12.C : New test.
Co-Authored-By: Nathan Sidwell <nathan@codesourcery.com>
From-SVN: r101928
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/nontype12.C | 35 |
2 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2a0a5f8..6502977 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-07-12 Volker Reichelt <reichelt@igpm.rwth-aachen.de> + + PR c++/20172 + * g++.dg/template/nontype12.C : New test. + 2005-07-12 Zdenek Dvorak <dvorakz@suse.cz> * gcc.dg/tree-ssa/loop-10.c: New test. diff --git a/gcc/testsuite/g++.dg/template/nontype12.C b/gcc/testsuite/g++.dg/template/nontype12.C new file mode 100644 index 0000000..0200e87 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/nontype12.C @@ -0,0 +1,35 @@ +// PR c++/20172 +// Origin: Volker Reichelt <reichelt@igpm.rwth-aachen.de> + +template<typename T> struct A +{ + template<T> int foo(); // { dg-error "double" } + template<template<T> class> int bar(); // { dg-error "double" } + template<T> struct X; // { dg-error "double" } +}; + +A<char> a1; +A<double> a2; // { dg-error "instantiated" } + +template<typename T> struct B +{ + template<double> int foo(); // { dg-error "double" } + template<template<double> class> int bar(); // { dg-error "double" } + template<double> struct X; // { dg-error "double" } +}; + +template<void> int foo(); // { dg-error "void" } +template<template<void> class> int bar(); // { dg-error "void" } +template<void> struct X; // { dg-error "void" } + +template<typename T> struct C +{ + template<T> int foo(); // { dg-error "double" } +}; + +template<typename T> int baz(T) { C<T> c; } // { dg-error "instantiated" } + +void foobar() +{ + baz(1.2); // { dg-error "instantiated" } +} |