[Bug c++/51219] New: ICE with structure initializer

[Bug c++/51219] New: ICE with structure initializer

[reichelt at gcc dot gnu.org]

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

             Bug #: 51219
           Summary: ICE with structure initializer
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


The following valid code snippet triggers an ICE on trunk:

=======================
struct A
{
  int i;
  int : 8;
};

void foo()
{
  A a = { .i = 0 };
}
=======================

bug.cc: In function 'void foo()':
bug.cc:7:6: error: non-trivial conversion at assignment
signed char
int
a.D.1836 = 0;

bug.cc:7:6: internal compiler error: verify_gimple failed
Please submit a full bug report, [etc.]

[Bug c++/51219] ICE with designated initializers

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-07
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-07 22:38:13 UTC ---
Confirmed.

[Bug c++/51219] ICE with designated initializers

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |chgena at mail dot ru

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-11 16:43:48 UTC ---
*** Bug 54808 has been marked as a duplicate of this bug. ***

[Bug c++/51219] ICE with designated initializers

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-11 16:45:46 UTC ---
When fixing this please double check the testcase in PR54808.

[Bug c++/51219] [4.6/4.7/4.8/4.9 regression] ICE with empty bit-fields

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE with designated         |[4.6/4.7/4.8/4.9
                   |initializers                |regression] ICE with empty
                   |                            |bit-fields

--- Comment #4 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
The designated initializer isn't the problem. The empty bit-field seems to be
the issue, as the following testcase shows (which crashes since GCC 4.4.0):

=======================
struct A
{
  int i;
  int : 8;
};

void foo()
{
  A a = { 0 };
}
=======================

[Bug c++/51219] [4.7/4.8/4.9 regression] ICE with empty bit-fields

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.4

[Bug c++/51219] [4.7/4.8/4.9 regression] ICE with empty bit-fields

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking
           Priority|P3                          |P2

[Bug c++/51219] [4.7/4.8/4.9 regression] ICE with empty bit-fields

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/51219] [4.7/4.8/4.9 regression] ICE with empty bit-fields

[paolo at gcc dot gnu.org]

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

--- Comment #6 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Sat Feb  1 09:24:42 2014
New Revision: 207383

URL: http://gcc.gnu.org/viewcvs?rev=207383&root=gcc&view=rev
Log:
/cp
2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51219
    * typeck2.c (process_init_constructor_record): Just skip unnamed
    bit-fields.

/testsuite
2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/51219
    * g++.dg/init/bitfield5.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/init/bitfield5.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck2.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51219] [4.7/4.8 regression] ICE with empty bit-fields

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org
   Target Milestone|4.7.4                       |4.9.0
            Summary|[4.7/4.8/4.9 regression]    |[4.7/4.8 regression] ICE
                   |ICE with empty bit-fields   |with empty bit-fields

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.9.0. The problem happens only with checking enabled, I'm not going
to propose a backport to 4.8.