[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

["laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org>]

------- Comment #5 from laurent at guerby dot net  2007-03-04 18:26 -------
(gdb) bt
#0  error (gmsgid=0xcaba20 "definition in block %i does not dominate use in
block %i") at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:548
#1  0x000000000091c5c8 in verify_use (bb=0x2ac849e1f480, def_bb=0x2ac849e1fd00,
use_p=0x2ac849e5ec38, stmt=0x2ac849e5ec00, check_abnormal=0 '\0',
names_defined_in_bb=0x0)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244
#2  0x000000000091e2c2 in verify_phi_args (phi=0x2ac849e5ec00,
bb=0x2ac849e1fd00, definition_block=0x16a0a20) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:343
#3  0x000000000091e7b9 in verify_ssa (check_modified_stmt=1 '\001') at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:617
#4  0x00000000007a0ba5 in execute_function_todo (data=<value optimized out>) at
/home/guerby/work/gcc/version-head/gcc/passes.c:911
#5  0x00000000007a090d in execute_todo (flags=48) at
/home/guerby/work/gcc/version-head/gcc/passes.c:932
#6  0x00000000007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
#7  0x00000000007a0f4c in execute_pass_list (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1107
#8  0x00000000007a0f5e in execute_pass_list (pass=0x101df00) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#9  0x00000000007a0f5e in execute_pass_list (pass=0x101d3c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#10 0x000000000086d967 in tree_rest_of_compilation (fndecl=0x2ac849772e00) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:412
#11 0x000000000041e92c in gnat_expand_body (gnu_decl=0xcaba20) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:672
#12 0x00000000009a6bf0 in cgraph_expand_function (node=0x2ac8497a5620) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1015
#13 0x00000000009a8e72 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1084
#14 0x0000000000420039 in gnat_write_global_declarations () at
/home/guerby/work/gcc/version-head/gcc/ada/utils.c:3774
#15 0x000000000081aaab in toplev_main (argc=<value optimized out>, argv=<value
optimized out>) at /home/guerby/work/gcc/version-head/gcc/toplev.c:1034
#16 0x00002ac848c168e4 in __libc_start_main () from /lib/libc.so.6
#17 0x0000000000403d49 in _start ()


(gdb) f 6
#6  0x00000000007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
1077      execute_todo (todo_after | pass->todo_flags_finish);
(gdb) p *pass
$1 = {name = 0xca7323 "cunroll", gate = 0x8df010 <gate_tree_complete_unroll>,
execute = 0x8df0b0 <tree_complete_unroll>, sub = 0x0, next = 0x101e320,
static_pass_number = 103, tv_id = 64, 
  properties_required = 72, properties_provided = 0, properties_destroyed = 0,
todo_flags_start = 0, todo_flags_finish = 65, letter = 0 '\0'}


-- 


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