This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/29939] Add rvalue references (C++0x)
- From: "dgregor at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 31 May 2007 01:18:41 -0000
- Subject: [Bug c++/29939] Add rvalue references (C++0x)
- References: <bug-29939-13604@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #7 from dgregor at gcc dot gnu dot org 2007-05-31 01:18 -------
Subject: Bug 29939
Author: dgregor
Date: Thu May 31 01:18:22 2007
New Revision: 125211
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125211
Log:
2007-05-30 Russell Yanofsky <russ@yanofsky.org>
Douglas Gregor <doug.gregor@gmail.com>
Pedro Lamarao <pedro.lamarao@mndfck.org>
Howard Hinnant <howard.hinnant@gmail.com>
PR c++/7412
PR c++/29939
* g++.dg/cpp0x/rv8p.C: New.
* g++.dg/cpp0x/temp-constructor-bug.C: New.
* g++.dg/cpp0x/cast-bug.C: New.
* g++.dg/cpp0x/elision_weak.C: New.
* g++.dg/cpp0x/collapse-bug.C: New.
* g++.dg/cpp0x/rv3p.C: New.
* g++.dg/cpp0x/rv7n.C: New.
* g++.dg/cpp0x/overload-conv-1.C: New.
* g++.dg/cpp0x/rv2n.C: New.
* g++.dg/cpp0x/deduce.C: New.
* g++.dg/cpp0x/temp-va-arg-bug.C: New.
* g++.dg/cpp0x/rv6p.C: New.
* g++.dg/cpp0x/template_deduction.C: New.
* g++.dg/cpp0x/implicit-copy.C: New.
* g++.dg/cpp0x/rv1p.C: New.
* g++.dg/cpp0x/cast.C: New.
* g++.dg/cpp0x/rv5n.C: New.
* g++.dg/cpp0x/collapse.C: New.
* g++.dg/cpp0x/overload-conv-2.C: New.
* g++.dg/cpp0x/rv4p.C: New.
* g++.dg/cpp0x/rvo.C: New.
* g++.dg/cpp0x/iop.C: New.
* g++.dg/cpp0x/rv3n.C: New.
* g++.dg/cpp0x/rv7p.C: New.
* g++.dg/cpp0x/reference_collapsing.C: New.
* g++.dg/cpp0x/overload.C: New.
* g++.dg/cpp0x/named.C: New.
* g++.dg/cpp0x/rv2p.C: New.
* g++.dg/cpp0x/rv6n.C: New.
* g++.dg/cpp0x/not_special.C: New.
* g++.dg/cpp0x/bind.C: New.
* g++.dg/cpp0x/rv1n.C: New.
* g++.dg/cpp0x/rv5p.C: New.
* g++.dg/cpp0x/elision.C: New.
* g++.dg/cpp0x/named_refs.C: New.
* g++.dg/cpp0x/unnamed_refs.C: New.
* g++.dg/cpp0x/rv4n.C: New.
* g++.dg/cpp0x/elision_neg.C: New.
* g++.dg/init/copy7.C: Run in C++98 mode.
* g++.dg/overload/arg1.C: Ditto.
* g++.dg/overload/arg4.C: Ditto.
2007-05-30 Russell Yanofsky <russ@yanofsky.org>
Douglas Gregor <doug.gregor@gmail.com>
Pedro Lamarao <pedro.lamarao@mndfck.org>
Howard Hinnant <howard.hinnant@gmail.com>
PR c++/7412
PR c++/29939
* typeck.c (comptypes): Don't consider rvalue and lvalue
reference types to be equivalent.
(check_return_expr): Move from certain lvalues when returning
them.
* decl.c (grokdeclarator): Implement reference collapsing.
(copy_fn_p): Don't consider constructors taking rvalue references
to be copy constructors.
(move_fn_p): New.
* call.c (conversion): New "rvaluedness_matches_p" member.
(convert_class_to_reference): Require reference type as first
parameter instead of base type.
(reference_binding): Add logic to handle rvalue references.
(implicit_conversion): Update inaccurate comment.
(convert_like_real): Disable creation of temporaries that are
impossible to initialize for types with move constructors.
(build_over_call): Elide move constructors when possible.
(maybe_handle_implicit_object): Set "rvaluedness_matches_p".
(maybe_handle_ref_bind): Return conversion instead of type node.
(compare_ics): Add logic to use "rvaluedness_matches_p" values to
determine preferred conversion sequences.
* cp-tree.h (TYPE_REF_IS_RVALUE): New.
(LOOKUP_PREFER_RVALUE): New.
(DECL_MOVE_CONSTRUCTOR_P): New.
(struct cp_declarator): Add "reference" member for reference
types, with new "rvalue_ref" flag.
(cp_build_reference_type): Declare.
(move_fn_p): Declare.
* error.c (dump_type_prefix): Format rvalue reference types
correctly in error messages.
* except.c (build_throw): Move from certain lvalues when
throwing.
* mangle.c (write_type): Mangle rvalue references differently
than regular references.
* parser.c (make_reference_declarator): Add boolean parameter for
rvalue references.
(cp_parser_make_indirect_declarator): New.
(cp_parser_new_declarator_opt): Call
cp_parser_make_indirect_declarator.
(cp_parser_conversion_declarator_opt): Ditto.
(cp_parser_declarator): Ditto.
(cp_parser_ptr_operator): Parse "&&" tokens into rvalue reference
declarators.
* pt.c (tsubst): Implement reference collapsing.
(maybe_adjust_types_for_deduction): Implement special template
parameter deduction rule for rvalue references.
(type_unification_real): Update calls to
maybe_adjust_types_for_deduction.
(try_one_overload): Ditto.
(unify_pack_expansion): Ditto.
* tree.c (lvalue_p_1): Handle rvalue reference types.
(cp_build_reference_type): New.
Added:
trunk/gcc/testsuite/g++.dg/cpp0x/bind.C
trunk/gcc/testsuite/g++.dg/cpp0x/cast-bug.C
trunk/gcc/testsuite/g++.dg/cpp0x/cast.C
trunk/gcc/testsuite/g++.dg/cpp0x/collapse-bug.C
trunk/gcc/testsuite/g++.dg/cpp0x/collapse.C
trunk/gcc/testsuite/g++.dg/cpp0x/deduce.C
trunk/gcc/testsuite/g++.dg/cpp0x/elision.C
trunk/gcc/testsuite/g++.dg/cpp0x/elision_neg.C
trunk/gcc/testsuite/g++.dg/cpp0x/elision_weak.C
trunk/gcc/testsuite/g++.dg/cpp0x/implicit-copy.C
trunk/gcc/testsuite/g++.dg/cpp0x/iop.C
trunk/gcc/testsuite/g++.dg/cpp0x/named.C
trunk/gcc/testsuite/g++.dg/cpp0x/named_refs.C
trunk/gcc/testsuite/g++.dg/cpp0x/not_special.C
trunk/gcc/testsuite/g++.dg/cpp0x/overload-conv-1.C
trunk/gcc/testsuite/g++.dg/cpp0x/overload-conv-2.C
trunk/gcc/testsuite/g++.dg/cpp0x/overload.C
trunk/gcc/testsuite/g++.dg/cpp0x/reference_collapsing.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv1n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv1p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv2n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv2p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv3n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv3p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv4n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv4p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv5n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv5p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv6n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv6p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv7n.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv7p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rv8p.C
trunk/gcc/testsuite/g++.dg/cpp0x/rvo.C
trunk/gcc/testsuite/g++.dg/cpp0x/temp-constructor-bug.C
trunk/gcc/testsuite/g++.dg/cpp0x/temp-va-arg-bug.C
trunk/gcc/testsuite/g++.dg/cpp0x/template_deduction.C
trunk/gcc/testsuite/g++.dg/cpp0x/unnamed_refs.C
Modified:
trunk/ChangeLog
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/call.c
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/decl.c
trunk/gcc/cp/error.c
trunk/gcc/cp/except.c
trunk/gcc/cp/mangle.c
trunk/gcc/cp/parser.c
trunk/gcc/cp/pt.c
trunk/gcc/cp/tree.c
trunk/gcc/cp/typeck.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/init/copy7.C
trunk/gcc/testsuite/g++.dg/overload/arg1.C
trunk/gcc/testsuite/g++.dg/overload/arg4.C
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29939