[Bug c++/53356] New: ICE in verify_gimple_stmt, at tree-cfg.c:4258

[Bug c++/53356] New: ICE in verify_gimple_stmt, at tree-cfg.c:4258

[foom at fuhm dot net]

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

             Bug #: 53356
           Summary: ICE in verify_gimple_stmt, at tree-cfg.c:4258
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: foom@fuhm.net


On the code:
test.cpp:
===============
class A {};

struct B {
    operator const A &() const;
};

A* cause_ICE() {
    return new A(B());
}
===============

Running: g++ -std=c++0x -c test.cpp
With gcc version: g++ (Debian 4.7.0-8) 4.7.0
(which says it's built from r187339 on the gcc 4.7 branch).
On architecture: x86-64

Crashes with error message:
test.cpp: In function ‘Foo* cause_ICE()’:
test.cpp:7:6: internal compiler error: in verify_gimple_stmt, at
tree-cfg.c:4258

Removing -std=c++0x makes it not crash. 4.6.3 does not crash.

This looks similar to bug 49996, (but obviously different, because that one is
still fixed).

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-15
            Summary|ICE in verify_gimple_stmt,  |[4.7/4.8 Regression] ICE in
                   |at tree-cfg.c:4258          |verify_gimple_stmt, at
                   |                            |tree-cfg.c:4258
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-15 09:29:00 UTC ---
Confirmed.

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
   Target Milestone|---                         |4.7.1

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-30 01:37:07 UTC ---
It is caused by revision 181332:

http://gcc.gnu.org/ml/gcc-cvs/2011-11/msg00623.html

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-05-30 06:47:13 UTC ---
Created attachment 27524
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27524
gcc48-pr53356.patch

Untested fix.  As the TARGET_EXPR for which the gimplifier wants to add a
clobber as cleanup is within an artificial TRY_CATCH_EXPR and only that is
inside CLEANUP_POINT_EXPR, WCE gimplification doesn't see it in the body
sequence (it doesn't recurse into nested sequences).

Alternatively we could temporarily clear gimplify_ctxp->in_cleanup_point_expr
while gimplifying TRY_CATCH_EXPR's operands and restore it afterwards (or we
could do that in addition to this, as with only clearing the flag we would end
up unnecessarily without the clobber stmt).

Jason, what do you think?

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jason at gcc dot gnu.org]

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

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++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-05-30 14:50:49 UTC ---
Author: jason
Date: Wed May 30 14:50:44 2012
New Revision: 188019

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188019
Log:
    PR c++/53356
    * tree.c (stabilize_init): Side effects make the init unstable.

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

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-05-30 14:52:06 UTC ---
Author: jason
Date: Wed May 30 14:52:02 2012
New Revision: 188021

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188021
Log:
    PR c++/53356
    * tree.c (stabilize_init): Side effects make the init unstable.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/init/new33.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/tree.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-05-30 22:07:28 UTC ---
Author: jason
Date: Wed May 30 22:07:23 2012
New Revision: 188029

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188029
Log:
    PR c++/53356
    * tree.c (stabilize_init): Handle stabilizing a TARGET_EXPR
    representing a bitwise copy of a glvalue.

Added:
    trunk/gcc/testsuite/g++.dg/init/new34.C
    trunk/gcc/testsuite/g++.dg/tree-ssa/stabilize1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[jason at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-05-30 22:24:21 UTC ---
Fixed for 4.7.1.

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[quickhelp at gmail dot com]

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

tormen <quickhelp at gmail dot com> changed:

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

--- Comment #8 from tormen <quickhelp at gmail dot com> ---

Hmmm, I am not sure if I should reopen this bug or post a new one... but I ran
into the same error message, so I thought here is good.

And it says resolved in 4.7.1, but I am using 4.7.2 on a debian stable trying
to compile 3.9.6 linux kernel and I ran into the same error:

  CC [M]  fs/ntfs/quota.o
  CC [M]  fs/ntfs/usnjrnl.o
  LD [M]  fs/ntfs/ntfs.o
  LD      fs/ocfs2/built-in.o
  CC [M]  fs/ocfs2/alloc.o
/tmp/dl/linux-3.9.6/fs/ocfs2/alloc.c: In function ‘ocfs2_merge_rec_right’:
/tmp/dl/linux-3.9.6/fs/ocfs2/alloc.c:3347:12: internal compiler error: in
verify_gimple_stmt, at tree-cfg.c:4258
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.7/README.Bugs> for instructions.
The bug is not reproducible, so it is likely a hardware or OS problem.
make[6]: *** [fs/ocfs2/alloc.o] Error 1
make[5]: *** [fs/ocfs2] Error 2
make[4]: *** [fs] Error 2
make[3]: *** [sub-make] Error 2
make[2]: *** [all] Error 2
make[2]: Leaving directory
`/tmp/dl/linux-3.9.6/debian/build/build_amd64_none_amd64'
make[1]: *** [debian/stamps/build_amd64_none_amd64_plain] Error 2
make[1]: Leaving directory `/tmp/dl/linux-3.9.6'
make: *** [binary-arch_amd64_none_amd64_real] Error 2


The steps I did:
   apt-get install build-essential fakeroot

   apt-get build-dep linux-headers-3.9-0.bpo.1-amd6
   apt-get source linux-headers-3.9-0.bpo.1-amd64

   cd linux-3.9.6

   fakeroot make -f debian/rules.gen binary-arch_amd64

I am not sure if this is the right place to post this... but then I thought
that this shouldn't be a debian specific problem... or?

Any ideas ?
>From gcc-bugs-return-425370-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jun 28 09:29:31 2013
Return-Path: <gcc-bugs-return-425370-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 14033 invoked by alias); 28 Jun 2013 09:29:31 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 13965 invoked by uid 48); 28 Jun 2013 09:29:28 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/36041] Speed up builtin_popcountll
Date: Fri, 28 Jun 2013 09:29:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.2.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-36041-4-s4S0SLzLh3@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-36041-4@http.gcc.gnu.org/bugzilla/>
References: <bug-36041-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg01749.txt.bz2
Content-length: 554

http://gcc.gnu.org/bugzilla/show_bug.cgi?id6041

--- Comment #22 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Jun 28 09:28:40 2013
New Revision: 200506

URL: http://gcc.gnu.org/viewcvs?rev 0506&root=gcc&view=rev
Log:
    PR middle-end/36041
    * libgcc2.c (POPCOUNTCST2, POPCOUNTCST4, POPCOUNTCST8, POPCOUNTCST):
    Define.
    (__popcountSI2): For __SIZEOF_INT__ > 2 targets use arithmetics
    instead of table lookups.
    (__popcountDI2): Likewise.

Modified:
    trunk/libgcc/ChangeLog
    trunk/libgcc/libgcc2.c

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[paolo.carlini at oracle dot com]

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

--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Well, the fix which went in only touched the *C++* front-end, whereas your
issue is triggered by *C* code, thus it definitely seems a different issue.

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[quickhelp at gmail dot com]

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

--- Comment #10 from tormen <quickhelp at gmail dot com> ---
I didn't notice the Component "c++" yet :)
->
Good point you have there :)

So ... I better file a new then or as it's the same error message here is fine
?

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[quickhelp at gmail dot com]

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

--- Comment #11 from tormen <quickhelp at gmail dot com> ---
OK that was a stupid question: New bug it should be.

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[paolo.carlini at oracle dot com]

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

--- Comment #12 from Paolo Carlini <paolo.carlini at oracle dot com> ---
If what I said makes sense, and I think it does, despite the internal error
coming from the same place, it's an unrelated C issue.

[Bug c++/53356] [4.7/4.8 Regression] ICE in verify_gimple_stmt, at tree-cfg.c:4258

[quickhelp at gmail dot com]

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

--- Comment #13 from tormen <quickhelp at gmail dot com> ---
Small update:

The problem for me was seemingly caused by the fact that I was compiling on a
tmpfs RAM disk.

When I moved the compilation to a fixed disk, the below error vanished.

Maybe that can be of help to someone in a similar situation :)