From 7c92f4ec6107dc41199d8b61c9c4a598cadd9011 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Thu, 27 Oct 2016 09:39:48 -0400 Subject: [PATCH] * class.c (add_method): Allow using-declarations to coexist. From-SVN: r241620 --- gcc/cp/ChangeLog | 4 ++++ gcc/cp/class.c | 5 +++++ gcc/testsuite/g++.dg/overload/using4.C | 19 +++++++++++++++++++ 3 files changed, 28 insertions(+) create mode 100644 gcc/testsuite/g++.dg/overload/using4.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 1276d13..efce361 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2016-10-26 Jason Merrill + + * class.c (add_method): Allow using-declarations to coexist. + 2016-10-25 Jason Merrill * constexpr.c (maybe_constant_init): Pull out TARGET_EXPR_INITIAL. diff --git a/gcc/cp/class.c b/gcc/cp/class.c index d334b7c..a2a9346 100644 --- a/gcc/cp/class.c +++ b/gcc/cp/class.c @@ -1094,6 +1094,11 @@ add_method (tree type, tree method, tree using_decl) if (TREE_CODE (fn) != TREE_CODE (method)) continue; + /* Two using-declarations can coexist, we'll complain about ambiguity in + overload resolution. */ + if (using_decl && TREE_CODE (fns) == OVERLOAD && OVL_USED (fns)) + continue; + /* [over.load] Member function declarations with the same name and the same parameter types cannot be overloaded if any of them is a static member diff --git a/gcc/testsuite/g++.dg/overload/using4.C b/gcc/testsuite/g++.dg/overload/using4.C new file mode 100644 index 0000000..e4ee823 --- /dev/null +++ b/gcc/testsuite/g++.dg/overload/using4.C @@ -0,0 +1,19 @@ +struct A +{ + void f(); +}; + +struct B +{ + void f(); +}; + +struct C: A,B { + using A::f; + using B::f; +}; + +int main() +{ + C().f(); // { dg-error "ambiguous" } +} -- 2.7.4