[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

[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: unassigned@gcc.gnu.org
        ReportedBy: zsojka@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

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

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-12-16
                 CC|                            |jakub at gcc dot gnu.org
          Component|middle-end                  |tree-optimization
     Ever Confirmed|0                           |1

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

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-16 16:37:00 UTC ---
Author: jakub
Date: Fri Dec 16 16:36:49 2011
New Revision: 182409

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182409
Log:
    PR tree-optimization/51575
    * g++.dg/opt/pr51575.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr51575.C
Modified:
    trunk/gcc/testsuite/ChangeLog

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-16 16:39:45 UTC ---
Dup of PR51576.

*** This bug has been marked as a duplicate of bug 51576 ***