[Bug middle-end/51575] New: [4.7 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions and placement new

[zsojka at seznam dot cz]

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

             Bug #: 51575
           Summary: [4.7 Regression] ICE: verify_gimple failed: statement
                    marked for throw, but doesn't with
                    -fnon-call-exceptions and placement new
    Classification: Unclassified
           Product: gcc
           Version: 4.7.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 26104
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26104
reduced testcase

Compiler output:
$ gcc -O -fnon-call-exceptions testcase.C
testcase.C: In function 'void foo()':
testcase.C:13:6: error: statement marked for throw, but doesn't
# .MEM_15 = VDEF <.MEM_1(D)>
MEM[(double *)&s].a[0] = 0.0;

testcase.C:13:6: internal compiler error: verify_gimple 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=0x1452cc3 "verify_gimple failed") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:839
#1  0x0000000000b9bcd7 in verify_gimple_in_cfg (fn=0x7ffff570b500) at
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4582
#2  0x0000000000ce36e6 in verify_ssa (check_modified_stmt=true) at
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:928
#3  0x0000000000a84cbc in execute_function_todo (data=Unhandled dwarf
expression opcode 0xf3
) at /mnt/svn/gcc-trunk/gcc/passes.c:1725
#4  0x0000000000a8563e in execute_todo (flags=2) at
/mnt/svn/gcc-trunk/gcc/passes.c:1756
#5  0x0000000000a888ea in execute_one_pass (pass=0x19905e0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2102
#6  0x0000000000a88c15 in execute_pass_list (pass=0x19905e0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2134
#7  0x0000000000a88c27 in execute_pass_list (pass=0x1990a60) at
/mnt/svn/gcc-trunk/gcc/passes.c:2135
#8  0x0000000000a88c27 in execute_pass_list (pass=0x198fce0) at
/mnt/svn/gcc-trunk/gcc/passes.c:2135
#9  0x0000000000bea6de in tree_rest_of_compilation (fndecl=0x7ffff5705e00) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:421
#10 0x000000000083d7da in cgraph_expand_function (node=0x7ffff56fcd80) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1818
#11 0x000000000083f57c 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 0x000000000083fcea in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1327
#14 0x00000000006602eb in cp_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/cp/decl2.c:4050
#15 0x0000000000b7da44 in compile_file (argc=15, argv=0x7fffffffdac8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:573
#16 do_compile (argc=15, argv=0x7fffffffdac8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1928
#17 toplev_main (argc=15, argv=0x7fffffffdac8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:2004
#18 0x00007ffff61570ed in __libc_start_main () from /lib64/libc.so.6
#19 0x00000000005842e1 in _start ()

Tested revisions:
r182355 - crash
r182344 - crash
r182321 - OK