diff options
| author | H.J. Lu <hongjiu.lu@intel.com> | 2009-02-23 22:34:50 +0000 |
|---|---|---|
| committer | H.J. Lu <hjl@gcc.gnu.org> | 2009-02-23 14:34:50 -0800 |
| commit | 8c8d4a46a88c43741c307ca638293f5c1de713c5 (patch) | |
| tree | 84e54c62e79ee4fc9bb0feb6b374ba881826abb2 /gcc | |
| parent | d8028f2cc34c6fe1f5a8b93762195dcdbbd37b71 (diff) | |
| download | gcc-8c8d4a46a88c43741c307ca638293f5c1de713c5.zip gcc-8c8d4a46a88c43741c307ca638293f5c1de713c5.tar.gz gcc-8c8d4a46a88c43741c307ca638293f5c1de713c5.tar.bz2 | |
re PR c++/36411 (ICE with invalid template template parameter)
gcc/cp
2009-02-23 H.J. Lu <hongjiu.lu@intel.com>
PR c++/36411
* pt.c (coerce_template_template_parms): Return 0 if parameter
is error_mark_node.
gcc/testsuite/
2009-02-23 H.J. Lu <hongjiu.lu@intel.com>
PR c++/36411
* g++.dg/template/void14.C: New.
From-SVN: r144396
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/void14.C | 7 |
4 files changed, 21 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index d2b2dbe..0af1372 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2009-02-23 H.J. Lu <hongjiu.lu@intel.com> + + PR c++/36411 + * pt.c (coerce_template_template_parms): Return 0 if parameter + is error_mark_node. + 2009-02-23 Jason Merrill <jason@redhat.com> * pt.c (unify): Call maybe_adjust_types_for_deduction when diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 7246b13..bef6002 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -4756,6 +4756,9 @@ coerce_template_template_parms (tree parm_parms, { parm = TREE_VALUE (TREE_VEC_ELT (parm_parms, nparms - 1)); + if (parm == error_mark_node) + return 0; + switch (TREE_CODE (parm)) { case TEMPLATE_DECL: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9c6b43a..ac5bf2e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-02-23 H.J. Lu <hongjiu.lu@intel.com> + + PR c++/36411 + * g++.dg/template/void14.C: New. + 2009-02-23 Jason Merrill <jason@redhat.com> PR c++/38880 diff --git a/gcc/testsuite/g++.dg/template/void14.C b/gcc/testsuite/g++.dg/template/void14.C new file mode 100644 index 0000000..7781c61 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/void14.C @@ -0,0 +1,7 @@ +// PR c++/36411 +// { dg-do compile } + +template<template<void> class> struct A // { dg-error "not a valid type" } +{ + template<template<int> class T> A<T> foo(); // { dg-error "mismatch|expected|invalid" } +}; |