From ca5333f22c94c1ad873265bde286cf9b96df5ff2 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Thu, 12 Jan 2012 12:26:57 -0500 Subject: [PATCH] re PR c++/51403 (ICE with invalid template parameter) PR c++/51403 * pt.c (unify): Handle error_mark_node. From-SVN: r183132 --- gcc/cp/ChangeLog | 5 +++++ gcc/cp/pt.c | 2 ++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/template/arg8.C | 7 +++++++ 4 files changed, 19 insertions(+) create mode 100644 gcc/testsuite/g++.dg/template/arg8.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b11d6bf2448..9af1a140d0d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2012-01-12 Jason Merrill + + PR c++/51403 + * pt.c (unify): Handle error_mark_node. + 2012-01-11 Jason Merrill PR c++/51565 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index ac72b6ddaaa..97a92941c61 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -16272,6 +16272,8 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict, idx = TEMPLATE_TYPE_IDX (parm); targ = TREE_VEC_ELT (INNERMOST_TEMPLATE_ARGS (targs), idx); tparm = TREE_VALUE (TREE_VEC_ELT (tparms, idx)); + if (tparm == error_mark_node) + return unify_invalid (explain_p); /* Check for mixed types and values. */ if ((TREE_CODE (parm) == TEMPLATE_TYPE_PARM diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 56f28ee354b..53dda864d66 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-01-12 Jason Merrill + + PR c++/51403 + * g++.dg/template/arg8.C: New. + 2012-01-12 Ira Rosen PR tree-optimization/51799 diff --git a/gcc/testsuite/g++.dg/template/arg8.C b/gcc/testsuite/g++.dg/template/arg8.C new file mode 100644 index 00000000000..adcd013e306 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/arg8.C @@ -0,0 +1,7 @@ +template // { dg-error "void" } +void foo(T, U, int) {} + +void bar() +{ + foo(0, 0, 0); // { dg-error "no match" } +} -- 2.30.2