[Bug tree-optimization/51596] New: [4.7 Regression] ICE: verify_flow_info failed: BB 6 can not throw but has an EH edge with -fnon-call-exceptions

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

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

             Bug #: 51596
           Summary: [4.7 Regression] ICE: verify_flow_info failed: BB 6
                    can not throw but has an EH edge with
                    -fnon-call-exceptions
    Classification: Unclassified
           Product: gcc
           Version: 4.7.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 26117
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26117
reduced testcase

Compiler output:
$ gcc -O -fnon-call-exceptions testcase.C
testcase.C: In function 'void foo()':
testcase.C:38:1: error: BB 6 can not throw but has an EH edge
testcase.C:38: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.

(gdb) bt
#0  internal_error (gmsgid=0x13f9d4b "verify_flow_info failed") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:839
#1  0x00000000008195d0 in verify_flow_info () at
/mnt/svn/gcc-trunk/gcc/cfghooks.c:259
#2  0x0000000000ba28c9 in cleanup_tree_cfg_noloop () at
/mnt/svn/gcc-trunk/gcc/tree-cfgcleanup.c:761
#3  cleanup_tree_cfg () at /mnt/svn/gcc-trunk/gcc/tree-cfgcleanup.c:805
#4  0x000000000130b7a2 in tree_unroll_loops_completely
(may_increase_size=false, unroll_outer=true)
    at /mnt/svn/gcc-trunk/gcc/tree-ssa-loop-ivcanon.c:544
#5  0x0000000000a88a75 in execute_one_pass (pass=0x19925e0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2079
#6  0x0000000000a88e15 in execute_pass_list (pass=0x19925e0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2134
#7  0x0000000000a88e27 in execute_pass_list (pass=0x1992a60) at
/mnt/svn/gcc-trunk/gcc/passes.c:2135
#8  0x0000000000a88e27 in execute_pass_list (pass=0x1991ce0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2135
#9  0x0000000000beaaee in tree_rest_of_compilation (fndecl=0x7ffff56d6b00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:421
#10 0x000000000083d8ca in cgraph_expand_function (node=0x7ffff5562c60) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1818
#11 0x000000000083f66c in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1885
#12 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2198
#13 0x000000000083fdda in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1327
#14 0x000000000066011b in cp_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/cp/decl2.c:4050
#15 0x0000000000b7de64 in compile_file (argc=15, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:573
#16 do_compile (argc=15, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1928
#17 toplev_main (argc=15, argv=0x7fffffffda88) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2004
#18 0x00007ffff61570ed in __libc_start_main () from /lib64/libc.so.6
#19 0x00000000005843e1 in _start ()

Tested revisions:
r182409 - crash
r182355 - crash
r181710 - OK