[Bug tree-optimization/47087] New: ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[Bug tree-optimization/47087] New: ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[zsojka at seznam dot cz]

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

           Summary: ICE: verify_stmts failed: statement marked for throw,
                    but doesn't with -O -fexceptions -fnon-call-exceptions
                    -ftrapv
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: steven@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22861
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22861
reduced testcase (from gcc.c-torture/execute/pr43220.c)

After submitting PR47086, I noticed the reduced testcase fails with different
message than the original testcase. This one shows the same ICE as original
testcase.

Compiler output:
$ gcc -O -fexceptions -fnon-call-exceptions -ftrapv pr47087.c  
pr47087.c: In function 'foo':
pr47087.c:2:1: error: statement marked for throw, but doesn't
D.2685_4 = (int) ivtmp.8_32;

pr47087.c:2: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:
r168296 - crash

I don't know if this is a regression or not.

[Bug tree-optimization/47087] [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.29 02:54:28
                 CC|                            |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.5.3
            Summary|ICE: verify_stmts failed:   |[4.5/4.6 Regression] ICE:
                   |statement marked for throw, |verify_stmts failed:
                   |but doesn't with -O         |statement marked for throw,
                   |-fexceptions                |but doesn't with -O
                   |-fnon-call-exceptions       |-fexceptions
                   |-ftrapv                     |-fnon-call-exceptions
                   |                            |-ftrapv
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-12-29 02:54:28 UTC ---
It is caused by revision 151676:

http://gcc.gnu.org/ml/gcc-cvs/2009-09/msg00423.html

[Bug tree-optimization/47087] [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug tree-optimization/47087] [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-01-11 13:12:00 UTC ---
Mine.

[Bug tree-optimization/47087] [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -O -fexceptions -fnon-call-exceptions -ftrapv

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |law at redhat dot com
         Resolution|                            |DUPLICATE

--- Comment #3 from Jeffrey A. Law <law at redhat dot com> 2011-01-11 14:16:17 UTC ---
Same root cause

*** This bug has been marked as a duplicate of bug 47086 ***