diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/crash15.C | 9 |
4 files changed, 30 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5e4e8243343..60bfd419ddf 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,10 @@ 2003-12-15 Mark Mitchell <mark@codesourcery.com> + PR c++/13310 + * pt.c (dependent_template_p): Handle OVERLOADs. + +2003-12-15 Mark Mitchell <mark@codesourcery.com> + PR c++/13243 PR c++/12573 * parser.c (cp_parser_postfix_expression): Tighten handling of diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 553d4f7d318..1a03bba6b89 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -11912,6 +11912,17 @@ any_dependent_template_arguments_p (tree args) bool dependent_template_p (tree tmpl) { + if (TREE_CODE (tmpl) == OVERLOAD) + { + while (tmpl) + { + if (dependent_template_p (OVL_FUNCTION (tmpl))) + return true; + tmpl = OVL_CHAIN (tmpl); + } + return false; + } + /* Template template parameters are dependent. */ if (DECL_TEMPLATE_TEMPLATE_PARM_P (tmpl) || TREE_CODE (tmpl) == TEMPLATE_TEMPLATE_PARM) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 679637a3c04..941809d2c61 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-12-15 Mark Mitchell <mark@codesourcery.com> + + PR c++/13310 + * g++.dg/template/crash15.C: New test. + 2003-12-15 Geoffrey Keating <geoffk@apple.com> * g++.old-deja/g++.pt/vaarg3.C: Don't expect an error for passing diff --git a/gcc/testsuite/g++.dg/template/crash15.C b/gcc/testsuite/g++.dg/template/crash15.C new file mode 100644 index 00000000000..e0aad73c73e --- /dev/null +++ b/gcc/testsuite/g++.dg/template/crash15.C @@ -0,0 +1,9 @@ +// PR c++/13310 + +struct A {}; + +template <typename> void foo() +{ + A a; + a.foo<int>(); // { dg-error "" } +} |
