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: unassig...@gcc.gnu.org ReportedBy: zso...@seznam.cz CC: ste...@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.