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: unassig...@gcc.gnu.org
ReportedBy: zso...@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
