[Bug tree-optimization/47639] New: [4.5/4.6 Regression] ICE: verify_stmts failed: statement marked for throw, but doesn't with -fstack-check=generic -fexceptions -fnon-call-exceptions

[zsojka at seznam dot cz]

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

           Summary: [4.5/4.6 Regression] ICE: verify_stmts failed:
                    statement marked for throw, but doesn't with
                    -fstack-check=generic -fexceptions
                    -fnon-call-exceptions
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: zso...@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23272
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23272
reduced testcase

Compiler output:
$ gcc -fstack-check=generic -fexceptions -fnon-call-exceptions testcase.c 
testcase.c: In function 'foo':
testcase.c:7:1: error: statement marked for throw, but doesn't
D.2691_8 = {D.2701_15, D.2704_18};

testcase.c:7: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:
r169824 - crash
r169519 - crash
4.5 r168785 - crash
4.4 r168785 - OK