[Bug middle-end/51009] New: [4.7 Regression] ICE in verify_gimple_stmt

[Bug middle-end/51009] New: [4.7 Regression] ICE in verify_gimple_stmt

[reichelt at gcc dot gnu.org]

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

             Bug #: 51009
           Summary: [4.7 Regression] ICE in verify_gimple_stmt
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: reichelt@gcc.gnu.org


The following code snippet triggers an ICE on trunk:

===========================
struct A
{
  ~A();
};

struct B
{
  A a;
  B(const A& = A());
};

struct C
{
  B b1, b2;
};

C c = {};
===========================

bug.cc: In function 'void __static_initialization_and_destruction_0(int, int)':
bug.cc:17:9: internal compiler error: in verify_gimple_stmt, at tree-cfg.c:4188
Please submit a full bug report, [etc.]

[Bug middle-end/51009] [4.7 Regression] ICE in verify_gimple_stmt

[reichelt at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug c++/51009] [4.7 Regression] ICE in verify_gimple_stmt

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-11-24
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
          Component|middle-end                  |c++
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-24 16:06:07 UTC ---
Caused by
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180267

[Bug c++/51009] [4.7 Regression] ICE in verify_gimple_stmt

[reichelt at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |3dw4rd at verizon dot net

--- Comment #2 from Volker Reichelt <reichelt at gcc dot gnu.org> 2011-11-29 22:42:10 UTC ---
*** Bug 51243 has been marked as a duplicate of this bug. ***

[Bug c++/51009] [4.7 Regression] ICE in verify_gimple_stmt

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> 2011-11-30 19:32:51 UTC ---
<<< Unknown GIMPLE statement: gimple_with_cleanup_expr >>>

[Bug c++/51009] [4.7 Regression] ICE in verify_gimple_stmt

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-01 05:41:00 UTC ---
Author: jason
Date: Thu Dec  1 05:40:54 2011
New Revision: 181872

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181872
Log:
    PR c++/51009
    * name-lookup.c (push_to_top_level): Set stmts_are_full_exprs_p.
    * decl.c (build_aggr_init_full_exprs): Just assert that it's true.
    (check_initializer): Here too.

Added:
    trunk/gcc/testsuite/g++.dg/init/aggr8.C
Modified:
    trunk/gcc/c-family/c-common.h
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/name-lookup.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/51009] [4.7 Regression] ICE in verify_gimple_stmt

[jason at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2011-12-01 06:17:13 UTC ---
Fixed.