[Bug c++/55856] New: ICE on tuple with rvalue ref member

[Bug c++/55856] New: ICE on tuple with rvalue ref member

[leonid at volnitsky dot com]

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

             Bug #: 55856
           Summary: ICE on tuple with rvalue ref member
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: leonid@volnitsky.com


----------------------------------------------------------
#include <string>
#include <tuple>

std::tuple<int&&>               A{1};   // ok
std::string&&                   B{""};  // ok
std::tuple<std::string&&>       C{""};  // ICE
//int  main() {};
-----------------------------------------------------------

Code as shown have dangling rval ref to string&&  in C. 
But if we would build rvalue tuple, this would be valid code (temp string
should live with lifespan of initialization expressions).

Error message:


/usr/lib/gcc/x86_64-pc-linux-gnu/4.8.0-pre9999/include/g++-v4/tuple:135:46:
internal compiler error: in build_data_member_initialization, at
cp/semantics.c:5853
  : _M_head_impl(std::forward<_UHead>(__h)) { }
                                              ^
Please submit a full bug report,

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-01-03
            Summary|ICE on tuple with rvalue    |[4.7/4.8 Regression] ICE on
                   |ref member                  |tuple with rvalue ref
                   |                            |member
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-01-03 16:26:05 UTC ---
This is confirmed, and it seems a regression. But we badly need a reduced
testcase not including anything, because since 4.6 likely some library details
changed.

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jason at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 18:31:29 UTC ---
Author: jason
Date: Thu Jan  3 18:31:23 2013
New Revision: 194865

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194865
Log:
    PR c++/55856
    * semantics.c (build_data_member_initialization): Handle DECL_EXPR.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor11.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 18:31:07 UTC ---
Author: jason
Date: Thu Jan  3 18:30:58 2013
New Revision: 194864

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194864
Log:
    PR c++/55856
    * semantics.c (build_data_member_initialization): Handle DECL_EXPR.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor11.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/semantics.c

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 18:34:55 UTC ---
Author: jason
Date: Thu Jan  3 18:34:48 2013
New Revision: 194866

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194866
Log:
    PR c++/55856
    * g++.dg/init/array34.C: Check gimple dump, not assembler.

Modified:
    trunk/gcc/testsuite/g++.dg/init/array34.C

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2013-01-03 18:40:19 UTC ---
Fixed.

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[simonb at gcc dot gnu.org]

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

--- Comment #6 from simonb at gcc dot gnu.org 2013-01-24 18:10:44 UTC ---
Author: simonb
Date: Thu Jan 24 18:10:26 2013
New Revision: 195435

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195435
Log:
svn merge -c 194864
svn+ssh://simonb@gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch

    2013-01-03  Jason Merrill  <jason@redhat.com>

    PR c++/55856
    * semantics.c (build_data_member_initialization): Handle DECL_EXPR.


Added:
    branches/google/gcc-4_7/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor11.C
      - copied unchanged from r194864,
branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-ctor11.C
Modified:
    branches/google/gcc-4_7/gcc/cp/ChangeLog
    branches/google/gcc-4_7/gcc/cp/semantics.c

[Bug c++/55856] [4.7/4.8 Regression] ICE on tuple with rvalue ref member

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ericmartinchristiansen at
                   |                            |gmail dot com

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-05 19:30:50 UTC ---
*** Bug 56545 has been marked as a duplicate of this bug. ***