diff options
| author | Mark Mitchell <mark@codesourcery.com> | 2004-10-28 20:53:04 +0000 |
|---|---|---|
| committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2004-10-28 20:53:04 +0000 |
| commit | 883a2bff66fbcba913f3c21427a0551d8624dc6b (patch) | |
| tree | d67de648c09e8c1810110d9aea2eda23c21b75cc /gcc/cp | |
| parent | 40aea05cfa9feadb1fb46bca2992b905ebdcba74 (diff) | |
| download | gcc-883a2bff66fbcba913f3c21427a0551d8624dc6b.zip gcc-883a2bff66fbcba913f3c21427a0551d8624dc6b.tar.gz gcc-883a2bff66fbcba913f3c21427a0551d8624dc6b.tar.bz2 | |
re PR c++/17132 (GCC fails to eliminate function template specialization when argument deduction fails)
PR c++/17132
* pt.c (instantiate_class_template): Increment
processing_template_decl when substituting into a member class
template.
PR c++/17132
* g++.dg/template/memclass3.C: New test.
From-SVN: r89778
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 18 |
2 files changed, 23 insertions, 2 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ee2ae82..2edaa40 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2004-10-28 Mark Mitchell <mark@codesourcery.com> + + PR c++/17132 + * pt.c (instantiate_class_template): Increment + processing_template_decl when substituting into a member class + template. + 2004-10-27 Mark Mitchell <mark@codesourcery.com> PR c++/17435 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 99f4e7b..eb44e64 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -5621,14 +5621,28 @@ instantiate_class_template (tree type) tree tag = t; tree name = TYPE_IDENTIFIER (tag); tree newtag; - + bool class_template_p; + + class_template_p = (TREE_CODE (tag) != ENUMERAL_TYPE + && TYPE_LANG_SPECIFIC (tag) + && CLASSTYPE_IS_TEMPLATE (tag)); + /* If the member is a class template, then -- even after + substituition -- there may be dependent types in the + template argument list for the class. We increment + PROCESSING_TEMPLATE_DECL so that dependent_type_p, as + that function will assume that no types are dependent + when outside of a template. */ + if (class_template_p) + ++processing_template_decl; newtag = tsubst (tag, args, tf_error, NULL_TREE); + if (class_template_p) + --processing_template_decl; if (newtag == error_mark_node) continue; if (TREE_CODE (newtag) != ENUMERAL_TYPE) { - if (TYPE_LANG_SPECIFIC (tag) && CLASSTYPE_IS_TEMPLATE (tag)) + if (class_template_p) /* Unfortunately, lookup_template_class sets CLASSTYPE_IMPLICIT_INSTANTIATION for a partial instantiation (i.e., for the type of a member |