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

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

[zsojka at seznam dot cz]

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.

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

[steven at gcc dot gnu.org]

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...

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

[steven at gcc dot gnu.org]

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...

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

[steven at gcc dot gnu.org]

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;
        }

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

[steven at gcc dot gnu.org]

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

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

[steven at gcc dot gnu.org]

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

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

[steven at gcc dot gnu.org]

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...

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

[steven at gcc dot gnu.org]

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.

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

[rguenth at gcc dot gnu dot org]

------- 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