[Bug c++/45310] New: ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

* [Bug c++/45310]  New: ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
@ 2010-08-17 15:48 zsojka at seznam dot cz
  2010-08-17 15:49 ` [Bug c++/45310] " zsojka at seznam dot cz
  2010-08-17 16:03 ` [Bug middle-end/45310] " rguenth at gcc dot gnu dot org
  0 siblings, 2 replies; 11+ messages in thread
From: zsojka at seznam dot cz @ 2010-08-17 15:48 UTC (permalink / raw)
  To: gcc-bugs

Command line:
$ gcc -O1 -fnon-call-exceptions testcase.C

Compiler output:
$ gcc -O1 -fnon-call-exceptions testcase.C
testcase.C: In function 'void foo()':
testcase.C:23:1: error: Dead STMT in EH table
# VUSE <.MEM_10>
D.2166_8 = *a_7;

testcase.C:23:1: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r163261 - crash
r153685 - crash
4.4 r149995 - crash


-- 
           Summary: ICE: verify_stmts failed: Dead STMT in EH table with -O1
                    -fnon-call-exceptions
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug c++/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
  2010-08-17 15:48 [Bug c++/45310] New: ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions zsojka at seznam dot cz
@ 2010-08-17 15:49 ` zsojka at seznam dot cz
  2010-08-17 16:03 ` [Bug middle-end/45310] " rguenth at gcc dot gnu dot org
  1 sibling, 0 replies; 11+ messages in thread
From: zsojka at seznam dot cz @ 2010-08-17 15:49 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from zsojka at seznam dot cz  2010-08-17 15:49 -------
Created an attachment (id=21506)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21506&action=view)
reduced testcase


-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
  2010-08-17 15:48 [Bug c++/45310] New: ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions zsojka at seznam dot cz
  2010-08-17 15:49 ` [Bug c++/45310] " zsojka at seznam dot cz
@ 2010-08-17 16:03 ` rguenth at gcc dot gnu dot org
  1 sibling, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-08-17 16:03 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from rguenth at gcc dot gnu dot org  2010-08-17 16:03 -------
Confirmed.  "Works" on the 4.1 branch (there is no such verification).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |middle-end
     Ever Confirmed|0                           |1
      Known to fail|4.4.5 4.5.2 4.6.0           |4.3.5 4.4.5 4.5.2 4.6.0
   Last reconfirmed|0000-00-00 00:00:00         |2010-08-17 16:03:12
               date|                            |


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


^ permalink raw reply	[flat|nested] 11+ messages in thread

[parent not found: <bug-45310-4@http.gcc.gnu.org/bugzilla/>]

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
@ 2010-12-15 17:39 ` zsojka at seznam dot cz
  2010-12-15 23:43 ` steven at gcc dot gnu.org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 11+ messages in thread
From: zsojka at seznam dot cz @ 2010-12-15 17:39 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2010-12-15 17:39:39 UTC ---
Created attachment 22769
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22769
another testcase

$ gcc -O -fnon-call-exceptions pr45310-2.C 
pr45310-2.C: In destructor 'B::~B()':
pr45310-2.C:21:8: error: dead STMT in EH table
# VUSE <.MEM_21>
D.2188_16 = *a_15;

pr45310-2.C:21:8: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Bugzilla search for the error message failed ("Dead" changed to "dead"), so I
am pasting current output.


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
  2010-12-15 17:39 ` zsojka at seznam dot cz
@ 2010-12-15 23:43 ` steven at gcc dot gnu.org
  2010-12-17  9:20 ` steven at gcc dot gnu.org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-15 23:43 UTC (permalink / raw)
  To: gcc-bugs

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |steven at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |steven at gcc dot gnu.org
                   |gnu.org                     |
      Known to fail|                            |

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-15 23:43:02 UTC ---
Investigating...


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
  2010-12-15 17:39 ` zsojka at seznam dot cz
  2010-12-15 23:43 ` steven at gcc dot gnu.org
@ 2010-12-17  9:20 ` steven at gcc dot gnu.org
  2010-12-17  9:31 ` steven at gcc dot gnu.org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-17  9:20 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-17 09:19:51 UTC ---
The verification error happens after the 'phiprop' pass, and disappears with
-fno-tree-phiprop. Focusing on that pass now...


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
                   ` (2 preceding siblings ...)
  2010-12-17  9:20 ` steven at gcc dot gnu.org
@ 2010-12-17  9:31 ` steven at gcc dot gnu.org
  2010-12-21 15:02 ` steven at gcc dot gnu.org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-17  9:31 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #6 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-17 09:31:46 UTC ---
It seems to me that we should remove all traces of the deleted statements,
including EH info. Like so:

Index: tree-ssa-phiprop.c
===================================================================
--- tree-ssa-phiprop.c  (revision 167956)
+++ tree-ssa-phiprop.c  (working copy)
@@ -352,7 +352,7 @@ propagate_with_phi (basic_block bb, gimp
             want to delete it here we also have to delete all intermediate
             copies.  */
          gsi = gsi_for_stmt (use_stmt);
-         gsi_remove (&gsi, false);
+         gsi_remove (&gsi, true);

          phi_inserted = true;
        }


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
                   ` (3 preceding siblings ...)
  2010-12-17  9:31 ` steven at gcc dot gnu.org
@ 2010-12-21 15:02 ` steven at gcc dot gnu.org
  2010-12-21 15:08 ` steven at gcc dot gnu.org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-21 15:02 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #7 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-21 15:02:05 UTC ---
Author: steven
Date: Tue Dec 21 15:02:02 2010
New Revision: 168120

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168120
Log:
gcc/
    PR middle-end/45310
    * tree-ssa-phiprop.c (propagate_with_phi): Remove statement
    completely from the function, including EH traces.

testsuite/
    PR middle-end/45310
    * g++.dg/pr45310.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/pr45310.C
Modified:
    trunk/gcc/tree-ssa-phiprop.c


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
                   ` (4 preceding siblings ...)
  2010-12-21 15:02 ` steven at gcc dot gnu.org
@ 2010-12-21 15:08 ` steven at gcc dot gnu.org
  2010-12-21 15:23 ` steven at gcc dot gnu.org
  2011-02-25 23:58 ` steven at gcc dot gnu.org
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-21 15:08 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #8 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-21 15:08:42 UTC ---
Author: steven
Date: Tue Dec 21 15:08:40 2010
New Revision: 168121

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168121
Log:
Forgotten ChangeLog entries.

gcc/
    PR middle-end/45310
    * tree-ssa-phiprop.c (propagate_with_phi): Remove statement
    completely from the function, including EH traces.

testsuite/
    PR middle-end/45310
    * g++.dg/pr45310.C: New test.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
                   ` (5 preceding siblings ...)
  2010-12-21 15:08 ` steven at gcc dot gnu.org
@ 2010-12-21 15:23 ` steven at gcc dot gnu.org
  2011-02-25 23:58 ` steven at gcc dot gnu.org
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2010-12-21 15:23 UTC (permalink / raw)
  To: gcc-bugs

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.6.0                       |

--- Comment #9 from Steven Bosscher <steven at gcc dot gnu.org> 2010-12-21 15:23:02 UTC ---
Fixed on trunk but Richard Guenther suspects there are still remaining problems
in tree-ssa-phiprop.c vs. non-call exceptions. I couldn't find a test case...


^ permalink raw reply	[flat|nested] 11+ messages in thread

* [Bug middle-end/45310] ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions
       [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
                   ` (6 preceding siblings ...)
  2010-12-21 15:23 ` steven at gcc dot gnu.org
@ 2011-02-25 23:58 ` steven at gcc dot gnu.org
  7 siblings, 0 replies; 11+ messages in thread
From: steven at gcc dot gnu.org @ 2011-02-25 23:58 UTC (permalink / raw)
  To: gcc-bugs

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

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

--- Comment #10 from Steven Bosscher <steven at gcc dot gnu.org> 2011-02-25 23:19:08 UTC ---
If this pops up somewhere again, let's put that in a new PR with a test case.
This particular issue is closed.


^ permalink raw reply	[flat|nested] 11+ messages in thread

end of thread, other threads:[~2011-02-25 23:19 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-17 15:48 [Bug c++/45310] New: ICE: verify_stmts failed: Dead STMT in EH table with -O1 -fnon-call-exceptions zsojka at seznam dot cz
2010-08-17 15:49 ` [Bug c++/45310] " zsojka at seznam dot cz
2010-08-17 16:03 ` [Bug middle-end/45310] " rguenth at gcc dot gnu dot org
     [not found] <bug-45310-4@http.gcc.gnu.org/bugzilla/>
2010-12-15 17:39 ` zsojka at seznam dot cz
2010-12-15 23:43 ` steven at gcc dot gnu.org
2010-12-17  9:20 ` steven at gcc dot gnu.org
2010-12-17  9:31 ` steven at gcc dot gnu.org
2010-12-21 15:02 ` steven at gcc dot gnu.org
2010-12-21 15:08 ` steven at gcc dot gnu.org
2010-12-21 15:23 ` steven at gcc dot gnu.org
2011-02-25 23:58 ` steven at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).