diff options
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/parser.c | 13 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 4 |
3 files changed, 17 insertions, 5 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 14fc98f..789fcfb 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,10 @@ 2005-10-02 Mark Mitchell <mark@codesourcery.com> + PR c++/22621 + * parser.c (cp_parser_template_argument): Don't turn "T::f" into + "(*this).T::f". + * pt.c (convert_nontype_argument): Remove ??? comment. + PR c++/23840 * tree.c (lvalue_p1): A VA_ARG_EXPR with class type is an lvalue, when class rvalues are lvalues. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 7284d4b..08af6e2 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -9099,11 +9099,20 @@ cp_parser_template_argument (cp_parser* parser) argument = TREE_OPERAND (argument, 0); } - if (qualifying_class) + /* If ADDRESS_P, then we use finish_qualified_id_expr so + that we get a pointer-to-member, if appropriate. + However, if ADDRESS_P is false, we don't want to turn + "T::f" into "(*this).T::f". */ + if (qualifying_class && address_p) argument = finish_qualified_id_expr (qualifying_class, argument, /*done=*/true, - address_p); + /*address_p=*/true); + else if (TREE_CODE (argument) == BASELINK) + /* We don't need the information about what class was used + to name the overloaded functions. */ + argument = BASELINK_FUNCTIONS (argument); + if (TREE_CODE (argument) == VAR_DECL) { /* A variable without external linkage might still be a diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 1217580..82d569b 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -3613,9 +3613,7 @@ convert_nontype_argument (tree type, tree expr) else if (TYPE_PTRFN_P (type)) { /* If the argument is a template-id, we might not have enough - context information to decay the pointer. - ??? Why static5.C requires decay and subst1.C works fine - even without it? */ + context information to decay the pointer. */ if (!type_unknown_p (expr_type)) { expr = decay_conversion (expr); |