------- Comment #14 from irar at il dot ibm dot com 2006-11-08 11:33 -------
(In reply to comment #11)
> 1. Put a breakpoint in tree_ssa_cd_dce when compiling the
> offending function from recog.c. When that breakpoint
> triggers issue:
> verify_ssa (true)
> I can't see any way for that to fail, but better safe than
> sorry.
It fails...
Breakpoint 6, tree_ssa_cd_dce () at ../../gcc/gcc/tree-ssa-dce.c:947
947 perform_tree_ssa_dce (/*aggressive=*/optimize >= 2);
(gdb) p verify_ssa (true)
No symbol "true" in current context.
(gdb) p verify_ssa (1)
During symbol reading, incomplete CFI data; unspecified registers (e.g., r0) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r2) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r3) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r4) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r5) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r6) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r7) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r8) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r9) at
0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r10)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r11)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r12)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r13)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r14)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r15)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r16)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r17)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r18)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r19)
at 0x105d412c.
During symbol reading, incomplete CFI data; unspecified registers (e.g., r20)
at 0x105d412c.
../../gcc/gcc/recog.c: In function constrain_operands:
../../gcc/gcc/recog.c:2270: error: expected an SSA_NAME object
Breakpoint 1, fancy_abort (file=0x10744d58 "../../gcc/gcc/tree-ssa-operands.c",
line=1905, function=0x10745428 "verify_imm_links")
at ../../gcc/gcc/diagnostic.c:642
642 internal_error ("in %s, at %s:%d", function, trim_filename (file),
line);
The program being debugged stopped while in a function called from GDB.
When the function (verify_ssa) is done executing, GDB will silently
stop (instead of continuing to evaluate the expression containing
the function call).
Backtrace:
#0 fancy_abort (file=0x10744d58 "../../gcc/gcc/tree-ssa-operands.c",
line=1905, function=0x10745428 "verify_imm_links")
at ../../gcc/gcc/diagnostic.c:642
#1 0x100e4c10 in verify_imm_links (f=0xffec4a8, var=0xf6d34e40) at
../../gcc/gcc/tree-ssa-operands.c:1905
#2 0x100ac1fc in verify_use (bb=0xf73144d0, def_bb=0x1, use_p=0xf6beb118,
stmt=0xf74510f0, check_abnormal=0 '\0', is_virtual=1 '\001',
names_defined_in_bb=0x10a8d9d0) at ../../gcc/gcc/tree-ssa.c:228
#3 0x100ae404 in verify_ssa (check_modified_stmt=1 '\001') at
../../gcc/gcc/tree-ssa.c:735
#4 <function called from gdb>
#5 tree_ssa_cd_dce () at ../../gcc/gcc/tree-ssa-dce.c:947
#6 0x1051b110 in execute_one_pass (pass=0x1088c584) at
../../gcc/gcc/passes.c:853
#7 0x1051b2c8 in execute_pass_list (pass=0x1088c584) at
../../gcc/gcc/passes.c:897
#8 0x1051b2f4 in execute_pass_list (pass=0x108876dc) at
../../gcc/gcc/passes.c:898
#9 0x100b1684 in tree_rest_of_compilation (fndecl=0xf7862d00) at
../../gcc/gcc/tree-optimize.c:412
#10 0x10016914 in c_expand_body (fndecl=0xf7862d00) at
../../gcc/gcc/c-decl.c:6689
#11 0x1059b914 in cgraph_expand_function (node=0xf75b3e00) at
../../gcc/gcc/cgraphunit.c:1101
#12 0x1059bba4 in cgraph_expand_all_functions () at
../../gcc/gcc/cgraphunit.c:1166
#13 0x1059c798 in cgraph_optimize () at ../../gcc/gcc/cgraphunit.c:1434
#14 0x1001a024 in c_write_global_declarations () at ../../gcc/gcc/c-decl.c:7804
#15 0x104d99a8 in compile_file () at ../../gcc/gcc/toplev.c:1012
#16 0x104dbc64 in do_compile () at ../../gcc/gcc/toplev.c:1957
#17 0x104dbcf8 in toplev_main (argc=54, argv=0xffdf2c74) at
../../gcc/gcc/toplev.c:1989
#18 0x10090518 in main (argc=54, argv=0xffdf2c74) at ../../gcc/gcc/main.c:35
(gdb) p debug_tree (0xf6d34e40)
<struct_field_tag 0xf6d34e40 SFT.1940
type <array_type 0xf78709a0
type <pointer_type 0xf7d0c3f0 rtx type <record_type 0xf7d0c310 rtx_def>
sizes-gimplified asm_written public unsigned SI
size <integer_cst 0xf7eb0860 constant invariant 32>
unit size <integer_cst 0xf7eb0520 constant invariant 4>
align 32 symtab -137297872 alias set -1
pointer_to_this <pointer_type 0xf798f310>>
asm_written BLK
size <integer_cst 0xf785ad60 constant invariant 960>
unit size <integer_cst 0xf79811e0 constant invariant 120>
align 32 symtab -142141712 alias set 99
domain <integer_type 0xf7870930 type <integer_type 0xf7eae150 unsigned
int>
sizes-gimplified public SI size <integer_cst 0xf7eb0860 32> unit
size <integer_cst 0xf7eb0520 4>
align 32 symtab 0 alias set -1 precision 32 min <integer_cst
0xf7eb0540 0> max <integer_cst 0xf7ccd100 29>>
pointer_to_this <pointer_type 0xf74261c0>>
addressable used public static file ../../gcc/gcc/recog.c line 2270>
$1 = void
(gdb) p debug_generic_stmt (0xf74510f0)
# VUSE <SFT.1940D.29535>;
# VUSE <TMT.1945D.29540_551>;
opD.24623_172 = recog_dataD.15550.operandD.15539[opnoD.24621_29];
Ira
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28752
