[Bug tree-optimization/47280] New: ICE: verify_stmts failed: statement marked for throw, but doesn't with -fnon-call-exceptions -ftrapv

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

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

           Summary: ICE: verify_stmts failed: statement marked for throw,
                    but doesn't with -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 22960
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22960
reduced testcase (from g++.dg/tree-ssa/pr38632.C)

Compiler output:
$ gcc -O -fnon-call-exceptions -ftrapv pr47280.C  
pr47280.C: In function 'void bar(int, char*)':
pr47280.C:1:6: error: statement marked for throw, but doesn't
D.2075_6 = n_2(D);

pr47280.C:1:6: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


(gdb) bt
#0  error (gmsgid=0x12a8c48 "statement marked for throw, but doesn%'t") at
/mnt/svn/gcc-trunk/gcc/diagnostic.c:747
#1  0x0000000000a31d6d in verify_stmt () at
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4175
#2  verify_stmts () at /mnt/svn/gcc-trunk/gcc/tree-cfg.c:4382
#3  0x0000000000b4551d in verify_ssa (check_modified_stmt=1 '\001') at
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:878
#4  0x0000000000934939 in execute_function_todo (data=<value optimized out>) at
/mnt/svn/gcc-trunk/gcc/passes.c:1245
#5  0x000000000093502d in execute_todo (flags=2055) at
/mnt/svn/gcc-trunk/gcc/passes.c:1276
#6  0x000000000093760f in execute_one_pass (pass=0x18dec40) at
/mnt/svn/gcc-trunk/gcc/passes.c:1584
#7  0x00000000009378c5 in execute_pass_list (pass=0x18dec40) at
/mnt/svn/gcc-trunk/gcc/passes.c:1616
#8  0x00000000009378d7 in execute_pass_list (pass=0x17869e0) at
/mnt/svn/gcc-trunk/gcc/passes.c:1617
#9  0x0000000000a77a46 in tree_rest_of_compilation (fndecl=0x7ffff5d86100) at
/mnt/svn/gcc-trunk/gcc/tree-optimize.c:422
#10 0x0000000000c3cf92 in cgraph_expand_function (node=0x7ffff5d93000) at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1522
#11 0x0000000000c3f65a in cgraph_expand_all_functions () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1581
#12 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1841
#13 0x0000000000c3fbda in cgraph_finalize_compilation_unit () at
/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1042
#14 0x00000000005b3a8d in cp_write_global_declarations () at
/mnt/svn/gcc-trunk/gcc/cp/decl2.c:3974
#15 0x0000000000a21214 in compile_file (argc=16, argv=0x7fffffffdaa8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:591
#16 do_compile (argc=16, argv=0x7fffffffdaa8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1874
#17 toplev_main (argc=16, argv=0x7fffffffdaa8) at
/mnt/svn/gcc-trunk/gcc/toplev.c:1937
#18 0x00007ffff65f1bbd in __libc_start_main () from /lib/libc.so.6
#19 0x00000000004fa9d1 in _start ()


Tested revisions:
r168743 - fail