From 89d594a24d75b48db60e6dcebf5945686618361b Mon Sep 17 00:00:00 2001 From: Nathan Sidwell Date: Tue, 5 Oct 2004 16:08:02 +0000 Subject: [PATCH] re PR c++/17829 (wrong error: call of overloaded function is ambiguous) cp: PR c++/17829 * parser.c (cp_parser_postfix_expression): Inhibit Koenig when unqualified lookup finds a member function. testsuite: PR c++/17829 * g++.dg/lookup/koenig4.C: New. From-SVN: r88558 --- gcc/cp/ChangeLog | 6 +++++ gcc/cp/parser.c | 36 ++++++++++++++++++++------- gcc/testsuite/ChangeLog | 9 +++++-- gcc/testsuite/g++.dg/lookup/koenig4.C | 21 ++++++++++++++++ 4 files changed, 61 insertions(+), 11 deletions(-) create mode 100644 gcc/testsuite/g++.dg/lookup/koenig4.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index dc21cf718a4..21829a5de64 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2004-10-05 Nathan Sidwell + + PR c++/17829 + * parser.c (cp_parser_postfix_expression): Inhibit Koenig when + unqualified lookup finds a member function. + 2004-10-04 Gabriel Dos Reis Convert diagnostics to use quoting flag q 4/n diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index ed65334852a..79342dbf576 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -4061,20 +4061,38 @@ cp_parser_postfix_expression (cp_parser *parser, bool address_p) koenig_p = false; if (idk == CP_ID_KIND_UNQUALIFIED) { + if (TREE_CODE (postfix_expression) == IDENTIFIER_NODE) + { + if (args) + { + koenig_p = true; + postfix_expression + = perform_koenig_lookup (postfix_expression, args); + } + else + postfix_expression + = unqualified_fn_lookup_error (postfix_expression); + } /* We do not perform argument-dependent lookup if normal lookup finds a non-function, in accordance with the expected resolution of DR 218. */ - if (args - && (is_overloaded_fn (postfix_expression) - || TREE_CODE (postfix_expression) == IDENTIFIER_NODE)) + else if (args && is_overloaded_fn (postfix_expression)) { - koenig_p = true; - postfix_expression - = perform_koenig_lookup (postfix_expression, args); + tree fn = get_first_fn (postfix_expression); + + if (TREE_CODE (fn) == TEMPLATE_ID_EXPR) + fn = OVL_CURRENT (TREE_OPERAND (fn, 0)); + + /* Only do argument dependent lookup if regular + lookup does not find a set of member functions. + [basic.lookup.koenig]/2a */ + if (!DECL_FUNCTION_MEMBER_P (fn)) + { + koenig_p = true; + postfix_expression + = perform_koenig_lookup (postfix_expression, args); + } } - else if (TREE_CODE (postfix_expression) == IDENTIFIER_NODE) - postfix_expression - = unqualified_fn_lookup_error (postfix_expression); } if (TREE_CODE (postfix_expression) == COMPONENT_REF) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2d1277b4029..8849504824c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2004-10-05 Nathan Sidwell + + PR c++/17829 + * g++.dg/lookup/koenig4.C: New. + 2004-10-05 Gabriel Dos Reis * g++.dg/other/classkey1.C: Adjust quoting marks. @@ -22219,7 +22224,7 @@ Thu Apr 27 15:58:18 MET DST 2000 Jan Hubicka * gcc.c-torture/compile/labels-2.c: New test. -1999-12-27 Martin von Löwis +1999-12-27 Martin von Löwis * gcc.c-torture/execute/991227-1.c: New test. @@ -22227,7 +22232,7 @@ Thu Apr 27 15:58:18 MET DST 2000 Jan Hubicka * g++.old-deja/g++.pt/instantiate6.C: Remove excess errors XFAIL. -1999-12-21 Martin von Löwis +1999-12-21 Martin von Löwis * gcc.c-torture/execute/991221-1.c: New test. diff --git a/gcc/testsuite/g++.dg/lookup/koenig4.C b/gcc/testsuite/g++.dg/lookup/koenig4.C new file mode 100644 index 00000000000..49fa5eaa653 --- /dev/null +++ b/gcc/testsuite/g++.dg/lookup/koenig4.C @@ -0,0 +1,21 @@ +// { dg-do compile } + +// Copyright (C) 2004 Free Software Foundation, Inc. +// Contributed by Nathan Sidwell 5 Oct 2004 + +// Origin: Wolfgang Bangerth +// Incorrect koenig lookup + +struct A {}; + +struct B { + static void foo(); + static void bar(const A &); +}; + +void bar(const A &){} + +void B::foo () { + A a; + bar (a); +}