[Bug debug/41291] [4.5 regression] verify_ssa failed for debug insn

[laurent at guerby dot net]

------- Comment #9 from laurent at guerby dot net  2009-09-08 10:19 -------
Backtrace and tree:

$ gdb /home/guerby/build/./gcc/gnat1
(gdb) b error
(gdb) r -quiet -dumpbase pp.adb -auxbase pp -O1 -g pp.adb
(gdb) bt
#0  error (gmsgid=0xb2ce94 "") at ../../trunk/gcc/diagnostic.c:612
#1  0x0073cd18 in verify_ssa_name (ssa_name=0x40519c00, is_virtual=<value
optimized out>) at ../../trunk/gcc/tree-ssa.c:457
#2  0x0073eea8 in verify_ssa (check_modified_stmt=<value optimized out>) at
../../trunk/gcc/tree-ssa.c:884
#3  0x00583248 in execute_function_todo (data=<value optimized out>) at
../../trunk/gcc/passes.c:1014
#4  0x00583404 in do_per_function (callback=0x5830cc <execute_function_todo>,
data=0x825) at ../../trunk/gcc/passes.c:848
#5  0x00583530 in execute_todo (flags=2085) at ../../trunk/gcc/passes.c:1041
#6  0x00583874 in execute_one_pass (pass=0xd77ec8) at
../../trunk/gcc/passes.c:1315
#7  0x00583a78 in execute_pass_list (pass=0xd77ec8) at
../../trunk/gcc/passes.c:1341
#8  0x00583a90 in execute_pass_list (pass=0xd77b30) at
../../trunk/gcc/passes.c:1342
#9  0x0068729c in tree_rest_of_compilation (fndecl=0x4022bd00) at
../../trunk/gcc/tree-optimize.c:390
#10 0x007f5930 in cgraph_expand_function (node=0x4051f500) at
../../trunk/gcc/cgraphunit.c:1147
#11 0x007f7ab8 in cgraph_finalize_compilation_unit () at
../../trunk/gcc/cgraphunit.c:1206
#12 0x0013b7b8 in gnat_write_global_declarations () at
../../trunk/gcc/ada/gcc-interface/utils.c:4680
#13 0x006316e8 in toplev_main (argc=9, argv=0xbefff5c4) at
../../trunk/gcc/toplev.c:1050
#14 0x40085e2c in __libc_start_main () from /lib/libc.so.6
#15 0x001044fc in _start ()



(gdb) up
#1  0x0073cd18 in verify_ssa_name (ssa_name=0x40519c00, is_virtual=<value
optimized out>) at ../../trunk/gcc/tree-ssa.c:457
457           error ("expected an SSA_NAME object");
(gdb) l
452     static bool
453     verify_ssa_name (tree ssa_name, bool is_virtual)
454     {
455       if (TREE_CODE (ssa_name) != SSA_NAME)
456         {
457           error ("expected an SSA_NAME object");
458           return true;
459         }
460     
(gdb) p debug_tree(ssa_name)
 <var_decl 0x40519c00 L16b
    type <integer_type 0x40520ee0 integer readonly sizes-gimplified public SI
        size <integer_cst 0x4019e438 readonly constant 32>
        unit size <integer_cst 0x4019e140 readonly constant 4>
        align 32 symtab 0 alias set -1 canonical type 0x40520ee0 precision 32
min <integer_cst 0x4019e3c0 -2147483648> max <integer_cst 0x4019e3e8
2147483647>>
    readonly used ignored SI file pp.adb line 11 col 33 size <integer_cst
0x4019e438 32> unit size <integer_cst 0x4019e140 4>
    align 32 context <function_decl 0x4022bd00 pp__p> chain <var_decl
0x40519c60 pp__p__TTS17bSP1___L>>
$3 = void


-- 


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