diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 64603142531..f9ede2dcf62 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2015-05-21 Nathan Sidwell + + PR c++/60943 + * decl2.c (change_return_type): Propagate FUNCTION_REF_QUALIFIED. + 2015-05-21 Marek Polacek * typeck.c (warn_args_num): Don't print "declare here" for builtins. @@ -14,7 +19,7 @@ (build_op_delete_call): Warn about size_t placement delete with -Wc++14-compat. -2015-05-19 Nathan sidwell +2015-05-19 Nathan Sidwell PR c++/65954 * typeck.c (finish_class_member_access_expr): Diagnose failed diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c index 27bacabb847..f1b3d0cbc6a 100644 --- a/gcc/cp/decl2.c +++ b/gcc/cp/decl2.c @@ -195,6 +195,8 @@ change_return_type (tree new_ret, tree fntype) else newtype = build_method_type_directly (class_of_this_parm (fntype), new_ret, TREE_CHAIN (args)); + if (FUNCTION_REF_QUALIFIED (fntype)) + newtype = build_ref_qualified_type (newtype, type_memfn_rqual (fntype)); if (raises) newtype = build_exception_variant (newtype, raises); if (attrs) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e5083f65bf1..bd4e57e0367 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2015-05-21 Nathan Sidwell + + * g++.dg/cpp1y/pr60943.C: New. + 2015-05-21 Jakub Jelinek PR tree-optimization/66233 diff --git a/gcc/testsuite/g++.dg/cpp1y/pr60943.C b/gcc/testsuite/g++.dg/cpp1y/pr60943.C new file mode 100644 index 00000000000..43857af9a22 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/pr60943.C @@ -0,0 +1,16 @@ +// { dg-options "-std=c++14" } + +struct A { + auto f() & {} + auto f() && {} +}; + +void Foo (A &a) +{ + a.f(); +} + +void Bar (A &&a) +{ + a.f (); +}