From: lerdsuwa Date: Sun, 23 Nov 2003 11:32:14 +0000 (+0000) Subject: PR c++/12924 X-Git-Tag: upstream/4.9.2~75162 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=4e23dbe072aa36a7bd2b801924fd72e488ad59b9;p=platform%2Fupstream%2Flinaro-gcc.git PR c++/12924 * typeck.c (finish_class_member_access_expr): Handle TEMPLATE_ID_EXPR with OVERLOAD and DECL nodes as the first operand. * g++.dg/template/template-id-2.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@73851 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 1ec5f1f..a6d4223 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2003-11-23 Kriang Lerdsuwanakij + + PR c++/12924 + * typeck.c (finish_class_member_access_expr): Handle TEMPLATE_ID_EXPR + with OVERLOAD and DECL nodes as the first operand. + 2003-11-22 Kriang Lerdsuwanakij * pt.c (tsubst) : Remove erroneous argument to build_nt. diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index fa325c0..f2cca5f 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -1860,6 +1860,11 @@ finish_class_member_access_expr (tree object, tree name) is_template_id = true; template_args = TREE_OPERAND (name, 1); name = TREE_OPERAND (name, 0); + + if (TREE_CODE (name) == OVERLOAD) + name = DECL_NAME (get_first_fn (name)); + else if (DECL_P (name)) + name = DECL_NAME (name); } if (TREE_CODE (name) == SCOPE_REF) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c339a0d..592508b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-11-23 Kriang Lerdsuwanakij + + PR c++/12924 + * g++.dg/template/template-id-2.C: New test. + 2003-11-22 Kriang Lerdsuwanakij PR c++/5369 diff --git a/gcc/testsuite/g++.dg/template/template-id-2.C b/gcc/testsuite/g++.dg/template/template-id-2.C new file mode 100644 index 0000000..1bc378c --- /dev/null +++ b/gcc/testsuite/g++.dg/template/template-id-2.C @@ -0,0 +1,22 @@ +// { dg-do compile } + +// Origin: Richard Guenther + +// PR c++/12924 + +template struct A {}; + +template<> struct A +{ + template void foo() + { + A a; + a.template foo(); // { dg-error "no member" } + } +}; + +void bar() +{ + A a; + a.foo(); // { dg-error "instantiated" } +}