[Bug c++/47067] New: [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[Bug c++/47067] New: [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[roman at binarylife dot net]

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

           Summary: [c++0x] ICE in cxx_eval_bare_aggregate, at
                    cp/semantics.c:6352
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: roman@binarylife.net


$ cat test.cpp 
struct X {
    virtual void x();
    virtual ~X();
};

struct Y {
    virtual void y();
    virtual ~Y();
};

struct Z: X, Y {} z;

$ g++ test.cpp -c -std=c++0x
test.cpp:11:19:   in constexpr expansion of 'z.Z::Z()'
test.cpp:11:19: internal compiler error: in cxx_eval_bare_aggregate, at
cp/semantics.c:6352
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ svn info | egrep Revision
Revision: 168275

In http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46626#c10, Jakub Jelinek said:

> I see the ICE with the second testcase from #c8 back till r166167.

[Bug c++/47067] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.27 17:24:08
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2010-12-27 17:24:08 UTC ---
can be slightly reduced:

struct X {
    virtual void x();
};

struct Y {
    virtual void y();
};

struct Z: X, Y {} z;

Looks as though all that's needed to fail the assertion is a vtable in more
than one base class

[Bug c++/47067] [4.6 Regression] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0
            Summary|[c++0x] ICE in              |[4.6 Regression] [c++0x]
                   |cxx_eval_bare_aggregate, at |ICE in
                   |cp/semantics.c:6352         |cxx_eval_bare_aggregate, at
                   |                            |cp/semantics.c:6352

[Bug c++/47067] [4.6 Regression] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug c++/47067] [4.6 Regression] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-15 00:04:24 UTC ---
Looking.

[Bug c++/47067] [4.6 Regression] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-01-17 22:34:38 UTC ---
Author: jason
Date: Mon Jan 17 22:34:35 2011
New Revision: 168937

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168937
Log:
    PR c++/47067
    * semantics.c (base_field_constructor_elt): New fn.
    (cxx_eval_bare_aggregate): Use it.
    (build_data_member_initialization): Leave COMPONENT_REF for
    vfield inits.

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

[Bug c++/47067] [4.6 Regression] [c++0x] ICE in cxx_eval_bare_aggregate, at cp/semantics.c:6352

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-18 10:09:39 UTC ---
Fixed.