From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18702 invoked by alias); 4 Mar 2007 18:26:25 -0000 Received: (qmail 18659 invoked by uid 48); 4 Mar 2007 18:26:15 -0000 Date: Sun, 04 Mar 2007 18:26:00 -0000 Message-ID: <20070304182615.18658.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018 In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "laurent at guerby dot net" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2007-03/txt/msg00228.txt.bz2 ------- 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=) 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=, argv=) 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 , execute = 0x8df0b0 , 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