[Bug middle-end/45316] New: [4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O1 -ftree-pre -fnon-call-exceptions

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

Command line:
$ gcc -O1 -ftree-pre -fnon-call-exceptions testcase.C

Compiler output:
$ gcc -O1 -ftree-pre -fnon-call-exceptions testcase.C 
testcase.C: In function 'void foo()':
testcase.C:21:1: error: BB 3 can not throw but has an EH edge
testcase.C:21:1: 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:
r163261 - crash
r161659 - crash
r161170 - OK
4.5 r160526 - OK


-- 
           Summary: [4.6 Regression] ICE: verify_flow_info failed: BB 3 can
                    not throw but has an EH edge with -O1 -ftree-pre -fnon-
                    call-exceptions
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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