From 3897c0aae8cdd410c306f775e424fd32fd918257 Mon Sep 17 00:00:00 2001 From: Mark Mitchell Date: Mon, 12 Dec 2005 01:40:25 +0000 Subject: [PATCH] re PR c++/25337 (ICE with template processing) PR c++/25337 * pt.c (tsubst_copy_and_build): Permit dependent types for the object in a class member access expression. PR c++/25337 * g++.dg/template/defarg7.C: New test. From-SVN: r108394 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/pt.c | 15 ++++++++------- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/template/defarg7.C | 7 +++++++ 4 files changed, 26 insertions(+), 7 deletions(-) create mode 100644 gcc/testsuite/g++.dg/template/defarg7.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 13b075bb9d7..b3bad798b3e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2005-12-10 Mark Mitchell + + PR c++/25337 + * pt.c (tsubst_copy_and_build): Permit dependent types for the + object in a class member access expression. + 2005-12-10 Terry Laurenzo PR java/9861 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 5f28b4193a7..e2c987a44fb 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -8857,6 +8857,7 @@ tsubst_copy_and_build (tree t, case COMPONENT_REF: { tree object; + tree object_type; tree member; object = tsubst_non_call_postfix_expression (TREE_OPERAND (t, 0), @@ -8864,6 +8865,7 @@ tsubst_copy_and_build (tree t, /* Remember that there was a reference to this entity. */ if (DECL_P (object)) mark_used (object); + object_type = TREE_TYPE (object); member = TREE_OPERAND (t, 1); if (BASELINK_P (member)) @@ -8872,20 +8874,20 @@ tsubst_copy_and_build (tree t, args, complain, in_decl); else member = tsubst_copy (member, args, complain, in_decl); - if (member == error_mark_node) return error_mark_node; - else if (!CLASS_TYPE_P (TREE_TYPE (object))) + + if (object_type && !CLASS_TYPE_P (object_type)) { if (TREE_CODE (member) == BIT_NOT_EXPR) return finish_pseudo_destructor_expr (object, NULL_TREE, - TREE_TYPE (object)); + object_type); else if (TREE_CODE (member) == SCOPE_REF && (TREE_CODE (TREE_OPERAND (member, 1)) == BIT_NOT_EXPR)) return finish_pseudo_destructor_expr (object, object, - TREE_TYPE (object)); + object_type); } else if (TREE_CODE (member) == SCOPE_REF && TREE_CODE (TREE_OPERAND (member, 1)) == TEMPLATE_ID_EXPR) @@ -8907,12 +8909,11 @@ tsubst_copy_and_build (tree t, args); member = (adjust_result_of_qualified_name_lookup (member, BINFO_TYPE (BASELINK_BINFO (member)), - TREE_TYPE (object))); + object_type)); } else { - qualified_name_lookup_error (TREE_TYPE (object), tmpl, - member); + qualified_name_lookup_error (object_type, tmpl, member); return error_mark_node; } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 21ec14b7fa2..c91a3e9f1df 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-12-11 Mark Mitchell + + PR c++/25337 + * g++.dg/template/defarg7.C: New test. + 2005-12-11 Andrew Pinski PR libobjc/25347 diff --git a/gcc/testsuite/g++.dg/template/defarg7.C b/gcc/testsuite/g++.dg/template/defarg7.C new file mode 100644 index 00000000000..77506d40228 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/defarg7.C @@ -0,0 +1,7 @@ +// PR c++/25337 + +template T& MakeT(); +template ().operator[](0))> +struct helper{}; +template +static char is_here(helper*); -- 2.30.2