[Bug middle-end/46786] New: ICE: verify_stmts failed: statement marked for throw, but doesn't with -fopenmp -fnon-call-exceptions

[zsojka at seznam dot cz]

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

           Summary: ICE: verify_stmts failed: statement marked for throw,
                    but doesn't with -fopenmp -fnon-call-exceptions
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22617
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22617
reduced testcase (from gcc.dg/gomp/pr25989.c)

Compiler output:
$ gcc -O -fopenmp -fexceptions -fnon-call-exceptions pr46786.c 
pr46786.c: In function 'foo._omp_fn.0':
pr46786.c:5:9: error: statement marked for throw, but doesn't
.omp_data_i__a_lsm.7_9 = D.2714_8;

pr46786.c:5:9: 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:
r167383 - crash
4.5 r166509 - crash
4.4 r166509 - crash