[Bug c++/53096] New: [c++11] should be possible to default a copy ctor that takes non-const arg

[Bug c++/53096] New: [c++11] should be possible to default a copy ctor that takes non-const arg

[eric.niebler at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53096

             Bug #: 53096
           Summary: [c++11] should be possible to default a copy ctor that
                    takes non-const arg
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: eric.niebler@gmail.com


The following code does not compile:

    struct foo
    {
        foo() = default;
        foo(foo &) = default; // ERROR HERE
        foo(foo const &) = default;
    };

The error is:

    error: ‘foo::foo(foo&)’ declared to take non-const reference
    cannot be defaulted in the class body

This was correct for the FDIS, but is now incorrect given the resolution for
core issue 1333:

    http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1333

The code above should be accepted.

[Bug c++/53096] [DR 1333] [c++11] should be possible to default a copy ctor that takes non-const arg

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53096

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |rejects-valid
   Last reconfirmed|                            |2012-04-23
                 CC|                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|[c++11] should be possible  |[DR 1333] [c++11] should be
                   |to default a copy ctor that |possible to default a copy
                   |takes non-const arg         |ctor that takes non-const
                   |                            |arg

[Bug c++/53096] [DR 1333] [c++11] should be possible to default a copy ctor that takes non-const arg

[paolo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53096

--- Comment #1 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-04-26 23:32:17 UTC ---
Author: paolo
Date: Thu Apr 26 23:32:14 2012
New Revision: 186888

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186888
Log:
/cp
2012-04-26  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53096
    * class.c (check_bases_and_members): Implement core/1333, do not
    disallow defaulted in the class body non-const ref special members.

/testsuite
2012-04-26  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53096
    * g++.dg/cpp0x/defaulted35.C: New.
    * g++.dg/cpp0x/defaulted15.C: Adjust.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/defaulted35.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/defaulted15.C

[Bug c++/53096] [DR 1333] [c++11] should be possible to default a copy ctor that takes non-const arg

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53096

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.8.0.