diff options
| author | reichelt <reichelt@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-06-22 09:47:51 +0000 |
|---|---|---|
| committer | reichelt <reichelt@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-06-22 09:47:51 +0000 |
| commit | 475963b02ecf4e138f7ef03d7ad321de3f40c6af (patch) | |
| tree | 73b66a1b11d3fab19c48d501ca14051f0b7badbf | |
| parent | 44bad7e7454697a51931cd93447fe36c84029a83 (diff) | |
| download | ppe42-gcc-475963b02ecf4e138f7ef03d7ad321de3f40c6af.tar.gz ppe42-gcc-475963b02ecf4e138f7ef03d7ad321de3f40c6af.zip | |
PR c++/28110
* pt.c (unify) <case TEMPLATE_PARM_INDEX>: Check for invalid
parameters.
* g++.dg/template/crash53.C: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114885 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/crash53.C | 11 |
4 files changed, 20 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f666fab0b10..ac044d179f9 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2006-06-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de> + PR c++/28110 + * pt.c (unify) <case TEMPLATE_PARM_INDEX>: Check for invalid + parameters. + PR c++/28109 * rtti.c (get_tinfo_decl_dynamic): Robustify. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 08bda26d6b8..f7bc7ce59a5 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -10281,6 +10281,8 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict) case TEMPLATE_PARM_INDEX: tparm = TREE_VALUE (TREE_VEC_ELT (tparms, 0)); + if (tparm == error_mark_node) + return 1; if (TEMPLATE_PARM_LEVEL (parm) != template_decl_level (tparm)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d08e87c75f8..a02dc4c4c28 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2006-06-22 Volker Reichelt <reichelt@igpm.rwth-aachen.de> + PR c++/28110 + * g++.dg/template/crash53.C: New test. + PR c++/28109 * g++.dg/rtti/incomplete1.C: New test. diff --git a/gcc/testsuite/g++.dg/template/crash53.C b/gcc/testsuite/g++.dg/template/crash53.C new file mode 100644 index 00000000000..bbd1e7fc7ae --- /dev/null +++ b/gcc/testsuite/g++.dg/template/crash53.C @@ -0,0 +1,11 @@ +// PR c++/28110 +// { dg-do compile } + +template<int> struct A {}; + +template<typename T> struct B +{ + template<T I> B(A<I>); // { dg-error "template constant parameter" } +}; + +B<double> a=A<0>(); // { dg-error "non-scalar type" } |
