[Bug c++/80452] [DR 1579] incorrect value category deduced for return value

[aldyh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80452

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Author: aldyh
Date: Wed Sep 13 16:50:48 2017
New Revision: 252393

URL: https://gcc.gnu.org/viewcvs?rev=252393&root=gcc&view=rev
Log:
        PR c++/80452 - Core 1579, implicit move semantics on return/throw

        * cp-tree.h (LOOKUP_PREFER_RVALUE): Now means that we've already
        tentatively changed the lvalue to an rvalue.
        * call.c (reference_binding): Remove LOOKUP_PREFER_RVALUE handling.
        (build_over_call): If LOOKUP_PREFER_RVALUE, check that the first
        parameter is an rvalue reference.
        * except.c (build_throw): Do maybe-rvalue overload resolution twice.
        * typeck.c (check_return_expr): Likewise.

Added:
    branches/range-gen2/gcc/testsuite/g++.dg/cpp0x/move-return1.C
Modified:
    branches/range-gen2/gcc/cp/ChangeLog
    branches/range-gen2/gcc/cp/call.c
    branches/range-gen2/gcc/cp/cp-tree.h
    branches/range-gen2/gcc/cp/except.c
    branches/range-gen2/gcc/cp/typeck.c