[Bug tree-optimization/47640] New: [4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -fstack-check=generic -fnon-call-exceptions -ftrapv

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: verify_flow_info failed: BB 3
                    can not throw but has an EH edge with
                    -fstack-check=generic -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
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


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

Compiler output:
$ gcc -O -ftree-vrp -fexceptions -fstack-check=generic -fnon-call-exceptions
-ftrapv testcase.c 
testcase.c: In function 'foo':
testcase.c:1:6: error: BB 3 can not throw but has an EH edge
testcase.c:1:6: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r169905 - crash
4.5 r168785 - OK